Paths when the result is accepted | Raw coverage | Unique coverage | Consistency |
---|---|---|---|
F*L*C*U*O*B*E | 0.755 | 0.755 | 0.916 |
Solution coverage: 0.755 Solution consistency: 0.916 |
Paths when the result is rejected | Raw coverage | Unique coverage | Unique coverage |
---|---|---|---|
F* ~ C* ~ O* ~ B* ~ E  ~ F* ~ L* ~ C* ~ B* ~ E  ~ F*L* ~ U* ~ O* ~ B* ~ E  ~ F*L* ~ C* ~ U* ~ O* ~ E  ~ F* ~ L* ~ 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  ~ F* ~ L*C*U*O*B*E F*L*C*U*O*B* ~ E | 0.652 0.648 0.378 0.368 0.373 0.363 0.326 0.345 0.377 0.330 0.387 | 0.004 0.010 0.006 0.001 0.000 0.001 0.001 0.004 0.012 0.013 0.031 | 0.891 0.889 0.969 0.968 0.965 0.960 0.966 0.961 0.966 0.948 0.945 |
Solution coverage: 0.796 Solution consistency: 0.890 |