iters=5 new-facts=1 prior-facts=1 | | mean | 326.577-326.586=-0.009 | | σ | 0.031-0.029=0.002 | | min | 326.523-326.537=-0.013 | | max | 326.597-326.608=-0.011 |
| | mean | 2611.000-2823.000=-212.000 | | σ | 0.000 | | min | 2611.000-2823.000=-212.000 | | max | 2611.000-2823.000=-212.000 |
| | mean | 0.422-0.422=-0.000 | | σ | 0.001-0.005=-0.004 | | min | 0.421-0.419=0.002 | | max | 0.423-0.431=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.742-1988.741=0.001 | | σ | 0.009-0.006=0.003 | | min | 1988.728-1988.735=-0.007 | | max | 1988.752-1988.751=0.001 |
| | mean | 2611.000-2823.000=-212.000 | | σ | 0.000 | | min | 2611.000-2823.000=-212.000 | | max | 2611.000-2823.000=-212.000 |
| | mean | 2.716-2.699=0.017 | | σ | 0.053-0.076=-0.023 | | min | 2.657-2.628=0.029 | | max | 2.798-2.786=0.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.402-4813.374=0.027 | | σ | 7.183-7.562=-0.379 | | min | 4810.043-4809.578=0.465 | | max | 4826.250-4826.894=-0.644 |
| | mean | 2611.000-2823.000=-212.000 | | σ | 0.000 | | min | 2611.000-2823.000=-212.000 | | max | 2611.000-2823.000=-212.000 |
| | mean | 8.227-8.818=-0.592 | | σ | 0.552-0.390=0.162 | | min | 7.806-8.283=-0.477 | | max | 9.112-9.210=-0.097 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.138-5001.147=-0.009 | | σ | 0.026-0.030=-0.005 | | min | 5001.105-5001.113=-0.008 | | max | 5001.160-5001.187=-0.028 |
| | mean | 2980.400-3036.800=-56.400 | | σ | 406.012-199.371=206.641 | | min | 2611.000-2823.000=-212.000 | | max | 3554.000-3322.000=232.000 |
| | mean | 9.807-9.797=0.010 | | σ | 0.174-0.253=-0.079 | | min | 9.574-9.547=0.027 | | max | 10.000-10.217=-0.217 |
|