iters=5 new-facts=1 prior-facts=1 | | mean | 275.755 | | σ | 0.006 | | min | 275.749 | | max | 275.765 |
| | mean | 2646.000 | | σ | 0.000 | | min | 2646.000 | | max | 2646.000 |
| | mean | 0.401 | | σ | 0.016 | | min | 0.384 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.282 | | σ | 0.016 | | min | 2168.259 | | max | 2168.297 |
| | mean | 2646.000 | | σ | 0.000 | | min | 2646.000 | | max | 2646.000 |
| | mean | 2.957 | | σ | 0.157 | | min | 2.756 | | max | 3.146 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.990 | | σ | 0.649 | | min | 5047.575 | | max | 5049.136 |
| | mean | 2646.000 | | σ | 0.000 | | min | 2646.000 | | max | 2646.000 |
| | mean | 8.655 | | σ | 0.365 | | min | 8.155 | | max | 9.087 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.240 | | σ | 0.079 | | min | 5179.169 | | max | 5179.336 |
| | mean | 3266.800 | | σ | 378.852 | | min | 2732.000 | | max | 3724.000 |
| | mean | 9.879 | | σ | 0.323 | | min | 9.429 | | max | 10.139 |
|