iters=5 new-facts=1 prior-facts=1 | | mean | 326.438-326.454=-0.015 | | σ | 0.059-0.027=0.032 | | min | 326.333-326.406=-0.073 | | max | 326.470-326.471=-0.001 |
| | mean | 2591.000-2615.000=-24.000 | | σ | 0.000 | | min | 2591.000-2615.000=-24.000 | | max | 2591.000-2615.000=-24.000 |
| | mean | 0.426-0.422=0.003 | | σ | 0.002-0.001=0.000 | | min | 0.425-0.421=0.003 | | max | 0.429-0.424=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.607-1988.616=-0.009 | | σ | 0.016-0.012=0.004 | | min | 1988.582-1988.598=-0.016 | | max | 1988.621-1988.630=-0.010 |
| | mean | 2591.000-2615.000=-24.000 | | σ | 0.000 | | min | 2591.000-2615.000=-24.000 | | max | 2591.000-2615.000=-24.000 |
| | mean | 2.677-2.717=-0.040 | | σ | 0.071-0.106=-0.035 | | min | 2.578-2.640=-0.062 | | max | 2.774-2.889=-0.115 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.474-4813.328=0.146 | | σ | 7.754-7.758=-0.005 | | min | 4809.903-4809.407=0.496 | | max | 4827.343-4827.198=0.145 |
| | mean | 2591.000-2615.000=-24.000 | | σ | 0.000 | | min | 2591.000-2615.000=-24.000 | | max | 2591.000-2615.000=-24.000 |
| | mean | 8.617-8.669=-0.052 | | σ | 0.606-0.332=0.274 | | min | 7.965-8.188=-0.224 | | max | 9.569-9.123=0.446 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.008-5001.010=-0.002 | | σ | 0.019-0.023=-0.004 | | min | 5000.985-5000.983=0.003 | | max | 5001.025-5001.033=-0.007 |
| | mean | 2978.600-3010.000=-31.400 | | σ | 288.348-293.102=-4.753 | | min | 2591.000-2615.000=-24.000 | | max | 3319.000-3386.000=-67.000 |
| | mean | 9.808-9.769=0.039 | | σ | 0.088-0.152=-0.064 | | min | 9.713-9.584=0.129 | | max | 9.928-10.004=-0.076 |
|