iters=5 new-facts=1 prior-facts=1 | | mean | 273.404 | | σ | 0.010 | | min | 273.394 | | max | 273.415 |
| | mean | 2512.000 | | σ | 0.000 | | min | 2512.000 | | max | 2512.000 |
| | mean | 0.393 | | σ | 0.003 | | min | 0.390 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.840 | | σ | 0.020 | | min | 1933.814 | | max | 1933.864 |
| | mean | 2512.000 | | σ | 0.000 | | min | 2512.000 | | max | 2512.000 |
| | mean | 2.959 | | σ | 0.207 | | min | 2.685 | | max | 3.167 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.387 | | σ | 0.769 | | min | 4753.983 | | max | 4755.759 |
| | mean | 2512.000 | | σ | 0.000 | | min | 2512.000 | | max | 2512.000 |
| | mean | 8.033 | | σ | 0.494 | | min | 7.656 | | max | 8.799 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4764.740 | | σ | 402.452 | | min | 4044.813 | | max | 4944.882 |
| | mean | 2949.000 | | σ | 416.413 | | min | 2512.000 | | max | 3527.000 |
| | mean | 8.171 | | σ | 0.461 | | min | 7.354 | | max | 8.483 |
|