iters=5 new-facts=1 prior-facts=1 | | mean | 326.572-326.579=-0.007 | | σ | 0.051-0.033=0.018 | | min | 326.482-326.520=-0.038 | | max | 326.606-326.602=0.005 |
| | mean | 2611.000-2669.000=-58.000 | | σ | 0.000 | | min | 2611.000-2669.000=-58.000 | | max | 2611.000-2669.000=-58.000 |
| | mean | 0.424-0.426=-0.002 | | σ | 0.003-0.001=0.002 | | min | 0.422-0.425=-0.003 | | max | 0.430-0.428=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.729-1988.725=0.004 | | σ | 0.023-0.020=0.003 | | min | 1988.691-1988.701=-0.010 | | max | 1988.749-1988.746=0.003 |
| | mean | 2611.000-2669.000=-58.000 | | σ | 0.000 | | min | 2611.000-2669.000=-58.000 | | max | 2611.000-2669.000=-58.000 |
| | mean | 2.664-2.766=-0.102 | | σ | 0.075-0.266=-0.191 | | min | 2.580-2.618=-0.038 | | max | 2.783-3.238=-0.455 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.586-4813.590=-0.005 | | σ | 7.724-7.725=-0.001 | | min | 4810.031-4810.024=0.007 | | max | 4827.402-4827.408=-0.006 |
| | mean | 2611.000-2669.000=-58.000 | | σ | 0.000 | | min | 2611.000-2669.000=-58.000 | | max | 2611.000-2669.000=-58.000 |
| | mean | 8.754-8.522=0.232 | | σ | 0.364-0.582=-0.218 | | min | 8.227-7.929=0.298 | | max | 9.111-9.303=-0.192 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.140-5001.136=0.003 | | σ | 0.030-0.031=-0.002 | | min | 5001.103-5001.110=-0.007 | | max | 5001.178-5001.187=-0.008 |
| | mean | 2971.200-2967.400=3.800 | | σ | 278.424-246.679=31.746 | | min | 2611.000-2669.000=-58.000 | | max | 3312.000-3299.000=13.000 |
| | mean | 9.792-9.533=0.259 | | σ | 0.182-0.641=-0.459 | | min | 9.518-8.531=0.987 | | max | 10.014-10.284=-0.269 |
|