iters=5 new-facts=1 prior-facts=1 | | mean | 326.586-326.571=0.016 | | σ | 0.029-0.035=-0.007 | | min | 326.537-326.515=0.021 | | max | 326.608-326.607=0.000 |
| | mean | 2823.000-2837.000=-14.000 | | σ | 0.000 | | min | 2823.000-2837.000=-14.000 | | max | 2823.000-2837.000=-14.000 |
| | mean | 0.422-0.424=-0.002 | | σ | 0.005-0.004=0.001 | | min | 0.419-0.421=-0.003 | | max | 0.431-0.431=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.741-1988.732=0.009 | | σ | 0.006-0.014=-0.007 | | min | 1988.735-1988.719=0.016 | | max | 1988.751-1988.751=0.000 |
| | mean | 2823.000-2837.000=-14.000 | | σ | 0.000 | | min | 2823.000-2837.000=-14.000 | | max | 2823.000-2837.000=-14.000 |
| | mean | 2.699-2.723=-0.024 | | σ | 0.076-0.069=0.006 | | min | 2.628-2.646=-0.018 | | max | 2.786-2.803=-0.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.374-4813.472=-0.098 | | σ | 7.562-7.472=0.090 | | min | 4809.578-4810.068=-0.490 | | max | 4826.894-4826.838=0.056 |
| | mean | 2823.000-2837.000=-14.000 | | σ | 0.000 | | min | 2823.000-2837.000=-14.000 | | max | 2823.000-2837.000=-14.000 |
| | mean | 8.818-8.616=0.202 | | σ | 0.390-0.579=-0.189 | | min | 8.283-7.809=0.473 | | max | 9.210-9.191=0.018 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.147-5001.074=0.073 | | σ | 0.030-0.175=-0.145 | | min | 5001.113-5000.763=0.350 | | max | 5001.187-5001.174=0.013 |
| | mean | 3036.800-3035.000=1.800 | | σ | 199.371-269.659=-70.288 | | min | 2823.000-2837.000=-14.000 | | max | 3322.000-3451.000=-129.000 |
| | mean | 9.797-9.775=0.022 | | σ | 0.253-0.174=0.080 | | min | 9.547-9.635=-0.089 | | max | 10.217-10.059=0.158 |
|