iters=5 new-facts=1 prior-facts=1 | | mean | 327.471 | | σ | 0.060 | | min | 327.364 | | max | 327.502 |
| | mean | 2484.000 | | σ | 0.000 | | min | 2484.000 | | max | 2484.000 |
| | mean | 0.431 | | σ | 0.007 | | min | 0.427 | | max | 0.443 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.036 | | σ | 0.008 | | min | 1988.026 | | max | 1988.047 |
| | mean | 2484.000 | | σ | 0.000 | | min | 2484.000 | | max | 2484.000 |
| | mean | 2.622 | | σ | 0.077 | | min | 2.541 | | max | 2.714 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4811.647 | | σ | 7.680 | | min | 4808.147 | | max | 4825.386 |
| | mean | 2484.000 | | σ | 0.000 | | min | 2484.000 | | max | 2484.000 |
| | mean | 8.868 | | σ | 0.173 | | min | 8.620 | | max | 9.079 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4999.103 | | σ | 0.182 | | min | 4998.904 | | max | 4999.269 |
| | mean | 2952.200 | | σ | 253.307 | | min | 2634.000 | | max | 3298.000 |
| | mean | 8.560 | | σ | 0.058 | | min | 8.498 | | max | 8.640 |
|