iters=5 new-facts=1 prior-facts=1 | | mean | 294.676 | | σ | 0.015 | | min | 294.657 | | max | 294.698 |
| | mean | 1656.000 | | σ | 0.000 | | min | 1656.000 | | max | 1656.000 |
| | mean | 0.386 | | σ | 0.007 | | min | 0.381 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.946 | | σ | 0.100 | | min | 1316.896 | | max | 1317.125 |
| | mean | 1656.000 | | σ | 0.000 | | min | 1656.000 | | max | 1656.000 |
| | mean | 1.931 | | σ | 0.081 | | min | 1.848 | | max | 2.028 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.279 | | σ | 6.872 | | min | 1551.975 | | max | 1567.566 |
| | mean | 1656.000 | | σ | 0.000 | | min | 1656.000 | | max | 1656.000 |
| | mean | 2.250 | | σ | 0.222 | | min | 2.052 | | max | 2.617 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.765 | | σ | 0.029 | | min | 1884.727 | | max | 1884.808 |
| | mean | 1807.000 | | σ | 161.261 | | min | 1656.000 | | max | 1976.000 |
| | mean | 3.098 | | σ | 0.138 | | min | 2.889 | | max | 3.261 |
|