iters=5 new-facts=1 prior-facts=1 | | mean | 294.681 | | σ | 0.010 | | min | 294.670 | | max | 294.696 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 0.385 | | σ | 0.006 | | min | 0.379 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.944 | | σ | 0.096 | | min | 1316.894 | | max | 1317.116 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 1.926 | | σ | 0.083 | | min | 1.845 | | max | 2.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.300 | | σ | 6.841 | | min | 1552.008 | | max | 1567.532 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 2.290 | | σ | 0.186 | | min | 2.084 | | max | 2.486 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.778 | | σ | 0.028 | | min | 1884.740 | | max | 1884.817 |
| | mean | 1814.800 | | σ | 189.232 | | min | 1653.000 | | max | 2084.000 |
| | mean | 2.932 | | σ | 0.146 | | min | 2.765 | | max | 3.092 |
|