iters=5 new-facts=1 prior-facts=1 | | mean | 275.759 | | σ | 0.009 | | min | 275.746 | | max | 275.768 |
| | mean | 2812.000 | | σ | 0.000 | | min | 2812.000 | | max | 2812.000 |
| | mean | 0.406 | | σ | 0.011 | | min | 0.396 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.275 | | σ | 0.014 | | min | 2168.251 | | max | 2168.286 |
| | mean | 2812.000 | | σ | 0.000 | | min | 2812.000 | | max | 2812.000 |
| | mean | 2.999 | | σ | 0.167 | | min | 2.791 | | max | 3.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.142 | | σ | 0.912 | | min | 5047.552 | | max | 5049.758 |
| | mean | 2812.000 | | σ | 0.000 | | min | 2812.000 | | max | 2812.000 |
| | mean | 8.834 | | σ | 0.680 | | min | 8.060 | | max | 9.756 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.022 | | σ | 0.336 | | min | 5178.463 | | max | 5179.294 |
| | mean | 3245.400 | | σ | 349.437 | | min | 2812.000 | | max | 3724.000 |
| | mean | 9.681 | | σ | 0.675 | | min | 8.660 | | max | 10.395 |
|