iters=5 new-facts=1 prior-facts=1 | | mean | 275.758 | | σ | 0.012 | | min | 275.742 | | max | 275.769 |
| | mean | 2702.000 | | σ | 0.000 | | min | 2702.000 | | max | 2702.000 |
| | mean | 0.407 | | σ | 0.015 | | min | 0.396 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.245 | | σ | 0.062 | | min | 2168.137 | | max | 2168.286 |
| | mean | 2702.000 | | σ | 0.000 | | min | 2702.000 | | max | 2702.000 |
| | mean | 2.830 | | σ | 0.090 | | min | 2.757 | | max | 2.951 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.084 | | σ | 0.934 | | min | 5047.525 | | max | 5049.741 |
| | mean | 2702.000 | | σ | 0.000 | | min | 2702.000 | | max | 2702.000 |
| | mean | 8.947 | | σ | 0.494 | | min | 8.074 | | max | 9.269 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.227 | | σ | 0.078 | | min | 5179.153 | | max | 5179.314 |
| | mean | 3250.800 | | σ | 460.565 | | min | 2702.000 | | max | 3873.000 |
| | mean | 9.802 | | σ | 0.196 | | min | 9.496 | | max | 10.012 |
|