iters=5 new-facts=1 prior-facts=1 | | mean | 326.508-326.480=0.028 | | σ | 0.050-0.048=0.003 | | min | 326.418-326.397=0.022 | | max | 326.536-326.513=0.023 |
| | mean | 2829.000-2817.000=12.000 | | σ | 0.000 | | min | 2829.000-2817.000=12.000 | | max | 2829.000-2817.000=12.000 |
| | mean | 0.430-0.432=-0.002 | | σ | 0.009-0.010=-0.000 | | min | 0.424-0.422=0.002 | | max | 0.446-0.445=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.674-1988.678=-0.004 | | σ | 0.004-0.004=-0.000 | | min | 1988.669-1988.672=-0.004 | | max | 1988.678-1988.684=-0.006 |
| | mean | 2829.000-2817.000=12.000 | | σ | 0.000 | | min | 2829.000-2817.000=12.000 | | max | 2829.000-2817.000=12.000 |
| | mean | 2.726-2.723=0.003 | | σ | 0.164-0.094=0.070 | | min | 2.592-2.667=-0.075 | | max | 3.012-2.890=0.122 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.531-4813.586=-0.056 | | σ | 7.775-7.755=0.021 | | min | 4810.010-4809.964=0.047 | | max | 4827.440-4827.456=-0.016 |
| | mean | 2829.000-2817.000=12.000 | | σ | 0.000 | | min | 2829.000-2817.000=12.000 | | max | 2829.000-2817.000=12.000 |
| | mean | 8.898-8.493=0.405 | | σ | 0.406-0.924=-0.518 | | min | 8.331-7.710=0.621 | | max | 9.388-9.831=-0.443 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.010-5001.077=-0.066 | | σ | 0.166-0.030=0.136 | | min | 5000.720-5001.042=-0.321 | | max | 5001.145-5001.119=0.025 |
| | mean | 3056.200-3054.600=1.600 | | σ | 192.289-308.413=-116.124 | | min | 2829.000-2817.000=12.000 | | max | 3323.000-3527.000=-204.000 |
| | mean | 9.913-9.829=0.084 | | σ | 0.348-0.112=0.236 | | min | 9.496-9.714=-0.218 | | max | 10.442-10.004=0.437 |
|