iters=5 new-facts=1 prior-facts=1 | | mean | 326.634 | | σ | 0.051 | | min | 326.545 | | max | 326.669 |
| | mean | 2639.000 | | σ | 0.000 | | min | 2639.000 | | max | 2639.000 |
| | mean | 0.424 | | σ | 0.004 | | min | 0.420 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.809 | | σ | 0.007 | | min | 1988.803 | | max | 1988.819 |
| | mean | 2639.000 | | σ | 0.000 | | min | 2639.000 | | max | 2639.000 |
| | mean | 2.685 | | σ | 0.052 | | min | 2.643 | | max | 2.768 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.585 | | σ | 7.766 | | min | 4809.665 | | max | 4827.469 |
| | mean | 2639.000 | | σ | 0.000 | | min | 2639.000 | | max | 2639.000 |
| | mean | 8.221 | | σ | 0.562 | | min | 7.690 | | max | 9.136 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.060 | | σ | 0.197 | | min | 5000.830 | | max | 5001.216 |
| | mean | 2953.800 | | σ | 350.814 | | min | 2639.000 | | max | 3458.000 |
| | mean | 9.532 | | σ | 0.588 | | min | 8.494 | | max | 9.938 |
|