iters=5 new-facts=1 prior-facts=1 | | mean | 297.304 | | σ | 0.013 | | min | 297.292 | | max | 297.325 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 0.392 | | σ | 0.004 | | min | 0.389 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.016 | | σ | 0.056 | | min | 1298.928 | | max | 1299.064 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 2.081 | | σ | 0.224 | | min | 1.848 | | max | 2.368 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.188 | | σ | 6.894 | | min | 1716.007 | | max | 1731.517 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 2.996 | | σ | 0.283 | | min | 2.630 | | max | 3.343 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.921 | | σ | 0.035 | | min | 1981.860 | | max | 1981.947 |
| | mean | 1795.600 | | σ | 229.598 | | min | 1534.000 | | max | 2110.000 |
| | mean | 3.351 | | σ | 0.368 | | min | 3.091 | | max | 4.000 |
|