iters=5 new-facts=1 prior-facts=1 | | mean | 326.579-326.504=0.075 | | σ | 0.033-0.056=-0.023 | | min | 326.520-326.405=0.116 | | max | 326.602-326.541=0.061 |
| | mean | 2669.000-2601.000=68.000 | | σ | 0.000 | | min | 2669.000-2601.000=68.000 | | max | 2669.000-2601.000=68.000 |
| | mean | 0.426-0.431=-0.006 | | σ | 0.001-0.004=-0.003 | | min | 0.425-0.427=-0.002 | | max | 0.428-0.436=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.725-1988.663=0.062 | | σ | 0.020-0.020=0.001 | | min | 1988.701-1988.637=0.064 | | max | 1988.746-1988.677=0.069 |
| | mean | 2669.000-2601.000=68.000 | | σ | 0.000 | | min | 2669.000-2601.000=68.000 | | max | 2669.000-2601.000=68.000 |
| | mean | 2.766-2.813=-0.047 | | σ | 0.266-0.191=0.075 | | min | 2.618-2.637=-0.019 | | max | 3.238-3.039=0.199 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.590-4813.441=0.149 | | σ | 7.725-7.435=0.290 | | min | 4810.024-4810.009=0.015 | | max | 4827.408-4826.740=0.668 |
| | mean | 2669.000-2601.000=68.000 | | σ | 0.000 | | min | 2669.000-2601.000=68.000 | | max | 2669.000-2601.000=68.000 |
| | mean | 8.522-8.238=0.284 | | σ | 0.582-0.465=0.118 | | min | 7.929-7.799=0.130 | | max | 9.303-8.892=0.411 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.136-5001.076=0.060 | | σ | 0.031-0.020=0.011 | | min | 5001.110-5001.051=0.059 | | max | 5001.187-5001.098=0.089 |
| | mean | 2967.400-2948.200=19.200 | | σ | 246.679-366.153=-119.475 | | min | 2669.000-2601.000=68.000 | | max | 3299.000-3448.000=-149.000 |
| | mean | 9.533-9.906=-0.372 | | σ | 0.641-0.107=0.534 | | min | 8.531-9.776=-1.245 | | max | 10.284-10.023=0.261 |
|