iters=5 new-facts=1 prior-facts=1 | | mean | 324.718 | | σ | 0.030 | | min | 324.666 | | max | 324.742 |
| | mean | 2829.000 | | σ | 0.000 | | min | 2829.000 | | max | 2829.000 |
| | mean | 0.424 | | σ | 0.003 | | min | 0.422 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.253 | | σ | 0.016 | | min | 1985.231 | | max | 1985.271 |
| | mean | 2829.000 | | σ | 0.000 | | min | 2829.000 | | max | 2829.000 |
| | mean | 2.641 | | σ | 0.119 | | min | 2.555 | | max | 2.830 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.858 | | σ | 7.671 | | min | 4805.385 | | max | 4822.580 |
| | mean | 2829.000 | | σ | 0.000 | | min | 2829.000 | | max | 2829.000 |
| | mean | 8.828 | | σ | 0.122 | | min | 8.650 | | max | 8.988 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.459 | | σ | 0.025 | | min | 4996.421 | | max | 4996.482 |
| | mean | 3063.400 | | σ | 306.458 | | min | 2829.000 | | max | 3537.000 |
| | mean | 8.495 | | σ | 0.126 | | min | 8.334 | | max | 8.682 |
|