iters=5 new-facts=1 prior-facts=1 | | mean | 277.387 | | σ | 0.005 | | min | 277.382 | | max | 277.394 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 0.394 | | σ | 0.004 | | min | 0.391 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.618 | | σ | 0.012 | | min | 2174.601 | | max | 2174.634 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 2.847 | | σ | 0.122 | | min | 2.745 | | max | 3.028 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.667 | | σ | 1.059 | | min | 5051.768 | | max | 5054.497 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 9.022 | | σ | 0.413 | | min | 8.521 | | max | 9.625 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.619 | | σ | 0.088 | | min | 5188.546 | | max | 5188.720 |
| | mean | 3206.000 | | σ | 494.302 | | min | 2611.000 | | max | 3866.000 |
| | mean | 8.699 | | σ | 0.130 | | min | 8.561 | | max | 8.913 |
|