iters=5 new-facts=1 prior-facts=1 | | mean | 272.756 | | σ | 0.005 | | min | 272.749 | | max | 272.762 |
| | mean | 2435.000 | | σ | 0.000 | | min | 2435.000 | | max | 2435.000 |
| | mean | 0.384 | | σ | 0.005 | | min | 0.379 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.129 | | σ | 0.006 | | min | 1933.119 | | max | 1933.135 |
| | mean | 2435.000 | | σ | 0.000 | | min | 2435.000 | | max | 2435.000 |
| | mean | 2.919 | | σ | 0.159 | | min | 2.666 | | max | 3.104 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.669 | | σ | 1.122 | | min | 4752.388 | | max | 4755.481 |
| | mean | 2435.000 | | σ | 0.000 | | min | 2435.000 | | max | 2435.000 |
| | mean | 8.504 | | σ | 0.403 | | min | 7.902 | | max | 8.936 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.362 | | σ | 0.020 | | min | 4944.339 | | max | 4944.390 |
| | mean | 2957.800 | | σ | 268.448 | | min | 2594.000 | | max | 3305.000 |
| | mean | 8.494 | | σ | 0.116 | | min | 8.398 | | max | 8.684 |
|