iters=5 new-facts=1 prior-facts=1 | | mean | 324.011 | | σ | 0.058 | | min | 323.908 | | max | 324.039 |
| | mean | 2524.000 | | σ | 0.000 | | min | 2524.000 | | max | 2524.000 |
| | mean | 0.431 | | σ | 0.010 | | min | 0.425 | | max | 0.449 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.598 | | σ | 0.009 | | min | 1984.585 | | max | 1984.606 |
| | mean | 2524.000 | | σ | 0.000 | | min | 2524.000 | | max | 2524.000 |
| | mean | 2.605 | | σ | 0.149 | | min | 2.462 | | max | 2.813 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.240 | | σ | 7.812 | | min | 4804.688 | | max | 4822.214 |
| | mean | 2524.000 | | σ | 0.000 | | min | 2524.000 | | max | 2524.000 |
| | mean | 8.836 | | σ | 0.220 | | min | 8.585 | | max | 9.056 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.808 | | σ | 0.018 | | min | 4995.785 | | max | 4995.829 |
| | mean | 3020.800 | | σ | 290.837 | | min | 2609.000 | | max | 3389.000 |
| | mean | 8.834 | | σ | 0.297 | | min | 8.472 | | max | 9.237 |
|