iters=5 new-facts=1 prior-facts=1 | | mean | 271.597 | | σ | 0.004 | | min | 271.591 | | max | 271.601 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 0.384 | | σ | 0.007 | | min | 0.378 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.983 | | σ | 0.010 | | min | 1931.971 | | max | 1931.996 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 2.593 | | σ | 0.131 | | min | 2.493 | | max | 2.761 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.591 | | σ | 0.991 | | min | 4751.916 | | max | 4754.347 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 8.654 | | σ | 0.594 | | min | 7.786 | | max | 9.297 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.206 | | σ | 0.020 | | min | 4943.184 | | max | 4943.234 |
| | mean | 2938.400 | | σ | 307.386 | | min | 2697.000 | | max | 3406.000 |
| | mean | 8.469 | | σ | 0.158 | | min | 8.340 | | max | 8.741 |
|