iters=5 new-facts=1 prior-facts=1 | | mean | 272.789-272.756=0.033 | | σ | 0.005-0.008=-0.003 | | min | 272.784-272.744=0.040 | | max | 272.798-272.766=0.032 |
| | mean | 2507.000-2504.000=3.000 | | σ | 0.000 | | min | 2507.000-2504.000=3.000 | | max | 2507.000-2504.000=3.000 |
| | mean | 0.379-0.383=-0.004 | | σ | 0.001-0.010=-0.009 | | min | 0.378-0.371=0.007 | | max | 0.381-0.397=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.225-1933.158=0.067 | | σ | 0.016-0.017=-0.001 | | min | 1933.202-1933.130=0.073 | | max | 1933.243-1933.177=0.066 |
| | mean | 2507.000-2504.000=3.000 | | σ | 0.000 | | min | 2507.000-2504.000=3.000 | | max | 2507.000-2504.000=3.000 |
| | mean | 3.192-3.070=0.122 | | σ | 0.161-0.214=-0.053 | | min | 3.039-2.771=0.268 | | max | 3.398-3.373=0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.984-4756.813=0.171 | | σ | 7.543-7.653=-0.110 | | min | 4753.586-4753.000=0.586 | | max | 4770.478-4770.497=-0.020 |
| | mean | 2507.000-2504.000=3.000 | | σ | 0.000 | | min | 2507.000-2504.000=3.000 | | max | 2507.000-2504.000=3.000 |
| | mean | 8.382-8.513=-0.131 | | σ | 0.226-0.427=-0.201 | | min | 7.994-7.843=0.150 | | max | 8.576-9.034=-0.457 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.307-4944.398=-0.091 | | σ | 0.197-0.025=0.172 | | min | 4944.078-4944.363=-0.285 | | max | 4944.462-4944.423=0.038 |
| | mean | 2976.600-2961.400=15.200 | | σ | 394.871-402.498=-7.626 | | min | 2507.000-2504.000=3.000 | | max | 3517.000-3479.000=38.000 |
| | mean | 8.455-8.495=-0.040 | | σ | 0.086-0.086=0.000 | | min | 8.385-8.408=-0.023 | | max | 8.590-8.616=-0.026 |
|