| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 600 of 600 | 0% | 2 of 2 | 0% | 12 | 12 | 121 | 121 | 11 | 11 |
| testSES2336NegatedPropertyPathMod() | | 0% | n/a | 1 | 1 | 25 | 25 | 1 | 1 | |
| testSES1073InverseSymmetricPattern() | | 0% | n/a | 1 | 1 | 20 | 20 | 1 | 1 | |
| testSES2147PropertyPathsWithIdenticalSubsPreds() | | 0% | n/a | 1 | 1 | 18 | 18 | 1 | 1 | |
| testSES2024PropertyPathAnonVarSharing() | | 0% | n/a | 1 | 1 | 15 | 15 | 1 | 1 | |
| testInversePath() | | 0% | n/a | 1 | 1 | 8 | 8 | 1 | 1 | |
| testPropertyPathNegationInversion() | | 0% | n/a | 1 | 1 | 9 | 9 | 1 | 1 | |
| testComplexPath() | | 0% | n/a | 1 | 1 | 7 | 7 | 1 | 1 | |
| testSES1685propPathSameVar() | | 0% | n/a | 1 | 1 | 7 | 7 | 1 | 1 | |
| containsSolution(List, Binding[]) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| testNestedInversePropertyPathWithZeroLength() | | 0% | n/a | 1 | 1 | 7 | 7 | 1 | 1 | |
| PropertyPathTest() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |