iters=5 new-facts=1 prior-facts=1 | | mean | 272.755 | | σ | 0.003 | | min | 272.753 | | max | 272.760 |
| | mean | 2775.000 | | σ | 0.000 | | min | 2775.000 | | max | 2775.000 |
| | mean | 0.384 | | σ | 0.008 | | min | 0.379 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.159 | | σ | 0.018 | | min | 1933.141 | | max | 1933.183 |
| | mean | 2775.000 | | σ | 0.000 | | min | 2775.000 | | max | 2775.000 |
| | mean | 2.968 | | σ | 0.362 | | min | 2.472 | | max | 3.396 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.911 | | σ | 7.589 | | min | 4753.446 | | max | 4770.486 |
| | mean | 2775.000 | | σ | 0.000 | | min | 2775.000 | | max | 2775.000 |
| | mean | 8.618 | | σ | 0.218 | | min | 8.366 | | max | 8.961 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.392 | | σ | 0.023 | | min | 4944.366 | | max | 4944.423 |
| | mean | 3037.400 | | σ | 323.120 | | min | 2775.000 | | max | 3525.000 |
| | mean | 8.450 | | σ | 0.128 | | min | 8.337 | | max | 8.666 |
|