iters=5 new-facts=1 prior-facts=1 | | mean | 326.447-326.454=-0.007 | | σ | 0.055-0.027=0.028 | | min | 326.350-326.406=-0.057 | | max | 326.486-326.471=0.014 |
| | mean | 2592.000-2615.000=-23.000 | | σ | 0.000 | | min | 2592.000-2615.000=-23.000 | | max | 2592.000-2615.000=-23.000 |
| | mean | 0.435-0.422=0.013 | | σ | 0.012-0.001=0.011 | | min | 0.423-0.421=0.002 | | max | 0.447-0.424=0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.613-1988.616=-0.002 | | σ | 0.009-0.012=-0.003 | | min | 1988.598-1988.598=0.000 | | max | 1988.620-1988.630=-0.010 |
| | mean | 2592.000-2615.000=-23.000 | | σ | 0.000 | | min | 2592.000-2615.000=-23.000 | | max | 2592.000-2615.000=-23.000 |
| | mean | 2.717-2.717=-0.000 | | σ | 0.089-0.106=-0.017 | | min | 2.634-2.640=-0.007 | | max | 2.815-2.889=-0.074 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.471-4813.328=0.143 | | σ | 7.710-7.758=-0.049 | | min | 4809.986-4809.407=0.580 | | max | 4827.262-4827.198=0.064 |
| | mean | 2592.000-2615.000=-23.000 | | σ | 0.000 | | min | 2592.000-2615.000=-23.000 | | max | 2592.000-2615.000=-23.000 |
| | mean | 9.068-8.669=0.399 | | σ | 0.311-0.332=-0.021 | | min | 8.625-8.188=0.437 | | max | 9.472-9.123=0.349 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.008-5001.010=-0.002 | | σ | 0.023-0.023=0.000 | | min | 5000.983-5000.983=-0.000 | | max | 5001.035-5001.033=0.002 |
| | mean | 2966.600-3010.000=-43.400 | | σ | 260.052-293.102=-33.049 | | min | 2632.000-2615.000=17.000 | | max | 3305.000-3386.000=-81.000 |
| | mean | 9.474-9.769=-0.294 | | σ | 0.315-0.152=0.162 | | min | 9.170-9.584=-0.414 | | max | 9.939-10.004=-0.065 |
|