iters=5 new-facts=1 prior-facts=1 | | mean | 272.017-272.014=0.003 | | σ | 0.004-0.010=-0.006 | | min | 272.011-271.999=0.012 | | max | 272.021-272.024=-0.003 |
| | mean | 2876.000-2645.000=231.000 | | σ | 0.000 | | min | 2876.000-2645.000=231.000 | | max | 2876.000-2645.000=231.000 |
| | mean | 0.388-0.388=0.000 | | σ | 0.011-0.011=-0.000 | | min | 0.377-0.375=0.002 | | max | 0.401-0.397=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.433-1932.440=-0.007 | | σ | 0.012-0.013=-0.001 | | min | 1932.414-1932.427=-0.013 | | max | 1932.444-1932.460=-0.016 |
| | mean | 2876.000-2645.000=231.000 | | σ | 0.000 | | min | 2876.000-2645.000=231.000 | | max | 2876.000-2645.000=231.000 |
| | mean | 3.005-2.963=0.042 | | σ | 0.103-0.137=-0.034 | | min | 2.923-2.731=0.192 | | max | 3.180-3.093=0.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.155-4753.156=-0.000 | | σ | 0.847-0.842=0.004 | | min | 4752.667-4752.700=-0.033 | | max | 4754.664-4754.656=0.009 |
| | mean | 2876.000-2645.000=231.000 | | σ | 0.000 | | min | 2876.000-2645.000=231.000 | | max | 2876.000-2645.000=231.000 |
| | mean | 8.664-8.404=0.260 | | σ | 0.245-0.561=-0.316 | | min | 8.428-7.617=0.812 | | max | 9.060-8.954=0.106 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.418-4943.627=-0.209 | | σ | 0.201-0.019=0.182 | | min | 4943.261-4943.606=-0.345 | | max | 4943.668-4943.656=0.012 |
| | mean | 3073.400-3011.200=62.200 | | σ | 209.972-285.681=-75.709 | | min | 2876.000-2645.000=231.000 | | max | 3381.000-3375.000=6.000 |
| | mean | 8.594-8.601=-0.007 | | σ | 0.103-0.165=-0.062 | | min | 8.482-8.375=0.107 | | max | 8.747-8.841=-0.094 |
|