iters=5 new-facts=1 prior-facts=1 | | mean | 285.589 | | σ | 0.006 | | min | 285.583 | | max | 285.597 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.381 | | σ | 0.008 | | min | 0.374 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.570 | | σ | 0.135 | | min | 1285.504 | | max | 1285.811 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.869 | | σ | 0.098 | | min | 1.808 | | max | 2.041 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.920 | | σ | 7.017 | | min | 1804.534 | | max | 1820.456 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 4.233 | | σ | 0.194 | | min | 3.981 | | max | 4.457 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.388 | | σ | 0.012 | | min | 2070.378 | | max | 2070.408 |
| | mean | 1852.600 | | σ | 176.021 | | min | 1639.000 | | max | 2097.000 |
| | mean | 4.480 | | σ | 0.056 | | min | 4.429 | | max | 4.565 |
|