iters=5 new-facts=1 prior-facts=1 | | mean | 324.773 | | σ | 0.056 | | min | 324.674 | | max | 324.804 |
| | mean | 2424.000 | | σ | 0.000 | | min | 2424.000 | | max | 2424.000 |
| | mean | 0.431 | | σ | 0.011 | | min | 0.418 | | max | 0.445 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.321 | | σ | 0.018 | | min | 1985.294 | | max | 1985.340 |
| | mean | 2424.000 | | σ | 0.000 | | min | 2424.000 | | max | 2424.000 |
| | mean | 2.617 | | σ | 0.144 | | min | 2.466 | | max | 2.839 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4810.208 | | σ | 7.594 | | min | 4806.657 | | max | 4823.790 |
| | mean | 2424.000 | | σ | 0.000 | | min | 2424.000 | | max | 2424.000 |
| | mean | 8.443 | | σ | 0.633 | | min | 7.695 | | max | 9.344 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.711 | | σ | 0.022 | | min | 4997.684 | | max | 4997.733 |
| | mean | 2979.800 | | σ | 297.061 | | min | 2593.000 | | max | 3346.000 |
| | mean | 8.674 | | σ | 0.159 | | min | 8.440 | | max | 8.834 |
|