iters=5 new-facts=1 prior-facts=1 | | mean | 300.317 | | σ | 0.038 | | min | 300.252 | | max | 300.351 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 0.401 | | σ | 0.007 | | min | 0.394 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.500 | | σ | 0.094 | | min | 1322.450 | | max | 1322.667 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 1.938 | | σ | 0.118 | | min | 1.841 | | max | 2.133 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1560.970 | | σ | 6.884 | | min | 1557.668 | | max | 1573.281 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 2.395 | | σ | 0.342 | | min | 2.049 | | max | 2.801 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.431 | | σ | 0.027 | | min | 1890.398 | | max | 1890.474 |
| | mean | 1714.600 | | σ | 235.712 | | min | 1427.000 | | max | 2026.000 |
| | mean | 2.942 | | σ | 0.112 | | min | 2.868 | | max | 3.141 |
|