iters=5 new-facts=1 prior-facts=1 | | mean | 278.694 | | σ | 0.013 | | min | 278.679 | | max | 278.711 |
| | mean | 2667.000 | | σ | 0.000 | | min | 2667.000 | | max | 2667.000 |
| | mean | 0.419 | | σ | 0.001 | | min | 0.418 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.837 | | σ | 0.014 | | min | 2268.818 | | max | 2268.855 |
| | mean | 2667.000 | | σ | 0.000 | | min | 2667.000 | | max | 2667.000 |
| | mean | 3.729 | | σ | 0.332 | | min | 3.437 | | max | 4.273 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4956.067 | | σ | 0.839 | | min | 4955.617 | | max | 4957.561 |
| | mean | 2667.000 | | σ | 0.000 | | min | 2667.000 | | max | 2667.000 |
| | mean | 8.139 | | σ | 0.526 | | min | 7.766 | | max | 9.066 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.769 | | σ | 0.075 | | min | 5170.670 | | max | 5170.845 |
| | mean | 3365.200 | | σ | 419.767 | | min | 2939.000 | | max | 3778.000 |
| | mean | 9.089 | | σ | 0.295 | | min | 8.616 | | max | 9.397 |
|