iters=5 new-facts=1 prior-facts=1 | | mean | 272.759-272.759=-0.000 | | σ | 0.008-0.006=0.002 | | min | 272.749-272.752=-0.004 | | max | 272.770-272.768=0.002 |
| | mean | 2772.000-2508.000=264.000 | | σ | 0.000 | | min | 2772.000-2508.000=264.000 | | max | 2772.000-2508.000=264.000 |
| | mean | 0.383-0.387=-0.003 | | σ | 0.008-0.009=-0.002 | | min | 0.378-0.380=-0.002 | | max | 0.395-0.401=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.162-1933.170=-0.009 | | σ | 0.008-0.025=-0.017 | | min | 1933.150-1933.135=0.016 | | max | 1933.171-1933.194=-0.023 |
| | mean | 2772.000-2508.000=264.000 | | σ | 0.000 | | min | 2772.000-2508.000=264.000 | | max | 2772.000-2508.000=264.000 |
| | mean | 3.081-2.995=0.086 | | σ | 0.071-0.301=-0.230 | | min | 3.016-2.498=0.518 | | max | 3.163-3.311=-0.149 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.975-4756.991=-0.016 | | σ | 7.568-7.556=0.012 | | min | 4753.449-4753.508=-0.059 | | max | 4770.512-4770.508=0.005 |
| | mean | 2772.000-2508.000=264.000 | | σ | 0.000 | | min | 2772.000-2508.000=264.000 | | max | 2772.000-2508.000=264.000 |
| | mean | 8.360-8.111=0.250 | | σ | 0.509-0.425=0.084 | | min | 7.679-7.695=-0.016 | | max | 8.949-8.653=0.296 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.323-4944.394=-0.071 | | σ | 0.147-0.021=0.126 | | min | 4944.062-4944.369=-0.307 | | max | 4944.405-4944.412=-0.007 |
| | mean | 3039.000-2964.600=74.400 | | σ | 233.062-432.543=-199.481 | | min | 2772.000-2508.000=264.000 | | max | 3325.000-3553.000=-228.000 |
| | mean | 8.663-8.409=0.254 | | σ | 0.231-0.078=0.153 | | min | 8.370-8.325=0.045 | | max | 9.012-8.513=0.499 |
|