iters=5 new-facts=1 prior-facts=1 | | mean | 280.899 | | σ | 0.021 | | min | 280.864 | | max | 280.919 |
| | mean | 2595.000 | | σ | 0.000 | | min | 2595.000 | | max | 2595.000 |
| | mean | 0.421 | | σ | 0.012 | | min | 0.412 | | max | 0.436 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.925 | | σ | 0.019 | | min | 2270.899 | | max | 2270.945 |
| | mean | 2595.000 | | σ | 0.000 | | min | 2595.000 | | max | 2595.000 |
| | mean | 3.120 | | σ | 0.192 | | min | 2.954 | | max | 3.422 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5148.156 | | σ | 1.014 | | min | 5147.404 | | max | 5149.927 |
| | mean | 2595.000 | | σ | 0.000 | | min | 2595.000 | | max | 2595.000 |
| | mean | 9.391 | | σ | 0.732 | | min | 8.372 | | max | 10.306 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5286.121 | | σ | 0.176 | | min | 5285.866 | | max | 5286.316 |
| | mean | 3494.400 | | σ | 532.863 | | min | 2789.000 | | max | 4004.000 |
| | mean | 10.179 | | σ | 0.235 | | min | 9.936 | | max | 10.432 |
|