iters=5 new-facts=1 prior-facts=1 | | mean | 274.418 | | σ | 0.009 | | min | 274.404 | | max | 274.429 |
| | mean | 2732.000 | | σ | 0.000 | | min | 2732.000 | | max | 2732.000 |
| | mean | 0.408 | | σ | 0.001 | | min | 0.405 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.644 | | σ | 0.022 | | min | 2264.621 | | max | 2264.665 |
| | mean | 2732.000 | | σ | 0.000 | | min | 2732.000 | | max | 2732.000 |
| | mean | 3.210 | | σ | 0.211 | | min | 2.949 | | max | 3.515 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.647 | | σ | 0.837 | | min | 4950.883 | | max | 4953.071 |
| | mean | 2732.000 | | σ | 0.000 | | min | 2732.000 | | max | 2732.000 |
| | mean | 8.047 | | σ | 0.262 | | min | 7.680 | | max | 8.327 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.461 | | σ | 0.086 | | min | 5166.374 | | max | 5166.556 |
| | mean | 3378.800 | | σ | 436.933 | | min | 2951.000 | | max | 3824.000 |
| | mean | 9.238 | | σ | 0.422 | | min | 8.618 | | max | 9.693 |
|