iters=5 new-facts=1 prior-facts=1 | | mean | 326.580-326.580=-0.001 | | σ | 0.047-0.026=0.021 | | min | 326.499-326.535=-0.037 | | max | 326.613-326.599=0.015 |
| | mean | 2827.000-2587.000=240.000 | | σ | 0.000 | | min | 2827.000-2587.000=240.000 | | max | 2827.000-2587.000=240.000 |
| | mean | 0.427-0.423=0.004 | | σ | 0.005-0.002=0.003 | | min | 0.421-0.420=0.001 | | max | 0.432-0.426=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.748-1988.744=0.003 | | σ | 0.009-0.004=0.004 | | min | 1988.740-1988.739=0.001 | | max | 1988.760-1988.750=0.010 |
| | mean | 2827.000-2587.000=240.000 | | σ | 0.000 | | min | 2827.000-2587.000=240.000 | | max | 2827.000-2587.000=240.000 |
| | mean | 2.627-2.752=-0.125 | | σ | 0.091-0.182=-0.091 | | min | 2.503-2.633=-0.130 | | max | 2.751-3.073=-0.323 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.621-4813.413=0.208 | | σ | 7.738-7.825=-0.087 | | min | 4810.041-4809.660=0.381 | | max | 4827.461-4827.405=0.056 |
| | mean | 2827.000-2587.000=240.000 | | σ | 0.000 | | min | 2827.000-2587.000=240.000 | | max | 2827.000-2587.000=240.000 |
| | mean | 8.723-8.205=0.518 | | σ | 0.671-0.580=0.091 | | min | 7.697-7.725=-0.028 | | max | 9.397-9.157=0.240 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.078-5001.128=-0.050 | | σ | 0.167-0.023=0.145 | | min | 5000.785-5001.098=-0.314 | | max | 5001.187-5001.155=0.032 |
| | mean | 3022.600-2971.000=51.600 | | σ | 198.606-413.722=-215.116 | | min | 2827.000-2587.000=240.000 | | max | 3295.000-3552.000=-257.000 |
| | mean | 9.787-9.599=0.188 | | σ | 0.405-0.334=0.071 | | min | 9.333-9.198=0.135 | | max | 10.296-9.943=0.353 |
|