iters=5 new-facts=1 prior-facts=1 | | mean | 324.713 | | σ | 0.032 | | min | 324.656 | | max | 324.732 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 0.423 | | σ | 0.001 | | min | 0.421 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258 | | σ | 0.019 | | min | 1985.235 | | max | 1985.275 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 2.607 | | σ | 0.055 | | min | 2.546 | | max | 2.675 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.858 | | σ | 7.676 | | min | 4805.390 | | max | 4822.588 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 8.919 | | σ | 0.150 | | min | 8.703 | | max | 9.070 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.307 | | σ | 0.208 | | min | 4996.073 | | max | 4996.477 |
| | mean | 3063.600 | | σ | 308.614 | | min | 2827.000 | | max | 3540.000 |
| | mean | 8.511 | | σ | 0.118 | | min | 8.431 | | max | 8.706 |
|