iters=5 new-facts=1 prior-facts=1 | | mean | 299.445 | | σ | 0.044 | | min | 299.375 | | max | 299.488 |
| | mean | 1449.000 | | σ | 0.000 | | min | 1449.000 | | max | 1449.000 |
| | mean | 0.384 | | σ | 0.001 | | min | 0.383 | | max | 0.385 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.870 | | σ | 0.085 | | min | 1309.767 | | max | 1309.992 |
| | mean | 1449.000 | | σ | 0.000 | | min | 1449.000 | | max | 1449.000 |
| | mean | 1.904 | | σ | 0.088 | | min | 1.797 | | max | 2.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.975 | | σ | 6.866 | | min | 1550.691 | | max | 1566.251 |
| | mean | 1449.000 | | σ | 0.000 | | min | 1449.000 | | max | 1449.000 |
| | mean | 2.342 | | σ | 0.265 | | min | 2.048 | | max | 2.639 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.762 | | σ | 0.039 | | min | 1871.713 | | max | 1871.794 |
| | mean | 1724.400 | | σ | 159.357 | | min | 1528.000 | | max | 1944.000 |
| | mean | 2.912 | | σ | 0.084 | | min | 2.828 | | max | 3.003 |
|