iters=5 new-facts=1 prior-facts=1 | | mean | 190.714 | | σ | 0.005 | | min | 190.709 | | max | 190.719 |
| | mean | 2642.000 | | σ | 0.000 | | min | 2642.000 | | max | 2642.000 |
| | mean | 0.280 | | σ | 0.001 | | min | 0.279 | | max | 0.282 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.504 | | σ | 0.016 | | min | 1989.483 | | max | 1989.519 |
| | mean | 2642.000 | | σ | 0.000 | | min | 2642.000 | | max | 2642.000 |
| | mean | 2.408 | | σ | 0.096 | | min | 2.319 | | max | 2.567 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.170 | | σ | 0.575 | | min | 4879.889 | | max | 4881.197 |
| | mean | 2642.000 | | σ | 0.000 | | min | 2642.000 | | max | 2642.000 |
| | mean | 8.264 | | σ | 0.412 | | min | 7.803 | | max | 8.929 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.781 | | σ | 0.011 | | min | 4891.771 | | max | 4891.797 |
| | mean | 3367.800 | | σ | 489.056 | | min | 2764.000 | | max | 4051.000 |
| | mean | 8.149 | | σ | 0.145 | | min | 7.964 | | max | 8.317 |
|