iters=5 new-facts=1 prior-facts=1 | | mean | 326.564-326.575=-0.011 | | σ | 0.058-0.041=0.017 | | min | 326.460-326.505=-0.045 | | max | 326.598-326.615=-0.017 |
| | mean | 2649.000-2589.000=60.000 | | σ | 0.000 | | min | 2649.000-2589.000=60.000 | | max | 2649.000-2589.000=60.000 |
| | mean | 0.433-0.428=0.005 | | σ | 0.002-0.005=-0.003 | | min | 0.430-0.423=0.007 | | max | 0.435-0.434=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.739-1988.739=-0.000 | | σ | 0.010-0.012=-0.002 | | min | 1988.724-1988.721=0.003 | | max | 1988.749-1988.751=-0.002 |
| | mean | 2649.000-2589.000=60.000 | | σ | 0.000 | | min | 2649.000-2589.000=60.000 | | max | 2649.000-2589.000=60.000 |
| | mean | 2.690-2.739=-0.050 | | σ | 0.036-0.130=-0.094 | | min | 2.668-2.623=0.046 | | max | 2.753-2.955=-0.201 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.658-4813.457=0.201 | | σ | 7.740-7.795=-0.055 | | min | 4810.038-4809.536=0.502 | | max | 4827.504-4827.394=0.109 |
| | mean | 2649.000-2589.000=60.000 | | σ | 0.000 | | min | 2649.000-2589.000=60.000 | | max | 2649.000-2589.000=60.000 |
| | mean | 8.408-8.836=-0.428 | | σ | 0.760-0.289=0.471 | | min | 7.884-8.512=-0.627 | | max | 9.718-9.243=0.475 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.146-5001.139=0.007 | | σ | 0.026-0.021=0.005 | | min | 5001.112-5001.113=-0.001 | | max | 5001.172-5001.162=0.010 |
| | mean | 2970.600-3029.200=-58.600 | | σ | 365.137-322.845=42.292 | | min | 2649.000-2589.000=60.000 | | max | 3502.000-3335.000=167.000 |
| | mean | 9.909-9.841=0.067 | | σ | 0.097-0.154=-0.057 | | min | 9.833-9.639=0.194 | | max | 10.068-9.962=0.106 |
|