iters=5 new-facts=1 prior-facts=1 | | mean | 270.591 | | σ | 0.012 | | min | 270.581 | | max | 270.611 |
| | mean | 2855.000 | | σ | 0.000 | | min | 2855.000 | | max | 2855.000 |
| | mean | 0.382 | | σ | 0.009 | | min | 0.372 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.035 | | σ | 0.011 | | min | 1931.017 | | max | 1931.046 |
| | mean | 2855.000 | | σ | 0.000 | | min | 2855.000 | | max | 2855.000 |
| | mean | 2.930 | | σ | 0.143 | | min | 2.702 | | max | 3.079 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.796 | | σ | 0.869 | | min | 4751.286 | | max | 4753.343 |
| | mean | 2855.000 | | σ | 0.000 | | min | 2855.000 | | max | 2855.000 |
| | mean | 8.281 | | σ | 0.495 | | min | 7.651 | | max | 8.892 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.232 | | σ | 0.024 | | min | 4942.207 | | max | 4942.258 |
| | mean | 3039.000 | | σ | 236.773 | | min | 2855.000 | | max | 3398.000 |
| | mean | 8.435 | | σ | 0.115 | | min | 8.310 | | max | 8.555 |
|