iters=5 new-facts=1 prior-facts=1 | | mean | 325.314 | | σ | 0.048 | | min | 325.229 | | max | 325.344 |
| | mean | 2727.000 | | σ | 0.000 | | min | 2727.000 | | max | 2727.000 |
| | mean | 0.426 | | σ | 0.001 | | min | 0.425 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.873 | | σ | 0.015 | | min | 1985.855 | | max | 1985.890 |
| | mean | 2727.000 | | σ | 0.000 | | min | 2727.000 | | max | 2727.000 |
| | mean | 2.745 | | σ | 0.105 | | min | 2.665 | | max | 2.893 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.657 | | σ | 7.670 | | min | 4806.095 | | max | 4823.375 |
| | mean | 2727.000 | | σ | 0.000 | | min | 2727.000 | | max | 2727.000 |
| | mean | 8.546 | | σ | 0.579 | | min | 7.774 | | max | 9.045 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.180 | | σ | 0.026 | | min | 4997.150 | | max | 4997.203 |
| | mean | 3006.200 | | σ | 337.093 | | min | 2727.000 | | max | 3514.000 |
| | mean | 8.551 | | σ | 0.080 | | min | 8.493 | | max | 8.693 |
|