Paths when the result is accepted | Raw coverage | Unique coverage | Consistency |
---|---|---|---|
F*L*C*U*O*B*E | 0.716 | 0.716 | 0.927 |
Solution coverage: 0.716 Solution consistency: 0.927 |
Paths when the result is rejected | Raw coverage | Unique Coverage | Consistency |
---|---|---|---|
 ~ F* ~ C* ~ O* ~ B* ~ E  ~ F* ~ C* ~ U* ~ B* ~ E  ~ L* ~ C* ~ U* ~ O* ~ B* ~ E  ~ F* ~ L* ~ C*U* ~ O* ~ E  ~ F* ~ L*C* ~ U*O* ~ E F*L*C* ~ U* ~ O* ~ E F*L* ~ C*U* ~ O* ~ E  ~ F*L*C* ~ U*O* ~ B F*L*C*U* ~ B* ~ E  ~ F*L*C*U*B* ~ E F*L*C*U*O* ~ E  ~ F*L*C*U*O*B | 0.656 0.655 0.675 0.354 0.347 0.378 0.361 0.349 0.383 0.349 0.383 0.363 | 0.005 0.09 0.007 0.001 0.003 0.002 0.004 0.001 0.04 0.001 0.005 0.014 | 0.824 0.823 0.829 0.952 0.968 0.971 0.968 0.967 0.974 0.976 0.968 0.965 |
Solution coverage: 0.799 Solution consistency: 0.840 |