iters=5 new-facts=1 prior-facts=1 | | mean | 273.384 | | σ | 0.016 | | min | 273.365 | | max | 273.405 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 0.388 | | σ | 0.009 | | min | 0.378 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.846 | | σ | 0.009 | | min | 1933.830 | | max | 1933.853 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 3.037 | | σ | 0.102 | | min | 2.892 | | max | 3.131 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.351 | | σ | 0.834 | | min | 4753.830 | | max | 4755.835 |
| | mean | 2510.000 | | σ | 0.000 | | min | 2510.000 | | max | 2510.000 |
| | mean | 8.417 | | σ | 0.437 | | min | 7.666 | | max | 8.740 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.805 | | σ | 0.079 | | min | 4944.737 | | max | 4944.901 |
| | mean | 2981.800 | | σ | 354.064 | | min | 2528.000 | | max | 3322.000 |
| | mean | 8.794 | | σ | 0.515 | | min | 8.414 | | max | 9.697 |
|