iters=5 new-facts=1 prior-facts=1 | | mean | 302.792-302.992=-0.200 | | σ | 0.009-0.043=-0.033 | | min | 302.785-302.916=-0.131 | | max | 302.808-303.014=-0.206 |
| | mean | 1643.000-1635.000=8.000 | | σ | 0.000 | | min | 1643.000-1635.000=8.000 | | max | 1643.000-1635.000=8.000 |
| | mean | 0.403-0.397=0.006 | | σ | 0.012-0.005=0.007 | | min | 0.389-0.394=-0.005 | | max | 0.414-0.406=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1304.401-1304.637=-0.236 | | σ | 0.054-0.107=-0.053 | | min | 1304.309-1304.450=-0.140 | | max | 1304.437-1304.719=-0.282 |
| | mean | 1643.000-1635.000=8.000 | | σ | 0.000 | | min | 1643.000-1635.000=8.000 | | max | 1643.000-1635.000=8.000 |
| | mean | 2.057-2.020=0.037 | | σ | 0.267-0.142=0.125 | | min | 1.859-1.875=-0.016 | | max | 2.506-2.210=0.296 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1724.651-1724.919=-0.268 | | σ | 6.919-6.949=-0.030 | | min | 1721.458-1721.595=-0.137 | | max | 1737.025-1737.343=-0.318 |
| | mean | 1643.000-1635.000=8.000 | | σ | 0.000 | | min | 1643.000-1635.000=8.000 | | max | 1643.000-1635.000=8.000 |
| | mean | 2.952-3.092=-0.139 | | σ | 0.378-0.389=-0.011 | | min | 2.435-2.651=-0.216 | | max | 3.501-3.588=-0.087 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1987.394-1987.662=-0.268 | | σ | 0.029-0.009=0.020 | | min | 1987.359-1987.652=-0.293 | | max | 1987.419-1987.677=-0.258 |
| | mean | 1836.000-1784.600=51.400 | | σ | 191.519-154.836=36.683 | | min | 1643.000-1635.000=8.000 | | max | 2088.000-1948.000=140.000 |
| | mean | 3.171-3.156=0.014 | | σ | 0.060-0.090=-0.030 | | min | 3.105-3.081=0.023 | | max | 3.243-3.309=-0.065 |
|