iters=5 new-facts=1 prior-facts=1 | | mean | 273.609-273.604=0.006 | | σ | 0.006-0.005=0.000 | | min | 273.604-273.597=0.007 | | max | 273.617-273.608=0.009 |
| | mean | 2856.000-2805.000=51.000 | | σ | 0.000 | | min | 2856.000-2805.000=51.000 | | max | 2856.000-2805.000=51.000 |
| | mean | 0.388-0.384=0.004 | | σ | 0.007-0.004=0.003 | | min | 0.383-0.382=0.001 | | max | 0.401-0.391=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.004-1934.000=0.004 | | σ | 0.014-0.007=0.008 | | min | 1933.984-1933.994=-0.010 | | max | 1934.020-1934.010=0.010 |
| | mean | 2856.000-2805.000=51.000 | | σ | 0.000 | | min | 2856.000-2805.000=51.000 | | max | 2856.000-2805.000=51.000 |
| | mean | 3.001-2.992=0.010 | | σ | 0.193-0.084=0.108 | | min | 2.690-2.870=-0.180 | | max | 3.211-3.103=0.108 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.740-4754.556=0.184 | | σ | 0.862-1.059=-0.197 | | min | 4754.256-4753.308=0.948 | | max | 4756.272-4756.243=0.029 |
| | mean | 2856.000-2805.000=51.000 | | σ | 0.000 | | min | 2856.000-2805.000=51.000 | | max | 2856.000-2805.000=51.000 |
| | mean | 8.600-8.284=0.316 | | σ | 0.527-0.357=0.170 | | min | 7.887-7.716=0.172 | | max | 9.219-8.676=0.543 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.153-4945.148=0.005 | | σ | 0.166-0.145=0.021 | | min | 4944.858-4944.891=-0.033 | | max | 4945.247-4945.230=0.017 |
| | mean | 3062.400-3065.200=-2.800 | | σ | 218.291-326.460=-108.169 | | min | 2856.000-2805.000=51.000 | | max | 3380.000-3562.000=-182.000 |
| | mean | 8.620-8.560=0.059 | | σ | 0.166-0.385=-0.218 | | min | 8.487-8.361=0.126 | | max | 8.899-9.248=-0.349 |
|