iters=5 new-facts=1 prior-facts=1 | | mean | 297.294 | | σ | 0.010 | | min | 297.282 | | max | 297.309 |
| | mean | 1523.000 | | σ | 0.000 | | min | 1523.000 | | max | 1523.000 |
| | mean | 0.389 | | σ | 0.009 | | min | 0.384 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.539 | | σ | 0.132 | | min | 1298.472 | | max | 1298.775 |
| | mean | 1523.000 | | σ | 0.000 | | min | 1523.000 | | max | 1523.000 |
| | mean | 1.945 | | σ | 0.210 | | min | 1.818 | | max | 2.317 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1820.748 | | σ | 7.084 | | min | 1817.386 | | max | 1833.406 |
| | mean | 1523.000 | | σ | 0.000 | | min | 1523.000 | | max | 1523.000 |
| | mean | 4.152 | | σ | 0.347 | | min | 3.894 | | max | 4.755 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2083.371 | | σ | 0.008 | | min | 2083.359 | | max | 2083.380 |
| | mean | 1851.000 | | σ | 212.276 | | min | 1584.000 | | max | 2087.000 |
| | mean | 4.559 | | σ | 0.230 | | min | 4.419 | | max | 4.965 |
|