iters=5 new-facts=1 prior-facts=1 | | mean | 272.792 | | σ | 0.007 | | min | 272.783 | | max | 272.801 |
| | mean | 2525.000 | | σ | 0.000 | | min | 2525.000 | | max | 2525.000 |
| | mean | 0.381 | | σ | 0.009 | | min | 0.376 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.214 | | σ | 0.012 | | min | 1933.204 | | max | 1933.234 |
| | mean | 2525.000 | | σ | 0.000 | | min | 2525.000 | | max | 2525.000 |
| | mean | 3.043 | | σ | 0.052 | | min | 2.957 | | max | 3.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.935 | | σ | 7.599 | | min | 4753.456 | | max | 4770.529 |
| | mean | 2525.000 | | σ | 0.000 | | min | 2525.000 | | max | 2525.000 |
| | mean | 8.672 | | σ | 0.401 | | min | 8.036 | | max | 9.079 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.165 | | σ | 0.386 | | min | 4943.720 | | max | 4944.474 |
| | mean | 2926.200 | | σ | 363.567 | | min | 2525.000 | | max | 3433.000 |
| | mean | 8.421 | | σ | 0.062 | | min | 8.350 | | max | 8.499 |
|