iters=5 new-facts=1 prior-facts=1 | | mean | 326.438-324.769=1.669 | | σ | 0.059-0.046=0.013 | | min | 326.333-324.687=1.646 | | max | 326.470-324.795=1.676 |
| | mean | 2591.000-2432.000=159.000 | | σ | 0.000 | | min | 2591.000-2432.000=159.000 | | max | 2591.000-2432.000=159.000 |
| | mean | 0.426-0.430=-0.004 | | σ | 0.002-0.008=-0.007 | | min | 0.425-0.422=0.002 | | max | 0.429-0.443=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.607-1985.320=3.287 | | σ | 0.016-0.014=0.002 | | min | 1988.582-1985.301=3.282 | | max | 1988.621-1985.334=3.287 |
| | mean | 2591.000-2432.000=159.000 | | σ | 0.000 | | min | 2591.000-2432.000=159.000 | | max | 2591.000-2432.000=159.000 |
| | mean | 2.677-2.664=0.013 | | σ | 0.071-0.149=-0.078 | | min | 2.578-2.464=0.114 | | max | 2.774-2.806=-0.032 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.474-4808.998=4.476 | | σ | 7.754-7.715=0.039 | | min | 4809.903-4805.079=4.824 | | max | 4827.343-4822.789=4.555 |
| | mean | 2591.000-2432.000=159.000 | | σ | 0.000 | | min | 2591.000-2432.000=159.000 | | max | 2591.000-2432.000=159.000 |
| | mean | 8.617-8.834=-0.217 | | σ | 0.606-0.430=0.176 | | min | 7.965-8.238=-0.274 | | max | 9.569-9.367=0.203 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.008-4996.626=4.382 | | σ | 0.019-0.034=-0.014 | | min | 5000.985-4996.583=4.403 | | max | 5001.025-4996.660=4.365 |
| | mean | 2978.600-2928.600=50.000 | | σ | 288.348-411.732=-123.384 | | min | 2591.000-2459.000=132.000 | | max | 3319.000-3491.000=-172.000 |
| | mean | 9.808-8.495=1.313 | | σ | 0.088-0.106=-0.018 | | min | 9.713-8.389=1.325 | | max | 9.928-8.665=1.263 |
|