iters=5 new-facts=1 prior-facts=1 | | mean | 275.756 | | σ | 0.008 | | min | 275.743 | | max | 275.765 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 0.403 | | σ | 0.007 | | min | 0.396 | | max | 0.412 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2009.771 | | σ | 354.429 | | min | 1375.750 | | max | 2168.295 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 2.619 | | σ | 0.306 | | min | 2.073 | | max | 2.777 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.157 | | σ | 0.974 | | min | 5047.547 | | max | 5049.886 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 8.637 | | σ | 0.756 | | min | 7.812 | | max | 9.744 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.230 | | σ | 0.081 | | min | 5179.153 | | max | 5179.319 |
| | mean | 3225.200 | | σ | 401.426 | | min | 2772.000 | | max | 3783.000 |
| | mean | 9.758 | | σ | 0.317 | | min | 9.457 | | max | 10.265 |
|