iters=5 new-facts=1 prior-facts=1 | | mean | 189.919 | | σ | 0.006 | | min | 189.911 | | max | 189.927 |
| | mean | 2735.000 | | σ | 0.000 | | min | 2735.000 | | max | 2735.000 |
| | mean | 0.281 | | σ | 0.001 | | min | 0.280 | | max | 0.282 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.703 | | σ | 0.010 | | min | 1988.694 | | max | 1988.720 |
| | mean | 2735.000 | | σ | 0.000 | | min | 2735.000 | | max | 2735.000 |
| | mean | 2.657 | | σ | 0.088 | | min | 2.542 | | max | 2.762 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.176 | | σ | 0.311 | | min | 4878.934 | | max | 4879.690 |
| | mean | 2735.000 | | σ | 0.000 | | min | 2735.000 | | max | 2735.000 |
| | mean | 8.274 | | σ | 0.149 | | min | 8.108 | | max | 8.449 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4890.892 | | σ | 0.083 | | min | 4890.820 | | max | 4890.989 |
| | mean | 3253.400 | | σ | 419.793 | | min | 2735.000 | | max | 3827.000 |
| | mean | 8.173 | | σ | 0.162 | | min | 8.015 | | max | 8.405 |
|