iters=5 new-facts=1 prior-facts=1 | | mean | 190.724 | | σ | 0.011 | | min | 190.715 | | max | 190.738 |
| | mean | 2618.000 | | σ | 0.000 | | min | 2618.000 | | max | 2618.000 |
| | mean | 0.280 | | σ | 0.001 | | min | 0.280 | | max | 0.281 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.504 | | σ | 0.023 | | min | 1989.465 | | max | 1989.523 |
| | mean | 2618.000 | | σ | 0.000 | | min | 2618.000 | | max | 2618.000 |
| | mean | 2.616 | | σ | 0.259 | | min | 2.376 | | max | 3.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.053 | | σ | 0.598 | | min | 4879.613 | | max | 4881.099 |
| | mean | 2618.000 | | σ | 0.000 | | min | 2618.000 | | max | 2618.000 |
| | mean | 8.242 | | σ | 0.447 | | min | 7.734 | | max | 8.951 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.697 | | σ | 0.086 | | min | 4891.624 | | max | 4891.796 |
| | mean | 3316.200 | | σ | 531.571 | | min | 2618.000 | | max | 3822.000 |
| | mean | 8.166 | | σ | 0.233 | | min | 7.925 | | max | 8.526 |
|