iters=5 new-facts=1 prior-facts=1 | | mean | 299.787 | | σ | 0.046 | | min | 299.718 | | max | 299.832 |
| | mean | 1659.000 | | σ | 0.000 | | min | 1659.000 | | max | 1659.000 |
| | mean | 0.387 | | σ | 0.001 | | min | 0.386 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1310.203 | | σ | 0.080 | | min | 1310.103 | | max | 1310.315 |
| | mean | 1659.000 | | σ | 0.000 | | min | 1659.000 | | max | 1659.000 |
| | mean | 1.869 | | σ | 0.054 | | min | 1.800 | | max | 1.938 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1554.315 | | σ | 6.879 | | min | 1550.988 | | max | 1566.616 |
| | mean | 1659.000 | | σ | 0.000 | | min | 1659.000 | | max | 1659.000 |
| | mean | 2.210 | | σ | 0.135 | | min | 2.122 | | max | 2.441 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1872.098 | | σ | 0.046 | | min | 1872.037 | | max | 1872.140 |
| | mean | 1770.600 | | σ | 130.049 | | min | 1659.000 | | max | 1977.000 |
| | mean | 2.918 | | σ | 0.074 | | min | 2.848 | | max | 3.019 |
|