iters=5 new-facts=1 prior-facts=1 | | mean | 325.316 | | σ | 0.053 | | min | 325.221 | | max | 325.344 |
| | mean | 2698.000 | | σ | 0.000 | | min | 2698.000 | | max | 2698.000 |
| | mean | 0.426 | | σ | 0.001 | | min | 0.425 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.871 | | σ | 0.017 | | min | 1985.841 | | max | 1985.883 |
| | mean | 2698.000 | | σ | 0.000 | | min | 2698.000 | | max | 2698.000 |
| | mean | 2.707 | | σ | 0.058 | | min | 2.657 | | max | 2.775 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.540 | | σ | 7.759 | | min | 4805.578 | | max | 4823.410 |
| | mean | 2698.000 | | σ | 0.000 | | min | 2698.000 | | max | 2698.000 |
| | mean | 8.779 | | σ | 0.307 | | min | 8.257 | | max | 9.071 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.185 | | σ | 0.022 | | min | 4997.159 | | max | 4997.208 |
| | mean | 2971.600 | | σ | 322.283 | | min | 2698.000 | | max | 3445.000 |
| | mean | 8.507 | | σ | 0.090 | | min | 8.371 | | max | 8.615 |
|