iters=5 new-facts=1 prior-facts=1 | | mean | 294.412 | | σ | 0.015 | | min | 294.392 | | max | 294.431 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 0.383 | | σ | 0.005 | | min | 0.379 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.731 | | σ | 0.093 | | min | 1316.565 | | max | 1316.779 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 1.917 | | σ | 0.056 | | min | 1.847 | | max | 1.990 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1736.953 | | σ | 6.900 | | min | 1733.766 | | max | 1749.293 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 3.047 | | σ | 0.408 | | min | 2.670 | | max | 3.701 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1999.609 | | σ | 0.042 | | min | 1999.554 | | max | 1999.664 |
| | mean | 1779.600 | | σ | 134.368 | | min | 1657.000 | | max | 1963.000 |
| | mean | 3.180 | | σ | 0.060 | | min | 3.129 | | max | 3.281 |
|