iters=5 new-facts=1 prior-facts=1 | | mean | 301.482 | | σ | 0.049 | | min | 301.410 | | max | 301.536 |
| | mean | 1675.000 | | σ | 0.000 | | min | 1675.000 | | max | 1675.000 |
| | mean | 0.392 | | σ | 0.007 | | min | 0.388 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.061 | | σ | 0.110 | | min | 1323.922 | | max | 1324.186 |
| | mean | 1675.000 | | σ | 0.000 | | min | 1675.000 | | max | 1675.000 |
| | mean | 1.917 | | σ | 0.073 | | min | 1.834 | | max | 2.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.066 | | σ | 6.902 | | min | 1558.775 | | max | 1574.407 |
| | mean | 1675.000 | | σ | 0.000 | | min | 1675.000 | | max | 1675.000 |
| | mean | 2.267 | | σ | 0.218 | | min | 2.051 | | max | 2.535 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.964 | | σ | 0.063 | | min | 1891.856 | | max | 1892.004 |
| | mean | 1794.000 | | σ | 154.590 | | min | 1675.000 | | max | 2031.000 |
| | mean | 2.903 | | σ | 0.054 | | min | 2.864 | | max | 2.995 |
|