iters=5 new-facts=1 prior-facts=1 | | mean | 324.764 | | σ | 0.048 | | min | 324.678 | | max | 324.793 |
| | mean | 2704.000 | | σ | 0.000 | | min | 2704.000 | | max | 2704.000 |
| | mean | 0.423 | | σ | 0.001 | | min | 0.421 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.313 | | σ | 0.017 | | min | 1985.295 | | max | 1985.332 |
| | mean | 2704.000 | | σ | 0.000 | | min | 2704.000 | | max | 2704.000 |
| | mean | 2.609 | | σ | 0.149 | | min | 2.453 | | max | 2.857 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.961 | | σ | 7.742 | | min | 4805.018 | | max | 4822.801 |
| | mean | 2704.000 | | σ | 0.000 | | min | 2704.000 | | max | 2704.000 |
| | mean | 8.823 | | σ | 0.261 | | min | 8.495 | | max | 9.163 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.626 | | σ | 0.025 | | min | 4996.598 | | max | 4996.653 |
| | mean | 2971.000 | | σ | 234.749 | | min | 2704.000 | | max | 3307.000 |
| | mean | 8.545 | | σ | 0.104 | | min | 8.447 | | max | 8.714 |
|