iters=5 new-facts=1 prior-facts=1 | | mean | 327.879 | | σ | 0.068 | | min | 327.758 | | max | 327.915 |
| | mean | 2689.000 | | σ | 0.000 | | min | 2689.000 | | max | 2689.000 |
| | mean | 0.440 | | σ | 0.006 | | min | 0.435 | | max | 0.446 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.345 | | σ | 0.019 | | min | 1988.311 | | max | 1988.359 |
| | mean | 2689.000 | | σ | 0.000 | | min | 2689.000 | | max | 2689.000 |
| | mean | 3.140 | | σ | 0.115 | | min | 3.026 | | max | 3.312 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.078 | | σ | 1.072 | | min | 4808.537 | | max | 4810.993 |
| | mean | 2689.000 | | σ | 0.000 | | min | 2689.000 | | max | 2689.000 |
| | mean | 8.611 | | σ | 0.385 | | min | 7.974 | | max | 8.923 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4999.534 | | σ | 0.145 | | min | 4999.277 | | max | 4999.630 |
| | mean | 2937.200 | | σ | 295.248 | | min | 2689.000 | | max | 3388.000 |
| | mean | 8.467 | | σ | 0.068 | | min | 8.388 | | max | 8.564 |
|