iters=5 new-facts=1 prior-facts=1 | | mean | 299.445 | | σ | 0.052 | | min | 299.375 | | max | 299.500 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 0.387 | | σ | 0.007 | | min | 0.382 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.886 | | σ | 0.095 | | min | 1309.748 | | max | 1310.008 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 1.846 | | σ | 0.128 | | min | 1.786 | | max | 2.075 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.969 | | σ | 6.870 | | min | 1550.679 | | max | 1566.253 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 2.349 | | σ | 0.248 | | min | 2.134 | | max | 2.638 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.777 | | σ | 0.051 | | min | 1871.706 | | max | 1871.822 |
| | mean | 1714.800 | | σ | 189.753 | | min | 1547.000 | | max | 1991.000 |
| | mean | 2.838 | | σ | 0.130 | | min | 2.629 | | max | 2.965 |
|