iters=5 new-facts=1 prior-facts=1 | | mean | 303.521 | | σ | 0.047 | | min | 303.445 | | max | 303.569 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 0.392 | | σ | 0.007 | | min | 0.387 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.084 | | σ | 0.146 | | min | 1325.885 | | max | 1326.256 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 1.969 | | σ | 0.132 | | min | 1.833 | | max | 2.167 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.122 | | σ | 6.906 | | min | 1560.768 | | max | 1576.470 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 2.351 | | σ | 0.273 | | min | 2.070 | | max | 2.647 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.004 | | σ | 0.075 | | min | 1893.875 | | max | 1894.056 |
| | mean | 1760.200 | | σ | 143.249 | | min | 1618.000 | | max | 1962.000 |
| | mean | 2.939 | | σ | 0.058 | | min | 2.870 | | max | 3.003 |
|