iters=5 new-facts=1 prior-facts=1 | | mean | 284.694 | | σ | 0.045 | | min | 284.630 | | max | 284.741 |
| | mean | 1503.000 | | σ | 0.000 | | min | 1503.000 | | max | 1503.000 |
| | mean | 0.387 | | σ | 0.018 | | min | 0.358 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.107 | | σ | 0.098 | | min | 1294.997 | | max | 1295.244 |
| | mean | 1503.000 | | σ | 0.000 | | min | 1503.000 | | max | 1503.000 |
| | mean | 2.113 | | σ | 0.088 | | min | 2.009 | | max | 2.199 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.257 | | σ | 6.794 | | min | 1536.111 | | max | 1551.409 |
| | mean | 1503.000 | | σ | 0.000 | | min | 1503.000 | | max | 1503.000 |
| | mean | 2.448 | | σ | 0.172 | | min | 2.264 | | max | 2.661 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.986 | | σ | 0.065 | | min | 1856.912 | | max | 1857.062 |
| | mean | 1758.000 | | σ | 203.463 | | min | 1503.000 | | max | 1955.000 |
| | mean | 2.967 | | σ | 0.169 | | min | 2.777 | | max | 3.205 |
|