iters=5 new-facts=1 prior-facts=1 | | mean | 284.694 | | σ | 0.038 | | min | 284.640 | | max | 284.732 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 0.398 | | σ | 0.009 | | min | 0.389 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.071 | | σ | 0.107 | | min | 1294.946 | | max | 1295.213 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 2.008 | | σ | 0.122 | | min | 1.833 | | max | 2.168 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.206 | | σ | 6.839 | | min | 1535.958 | | max | 1551.437 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 2.155 | | σ | 0.139 | | min | 2.043 | | max | 2.391 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.980 | | σ | 0.052 | | min | 1856.936 | | max | 1857.058 |
| | mean | 1779.600 | | σ | 125.532 | | min | 1634.000 | | max | 1899.000 |
| | mean | 2.987 | | σ | 0.099 | | min | 2.832 | | max | 3.107 |
|