iters=5 new-facts=1 prior-facts=1 | | mean | 326.441-326.438=0.004 | | σ | 0.060-0.059=0.002 | | min | 326.334-326.333=0.002 | | max | 326.478-326.467=0.012 |
| | mean | 2593.000-2591.000=2.000 | | σ | 0.000 | | min | 2593.000-2591.000=2.000 | | max | 2593.000-2591.000=2.000 |
| | mean | 0.436-0.426=0.010 | | σ | 0.010-0.006=0.004 | | min | 0.426-0.422=0.004 | | max | 0.446-0.437=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.608-1988.618=-0.010 | | σ | 0.010-0.008=0.003 | | min | 1988.591-1988.604=-0.014 | | max | 1988.617-1988.623=-0.006 |
| | mean | 2593.000-2591.000=2.000 | | σ | 0.000 | | min | 2593.000-2591.000=2.000 | | max | 2593.000-2591.000=2.000 |
| | mean | 2.690-2.602=0.088 | | σ | 0.114-0.163=-0.048 | | min | 2.568-2.399=0.170 | | max | 2.865-2.768=0.096 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.499-4813.347=0.152 | | σ | 7.749-7.795=-0.046 | | min | 4809.895-4809.381=0.514 | | max | 4827.360-4827.283=0.077 |
| | mean | 2593.000-2591.000=2.000 | | σ | 0.000 | | min | 2593.000-2591.000=2.000 | | max | 2593.000-2591.000=2.000 |
| | mean | 8.780-9.065=-0.285 | | σ | 0.684-0.296=0.388 | | min | 7.717-8.835=-1.118 | | max | 9.481-9.523=-0.042 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.937-5000.874=0.063 | | σ | 0.158-0.181=-0.023 | | min | 5000.657-5000.633=0.024 | | max | 5001.030-5001.016=0.014 |
| | mean | 2932.000-2976.200=-44.200 | | σ | 357.472-280.779=76.693 | | min | 2593.000-2591.000=2.000 | | max | 3455.000-3312.000=143.000 |
| | mean | 9.715-9.790=-0.075 | | σ | 0.242-0.290=-0.048 | | min | 9.364-9.421=-0.058 | | max | 10.045-10.224=-0.179 |
|