iters=5 new-facts=1 prior-facts=1 | | mean | 344.929 | | σ | 0.068 | | min | 344.807 | | max | 344.965 |
| | mean | 2762.000 | | σ | 0.000 | | min | 2762.000 | | max | 2762.000 |
| | mean | 0.458 | | σ | 0.011 | | min | 0.444 | | max | 0.470 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.097 | | σ | 0.010 | | min | 2007.082 | | max | 2007.105 |
| | mean | 2762.000 | | σ | 0.000 | | min | 2762.000 | | max | 2762.000 |
| | mean | 2.734 | | σ | 0.034 | | min | 2.685 | | max | 2.766 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4831.981 | | σ | 7.747 | | min | 4828.427 | | max | 4845.839 |
| | mean | 2762.000 | | σ | 0.000 | | min | 2762.000 | | max | 2762.000 |
| | mean | 8.459 | | σ | 0.549 | | min | 7.846 | | max | 9.154 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.496 | | σ | 0.020 | | min | 5019.475 | | max | 5019.521 |
| | mean | 3004.200 | | σ | 299.670 | | min | 2762.000 | | max | 3448.000 |
| | mean | 9.387 | | σ | 0.527 | | min | 8.619 | | max | 9.913 |
|