iters=5 new-facts=1 prior-facts=1 | | mean | 324.012 | | σ | 0.059 | | min | 323.906 | | max | 324.040 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 0.427 | | σ | 0.004 | | min | 0.424 | | max | 0.433 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.587 | | σ | 0.021 | | min | 1984.559 | | max | 1984.607 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 2.572 | | σ | 0.033 | | min | 2.544 | | max | 2.626 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.231 | | σ | 7.822 | | min | 4804.668 | | max | 4822.224 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 8.984 | | σ | 0.113 | | min | 8.806 | | max | 9.098 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.805 | | σ | 0.021 | | min | 4995.778 | | max | 4995.824 |
| | mean | 3012.400 | | σ | 288.563 | | min | 2611.000 | | max | 3333.000 |
| | mean | 8.644 | | σ | 0.189 | | min | 8.477 | | max | 8.950 |
|