iters=5 new-facts=1 prior-facts=1 | | mean | 284.693 | | σ | 0.035 | | min | 284.649 | | max | 284.735 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.404 | | σ | 0.017 | | min | 0.386 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.033 | | σ | 0.103 | | min | 1294.953 | | max | 1295.199 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.919 | | σ | 0.195 | | min | 1.782 | | max | 2.247 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.236 | | σ | 6.820 | | min | 1536.084 | | max | 1551.434 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 2.305 | | σ | 0.270 | | min | 2.097 | | max | 2.765 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.983 | | σ | 0.062 | | min | 1856.920 | | max | 1857.070 |
| | mean | 1777.200 | | σ | 139.051 | | min | 1639.000 | | max | 1921.000 |
| | mean | 3.011 | | σ | 0.185 | | min | 2.836 | | max | 3.318 |
|