iters=5 new-facts=1 prior-facts=1 | | mean | 189.717 | | σ | 0.014 | | min | 189.701 | | max | 189.733 |
| | mean | 2615.000 | | σ | 0.000 | | min | 2615.000 | | max | 2615.000 |
| | mean | 0.277 | | σ | 0.001 | | min | 0.276 | | max | 0.278 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.525 | | σ | 0.018 | | min | 1988.504 | | max | 1988.543 |
| | mean | 2615.000 | | σ | 0.000 | | min | 2615.000 | | max | 2615.000 |
| | mean | 2.409 | | σ | 0.076 | | min | 2.363 | | max | 2.544 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4878.846 | | σ | 0.715 | | min | 4878.135 | | max | 4880.020 |
| | mean | 2615.000 | | σ | 0.000 | | min | 2615.000 | | max | 2615.000 |
| | mean | 8.034 | | σ | 0.212 | | min | 7.746 | | max | 8.209 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4890.683 | | σ | 0.093 | | min | 4890.603 | | max | 4890.799 |
| | mean | 3248.800 | | σ | 407.141 | | min | 2837.000 | | max | 3651.000 |
| | mean | 8.070 | | σ | 0.163 | | min | 7.920 | | max | 8.318 |
|