iters=5 new-facts=1 prior-facts=1 | | mean | 350.829 | | σ | 0.070 | | min | 350.705 | | max | 350.872 |
| | mean | 2729.000 | | σ | 0.000 | | min | 2729.000 | | max | 2729.000 |
| | mean | 0.458 | | σ | 0.006 | | min | 0.452 | | max | 0.464 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2012.904 | | σ | 0.009 | | min | 2012.891 | | max | 2012.914 |
| | mean | 2729.000 | | σ | 0.000 | | min | 2729.000 | | max | 2729.000 |
| | mean | 2.713 | | σ | 0.071 | | min | 2.606 | | max | 2.792 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4837.661 | | σ | 7.867 | | min | 4833.834 | | max | 4851.725 |
| | mean | 2729.000 | | σ | 0.000 | | min | 2729.000 | | max | 2729.000 |
| | mean | 8.355 | | σ | 0.446 | | min | 7.958 | | max | 9.089 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5025.397 | | σ | 0.015 | | min | 5025.372 | | max | 5025.410 |
| | mean | 3031.800 | | σ | 357.028 | | min | 2729.000 | | max | 3557.000 |
| | mean | 9.737 | | σ | 0.352 | | min | 9.143 | | max | 10.076 |
|