iters=5 new-facts=1 prior-facts=1 | | mean | 277.712 | | σ | 0.009 | | min | 277.697 | | max | 277.719 |
| | mean | 2656.000 | | σ | 0.000 | | min | 2656.000 | | max | 2656.000 |
| | mean | 0.411 | | σ | 0.003 | | min | 0.410 | | max | 0.416 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.875 | | σ | 0.037 | | min | 2267.809 | | max | 2267.900 |
| | mean | 2656.000 | | σ | 0.000 | | min | 2656.000 | | max | 2656.000 |
| | mean | 3.097 | | σ | 0.203 | | min | 2.794 | | max | 3.322 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.793 | | σ | 0.908 | | min | 4954.177 | | max | 4956.387 |
| | mean | 2656.000 | | σ | 0.000 | | min | 2656.000 | | max | 2656.000 |
| | mean | 7.986 | | σ | 0.200 | | min | 7.688 | | max | 8.162 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.690 | | σ | 0.208 | | min | 5169.347 | | max | 5169.860 |
| | mean | 3427.400 | | σ | 459.620 | | min | 2887.000 | | max | 4092.000 |
| | mean | 9.447 | | σ | 0.372 | | min | 9.074 | | max | 9.952 |
|