iters=5 new-facts=1 prior-facts=1 | | mean | 271.622 | | σ | 0.005 | | min | 271.617 | | max | 271.628 |
| | mean | 2878.000 | | σ | 0.000 | | min | 2878.000 | | max | 2878.000 |
| | mean | 0.384 | | σ | 0.010 | | min | 0.376 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.053 | | σ | 0.012 | | min | 1932.040 | | max | 1932.066 |
| | mean | 2878.000 | | σ | 0.000 | | min | 2878.000 | | max | 2878.000 |
| | mean | 3.062 | | σ | 0.128 | | min | 2.972 | | max | 3.287 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.701 | | σ | 0.893 | | min | 4751.945 | | max | 4754.241 |
| | mean | 2878.000 | | σ | 0.000 | | min | 2878.000 | | max | 2878.000 |
| | mean | 8.159 | | σ | 0.582 | | min | 7.677 | | max | 9.105 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.150 | | σ | 0.157 | | min | 4942.871 | | max | 4943.235 |
| | mean | 3069.600 | | σ | 261.915 | | min | 2878.000 | | max | 3479.000 |
| | mean | 8.402 | | σ | 0.114 | | min | 8.300 | | max | 8.595 |
|