iters=5 new-facts=1 prior-facts=1 | | mean | 324.686 | | σ | 0.031 | | min | 324.631 | | max | 324.706 |
| | mean | 2696.000 | | σ | 0.000 | | min | 2696.000 | | max | 2696.000 |
| | mean | 0.427 | | σ | 0.006 | | min | 0.421 | | max | 0.437 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.268 | | σ | 0.011 | | min | 1985.250 | | max | 1985.277 |
| | mean | 2696.000 | | σ | 0.000 | | min | 2696.000 | | max | 2696.000 |
| | mean | 2.646 | | σ | 0.239 | | min | 2.449 | | max | 3.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.731 | | σ | 7.746 | | min | 4804.829 | | max | 4822.580 |
| | mean | 2696.000 | | σ | 0.000 | | min | 2696.000 | | max | 2696.000 |
| | mean | 8.726 | | σ | 0.582 | | min | 7.722 | | max | 9.189 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.326 | | σ | 0.308 | | min | 4995.775 | | max | 4996.481 |
| | mean | 3004.800 | | σ | 355.046 | | min | 2696.000 | | max | 3523.000 |
| | mean | 8.584 | | σ | 0.195 | | min | 8.392 | | max | 8.877 |
|