iters=5 new-facts=1 prior-facts=1 | | mean | 324.009 | | σ | 0.058 | | min | 323.906 | | max | 324.043 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 0.427 | | σ | 0.004 | | min | 0.424 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.577 | | σ | 0.022 | | min | 1984.551 | | max | 1984.603 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 2.636 | | σ | 0.139 | | min | 2.481 | | max | 2.838 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.235 | | σ | 7.733 | | min | 4804.730 | | max | 4822.068 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 8.741 | | σ | 0.273 | | min | 8.310 | | max | 8.970 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.818 | | σ | 0.054 | | min | 4995.766 | | max | 4995.910 |
| | mean | 2994.800 | | σ | 255.509 | | min | 2772.000 | | max | 3398.000 |
| | mean | 8.834 | | σ | 0.748 | | min | 8.468 | | max | 10.171 |
|