iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.032 | | min | 285.371 | | max | 285.443 |
| | mean | 1663.000 | | σ | 0.000 | | min | 1663.000 | | max | 1663.000 |
| | mean | 0.390 | | σ | 0.015 | | min | 0.380 | | max | 0.416 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.799 | | σ | 0.108 | | min | 1295.672 | | max | 1295.917 |
| | mean | 1663.000 | | σ | 0.000 | | min | 1663.000 | | max | 1663.000 |
| | mean | 1.936 | | σ | 0.073 | | min | 1.856 | | max | 2.043 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.930 | | σ | 6.872 | | min | 1536.648 | | max | 1552.217 |
| | mean | 1663.000 | | σ | 0.000 | | min | 1663.000 | | max | 1663.000 |
| | mean | 2.305 | | σ | 0.151 | | min | 2.107 | | max | 2.455 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.719 | | σ | 0.075 | | min | 1857.631 | | max | 1857.805 |
| | mean | 1788.200 | | σ | 131.640 | | min | 1663.000 | | max | 1925.000 |
| | mean | 3.081 | | σ | 0.333 | | min | 2.812 | | max | 3.638 |
|