iters=5 new-facts=1 prior-facts=1 | | mean | 303.517 | | σ | 0.044 | | min | 303.452 | | max | 303.564 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 0.396 | | σ | 0.011 | | min | 0.391 | | max | 0.416 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.051 | | σ | 0.101 | | min | 1325.926 | | max | 1326.194 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 1.925 | | σ | 0.081 | | min | 1.835 | | max | 2.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.110 | | σ | 6.944 | | min | 1560.753 | | max | 1576.526 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 2.297 | | σ | 0.279 | | min | 2.124 | | max | 2.788 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.013 | | σ | 0.070 | | min | 1893.889 | | max | 1894.050 |
| | mean | 1775.400 | | σ | 230.648 | | min | 1517.000 | | max | 2081.000 |
| | mean | 3.095 | | σ | 0.143 | | min | 2.983 | | max | 3.303 |
|