| testSES2336NegatedPropertyPathMod(RepositoryConnection) |  | 0% | | n/a | 1 | 1 | 25 | 25 | 1 | 1 |
| testSES1073InverseSymmetricPattern(RepositoryConnection) | | 0% | | n/a | 1 | 1 | 20 | 20 | 1 | 1 |
| tests() | | 0% | | n/a | 1 | 1 | 9 | 9 | 1 | 1 |
| testSES2147PropertyPathsWithIdenticalSubsPreds(RepositoryConnection) | | 0% | | n/a | 1 | 1 | 18 | 18 | 1 | 1 |
| testSES2024PropertyPathAnonVarSharing(RepositoryConnection) | | 0% | | n/a | 1 | 1 | 15 | 15 | 1 | 1 |
| testInversePath(RepositoryConnection) | | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| testPropertyPathNegationInversion(RepositoryConnection) | | 0% | | n/a | 1 | 1 | 9 | 9 | 1 | 1 |
| testComplexPath(RepositoryConnection) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| testSES1685propPathSameVar(RepositoryConnection) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| containsSolution(List, Binding[]) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| testNestedInversePropertyPathWithZeroLength(RepositoryConnection) | | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| PropertyPathTest(Supplier) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |