| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 3,523 of 3,523 | 0% | 180 of 180 | 0% | 184 | 184 | 688 | 688 | 94 | 94 | 18 | 18 |
| VerifierAppFrame.java | | 0% | | 0% | 43 | 43 | 238 | 238 | 22 | 22 | 7 | 7 |
| VerifyDialog.java | | 0% | | 0% | 57 | 57 | 210 | 210 | 34 | 34 | 3 | 3 |
| Verifier.java | | 0% | | 0% | 30 | 30 | 89 | 89 | 10 | 10 | 1 | 1 |
| TransitiveHull.java | | 0% | | 0% | 12 | 12 | 37 | 37 | 3 | 3 | 1 | 1 |
| NativeVerifier.java | | 0% | | 0% | 3 | 3 | 20 | 20 | 1 | 1 | 1 | 1 |
| VerifierFactoryListModel.java | | 0% | | 0% | 8 | 8 | 22 | 22 | 6 | 6 | 1 | 1 |
| GraphicalVerifier.java | | 0% | | 0% | 5 | 5 | 22 | 22 | 2 | 2 | 1 | 1 |
| VerificationResult.java | | 0% | | 0% | 12 | 12 | 17 | 17 | 6 | 6 | 1 | 1 |
| VerifierFactory.java | | 0% | | 0% | 8 | 8 | 20 | 20 | 6 | 6 | 1 | 1 |
| PassVerifier.java | | 0% | | 0% | 6 | 6 | 13 | 13 | 4 | 4 | 1 | 1 |