iters=5 new-facts=1 prior-facts=1 | | mean | 324.722 | | σ | 0.019 | | min | 324.692 | | max | 324.739 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 0.424 | | σ | 0.002 | | min | 0.421 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258 | | σ | 0.016 | | min | 1985.232 | | max | 1985.272 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 2.632 | | σ | 0.103 | | min | 2.549 | | max | 2.767 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.774 | | σ | 7.747 | | min | 4804.816 | | max | 4822.622 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 8.725 | | σ | 0.401 | | min | 8.029 | | max | 9.050 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.461 | | σ | 0.017 | | min | 4996.443 | | max | 4996.480 |
| | mean | 3034.600 | | σ | 232.878 | | min | 2772.000 | | max | 3372.000 |
| | mean | 8.779 | | σ | 0.154 | | min | 8.568 | | max | 8.939 |
|