iters=5 new-facts=1 prior-facts=1 | | mean | 324.694 | | σ | 0.047 | | min | 324.612 | | max | 324.727 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 0.429 | | σ | 0.007 | | min | 0.422 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.252 | | σ | 0.013 | | min | 1985.237 | | max | 1985.265 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 2.593 | | σ | 0.108 | | min | 2.452 | | max | 2.742 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.535 | | σ | 7.903 | | min | 4804.188 | | max | 4822.637 |
| | mean | 2824.000 | | σ | 0.000 | | min | 2824.000 | | max | 2824.000 |
| | mean | 8.566 | | σ | 0.664 | | min | 7.769 | | max | 9.134 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.384 | | σ | 0.165 | | min | 4996.090 | | max | 4996.471 |
| | mean | 3040.400 | | σ | 291.934 | | min | 2824.000 | | max | 3498.000 |
| | mean | 8.505 | | σ | 0.106 | | min | 8.419 | | max | 8.685 |
|