iters=5 new-facts=1 prior-facts=1 | | mean | 280.284 | | σ | 0.012 | | min | 280.266 | | max | 280.297 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 0.415 | | σ | 0.008 | | min | 0.410 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.304 | | σ | 0.028 | | min | 2270.281 | | max | 2270.347 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 3.098 | | σ | 0.149 | | min | 2.921 | | max | 3.240 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.452 | | σ | 1.063 | | min | 5146.595 | | max | 5149.300 |
| | mean | 2740.000 | | σ | 0.000 | | min | 2740.000 | | max | 2740.000 |
| | mean | 8.704 | | σ | 0.505 | | min | 8.192 | | max | 9.366 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.582 | | σ | 0.229 | | min | 5285.201 | | max | 5285.762 |
| | mean | 3479.200 | | σ | 429.907 | | min | 2851.000 | | max | 3957.000 |
| | mean | 10.084 | | σ | 0.258 | | min | 9.714 | | max | 10.422 |
|