iters=5 new-facts=1 prior-facts=1 | | mean | 299.782 | | σ | 0.052 | | min | 299.702 | | max | 299.835 |
| | mean | 1512.000 | | σ | 0.000 | | min | 1512.000 | | max | 1512.000 |
| | mean | 0.384 | | σ | 0.001 | | min | 0.384 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1310.203 | | σ | 0.092 | | min | 1310.086 | | max | 1310.333 |
| | mean | 1512.000 | | σ | 0.000 | | min | 1512.000 | | max | 1512.000 |
| | mean | 1.902 | | σ | 0.094 | | min | 1.809 | | max | 2.044 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1554.314 | | σ | 6.871 | | min | 1551.021 | | max | 1566.601 |
| | mean | 1512.000 | | σ | 0.000 | | min | 1512.000 | | max | 1512.000 |
| | mean | 2.320 | | σ | 0.262 | | min | 2.017 | | max | 2.684 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1872.107 | | σ | 0.051 | | min | 1872.039 | | max | 1872.158 |
| | mean | 1731.800 | | σ | 173.638 | | min | 1522.000 | | max | 1975.000 |
| | mean | 2.798 | | σ | 0.167 | | min | 2.638 | | max | 3.014 |
|