iters=5 new-facts=1 prior-facts=1 | | mean | 300.686 | | σ | 0.044 | | min | 300.611 | | max | 300.713 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 0.405 | | σ | 0.016 | | min | 0.389 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.875 | | σ | 0.099 | | min | 1322.812 | | max | 1323.046 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 1.927 | | σ | 0.103 | | min | 1.821 | | max | 2.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.340 | | σ | 6.885 | | min | 1558.017 | | max | 1573.652 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 2.346 | | σ | 0.239 | | min | 1.981 | | max | 2.634 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.790 | | σ | 0.021 | | min | 1890.775 | | max | 1890.826 |
| | mean | 1778.800 | | σ | 169.845 | | min | 1637.000 | | max | 2028.000 |
| | mean | 2.891 | | σ | 0.096 | | min | 2.767 | | max | 3.030 |
|