iters=5 new-facts=1 prior-facts=1 | | mean | 277.880-277.692=0.188 | | σ | 0.007-0.009=-0.002 | | min | 277.870-277.679=0.191 | | max | 277.889-277.702=0.188 |
| | mean | 2837.000-2833.000=4.000 | | σ | 0.000 | | min | 2837.000-2833.000=4.000 | | max | 2837.000-2833.000=4.000 |
| | mean | 0.404-0.408=-0.004 | | σ | 0.007-0.006=0.001 | | min | 0.397-0.400=-0.003 | | max | 0.414-0.414=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.833-2176.655=0.177 | | σ | 0.014-0.012=0.001 | | min | 2176.813-2176.642=0.171 | | max | 2176.849-2176.670=0.179 |
| | mean | 2837.000-2833.000=4.000 | | σ | 0.000 | | min | 2837.000-2833.000=4.000 | | max | 2837.000-2833.000=4.000 |
| | mean | 3.492-2.961=0.531 | | σ | 0.088-0.108=-0.020 | | min | 3.393-2.823=0.571 | | max | 3.620-3.080=0.540 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.715-5046.164=8.551 | | σ | 0.925-0.982=-0.057 | | min | 5054.147-5045.292=8.855 | | max | 5056.359-5047.846=8.512 |
| | mean | 2837.000-2833.000=4.000 | | σ | 0.000 | | min | 2837.000-2833.000=4.000 | | max | 2837.000-2833.000=4.000 |
| | mean | 8.845-8.494=0.352 | | σ | 0.491-0.398=0.094 | | min | 8.212-8.053=0.159 | | max | 9.425-8.945=0.479 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5192.061-5183.682=8.378 | | σ | 0.122-0.080=0.042 | | min | 5191.880-5183.611=8.269 | | max | 5192.224-5183.775=8.449 |
| | mean | 3300.000-3292.000=8.000 | | σ | 364.442-360.699=3.743 | | min | 2837.000-2833.000=4.000 | | max | 3657.000-3645.000=12.000 |
| | mean | 9.058-8.845=0.213 | | σ | 0.381-0.099=0.282 | | min | 8.664-8.718=-0.054 | | max | 9.689-8.974=0.715 |
|