iters=5 new-facts=1 prior-facts=1 | | mean | 276.532-275.922=0.610 | | σ | 0.011-0.006=0.005 | | min | 276.521-275.914=0.607 | | max | 276.546-275.926=0.620 |
| | mean | 4058.000-4117.000=-59.000 | | σ | 0.000 | | min | 4058.000-4117.000=-59.000 | | max | 4058.000-4117.000=-59.000 |
| | mean | 0.405-0.402=0.003 | | σ | 0.005-0.005=-0.000 | | min | 0.397-0.398=-0.001 | | max | 0.410-0.408=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.134-2168.529=0.605 | | σ | 0.011-0.018=-0.007 | | min | 2169.127-2168.508=0.619 | | max | 2169.152-2168.544=0.608 |
| | mean | 4058.000-4117.000=-59.000 | | σ | 0.000 | | min | 4058.000-4117.000=-59.000 | | max | 4058.000-4117.000=-59.000 |
| | mean | 2.921-2.977=-0.057 | | σ | 0.220-0.174=0.046 | | min | 2.760-2.768=-0.009 | | max | 3.293-3.189=0.104 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.965-5048.216=0.749 | | σ | 0.581-0.686=-0.105 | | min | 5048.654-5047.456=1.198 | | max | 5049.997-5049.330=0.667 |
| | mean | 4058.000-4117.000=-59.000 | | σ | 0.000 | | min | 4058.000-4117.000=-59.000 | | max | 4058.000-4117.000=-59.000 |
| | mean | 8.413-8.367=0.046 | | σ | 0.281-0.242=0.039 | | min | 8.107-8.138=-0.030 | | max | 8.775-8.762=0.014 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5180.064-5179.467=0.597 | | σ | 0.106-0.083=0.023 | | min | 5179.940-5179.389=0.550 | | max | 5180.183-5179.562=0.621 |
| | mean | 4058.000-4117.000=-59.000 | | σ | 0.000 | | min | 4058.000-4117.000=-59.000 | | max | 4058.000-4117.000=-59.000 |
| | mean | 9.116-8.978=0.138 | | σ | 0.482-0.463=0.019 | | min | 8.683-8.575=0.109 | | max | 9.889-9.639=0.250 |
|