iters=5 new-facts=1 prior-facts=1 | | mean | 271.759-271.758=0.001 | | σ | 0.008-0.005=0.003 | | min | 271.750-271.753=-0.004 | | max | 271.769-271.765=0.004 |
| | mean | 2848.000-2886.000=-38.000 | | σ | 0.000 | | min | 2848.000-2886.000=-38.000 | | max | 2848.000-2886.000=-38.000 |
| | mean | 0.383-0.381=0.002 | | σ | 0.004-0.004=0.000 | | min | 0.380-0.377=0.003 | | max | 0.389-0.386=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.180-1932.175=0.005 | | σ | 0.013-0.007=0.006 | | min | 1932.165-1932.168=-0.004 | | max | 1932.199-1932.184=0.015 |
| | mean | 2848.000-2886.000=-38.000 | | σ | 0.000 | | min | 2848.000-2886.000=-38.000 | | max | 2848.000-2886.000=-38.000 |
| | mean | 3.008-3.094=-0.086 | | σ | 0.203-0.097=0.106 | | min | 2.698-3.008=-0.310 | | max | 3.234-3.252=-0.017 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.924-4752.965=-0.041 | | σ | 0.953-0.881=0.073 | | min | 4752.346-4752.385=-0.039 | | max | 4754.615-4754.527=0.088 |
| | mean | 2848.000-2886.000=-38.000 | | σ | 0.000 | | min | 2848.000-2886.000=-38.000 | | max | 2848.000-2886.000=-38.000 |
| | mean | 8.594-8.243=0.351 | | σ | 0.601-0.501=0.099 | | min | 7.955-7.755=0.200 | | max | 9.360-9.031=0.329 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.312-4943.307=0.005 | | σ | 0.168-0.166=0.002 | | min | 4943.013-4943.012=0.000 | | max | 4943.398-4943.402=-0.004 |
| | mean | 3075.800-3069.000=6.800 | | σ | 238.688-265.868=-27.180 | | min | 2848.000-2886.000=-38.000 | | max | 3419.000-3484.000=-65.000 |
| | mean | 8.751-8.479=0.272 | | σ | 0.348-0.217=0.131 | | min | 8.431-8.235=0.196 | | max | 9.308-8.790=0.518 |
|