iters=5 new-facts=1 prior-facts=1 | | mean | 326.640 | | σ | 0.042 | | min | 326.568 | | max | 326.679 |
| | mean | 2588.000 | | σ | 0.000 | | min | 2588.000 | | max | 2588.000 |
| | mean | 0.423 | | σ | 0.002 | | min | 0.422 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.799 | | σ | 0.015 | | min | 1988.777 | | max | 1988.816 |
| | mean | 2588.000 | | σ | 0.000 | | min | 2588.000 | | max | 2588.000 |
| | mean | 2.676 | | σ | 0.063 | | min | 2.594 | | max | 2.746 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.704 | | σ | 7.662 | | min | 4810.094 | | max | 4827.407 |
| | mean | 2588.000 | | σ | 0.000 | | min | 2588.000 | | max | 2588.000 |
| | mean | 8.860 | | σ | 0.899 | | min | 7.704 | | max | 10.203 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.196 | | σ | 0.022 | | min | 5001.174 | | max | 5001.221 |
| | mean | 2903.800 | | σ | 332.002 | | min | 2588.000 | | max | 3388.000 |
| | mean | 9.610 | | σ | 0.259 | | min | 9.310 | | max | 9.844 |
|