iters=5 new-facts=1 prior-facts=1 | | mean | 294.412 | | σ | 0.015 | | min | 294.388 | | max | 294.426 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.382 | | σ | 0.001 | | min | 0.381 | | max | 0.382 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.722 | | σ | 0.094 | | min | 1316.556 | | max | 1316.779 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.915 | | σ | 0.088 | | min | 1.841 | | max | 2.064 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1736.953 | | σ | 6.922 | | min | 1733.727 | | max | 1749.331 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 3.224 | | σ | 0.410 | | min | 2.732 | | max | 3.758 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1999.638 | | σ | 0.031 | | min | 1999.600 | | max | 1999.680 |
| | mean | 1841.800 | | σ | 203.053 | | min | 1639.000 | | max | 2126.000 |
| | mean | 3.257 | | σ | 0.062 | | min | 3.183 | | max | 3.337 |
|