iters=5 new-facts=1 prior-facts=1 | | mean | 286.821 | | σ | 0.036 | | min | 286.774 | | max | 286.857 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 0.395 | | σ | 0.007 | | min | 0.389 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.258 | | σ | 0.081 | | min | 1297.174 | | max | 1297.374 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.135 | | σ | 0.201 | | min | 1.994 | | max | 2.450 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.310 | | σ | 6.838 | | min | 1538.053 | | max | 1553.538 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.195 | | σ | 0.119 | | min | 2.094 | | max | 2.389 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.112 | | σ | 0.079 | | min | 1858.985 | | max | 1859.179 |
| | mean | 1785.600 | | σ | 180.966 | | min | 1647.000 | | max | 2078.000 |
| | mean | 2.944 | | σ | 0.162 | | min | 2.681 | | max | 3.111 |
|