iters=5 new-facts=1 prior-facts=1 | | mean | 272.756-272.756=0.000 | | σ | 0.008-0.006=0.002 | | min | 272.744-272.749=-0.005 | | max | 272.766-272.765=0.001 |
| | mean | 2504.000-2487.000=17.000 | | σ | 0.000 | | min | 2504.000-2487.000=17.000 | | max | 2504.000-2487.000=17.000 |
| | mean | 0.383-0.382=0.001 | | σ | 0.010-0.008=0.002 | | min | 0.371-0.377=-0.006 | | max | 0.397-0.397=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.158-1933.168=-0.011 | | σ | 0.017-0.021=-0.004 | | min | 1933.130-1933.140=-0.011 | | max | 1933.177-1933.194=-0.017 |
| | mean | 2504.000-2487.000=17.000 | | σ | 0.000 | | min | 2504.000-2487.000=17.000 | | max | 2504.000-2487.000=17.000 |
| | mean | 3.070-3.009=0.061 | | σ | 0.214-0.135=0.079 | | min | 2.771-2.778=-0.007 | | max | 3.373-3.129=0.244 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.813-4756.907=-0.093 | | σ | 7.653-7.595=0.058 | | min | 4753.000-4753.473=-0.473 | | max | 4770.497-4770.493=0.005 |
| | mean | 2504.000-2487.000=17.000 | | σ | 0.000 | | min | 2504.000-2487.000=17.000 | | max | 2504.000-2487.000=17.000 |
| | mean | 8.513-8.604=-0.091 | | σ | 0.427-0.369=0.058 | | min | 7.843-8.040=-0.196 | | max | 9.034-8.974=0.060 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.398-4944.386=0.011 | | σ | 0.025-0.028=-0.003 | | min | 4944.363-4944.345=0.018 | | max | 4944.423-4944.414=0.009 |
| | mean | 2961.400-2933.200=28.200 | | σ | 402.498-381.955=20.542 | | min | 2504.000-2487.000=17.000 | | max | 3479.000-3442.000=37.000 |
| | mean | 8.495-8.477=0.018 | | σ | 0.086-0.151=-0.064 | | min | 8.408-8.380=0.028 | | max | 8.616-8.743=-0.127 |
|