Paths when the result is accepted | Raw coverage | Unique coverage | Consistency |
---|---|---|---|
F*L*C*U*O*B*E | 0.747 | 0.747 | 0.943 |
Solution coverage: 0.747 Solution consistency: 0.943 |
Paths when the result is rejected | Raw coverage | Unique coverage | Consistency |
---|---|---|---|
 ~ F* ~ C* ~ U* ~ B* ~ E  ~ F* ~ L* ~ C* ~ B* ~ E  ~ F*L* ~ O* ~ B* ~ E  ~ F* ~ C*U* ~ O* ~ E F* ~ L* ~ U* ~ O* ~ B* ~ E  ~ F* ~ L*C* ~ U*O* ~ B  ~ F* ~ L*C* ~ U* ~ O*B L*C*U* ~ O* ~ B* ~ E L* ~ C*U* ~ O*B* ~ E F* ~ L* ~ C* ~ U* ~ O*B*E  ~ F*L* ~ C* ~ U* ~ O*B*E F*L*C* ~ U* ~ O*B* ~ E  ~ F*L*C*U*O*B* ~ E | 0.688 0.687 0.401 0.392 0.395 0.366 0.364 0.407 0.384 0.362 0.335 0.377 0.360 | 0.005 0.005 0.004 0.001 0.004 0.002 0.002 0.005 0.005 0.005 0.0003 0.003 0.009 | 0.851 0.844 0.973 0.958 0.963 0.973 0.974 0.975 0.976 0.978 0.980 0.978 0.975 |
Solution coverage: 0.804 Solution consistency: 0.859 |