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* ~ O* ~ E* ~ local  ~ F* ~ C* ~ U*O* ~ B* ~ E F* ~ L* ~ U* ~ O* ~ B* ~ E* ~ local  ~ F* ~ L* ~ C* ~ U* ~ O* ~ B*local  ~ F*L*C* ~ U* ~ O* ~ B* ~ E  ~ F* ~ L*C* ~ U*O* ~ B* ~ local  ~ F* ~ L*C* ~ U* ~ O*B* ~ local L*C*U* ~ O* ~ B* ~ E* ~ local L* ~ C*U* ~ O*B* ~ E* ~ local F* ~ L* ~ C* ~ U* ~ O*B*E* ~ local  ~ F*L* ~ C* ~ U* ~ O*B*E* ~ local F*L*C* ~ U* ~ O*B* ~ E* ~ local  ~ F*L*C*U*O*B* ~ E* ~ local F* ~ L* ~ C* ~ U* ~ O* ~ B* ~ E  ~ F*L* ~ C* ~ U* ~ B* ~ E* ~ local  ~ F* ~ L* ~ C*O* ~ B* ~ E* ~ local | 0.329 0.375 9329 0.101 0.379 0.307 0.308 0.343 0.323 0.301 0.277 0.316 0.303 0.385 0.313 0.314 | 0.009 0.001 0.001 0.034 0.002 0.002 0.003 0.005 0.005 0.004 0.000 0.003 0.008 0.005 0.003 0.001 | 0.953 0.956 0.962 0.992 0.977 0.971 0.972 0.976 0.977 0.978 0.978 0.979 0.973 0.964 0.971 0.956 |
Solution coverage: 0.592 Solution consistency: 0.941 |