iters=5 new-facts=1 prior-facts=1 | | mean | 324.768 | | σ | 0.041 | | min | 324.697 | | max | 324.797 |
| | mean | 2683.000 | | σ | 0.000 | | min | 2683.000 | | max | 2683.000 |
| | mean | 0.427 | | σ | 0.009 | | min | 0.422 | | max | 0.443 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.320 | | σ | 0.023 | | min | 1985.284 | | max | 1985.341 |
| | mean | 2683.000 | | σ | 0.000 | | min | 2683.000 | | max | 2683.000 |
| | mean | 2.639 | | σ | 0.087 | | min | 2.561 | | max | 2.778 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.099 | | σ | 7.714 | | min | 4805.618 | | max | 4822.898 |
| | mean | 2683.000 | | σ | 0.000 | | min | 2683.000 | | max | 2683.000 |
| | mean | 9.085 | | σ | 0.320 | | min | 8.670 | | max | 9.528 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.627 | | σ | 0.028 | | min | 4996.591 | | max | 4996.652 |
| | mean | 3000.800 | | σ | 361.720 | | min | 2683.000 | | max | 3521.000 |
| | mean | 8.503 | | σ | 0.102 | | min | 8.364 | | max | 8.648 |
|