iters=5 new-facts=1 prior-facts=1 | | mean | 285.252 | | σ | 0.039 | | min | 285.202 | | max | 285.294 |
| | mean | 1622.000 | | σ | 0.000 | | min | 1622.000 | | max | 1622.000 |
| | mean | 0.403 | | σ | 0.013 | | min | 0.390 | | max | 0.416 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.199 | | σ | 0.099 | | min | 1295.088 | | max | 1295.313 |
| | mean | 1622.000 | | σ | 0.000 | | min | 1622.000 | | max | 1622.000 |
| | mean | 1.904 | | σ | 0.071 | | min | 1.829 | | max | 1.989 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.085 | | σ | 4.027 | | min | 1536.079 | | max | 1545.282 |
| | mean | 1622.000 | | σ | 0.000 | | min | 1622.000 | | max | 1622.000 |
| | mean | 2.281 | | σ | 0.265 | | min | 2.069 | | max | 2.672 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.111 | | σ | 0.053 | | min | 1857.061 | | max | 1857.186 |
| | mean | 1768.200 | | σ | 139.906 | | min | 1622.000 | | max | 1913.000 |
| | mean | 3.093 | | σ | 0.287 | | min | 2.869 | | max | 3.593 |
|