iters=5 new-facts=1 prior-facts=1 | | mean | 282.190 | | σ | 0.007 | | min | 282.180 | | max | 282.201 |
| | mean | 2792.000 | | σ | 0.000 | | min | 2792.000 | | max | 2792.000 |
| | mean | 0.398 | | σ | 0.004 | | min | 0.394 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.704 | | σ | 0.013 | | min | 2174.691 | | max | 2174.719 |
| | mean | 2792.000 | | σ | 0.000 | | min | 2792.000 | | max | 2792.000 |
| | mean | 2.852 | | σ | 0.095 | | min | 2.764 | | max | 2.991 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.566 | | σ | 0.935 | | min | 5054.121 | | max | 5056.238 |
| | mean | 2792.000 | | σ | 0.000 | | min | 2792.000 | | max | 2792.000 |
| | mean | 8.937 | | σ | 0.514 | | min | 8.272 | | max | 9.502 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.656 | | σ | 0.073 | | min | 5185.592 | | max | 5185.751 |
| | mean | 3272.800 | | σ | 427.400 | | min | 2792.000 | | max | 3857.000 |
| | mean | 9.910 | | σ | 0.380 | | min | 9.523 | | max | 10.530 |
|