iters=5 new-facts=1 prior-facts=1 | | mean | 325.326-325.311=0.015 | | σ | 0.030-0.054=-0.025 | | min | 325.275-325.214=0.060 | | max | 325.352-325.343=0.010 |
| | mean | 2833.000-2828.000=5.000 | | σ | 0.000 | | min | 2833.000-2828.000=5.000 | | max | 2833.000-2828.000=5.000 |
| | mean | 0.424-0.431=-0.008 | | σ | 0.001-0.005=-0.005 | | min | 0.423-0.425=-0.003 | | max | 0.425-0.437=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.876-1985.879=-0.003 | | σ | 0.010-0.011=-0.000 | | min | 1985.857-1985.862=-0.005 | | max | 1985.882-1985.891=-0.009 |
| | mean | 2833.000-2828.000=5.000 | | σ | 0.000 | | min | 2833.000-2828.000=5.000 | | max | 2833.000-2828.000=5.000 |
| | mean | 2.709-2.662=0.047 | | σ | 0.109-0.046=0.063 | | min | 2.577-2.602=-0.025 | | max | 2.862-2.727=0.136 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.655-4809.641=0.013 | | σ | 7.663-7.679=-0.015 | | min | 4806.105-4806.156=-0.051 | | max | 4823.362-4823.377=-0.016 |
| | mean | 2833.000-2828.000=5.000 | | σ | 0.000 | | min | 2833.000-2828.000=5.000 | | max | 2833.000-2828.000=5.000 |
| | mean | 8.654-8.840=-0.186 | | σ | 0.485-0.159=0.326 | | min | 7.809-8.589=-0.780 | | max | 9.039-8.987=0.052 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.184-4997.185=-0.001 | | σ | 0.023-0.017=0.006 | | min | 4997.161-4997.161=-0.000 | | max | 4997.214-4997.204=0.009 |
| | mean | 3050.800-3061.000=-10.200 | | σ | 291.054-232.179=58.875 | | min | 2833.000-2828.000=5.000 | | max | 3507.000-3400.000=107.000 |
| | mean | 8.504-8.766=-0.262 | | σ | 0.077-0.221=-0.144 | | min | 8.430-8.443=-0.013 | | max | 8.635-8.979=-0.344 |
|