iters=5 new-facts=1 prior-facts=1 | | mean | 272.013 | | σ | 0.007 | | min | 272.004 | | max | 272.020 |
| | mean | 2884.000 | | σ | 0.000 | | min | 2884.000 | | max | 2884.000 |
| | mean | 0.385 | | σ | 0.010 | | min | 0.378 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.439 | | σ | 0.010 | | min | 1932.428 | | max | 1932.450 |
| | mean | 2884.000 | | σ | 0.000 | | min | 2884.000 | | max | 2884.000 |
| | mean | 2.895 | | σ | 0.159 | | min | 2.667 | | max | 3.021 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.231 | | σ | 0.809 | | min | 4752.796 | | max | 4754.675 |
| | mean | 2884.000 | | σ | 0.000 | | min | 2884.000 | | max | 2884.000 |
| | mean | 7.996 | | σ | 0.391 | | min | 7.642 | | max | 8.587 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.627 | | σ | 0.019 | | min | 4943.608 | | max | 4943.649 |
| | mean | 3081.000 | | σ | 281.237 | | min | 2884.000 | | max | 3530.000 |
| | mean | 8.465 | | σ | 0.096 | | min | 8.383 | | max | 8.624 |
|