iters=5 new-facts=1 prior-facts=1 | | mean | 277.668 | | σ | 0.008 | | min | 277.657 | | max | 277.677 |
| | mean | 2876.000 | | σ | 0.000 | | min | 2876.000 | | max | 2876.000 |
| | mean | 0.409 | | σ | 0.006 | | min | 0.402 | | max | 0.417 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.661 | | σ | 0.008 | | min | 2176.651 | | max | 2176.671 |
| | mean | 2876.000 | | σ | 0.000 | | min | 2876.000 | | max | 2876.000 |
| | mean | 2.965 | | σ | 0.107 | | min | 2.776 | | max | 3.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5046.203 | | σ | 1.018 | | min | 5045.308 | | max | 5047.943 |
| | mean | 2876.000 | | σ | 0.000 | | min | 2876.000 | | max | 2876.000 |
| | mean | 8.731 | | σ | 0.762 | | min | 8.062 | | max | 9.586 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5183.679 | | σ | 0.094 | | min | 5183.575 | | max | 5183.790 |
| | mean | 3313.000 | | σ | 360.987 | | min | 2876.000 | | max | 3667.000 |
| | mean | 8.992 | | σ | 0.389 | | min | 8.678 | | max | 9.663 |
|