iters=5 new-facts=1 prior-facts=1 | | mean | 326.438-326.439=-0.001 | | σ | 0.059-0.059=-0.000 | | min | 326.333-326.334=-0.001 | | max | 326.470-326.474=-0.003 |
| | mean | 2591.000-2612.000=-21.000 | | σ | 0.000 | | min | 2591.000-2612.000=-21.000 | | max | 2591.000-2612.000=-21.000 |
| | mean | 0.426-0.425=0.001 | | σ | 0.002-0.000=0.001 | | min | 0.425-0.424=0.001 | | max | 0.429-0.425=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.607-1988.610=-0.003 | | σ | 0.016-0.010=0.006 | | min | 1988.582-1988.592=-0.010 | | max | 1988.621-1988.618=0.003 |
| | mean | 2591.000-2612.000=-21.000 | | σ | 0.000 | | min | 2591.000-2612.000=-21.000 | | max | 2591.000-2612.000=-21.000 |
| | mean | 2.677-2.688=-0.011 | | σ | 0.071-0.065=0.006 | | min | 2.578-2.624=-0.046 | | max | 2.774-2.775=-0.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.474-4813.140=0.334 | | σ | 7.754-7.575=0.179 | | min | 4809.903-4809.395=0.508 | | max | 4827.343-4826.675=0.668 |
| | mean | 2591.000-2612.000=-21.000 | | σ | 0.000 | | min | 2591.000-2612.000=-21.000 | | max | 2591.000-2612.000=-21.000 |
| | mean | 8.617-8.883=-0.266 | | σ | 0.606-0.446=0.160 | | min | 7.965-8.406=-0.441 | | max | 9.569-9.578=-0.009 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.008-5001.018=-0.010 | | σ | 0.019-0.040=-0.020 | | min | 5000.985-5000.977=0.009 | | max | 5001.025-5001.075=-0.050 |
| | mean | 2978.600-2998.000=-19.400 | | σ | 288.348-280.275=8.074 | | min | 2591.000-2612.000=-21.000 | | max | 3319.000-3312.000=7.000 |
| | mean | 9.808-9.831=-0.022 | | σ | 0.088-0.268=-0.180 | | min | 9.713-9.475=0.239 | | max | 9.928-10.176=-0.248 |
|