| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 169 of 206 | 17% | 14 of 14 | 0% | 10 | 16 | 32 | 46 | 3 | 9 |
| write(Map) | | 0% | | 0% | 3 | 3 | 13 | 13 | 1 | 1 |
| toString() | | 0% | | 0% | 4 | 4 | 10 | 10 | 1 | 1 |
| parse(Map) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| LogicalGroup(AtomicCondition) | | 100% | n/a | 0 | 1 | 0 | 5 | 0 | 1 | |
| LogicalGroup(LogicalRelation, LogicalGroup[]) | | 100% | n/a | 0 | 1 | 0 | 5 | 0 | 1 | |
| static {...} | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| getLogicalRelation() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| getAtomicCondition() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| getLogicalGroups() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |