iters=5 new-facts=1 prior-facts=1 | | mean | 324.712 | | σ | 0.040 | | min | 324.643 | | max | 324.747 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 0.425 | | σ | 0.004 | | min | 0.421 | | max | 0.431 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.269 | | σ | 0.007 | | min | 1985.261 | | max | 1985.278 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 2.604 | | σ | 0.051 | | min | 2.563 | | max | 2.668 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.859 | | σ | 7.674 | | min | 4805.358 | | max | 4822.587 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 8.825 | | σ | 0.176 | | min | 8.629 | | max | 9.103 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.471 | | σ | 0.020 | | min | 4996.451 | | max | 4996.496 |
| | mean | 3069.400 | | σ | 230.990 | | min | 2826.000 | | max | 3405.000 |
| | mean | 8.749 | | σ | 0.167 | | min | 8.595 | | max | 9.023 |
|