iters=5 new-facts=1 prior-facts=1 | | mean | 300.688 | | σ | 0.041 | | min | 300.621 | | max | 300.724 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 0.398 | | σ | 0.005 | | min | 0.393 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.870 | | σ | 0.102 | | min | 1322.816 | | max | 1323.052 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 1.917 | | σ | 0.094 | | min | 1.834 | | max | 2.068 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.310 | | σ | 6.914 | | min | 1557.983 | | max | 1573.672 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 2.282 | | σ | 0.281 | | min | 2.116 | | max | 2.780 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.789 | | σ | 0.016 | | min | 1890.770 | | max | 1890.810 |
| | mean | 1773.400 | | σ | 170.262 | | min | 1631.000 | | max | 2023.000 |
| | mean | 2.925 | | σ | 0.071 | | min | 2.863 | | max | 3.047 |
|