iters=5 new-facts=1 prior-facts=1 | | mean | 300.688 | | σ | 0.033 | | min | 300.633 | | max | 300.716 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 0.396 | | σ | 0.007 | | min | 0.388 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.860 | | σ | 0.090 | | min | 1322.805 | | max | 1323.021 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 1.862 | | σ | 0.092 | | min | 1.771 | | max | 1.980 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.316 | | σ | 6.879 | | min | 1557.963 | | max | 1573.615 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 2.380 | | σ | 0.276 | | min | 2.091 | | max | 2.738 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.803 | | σ | 0.033 | | min | 1890.780 | | max | 1890.862 |
| | mean | 1755.000 | | σ | 142.564 | | min | 1635.000 | | max | 1978.000 |
| | mean | 2.918 | | σ | 0.050 | | min | 2.873 | | max | 2.985 |
|