iters=5 new-facts=1 prior-facts=1 | | mean | 324.690 | | σ | 0.057 | | min | 324.589 | | max | 324.722 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 0.429 | | σ | 0.009 | | min | 0.425 | | max | 0.445 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.245 | | σ | 0.019 | | min | 1985.221 | | max | 1985.263 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 2.645 | | σ | 0.131 | | min | 2.543 | | max | 2.864 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.619 | | σ | 7.166 | | min | 4805.323 | | max | 4821.437 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 8.633 | | σ | 0.447 | | min | 7.885 | | max | 9.045 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.451 | | σ | 0.016 | | min | 4996.438 | | max | 4996.477 |
| | mean | 3003.600 | | σ | 186.838 | | min | 2840.000 | | max | 3296.000 |
| | mean | 8.596 | | σ | 0.137 | | min | 8.422 | | max | 8.754 |
|