iters=5 new-facts=1 prior-facts=1 | | mean | 275.568 | | σ | 0.003 | | min | 275.565 | | max | 275.571 |
| | mean | 2717.000 | | σ | 0.000 | | min | 2717.000 | | max | 2717.000 |
| | mean | 0.392 | | σ | 0.009 | | min | 0.385 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.093 | | σ | 0.015 | | min | 2168.071 | | max | 2168.113 |
| | mean | 2717.000 | | σ | 0.000 | | min | 2717.000 | | max | 2717.000 |
| | mean | 2.946 | | σ | 0.121 | | min | 2.783 | | max | 3.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.795 | | σ | 1.019 | | min | 5046.804 | | max | 5049.523 |
| | mean | 2717.000 | | σ | 0.000 | | min | 2717.000 | | max | 2717.000 |
| | mean | 8.797 | | σ | 0.500 | | min | 8.186 | | max | 9.272 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.053 | | σ | 0.085 | | min | 5178.959 | | max | 5179.153 |
| | mean | 3238.800 | | σ | 386.490 | | min | 2717.000 | | max | 3733.000 |
| | mean | 9.988 | | σ | 0.317 | | min | 9.591 | | max | 10.403 |
|