| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 2,727 of 2,727 | 0% | 322 of 322 | 0% | 360 | 360 | 592 | 592 | 199 | 199 | 48 | 48 |
| MakeSkolem | | 0% | | 0% | 9 | 9 | 22 | 22 | 3 | 3 | 1 | 1 |
| Regex | | 0% | | 0% | 12 | 12 | 19 | 19 | 5 | 5 | 1 | 1 |
| StrConcat | | 0% | | 0% | 10 | 10 | 17 | 17 | 5 | 5 | 1 | 1 |
| Min | | 0% | | 0% | 14 | 14 | 19 | 19 | 4 | 4 | 1 | 1 |
| Max | | 0% | | 0% | 14 | 14 | 19 | 19 | 4 | 4 | 1 | 1 |
| BaseBuiltin | | 0% | | 0% | 11 | 11 | 12 | 12 | 9 | 9 | 1 | 1 |
| Difference | | 0% | | 0% | 12 | 12 | 19 | 19 | 4 | 4 | 1 | 1 |
| MakeInstance | | 0% | | 0% | 7 | 7 | 11 | 11 | 3 | 3 | 1 | 1 |
| Quotient | | 0% | | 0% | 12 | 12 | 19 | 19 | 4 | 4 | 1 | 1 |
| Sum | | 0% | | 0% | 12 | 12 | 19 | 19 | 4 | 4 | 1 | 1 |
| Product | | 0% | | 0% | 12 | 12 | 19 | 19 | 4 | 4 | 1 | 1 |
| ListEqual | | 0% | | 0% | 10 | 10 | 23 | 23 | 5 | 5 | 1 | 1 |
| Drop | | 0% | | 0% | 7 | 7 | 20 | 20 | 4 | 4 | 1 | 1 |
| CountLiteralValues | | 0% | | 0% | 9 | 9 | 19 | 19 | 4 | 4 | 1 | 1 |
| ListEntry | | 0% | | 0% | 10 | 10 | 21 | 21 | 5 | 5 | 1 | 1 |
| NoValue | | 0% | | 0% | 10 | 10 | 15 | 15 | 4 | 4 | 1 | 1 |
| Remove | | 0% | | 0% | 7 | 7 | 16 | 16 | 4 | 4 | 1 | 1 |
| IsDType | | 0% | | 0% | 11 | 11 | 17 | 17 | 5 | 5 | 1 | 1 |
| ListLength | | 0% | | 0% | 9 | 9 | 19 | 19 | 5 | 5 | 1 | 1 |
| AddOne | | 0% | | 0% | 6 | 6 | 15 | 15 | 4 | 4 | 1 | 1 |
| UriConcat | | 0% | | 0% | 5 | 5 | 9 | 9 | 3 | 3 | 1 | 1 |
| ListContains | | 0% | | 0% | 8 | 8 | 14 | 14 | 5 | 5 | 1 | 1 |
| ListMapAsObject | | 0% | | 0% | 5 | 5 | 12 | 12 | 4 | 4 | 1 | 1 |
| ListMapAsSubject | | 0% | | 0% | 5 | 5 | 12 | 12 | 4 | 4 | 1 | 1 |
| AssertDisjointPairs | | 0% | | 0% | 7 | 7 | 12 | 12 | 4 | 4 | 1 | 1 |
| Hide | | 0% | | 0% | 7 | 7 | 12 | 12 | 5 | 5 | 1 | 1 |
| 0% | | 0% | 6 | 6 | 10 | 10 | 5 | 5 | 1 | 1 | |
| NotEqual | | 0% | | 0% | 7 | 7 | 9 | 9 | 4 | 4 | 1 | 1 |
| Table | | 0% | | 0% | 7 | 7 | 10 | 10 | 3 | 3 | 1 | 1 |
| MakeTemp | | 0% | | 0% | 6 | 6 | 6 | 6 | 4 | 4 | 1 | 1 |
| Equal | | 0% | | 0% | 6 | 6 | 9 | 9 | 4 | 4 | 1 | 1 |
| LE | | 0% | | 0% | 6 | 6 | 9 | 9 | 4 | 4 | 1 | 1 |
| GE | | 0% | | 0% | 6 | 6 | 9 | 9 | 4 | 4 | 1 | 1 |
| GreaterThan | | 0% | | 0% | 6 | 6 | 9 | 9 | 4 | 4 | 1 | 1 |
| LessThan | | 0% | | 0% | 6 | 6 | 9 | 9 | 4 | 4 | 1 | 1 |
| ListNotContains | | 0% | | 0% | 5 | 5 | 7 | 7 | 4 | 4 | 1 | 1 |
| ListNotEqual | | 0% | | 0% | 5 | 5 | 7 | 7 | 4 | 4 | 1 | 1 |
| NotDType | | 0% | | 0% | 5 | 5 | 7 | 7 | 4 | 4 | 1 | 1 |
| IsLiteral | | 0% | | 0% | 6 | 6 | 10 | 10 | 4 | 4 | 1 | 1 |
| Now | | 0% | n/a | 4 | 4 | 7 | 7 | 4 | 4 | 1 | 1 | |
| TableAll | | 0% | | 0% | 5 | 5 | 8 | 8 | 3 | 3 | 1 | 1 |
| Unbound | | 0% | | 0% | 5 | 5 | 5 | 5 | 3 | 3 | 1 | 1 |
| Bound | | 0% | | 0% | 5 | 5 | 5 | 5 | 3 | 3 | 1 | 1 |
| NotFunctor | | 0% | | 0% | 5 | 5 | 5 | 5 | 4 | 4 | 1 | 1 |
| NotBNode | | 0% | | 0% | 5 | 5 | 5 | 5 | 4 | 4 | 1 | 1 |
| NotLiteral | | 0% | | 0% | 5 | 5 | 5 | 5 | 4 | 4 | 1 | 1 |
| IsFunctor | | 0% | n/a | 4 | 4 | 5 | 5 | 4 | 4 | 1 | 1 | |
| IsBNode | | 0% | n/a | 4 | 4 | 5 | 5 | 4 | 4 | 1 | 1 |