iters=5 new-facts=1 prior-facts=1 | | mean | 266.782 | | σ | 0.018 | | min | 266.751 | | max | 266.798 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 0.371 | | σ | 0.009 | | min | 0.361 | | max | 0.380 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.220 | | σ | 0.015 | | min | 1927.201 | | max | 1927.239 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 2.843 | | σ | 0.196 | | min | 2.617 | | max | 3.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.663 | | σ | 0.851 | | min | 4746.856 | | max | 4749.109 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 8.078 | | σ | 0.364 | | min | 7.675 | | max | 8.652 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.165 | | σ | 0.088 | | min | 4938.089 | | max | 4938.267 |
| | mean | 3053.000 | | σ | 256.679 | | min | 2850.000 | | max | 3434.000 |
| | mean | 8.418 | | σ | 0.119 | | min | 8.289 | | max | 8.586 |
|