iters=5 new-facts=1 prior-facts=1 | | mean | 286.841-286.843=-0.002 | | σ | 0.038-0.038=-0.000 | | min | 286.791-286.791=0.001 | | max | 286.880-286.882=-0.003 |
| | mean | 1619.000-1632.000=-13.000 | | σ | 0.000 | | min | 1619.000-1632.000=-13.000 | | max | 1619.000-1632.000=-13.000 |
| | mean | 0.402-0.396=0.006 | | σ | 0.009-0.006=0.003 | | min | 0.388-0.390=-0.003 | | max | 0.412-0.403=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.235-1297.227=0.008 | | σ | 0.116-0.109=0.007 | | min | 1297.116-1297.104=0.012 | | max | 1297.403-1297.376=0.027 |
| | mean | 1619.000-1632.000=-13.000 | | σ | 0.000 | | min | 1619.000-1632.000=-13.000 | | max | 1619.000-1632.000=-13.000 |
| | mean | 1.884-1.882=0.001 | | σ | 0.085-0.080=0.005 | | min | 1.807-1.795=0.013 | | max | 2.015-1.988=0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.356-1541.363=-0.008 | | σ | 6.820-6.835=-0.015 | | min | 1538.125-1538.097=0.028 | | max | 1553.553-1553.588=-0.034 |
| | mean | 1619.000-1632.000=-13.000 | | σ | 0.000 | | min | 1619.000-1632.000=-13.000 | | max | 1619.000-1632.000=-13.000 |
| | mean | 2.126-2.138=-0.011 | | σ | 0.115-0.182=-0.068 | | min | 2.018-2.005=0.013 | | max | 2.303-2.439=-0.136 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.136-1859.144=-0.007 | | σ | 0.067-0.062=0.006 | | min | 1859.051-1859.088=-0.037 | | max | 1859.215-1859.231=-0.016 |
| | mean | 1781.400-1784.600=-3.200 | | σ | 165.420-157.308=8.112 | | min | 1619.000-1632.000=-13.000 | | max | 1950.000-1946.000=4.000 |
| | mean | 2.975-2.920=0.056 | | σ | 0.235-0.087=0.147 | | min | 2.830-2.851=-0.021 | | max | 3.386-3.039=0.347 |
|