iters=5 new-facts=1 prior-facts=1 | | mean | 285.676 | | σ | 0.015 | | min | 285.651 | | max | 285.689 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 0.382 | | σ | 0.011 | | min | 0.374 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.641 | | σ | 0.135 | | min | 1285.573 | | max | 1285.882 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 1.988 | | σ | 0.094 | | min | 1.844 | | max | 2.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.973 | | σ | 6.988 | | min | 1804.560 | | max | 1820.454 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 4.103 | | σ | 0.327 | | min | 3.843 | | max | 4.632 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.468 | | σ | 0.019 | | min | 2070.447 | | max | 2070.499 |
| | mean | 1858.000 | | σ | 196.641 | | min | 1638.000 | | max | 2094.000 |
| | mean | 4.555 | | σ | 0.115 | | min | 4.443 | | max | 4.749 |
|