iters=5 new-facts=1 prior-facts=1 | | mean | 294.412 | | σ | 0.014 | | min | 294.394 | | max | 294.433 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 0.381 | | σ | 0.001 | | min | 0.380 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.733 | | σ | 0.070 | | min | 1316.609 | | max | 1316.773 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 1.905 | | σ | 0.122 | | min | 1.792 | | max | 2.103 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1736.941 | | σ | 6.896 | | min | 1733.742 | | max | 1749.273 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 2.936 | | σ | 0.413 | | min | 2.557 | | max | 3.629 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1999.648 | | σ | 0.020 | | min | 1999.629 | | max | 1999.677 |
| | mean | 1809.600 | | σ | 151.548 | | min | 1657.000 | | max | 2023.000 |
| | mean | 3.286 | | σ | 0.117 | | min | 3.155 | | max | 3.450 |
|