iters=5 new-facts=1 prior-facts=1 | | mean | 277.736-277.718=0.018 | | σ | 0.013-0.012=0.001 | | min | 277.720-277.700=0.021 | | max | 277.751-277.732=0.019 |
| | mean | 2871.000-2628.000=243.000 | | σ | 0.000 | | min | 2871.000-2628.000=243.000 | | max | 2871.000-2628.000=243.000 |
| | mean | 0.412-0.410=0.002 | | σ | 0.006-0.001=0.005 | | min | 0.408-0.409=-0.001 | | max | 0.422-0.410=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.895-2267.883=0.012 | | σ | 0.008-0.007=0.002 | | min | 2267.887-2267.871=0.016 | | max | 2267.907-2267.889=0.019 |
| | mean | 2871.000-2628.000=243.000 | | σ | 0.000 | | min | 2871.000-2628.000=243.000 | | max | 2871.000-2628.000=243.000 |
| | mean | 2.917-2.964=-0.047 | | σ | 0.178-0.141=0.038 | | min | 2.724-2.775=-0.051 | | max | 3.210-3.141=0.069 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.288-4954.963=0.325 | | σ | 1.100-0.899=0.201 | | min | 4954.063-4954.214=-0.152 | | max | 4957.032-4956.528=0.504 |
| | mean | 2871.000-2628.000=243.000 | | σ | 0.000 | | min | 2871.000-2628.000=243.000 | | max | 2871.000-2628.000=243.000 |
| | mean | 7.819-7.857=-0.038 | | σ | 0.229-0.197=0.032 | | min | 7.618-7.716=-0.098 | | max | 8.176-8.202=-0.026 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.794-5169.648=0.146 | | σ | 0.092-0.282=-0.191 | | min | 5169.694-5169.337=0.357 | | max | 5169.869-5169.866=0.003 |
| | mean | 3394.200-3413.200=-19.000 | | σ | 422.460-454.540=-32.080 | | min | 2871.000-2821.000=50.000 | | max | 3963.000-4049.000=-86.000 |
| | mean | 9.462-9.295=0.167 | | σ | 0.499-0.347=0.152 | | min | 9.042-8.974=0.067 | | max | 10.318-9.870=0.448 |
|