iters=5 new-facts=1 prior-facts=1 | | mean | 278.848 | | σ | 0.007 | | min | 278.839 | | max | 278.854 |
| | mean | 2680.000 | | σ | 0.000 | | min | 2680.000 | | max | 2680.000 |
| | mean | 0.414 | | σ | 0.005 | | min | 0.406 | | max | 0.417 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.905 | | σ | 0.015 | | min | 2268.883 | | max | 2268.919 |
| | mean | 2680.000 | | σ | 0.000 | | min | 2680.000 | | max | 2680.000 |
| | mean | 3.222 | | σ | 0.206 | | min | 2.930 | | max | 3.507 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.285 | | σ | 0.858 | | min | 4953.854 | | max | 4955.817 |
| | mean | 2680.000 | | σ | 0.000 | | min | 2680.000 | | max | 2680.000 |
| | mean | 7.988 | | σ | 0.410 | | min | 7.662 | | max | 8.690 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.816 | | σ | 0.079 | | min | 5168.749 | | max | 5168.905 |
| | mean | 3365.200 | | σ | 416.138 | | min | 2954.000 | | max | 3786.000 |
| | mean | 9.405 | | σ | 0.338 | | min | 9.085 | | max | 9.961 |
|