iters=5 new-facts=1 prior-facts=1 | | mean | 273.610-273.612=-0.002 | | σ | 0.006-0.009=-0.003 | | min | 273.602-273.602=0.000 | | max | 273.616-273.624=-0.008 |
| | mean | 2855.000-2848.000=7.000 | | σ | 0.000 | | min | 2855.000-2848.000=7.000 | | max | 2855.000-2848.000=7.000 |
| | mean | 0.383-0.384=-0.001 | | σ | 0.004-0.001=0.002 | | min | 0.381-0.382=-0.001 | | max | 0.390-0.386=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.001-1933.999=0.002 | | σ | 0.006-0.007=-0.002 | | min | 1933.993-1933.988=0.005 | | max | 1934.006-1934.006=0.000 |
| | mean | 2855.000-2848.000=7.000 | | σ | 0.000 | | min | 2855.000-2848.000=7.000 | | max | 2855.000-2848.000=7.000 |
| | mean | 2.943-2.991=-0.048 | | σ | 0.184-0.058=0.127 | | min | 2.692-2.949=-0.257 | | max | 3.129-3.092=0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.649-4754.790=-0.141 | | σ | 0.899-0.854=0.045 | | min | 4753.956-4754.343=-0.387 | | max | 4756.224-4756.314=-0.089 |
| | mean | 2855.000-2848.000=7.000 | | σ | 0.000 | | min | 2855.000-2848.000=7.000 | | max | 2855.000-2848.000=7.000 |
| | mean | 8.554-8.406=0.148 | | σ | 0.540-0.364=0.176 | | min | 7.661-7.982=-0.321 | | max | 8.933-8.739=0.193 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.221-4945.226=-0.004 | | σ | 0.019-0.024=-0.005 | | min | 4945.197-4945.199=-0.003 | | max | 4945.243-4945.259=-0.017 |
| | mean | 3066.000-3046.600=19.400 | | σ | 222.741-204.925=17.816 | | min | 2855.000-2848.000=7.000 | | max | 3298.000-3335.000=-37.000 |
| | mean | 8.697-8.514=0.183 | | σ | 0.269-0.149=0.120 | | min | 8.366-8.368=-0.001 | | max | 9.070-8.727=0.343 |
|