iters=5 new-facts=1 prior-facts=1 | | mean | 268.233 | | σ | 0.005 | | min | 268.230 | | max | 268.242 |
| | mean | 2888.000 | | σ | 0.000 | | min | 2888.000 | | max | 2888.000 |
| | mean | 0.383 | | σ | 0.009 | | min | 0.373 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1928.645 | | σ | 0.014 | | min | 1928.629 | | max | 1928.664 |
| | mean | 2888.000 | | σ | 0.000 | | min | 2888.000 | | max | 2888.000 |
| | mean | 2.948 | | σ | 0.165 | | min | 2.675 | | max | 3.118 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4749.251 | | σ | 1.005 | | min | 4748.395 | | max | 4750.991 |
| | mean | 2888.000 | | σ | 0.000 | | min | 2888.000 | | max | 2888.000 |
| | mean | 8.661 | | σ | 0.264 | | min | 8.373 | | max | 9.051 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4939.837 | | σ | 0.014 | | min | 4939.815 | | max | 4939.851 |
| | mean | 3081.600 | | σ | 212.043 | | min | 2888.000 | | max | 3402.000 |
| | mean | 8.525 | | σ | 0.143 | | min | 8.360 | | max | 8.725 |
|