iters=5 new-facts=1 prior-facts=1 | | mean | 325.311-324.017=1.294 | | σ | 0.054-0.042=0.013 | | min | 325.214-323.942=1.272 | | max | 325.343-324.039=1.304 |
| | mean | 2828.000-2784.000=44.000 | | σ | 0.000 | | min | 2828.000-2784.000=44.000 | | max | 2828.000-2784.000=44.000 |
| | mean | 0.431-0.424=0.007 | | σ | 0.005-0.001=0.004 | | min | 0.425-0.423=0.003 | | max | 0.437-0.425=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.879-1984.584=1.295 | | σ | 0.011-0.028=-0.017 | | min | 1985.862-1984.541=1.321 | | max | 1985.891-1984.607=1.284 |
| | mean | 2828.000-2784.000=44.000 | | σ | 0.000 | | min | 2828.000-2784.000=44.000 | | max | 2828.000-2784.000=44.000 |
| | mean | 2.662-2.595=0.067 | | σ | 0.046-0.033=0.013 | | min | 2.602-2.565=0.037 | | max | 2.727-2.649=0.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.641-4808.256=1.385 | | σ | 7.679-7.747=-0.068 | | min | 4806.156-4804.729=1.427 | | max | 4823.377-4822.114=1.263 |
| | mean | 2828.000-2784.000=44.000 | | σ | 0.000 | | min | 2828.000-2784.000=44.000 | | max | 2828.000-2784.000=44.000 |
| | mean | 8.840-8.993=-0.153 | | σ | 0.159-0.330=-0.171 | | min | 8.589-8.527=0.061 | | max | 8.987-9.429=-0.441 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.185-4995.803=1.383 | | σ | 0.017-0.029=-0.011 | | min | 4997.161-4995.764=1.397 | | max | 4997.204-4995.834=1.370 |
| | mean | 3061.000-3016.400=44.600 | | σ | 232.179-283.057=-50.878 | | min | 2828.000-2784.000=44.000 | | max | 3400.000-3437.000=-37.000 |
| | mean | 8.766-8.565=0.201 | | σ | 0.221-0.116=0.105 | | min | 8.443-8.461=-0.018 | | max | 8.979-8.709=0.269 |
|