iters=5 new-facts=1 prior-facts=1 | | mean | 326.542 | | σ | 0.047 | | min | 326.459 | | max | 326.579 |
| | mean | 2713.000 | | σ | 0.000 | | min | 2713.000 | | max | 2713.000 |
| | mean | 0.426 | | σ | 0.004 | | min | 0.422 | | max | 0.432 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.732 | | σ | 0.011 | | min | 1988.717 | | max | 1988.747 |
| | mean | 2713.000 | | σ | 0.000 | | min | 2713.000 | | max | 2713.000 |
| | mean | 2.726 | | σ | 0.135 | | min | 2.621 | | max | 2.958 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.494 | | σ | 7.808 | | min | 4809.746 | | max | 4827.458 |
| | mean | 2713.000 | | σ | 0.000 | | min | 2713.000 | | max | 2713.000 |
| | mean | 8.689 | | σ | 0.640 | | min | 7.827 | | max | 9.366 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.133 | | σ | 0.015 | | min | 5001.115 | | max | 5001.150 |
| | mean | 2963.800 | | σ | 302.933 | | min | 2713.000 | | max | 3429.000 |
| | mean | 9.281 | | σ | 0.549 | | min | 8.352 | | max | 9.686 |
|