iters=5 new-facts=1 prior-facts=1 | | mean | 294.683 | | σ | 0.011 | | min | 294.666 | | max | 294.697 |
| | mean | 1656.000 | | σ | 0.000 | | min | 1656.000 | | max | 1656.000 |
| | mean | 0.382 | | σ | 0.001 | | min | 0.380 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.946 | | σ | 0.087 | | min | 1316.890 | | max | 1317.095 |
| | mean | 1656.000 | | σ | 0.000 | | min | 1656.000 | | max | 1656.000 |
| | mean | 1.916 | | σ | 0.081 | | min | 1.845 | | max | 2.022 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.283 | | σ | 6.847 | | min | 1551.991 | | max | 1567.525 |
| | mean | 1656.000 | | σ | 0.000 | | min | 1656.000 | | max | 1656.000 |
| | mean | 2.242 | | σ | 0.128 | | min | 2.137 | | max | 2.455 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.781 | | σ | 0.028 | | min | 1884.766 | | max | 1884.831 |
| | mean | 1750.600 | | σ | 139.355 | | min | 1656.000 | | max | 1973.000 |
| | mean | 2.963 | | σ | 0.136 | | min | 2.858 | | max | 3.165 |
|