iters=5 new-facts=1 prior-facts=1 | | mean | 284.696 | | σ | 0.038 | | min | 284.644 | | max | 284.741 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 0.407 | | σ | 0.018 | | min | 0.387 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.075 | | σ | 0.094 | | min | 1294.962 | | max | 1295.181 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 1.923 | | σ | 0.086 | | min | 1.779 | | max | 1.999 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.190 | | σ | 6.894 | | min | 1535.864 | | max | 1551.518 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 2.311 | | σ | 0.296 | | min | 2.118 | | max | 2.834 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.984 | | σ | 0.068 | | min | 1856.906 | | max | 1857.081 |
| | mean | 1760.400 | | σ | 125.085 | | min | 1643.000 | | max | 1944.000 |
| | mean | 2.930 | | σ | 0.111 | | min | 2.817 | | max | 3.044 |
|