iters=5 new-facts=1 prior-facts=1 | | mean | 286.821 | | σ | 0.038 | | min | 286.771 | | max | 286.859 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 0.398 | | σ | 0.006 | | min | 0.390 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.244 | | σ | 0.053 | | min | 1297.185 | | max | 1297.300 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 2.095 | | σ | 0.080 | | min | 2.014 | | max | 2.201 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.344 | | σ | 6.817 | | min | 1538.141 | | max | 1553.535 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 2.278 | | σ | 0.201 | | min | 2.140 | | max | 2.600 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.104 | | σ | 0.088 | | min | 1858.960 | | max | 1859.187 |
| | mean | 1783.400 | | σ | 165.072 | | min | 1651.000 | | max | 2031.000 |
| | mean | 2.898 | | σ | 0.100 | | min | 2.799 | | max | 3.053 |
|