| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 2,235 of 5,105 | 56% | 158 of 331 | 52% | 148 | 306 | 429 | 1,019 | 30 | 107 | 0 | 5 |
| SMTTranslator.java | | 51% | | 47% | 108 | 212 | 370 | 781 | 27 | 76 | 0 | 1 |
| SMTProver.java | | 79% | | 67% | 25 | 66 | 39 | 170 | 2 | 19 | 0 | 1 |
| Z3Translator.java | | 72% | | 52% | 9 | 15 | 14 | 43 | 1 | 5 | 0 | 1 |
| CVC5Translator.java | | 48% | | 16% | 6 | 9 | 6 | 17 | 0 | 3 | 0 | 1 |
| SMTProverFactory.java | | 100% | n/a | 0 | 4 | 0 | 8 | 0 | 4 | 0 | 1 |