iters=5 new-facts=1 prior-facts=1 | | mean | 324.758 | | σ | 0.060 | | min | 324.652 | | max | 324.800 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.424 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.308 | | σ | 0.018 | | min | 1985.285 | | max | 1985.327 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 2.740 | | σ | 0.122 | | min | 2.576 | | max | 2.897 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.935 | | σ | 7.684 | | min | 4805.428 | | max | 4822.680 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 8.881 | | σ | 0.155 | | min | 8.762 | | max | 9.142 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.468 | | σ | 0.156 | | min | 4996.190 | | max | 4996.561 |
| | mean | 3089.200 | | σ | 231.435 | | min | 2843.000 | | max | 3323.000 |
| | mean | 8.825 | | σ | 0.437 | | min | 8.485 | | max | 9.542 |
|