iters=5 new-facts=1 prior-facts=1 | | mean | 277.190 | | σ | 0.008 | | min | 277.179 | | max | 277.199 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 0.394 | | σ | 0.006 | | min | 0.386 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.696 | | σ | 0.027 | | min | 2169.667 | | max | 2169.740 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 2.830 | | σ | 0.182 | | min | 2.699 | | max | 3.151 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5049.563 | | σ | 0.952 | | min | 5049.018 | | max | 5051.261 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 8.877 | | σ | 0.541 | | min | 8.057 | | max | 9.375 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5180.518 | | σ | 0.266 | | min | 5180.234 | | max | 5180.765 |
| | mean | 3188.000 | | σ | 476.129 | | min | 2611.000 | | max | 3820.000 |
| | mean | 8.797 | | σ | 0.300 | | min | 8.625 | | max | 9.330 |
|