iters=5 new-facts=1 prior-facts=1 | | mean | 278.816 | | σ | 0.032 | | min | 278.758 | | max | 278.835 |
| | mean | 2736.000 | | σ | 0.000 | | min | 2736.000 | | max | 2736.000 |
| | mean | 0.423 | | σ | 0.010 | | min | 0.407 | | max | 0.431 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.897 | | σ | 0.013 | | min | 2268.877 | | max | 2268.908 |
| | mean | 2736.000 | | σ | 0.000 | | min | 2736.000 | | max | 2736.000 |
| | mean | 3.152 | | σ | 0.166 | | min | 2.910 | | max | 3.332 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.241 | | σ | 0.935 | | min | 4953.724 | | max | 4955.905 |
| | mean | 2736.000 | | σ | 0.000 | | min | 2736.000 | | max | 2736.000 |
| | mean | 8.202 | | σ | 0.476 | | min | 7.859 | | max | 9.024 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.792 | | σ | 0.081 | | min | 5168.726 | | max | 5168.886 |
| | mean | 3300.800 | | σ | 389.588 | | min | 2915.000 | | max | 3694.000 |
| | mean | 9.329 | | σ | 0.208 | | min | 9.023 | | max | 9.597 |
|