iters=5 new-facts=1 prior-facts=1 | | mean | 324.742 | | σ | 0.038 | | min | 324.675 | | max | 324.771 |
| | mean | 2809.000 | | σ | 0.000 | | min | 2809.000 | | max | 2809.000 |
| | mean | 0.425 | | σ | 0.002 | | min | 0.424 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.293 | | σ | 0.018 | | min | 1985.272 | | max | 1985.314 |
| | mean | 2809.000 | | σ | 0.000 | | min | 2809.000 | | max | 2809.000 |
| | mean | 2.598 | | σ | 0.100 | | min | 2.532 | | max | 2.767 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.826 | | σ | 7.757 | | min | 4804.826 | | max | 4822.690 |
| | mean | 2809.000 | | σ | 0.000 | | min | 2809.000 | | max | 2809.000 |
| | mean | 8.677 | | σ | 0.465 | | min | 8.058 | | max | 9.281 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.494 | | σ | 0.026 | | min | 4996.459 | | max | 4996.522 |
| | mean | 3063.200 | | σ | 322.759 | | min | 2809.000 | | max | 3557.000 |
| | mean | 8.561 | | σ | 0.159 | | min | 8.435 | | max | 8.782 |
|