iters=5 new-facts=1 prior-facts=1 | | mean | 324.705 | | σ | 0.056 | | min | 324.606 | | max | 324.738 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 0.424 | | σ | 0.002 | | min | 0.421 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258 | | σ | 0.020 | | min | 1985.231 | | max | 1985.277 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 2.625 | | σ | 0.091 | | min | 2.534 | | max | 2.765 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.864 | | σ | 7.642 | | min | 4805.371 | | max | 4822.534 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 8.695 | | σ | 0.188 | | min | 8.494 | | max | 8.894 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.458 | | σ | 0.019 | | min | 4996.429 | | max | 4996.481 |
| | mean | 3070.200 | | σ | 303.047 | | min | 2839.000 | | max | 3535.000 |
| | mean | 8.536 | | σ | 0.124 | | min | 8.427 | | max | 8.672 |
|