iters=5 new-facts=1 prior-facts=1 | | mean | 273.401 | | σ | 0.011 | | min | 273.392 | | max | 273.418 |
| | mean | 2466.000 | | σ | 0.000 | | min | 2466.000 | | max | 2466.000 |
| | mean | 0.389 | | σ | 0.017 | | min | 0.375 | | max | 0.415 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.841 | | σ | 0.006 | | min | 1933.834 | | max | 1933.850 |
| | mean | 2466.000 | | σ | 0.000 | | min | 2466.000 | | max | 2466.000 |
| | mean | 3.085 | | σ | 0.099 | | min | 3.000 | | max | 3.219 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.340 | | σ | 0.900 | | min | 4753.741 | | max | 4755.937 |
| | mean | 2466.000 | | σ | 0.000 | | min | 2466.000 | | max | 2466.000 |
| | mean | 8.590 | | σ | 0.630 | | min | 7.661 | | max | 9.157 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.798 | | σ | 0.075 | | min | 4944.741 | | max | 4944.881 |
| | mean | 3034.200 | | σ | 358.411 | | min | 2558.000 | | max | 3368.000 |
| | mean | 8.752 | | σ | 0.224 | | min | 8.509 | | max | 9.077 |
|