iters=5 new-facts=1 prior-facts=1 | | mean | 271.618-272.019=-0.401 | | σ | 0.004-0.009=-0.004 | | min | 271.613-272.008=-0.395 | | max | 271.624-272.027=-0.403 |
| | mean | 2774.000-2843.000=-69.000 | | σ | 0.000 | | min | 2774.000-2843.000=-69.000 | | max | 2774.000-2843.000=-69.000 |
| | mean | 0.378-0.391=-0.014 | | σ | 0.002-0.010=-0.008 | | min | 0.376-0.379=-0.003 | | max | 0.381-0.405=-0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.043-1932.442=-0.399 | | σ | 0.018-0.011=0.007 | | min | 1932.023-1932.427=-0.404 | | max | 1932.063-1932.457=-0.394 |
| | mean | 2774.000-2843.000=-69.000 | | σ | 0.000 | | min | 2774.000-2843.000=-69.000 | | max | 2774.000-2843.000=-69.000 |
| | mean | 2.975-2.910=0.065 | | σ | 0.084-0.194=-0.110 | | min | 2.898-2.610=0.288 | | max | 3.119-3.139=-0.020 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.771-4753.178=-0.407 | | σ | 0.884-0.848=0.036 | | min | 4752.245-4752.629=-0.384 | | max | 4754.340-4754.684=-0.344 |
| | mean | 2774.000-2843.000=-69.000 | | σ | 0.000 | | min | 2774.000-2843.000=-69.000 | | max | 2774.000-2843.000=-69.000 |
| | mean | 8.658-8.624=0.034 | | σ | 0.413-0.699=-0.286 | | min | 8.231-7.600=0.631 | | max | 9.176-9.530=-0.353 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.231-4943.560=-0.329 | | σ | 0.015-0.162=-0.148 | | min | 4943.221-4943.271=-0.051 | | max | 4943.257-4943.655=-0.398 |
| | mean | 2979.600-3090.600=-111.000 | | σ | 212.805-249.380=-36.575 | | min | 2774.000-2843.000=-69.000 | | max | 3301.000-3347.000=-46.000 |
| | mean | 8.464-8.724=-0.260 | | σ | 0.065-0.227=-0.162 | | min | 8.390-8.424=-0.034 | | max | 8.527-9.062=-0.535 |
|