iters=5 new-facts=1 prior-facts=1 | | mean | 326.440 | | σ | 0.060 | | min | 326.335 | | max | 326.477 |
| | mean | 2599.000 | | σ | 0.000 | | min | 2599.000 | | max | 2599.000 |
| | mean | 0.438 | | σ | 0.014 | | min | 0.422 | | max | 0.449 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.613 | | σ | 0.009 | | min | 1988.601 | | max | 1988.621 |
| | mean | 2599.000 | | σ | 0.000 | | min | 2599.000 | | max | 2599.000 |
| | mean | 2.692 | | σ | 0.134 | | min | 2.512 | | max | 2.868 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.335 | | σ | 7.816 | | min | 4809.354 | | max | 4827.308 |
| | mean | 2599.000 | | σ | 0.000 | | min | 2599.000 | | max | 2599.000 |
| | mean | 8.776 | | σ | 0.214 | | min | 8.540 | | max | 9.095 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.010 | | σ | 0.022 | | min | 5000.984 | | max | 5001.038 |
| | mean | 3006.600 | | σ | 326.292 | | min | 2599.000 | | max | 3318.000 |
| | mean | 9.725 | | σ | 0.096 | | min | 9.611 | | max | 9.844 |
|