iters=5 new-facts=1 prior-facts=1 | | mean | 297.318-297.318=-0.000 | | σ | 0.004-0.008=-0.004 | | min | 297.312-297.311=0.001 | | max | 297.323-297.331=-0.008 |
| | mean | 1513.000-1589.000=-76.000 | | σ | 0.000 | | min | 1513.000-1589.000=-76.000 | | max | 1513.000-1589.000=-76.000 |
| | mean | 0.386-0.391=-0.006 | | σ | 0.002-0.010=-0.008 | | min | 0.384-0.386=-0.002 | | max | 0.389-0.410=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.999-1299.027=-0.027 | | σ | 0.094-0.060=0.035 | | min | 1298.842-1298.930=-0.088 | | max | 1299.084-1299.075=0.009 |
| | mean | 1513.000-1589.000=-76.000 | | σ | 0.000 | | min | 1513.000-1589.000=-76.000 | | max | 1513.000-1589.000=-76.000 |
| | mean | 2.029-1.872=0.158 | | σ | 0.262-0.019=0.243 | | min | 1.842-1.843=-0.001 | | max | 2.488-1.890=0.597 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.186-1719.174=0.012 | | σ | 6.929-6.948=-0.019 | | min | 1715.999-1715.854=0.145 | | max | 1731.578-1731.597=-0.019 |
| | mean | 1513.000-1589.000=-76.000 | | σ | 0.000 | | min | 1513.000-1589.000=-76.000 | | max | 1513.000-1589.000=-76.000 |
| | mean | 2.963-3.029=-0.066 | | σ | 0.463-0.537=-0.074 | | min | 2.520-2.564=-0.045 | | max | 3.749-3.841=-0.093 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.946-1981.937=0.009 | | σ | 0.005-0.034=-0.029 | | min | 1981.940-1981.887=0.053 | | max | 1981.952-1981.982=-0.030 |
| | mean | 1780.000-1787.000=-7.000 | | σ | 200.407-175.922=24.485 | | min | 1513.000-1589.000=-76.000 | | max | 1963.000-2026.000=-63.000 |
| | mean | 3.138-3.342=-0.205 | | σ | 0.112-0.417=-0.306 | | min | 2.958-3.105=-0.147 | | max | 3.251-4.083=-0.832 |
|