iters=5 new-facts=1 prior-facts=1 | | mean | 324.013 | | σ | 0.053 | | min | 323.919 | | max | 324.045 |
| | mean | 2783.000 | | σ | 0.000 | | min | 2783.000 | | max | 2783.000 |
| | mean | 0.429 | | σ | 0.001 | | min | 0.426 | | max | 0.430 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.598 | | σ | 0.014 | | min | 1984.574 | | max | 1984.611 |
| | mean | 2783.000 | | σ | 0.000 | | min | 2783.000 | | max | 2783.000 |
| | mean | 2.662 | | σ | 0.122 | | min | 2.547 | | max | 2.857 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.224 | | σ | 7.780 | | min | 4804.715 | | max | 4822.141 |
| | mean | 2783.000 | | σ | 0.000 | | min | 2783.000 | | max | 2783.000 |
| | mean | 8.809 | | σ | 0.210 | | min | 8.505 | | max | 9.001 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.737 | | σ | 0.147 | | min | 4995.475 | | max | 4995.817 |
| | mean | 3020.400 | | σ | 289.369 | | min | 2783.000 | | max | 3444.000 |
| | mean | 8.641 | | σ | 0.166 | | min | 8.466 | | max | 8.834 |
|