| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 396 of 627 | 37% | 42 of 46 | 9% | 25 | 30 | 89 | 143 | 3 | 7 |
| main(String[]) | | 0% | | 0% | 21 | 21 | 63 | 63 | 1 | 1 |
| check(boolean, File, PrintStream) | | 64% | | 67% | 2 | 4 | 8 | 36 | 0 | 1 |
| printUsage(PrintStream) | | 0% | n/a | 1 | 1 | 17 | 17 | 1 | 1 | |
| CIVL() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| printStats(PrintStream, DfsSearcher, SymbolicUniverse, double, double, int) | | 100% | n/a | 0 | 1 | 0 | 23 | 0 | 1 | |
| check(File, PrintStream) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| static {...} | | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 |