iters=5 new-facts=1 prior-facts=1 | | mean | 300.715 | | σ | 0.030 | | min | 300.665 | | max | 300.741 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 0.396 | | σ | 0.004 | | min | 0.393 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.885 | | σ | 0.093 | | min | 1322.836 | | max | 1323.049 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 1.942 | | σ | 0.112 | | min | 1.819 | | max | 2.084 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.346 | | σ | 6.894 | | min | 1558.034 | | max | 1573.673 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 2.356 | | σ | 0.304 | | min | 2.053 | | max | 2.761 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.810 | | σ | 0.012 | | min | 1890.798 | | max | 1890.825 |
| | mean | 1732.600 | | σ | 212.524 | | min | 1514.000 | | max | 2022.000 |
| | mean | 2.934 | | σ | 0.108 | | min | 2.869 | | max | 3.125 |
|