iters=5 new-facts=1 prior-facts=1 | | mean | 284.724 | | σ | 0.026 | | min | 284.699 | | max | 284.754 |
| | mean | 1426.000 | | σ | 0.000 | | min | 1426.000 | | max | 1426.000 |
| | mean | 0.397 | | σ | 0.011 | | min | 0.387 | | max | 0.412 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.116 | | σ | 0.072 | | min | 1295.032 | | max | 1295.187 |
| | mean | 1426.000 | | σ | 0.000 | | min | 1426.000 | | max | 1426.000 |
| | mean | 2.097 | | σ | 0.113 | | min | 2.022 | | max | 2.291 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.272 | | σ | 6.809 | | min | 1536.084 | | max | 1551.450 |
| | mean | 1426.000 | | σ | 0.000 | | min | 1426.000 | | max | 1426.000 |
| | mean | 2.355 | | σ | 0.205 | | min | 2.108 | | max | 2.557 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.007 | | σ | 0.060 | | min | 1856.924 | | max | 1857.068 |
| | mean | 1736.600 | | σ | 181.524 | | min | 1481.000 | | max | 1906.000 |
| | mean | 3.098 | | σ | 0.307 | | min | 2.844 | | max | 3.598 |
|