iters=5 new-facts=1 prior-facts=1 | | mean | 324.759-324.764=-0.005 | | σ | 0.053-0.040=0.013 | | min | 324.664-324.693=-0.029 | | max | 324.790-324.786=0.005 |
| | mean | 2825.000-2413.000=412.000 | | σ | 0.000 | | min | 2825.000-2413.000=412.000 | | max | 2825.000-2413.000=412.000 |
| | mean | 0.431-0.429=0.002 | | σ | 0.009-0.010=-0.001 | | min | 0.424-0.421=0.003 | | max | 0.441-0.440=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.307=0.010 | | σ | 0.029-0.009=0.019 | | min | 1985.276-1985.292=-0.016 | | max | 1985.339-1985.314=0.024 |
| | mean | 2825.000-2413.000=412.000 | | σ | 0.000 | | min | 2825.000-2413.000=412.000 | | max | 2825.000-2413.000=412.000 |
| | mean | 2.680-2.698=-0.018 | | σ | 0.237-0.143=0.094 | | min | 2.524-2.532=-0.007 | | max | 3.083-2.845=0.238 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.004-4809.070=-0.066 | | σ | 7.731-7.670=0.061 | | min | 4805.063-4805.595=-0.532 | | max | 4822.823-4822.791=0.033 |
| | mean | 2825.000-2413.000=412.000 | | σ | 0.000 | | min | 2825.000-2413.000=412.000 | | max | 2825.000-2413.000=412.000 |
| | mean | 8.684-8.781=-0.096 | | σ | 0.415-0.125=0.290 | | min | 7.973-8.641=-0.668 | | max | 8.962-8.934=0.028 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.620-4996.637=-0.017 | | σ | 0.027-0.031=-0.004 | | min | 4996.591-4996.602=-0.011 | | max | 4996.650-4996.671=-0.021 |
| | mean | 3061.000-3018.000=43.000 | | σ | 307.222-366.227=-59.004 | | min | 2825.000-2515.000=310.000 | | max | 3535.000-3365.000=170.000 |
| | mean | 8.481-9.070=-0.589 | | σ | 0.091-0.493=-0.402 | | min | 8.428-8.450=-0.022 | | max | 8.643-9.515=-0.871 |
|