iters=5 new-facts=1 prior-facts=1 | | mean | 273.604-273.505=0.099 | | σ | 0.005-0.006=-0.001 | | min | 273.597-273.498=0.099 | | max | 273.608-273.512=0.096 |
| | mean | 2805.000-2840.000=-35.000 | | σ | 0.000 | | min | 2805.000-2840.000=-35.000 | | max | 2805.000-2840.000=-35.000 |
| | mean | 0.384-0.377=0.007 | | σ | 0.004-0.004=-0.000 | | min | 0.382-0.374=0.007 | | max | 0.391-0.384=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.000-1933.897=0.103 | | σ | 0.007-0.008=-0.001 | | min | 1933.994-1933.887=0.107 | | max | 1934.010-1933.908=0.103 |
| | mean | 2805.000-2840.000=-35.000 | | σ | 0.000 | | min | 2805.000-2840.000=-35.000 | | max | 2805.000-2840.000=-35.000 |
| | mean | 2.992-2.943=0.049 | | σ | 0.084-0.082=0.002 | | min | 2.870-2.798=0.073 | | max | 3.103-2.995=0.107 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.556-4754.517=0.039 | | σ | 1.059-0.912=0.147 | | min | 4753.308-4753.747=-0.440 | | max | 4756.243-4756.090=0.153 |
| | mean | 2805.000-2840.000=-35.000 | | σ | 0.000 | | min | 2805.000-2840.000=-35.000 | | max | 2805.000-2840.000=-35.000 |
| | mean | 8.284-8.671=-0.387 | | σ | 0.357-0.310=0.047 | | min | 7.716-8.293=-0.577 | | max | 8.676-9.115=-0.439 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.148-4945.118=0.030 | | σ | 0.145-0.030=0.115 | | min | 4944.891-4945.081=-0.190 | | max | 4945.230-4945.154=0.076 |
| | mean | 3065.200-3071.200=-6.000 | | σ | 326.460-241.795=84.665 | | min | 2805.000-2840.000=-35.000 | | max | 3562.000-3418.000=144.000 |
| | mean | 8.560-8.614=-0.054 | | σ | 0.385-0.261=0.124 | | min | 8.361-8.432=-0.071 | | max | 9.248-9.059=0.188 |
|