iters=5 new-facts=1 prior-facts=1 | | mean | 324.587 | | σ | 0.038 | | min | 324.523 | | max | 324.623 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 0.421 | | σ | 0.002 | | min | 0.419 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.146 | | σ | 0.004 | | min | 1985.140 | | max | 1985.150 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 2.576 | | σ | 0.065 | | min | 2.492 | | max | 2.646 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.743 | | σ | 7.662 | | min | 4805.239 | | max | 4822.449 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 8.797 | | σ | 0.327 | | min | 8.378 | | max | 9.107 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.350 | | σ | 0.019 | | min | 4996.330 | | max | 4996.377 |
| | mean | 3048.800 | | σ | 200.053 | | min | 2828.000 | | max | 3338.000 |
| | mean | 8.736 | | σ | 0.132 | | min | 8.582 | | max | 8.912 |
|