iters=5 new-facts=1 prior-facts=1 | | mean | 286.825 | | σ | 0.037 | | min | 286.784 | | max | 286.866 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 0.397 | | σ | 0.007 | | min | 0.389 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.186 | | σ | 0.130 | | min | 1297.094 | | max | 1297.404 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 1.917 | | σ | 0.185 | | min | 1.808 | | max | 2.238 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.370 | | σ | 6.790 | | min | 1538.173 | | max | 1553.513 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 2.338 | | σ | 0.185 | | min | 2.133 | | max | 2.615 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.114 | | σ | 0.057 | | min | 1859.039 | | max | 1859.178 |
| | mean | 1773.000 | | σ | 158.273 | | min | 1653.000 | | max | 2017.000 |
| | mean | 2.911 | | σ | 0.128 | | min | 2.832 | | max | 3.138 |
|