iters=5 new-facts=1 prior-facts=1 | | mean | 277.692 | | σ | 0.009 | | min | 277.679 | | max | 277.702 |
| | mean | 2833.000 | | σ | 0.000 | | min | 2833.000 | | max | 2833.000 |
| | mean | 0.408 | | σ | 0.006 | | min | 0.400 | | max | 0.414 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.655 | | σ | 0.012 | | min | 2176.642 | | max | 2176.670 |
| | mean | 2833.000 | | σ | 0.000 | | min | 2833.000 | | max | 2833.000 |
| | mean | 2.961 | | σ | 0.108 | | min | 2.823 | | max | 3.080 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5046.164 | | σ | 0.982 | | min | 5045.292 | | max | 5047.846 |
| | mean | 2833.000 | | σ | 0.000 | | min | 2833.000 | | max | 2833.000 |
| | mean | 8.494 | | σ | 0.398 | | min | 8.053 | | max | 8.945 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5183.682 | | σ | 0.080 | | min | 5183.611 | | max | 5183.775 |
| | mean | 3292.000 | | σ | 360.699 | | min | 2833.000 | | max | 3645.000 |
| | mean | 8.845 | | σ | 0.099 | | min | 8.718 | | max | 8.974 |
|