| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 2,876 of 5,881 | 51% | 252 of 436 | 42% | 211 | 376 | 586 | 1,203 | 45 | 124 | 1 | 6 |
| SMTTranslator.java | | 52% | | 51% | 111 | 228 | 381 | 828 | 28 | 79 | 0 | 1 |
| SMTProverOld.java | | 0% | | 0% | 55 | 55 | 140 | 140 | 14 | 14 | 1 | 1 |
| SMTProver.java | | 73% | | 55% | 30 | 65 | 45 | 167 | 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 |