iters=5 new-facts=1 prior-facts=1 | | mean | 277.734 | | σ | 0.013 | | min | 277.720 | | max | 277.750 |
| | mean | 2743.000 | | σ | 0.000 | | min | 2743.000 | | max | 2743.000 |
| | mean | 0.410 | | σ | 0.001 | | min | 0.408 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.875 | | σ | 0.027 | | min | 2267.843 | | max | 2267.897 |
| | mean | 2743.000 | | σ | 0.000 | | min | 2743.000 | | max | 2743.000 |
| | mean | 3.103 | | σ | 0.179 | | min | 2.847 | | max | 3.332 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.132 | | σ | 0.991 | | min | 4954.590 | | max | 4956.900 |
| | mean | 2743.000 | | σ | 0.000 | | min | 2743.000 | | max | 2743.000 |
| | mean | 7.964 | | σ | 0.135 | | min | 7.762 | | max | 8.127 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.693 | | σ | 0.208 | | min | 5169.349 | | max | 5169.860 |
| | mean | 3367.800 | | σ | 401.927 | | min | 2979.000 | | max | 3781.000 |
| | mean | 9.576 | | σ | 0.367 | | min | 9.211 | | max | 10.169 |
|