iters=5 new-facts=1 prior-facts=1 | | mean | 324.707 | | σ | 0.060 | | min | 324.601 | | max | 324.743 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 0.431 | | σ | 0.011 | | min | 0.417 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267 | | σ | 0.012 | | min | 1985.251 | | max | 1985.278 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 2.618 | | σ | 0.060 | | min | 2.557 | | max | 2.693 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.796 | | σ | 7.725 | | min | 4805.038 | | max | 4822.612 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 8.272 | | σ | 0.506 | | min | 7.757 | | max | 8.945 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.461 | | σ | 0.023 | | min | 4996.433 | | max | 4996.487 |
| | mean | 3062.000 | | σ | 302.185 | | min | 2836.000 | | max | 3532.000 |
| | mean | 8.651 | | σ | 0.391 | | min | 8.368 | | max | 9.297 |
|