iters=5 new-facts=1 prior-facts=1 | | mean | 324.765 | | σ | 0.045 | | min | 324.684 | | max | 324.792 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 0.416 | | σ | 0.001 | | min | 0.415 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317 | | σ | 0.016 | | min | 1985.287 | | max | 1985.326 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 2.742 | | σ | 0.142 | | min | 2.599 | | max | 2.949 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.105 | | σ | 7.648 | | min | 4805.580 | | max | 4822.784 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 8.824 | | σ | 0.314 | | min | 8.477 | | max | 9.194 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.631 | | σ | 0.020 | | min | 4996.610 | | max | 4996.660 |
| | mean | 3078.800 | | σ | 255.919 | | min | 2841.000 | | max | 3348.000 |
| | mean | 8.720 | | σ | 0.125 | | min | 8.527 | | max | 8.827 |
|