iters=5 new-facts=1 prior-facts=1 | | mean | 300.349 | | σ | 0.018 | | min | 300.325 | | max | 300.373 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 0.394 | | σ | 0.009 | | min | 0.386 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.531 | | σ | 0.122 | | min | 1322.383 | | max | 1322.682 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.037 | | σ | 0.275 | | min | 1.838 | | max | 2.522 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1560.982 | | σ | 6.857 | | min | 1557.686 | | max | 1573.245 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.408 | | σ | 0.222 | | min | 2.192 | | max | 2.663 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.430 | | σ | 0.017 | | min | 1890.413 | | max | 1890.448 |
| | mean | 1779.600 | | σ | 148.332 | | min | 1647.000 | | max | 1938.000 |
| | mean | 3.308 | | σ | 0.475 | | min | 2.911 | | max | 3.895 |
|