iters=5 new-facts=1 prior-facts=1 | | mean | 272.012-272.013=-0.001 | | σ | 0.008-0.008=0.001 | | min | 271.998-272.003=-0.005 | | max | 272.021-272.023=-0.002 |
| | mean | 2769.000-2774.000=-5.000 | | σ | 0.000 | | min | 2769.000-2774.000=-5.000 | | max | 2769.000-2774.000=-5.000 |
| | mean | 0.388-0.389=-0.001 | | σ | 0.009-0.010=-0.001 | | min | 0.378-0.379=-0.001 | | max | 0.396-0.404=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.437-1932.442=-0.004 | | σ | 0.017-0.011=0.006 | | min | 1932.413-1932.431=-0.018 | | max | 1932.459-1932.457=0.002 |
| | mean | 2769.000-2774.000=-5.000 | | σ | 0.000 | | min | 2769.000-2774.000=-5.000 | | max | 2769.000-2774.000=-5.000 |
| | mean | 2.944-2.920=0.024 | | σ | 0.132-0.191=-0.059 | | min | 2.750-2.585=0.165 | | max | 3.088-3.066=0.022 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.028-4753.128=-0.100 | | σ | 0.575-0.863=-0.288 | | min | 4752.622-4752.697=-0.075 | | max | 4754.030-4754.668=-0.638 |
| | mean | 2769.000-2774.000=-5.000 | | σ | 0.000 | | min | 2769.000-2774.000=-5.000 | | max | 2769.000-2774.000=-5.000 |
| | mean | 8.645-8.765=-0.120 | | σ | 0.380-0.272=0.108 | | min | 8.135-8.443=-0.308 | | max | 9.165-9.070=0.095 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.630-4943.632=-0.003 | | σ | 0.019-0.015=0.004 | | min | 4943.608-4943.612=-0.004 | | max | 4943.651-4943.649=0.002 |
| | mean | 3001.200-3027.400=-26.200 | | σ | 219.704-235.208=-15.504 | | min | 2769.000-2774.000=-5.000 | | max | 3303.000-3331.000=-28.000 |
| | mean | 8.532-8.757=-0.225 | | σ | 0.100-0.366=-0.266 | | min | 8.429-8.432=-0.003 | | max | 8.640-9.216=-0.576 |
|