iters=5 new-facts=1 prior-facts=1 | | mean | 286.807 | | σ | 0.036 | | min | 286.764 | | max | 286.854 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 0.396 | | σ | 0.006 | | min | 0.392 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.259 | | σ | 0.125 | | min | 1297.074 | | max | 1297.411 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.195 | | σ | 0.097 | | min | 2.053 | | max | 2.318 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.381 | | σ | 6.806 | | min | 1538.238 | | max | 1553.555 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.348 | | σ | 0.271 | | min | 2.143 | | max | 2.800 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.110 | | σ | 0.067 | | min | 1859.030 | | max | 1859.191 |
| | mean | 1796.400 | | σ | 156.097 | | min | 1647.000 | | max | 1958.000 |
| | mean | 2.990 | | σ | 0.157 | | min | 2.830 | | max | 3.221 |
|