iters=5 new-facts=1 prior-facts=1 | | mean | 275.758 | | σ | 0.009 | | min | 275.748 | | max | 275.771 |
| | mean | 2694.000 | | σ | 0.000 | | min | 2694.000 | | max | 2694.000 |
| | mean | 0.404 | | σ | 0.010 | | min | 0.395 | | max | 0.417 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.273 | | σ | 0.023 | | min | 2168.246 | | max | 2168.298 |
| | mean | 2694.000 | | σ | 0.000 | | min | 2694.000 | | max | 2694.000 |
| | mean | 2.975 | | σ | 0.187 | | min | 2.686 | | max | 3.161 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.879 | | σ | 0.812 | | min | 5046.988 | | max | 5049.210 |
| | mean | 2694.000 | | σ | 0.000 | | min | 2694.000 | | max | 2694.000 |
| | mean | 8.950 | | σ | 0.517 | | min | 8.196 | | max | 9.425 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.096 | | σ | 0.201 | | min | 5178.815 | | max | 5179.326 |
| | mean | 3275.200 | | σ | 381.687 | | min | 2736.000 | | max | 3734.000 |
| | mean | 9.930 | | σ | 0.172 | | min | 9.671 | | max | 10.072 |
|