iters=5 new-facts=1 prior-facts=1 | | mean | 324.701 | | σ | 0.056 | | min | 324.602 | | max | 324.737 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 0.428 | | σ | 0.009 | | min | 0.423 | | max | 0.443 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.263 | | σ | 0.013 | | min | 1985.244 | | max | 1985.279 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 2.679 | | σ | 0.170 | | min | 2.554 | | max | 2.958 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.866 | | σ | 7.705 | | min | 4805.358 | | max | 4822.649 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 8.831 | | σ | 0.270 | | min | 8.546 | | max | 9.164 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.462 | | σ | 0.021 | | min | 4996.427 | | max | 4996.478 |
| | mean | 3070.800 | | σ | 305.853 | | min | 2841.000 | | max | 3546.000 |
| | mean | 8.482 | | σ | 0.141 | | min | 8.329 | | max | 8.715 |
|