iters=5 new-facts=1 prior-facts=1 | | mean | 286.817-286.820=-0.003 | | σ | 0.036-0.037=-0.001 | | min | 286.770-286.773=-0.003 | | max | 286.852-286.858=-0.006 |
| | mean | 1635.000-1640.000=-5.000 | | σ | 0.000 | | min | 1635.000-1640.000=-5.000 | | max | 1635.000-1640.000=-5.000 |
| | mean | 0.392-0.396=-0.004 | | σ | 0.008-0.006=0.002 | | min | 0.386-0.390=-0.004 | | max | 0.406-0.403=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.244-1297.213=0.031 | | σ | 0.074-0.073=0.001 | | min | 1297.162-1297.133=0.029 | | max | 1297.301-1297.301=0.000 |
| | mean | 1635.000-1640.000=-5.000 | | σ | 0.000 | | min | 1635.000-1640.000=-5.000 | | max | 1635.000-1640.000=-5.000 |
| | mean | 2.041-2.051=-0.009 | | σ | 0.037-0.047=-0.010 | | min | 1.978-2.000=-0.022 | | max | 2.070-2.124=-0.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.301-1541.353=-0.052 | | σ | 6.846-6.814=0.032 | | min | 1538.029-1538.165=-0.135 | | max | 1553.543-1553.540=0.002 |
| | mean | 1635.000-1640.000=-5.000 | | σ | 0.000 | | min | 1635.000-1640.000=-5.000 | | max | 1635.000-1640.000=-5.000 |
| | mean | 2.167-2.301=-0.134 | | σ | 0.131-0.240=-0.109 | | min | 2.089-2.140=-0.051 | | max | 2.397-2.699=-0.302 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.121-1859.115=0.007 | | σ | 0.082-0.085=-0.003 | | min | 1859.001-1858.987=0.014 | | max | 1859.212-1859.199=0.013 |
| | mean | 1793.400-1795.400=-2.000 | | σ | 181.230-179.485=1.745 | | min | 1635.000-1640.000=-5.000 | | max | 2054.000-2055.000=-1.000 |
| | mean | 3.019-2.948=0.071 | | σ | 0.050-0.152=-0.102 | | min | 2.969-2.767=0.203 | | max | 3.080-3.119=-0.039 |
|