iters=5 new-facts=1 prior-facts=1 | | mean | 294.411 | | σ | 0.013 | | min | 294.389 | | max | 294.423 |
| | mean | 1661.000 | | σ | 0.000 | | min | 1661.000 | | max | 1661.000 |
| | mean | 0.382 | | σ | 0.001 | | min | 0.380 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.694 | | σ | 0.075 | | min | 1316.566 | | max | 1316.758 |
| | mean | 1661.000 | | σ | 0.000 | | min | 1661.000 | | max | 1661.000 |
| | mean | 1.912 | | σ | 0.074 | | min | 1.843 | | max | 2.030 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1736.955 | | σ | 6.901 | | min | 1733.760 | | max | 1749.298 |
| | mean | 1661.000 | | σ | 0.000 | | min | 1661.000 | | max | 1661.000 |
| | mean | 2.927 | | σ | 0.399 | | min | 2.586 | | max | 3.557 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1999.654 | | σ | 0.016 | | min | 1999.632 | | max | 1999.671 |
| | mean | 1872.200 | | σ | 185.937 | | min | 1661.000 | | max | 2106.000 |
| | mean | 3.349 | | σ | 0.142 | | min | 3.213 | | max | 3.504 |
|