iters=5 new-facts=1 prior-facts=1 | | mean | 325.316 | | σ | 0.055 | | min | 325.218 | | max | 325.346 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 0.430 | | σ | 0.006 | | min | 0.425 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.875 | | σ | 0.007 | | min | 1985.863 | | max | 1985.881 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 2.817 | | σ | 0.284 | | min | 2.585 | | max | 3.290 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.646 | | σ | 7.751 | | min | 4806.143 | | max | 4823.512 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 8.690 | | σ | 0.637 | | min | 7.811 | | max | 9.461 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.106 | | σ | 0.147 | | min | 4996.845 | | max | 4997.192 |
| | mean | 3006.000 | | σ | 324.517 | | min | 2740.000 | | max | 3497.000 |
| | mean | 8.581 | | σ | 0.086 | | min | 8.507 | | max | 8.698 |
|