iters=5 new-facts=1 prior-facts=1 | | mean | 326.454-326.447=0.007 | | σ | 0.020-0.055=-0.035 | | min | 326.420-326.350=0.070 | | max | 326.471-326.486=-0.015 |
| | mean | 2604.000-2592.000=12.000 | | σ | 0.000 | | min | 2604.000-2592.000=12.000 | | max | 2604.000-2592.000=12.000 |
| | mean | 0.427-0.435=-0.008 | | σ | 0.006-0.012=-0.006 | | min | 0.423-0.423=-0.000 | | max | 0.435-0.447=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.618-1988.613=0.004 | | σ | 0.003-0.009=-0.005 | | min | 1988.614-1988.598=0.016 | | max | 1988.623-1988.620=0.003 |
| | mean | 2604.000-2592.000=12.000 | | σ | 0.000 | | min | 2604.000-2592.000=12.000 | | max | 2604.000-2592.000=12.000 |
| | mean | 2.668-2.717=-0.048 | | σ | 0.077-0.089=-0.011 | | min | 2.545-2.634=-0.089 | | max | 2.748-2.815=-0.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.451-4813.471=-0.020 | | σ | 7.711-7.710=0.001 | | min | 4809.951-4809.986=-0.035 | | max | 4827.244-4827.262=-0.018 |
| | mean | 2604.000-2592.000=12.000 | | σ | 0.000 | | min | 2604.000-2592.000=12.000 | | max | 2604.000-2592.000=12.000 |
| | mean | 8.704-9.068=-0.364 | | σ | 0.345-0.311=0.034 | | min | 8.347-8.625=-0.278 | | max | 9.083-9.472=-0.390 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.006-5001.008=-0.002 | | σ | 0.027-0.023=0.004 | | min | 5000.973-5000.983=-0.010 | | max | 5001.036-5001.035=0.001 |
| | mean | 2997.600-2966.600=31.000 | | σ | 261.667-260.052=1.615 | | min | 2611.000-2632.000=-21.000 | | max | 3308.000-3305.000=3.000 |
| | mean | 9.631-9.474=0.157 | | σ | 0.445-0.315=0.130 | | min | 8.864-9.170=-0.306 | | max | 9.949-9.939=0.010 |
|