| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 525 of 814 | 36% | 48 of 60 | 20% | 29 | 38 | 124 | 194 | 4 | 8 |
| mainWork(String[]) | | 0% | | 0% | 24 | 24 | 73 | 73 | 1 | 1 |
| verify(boolean, boolean, File, PrintStream, boolean) | | 67% | | 86% | 2 | 8 | 11 | 56 | 0 | 1 |
| main(String[]) | | 0% | n/a | 1 | 1 | 18 | 18 | 1 | 1 | |
| printUsage(PrintStream) | | 0% | n/a | 1 | 1 | 21 | 21 | 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 | |
| verify(File, PrintStream) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | |
| verify(boolean, boolean, File, PrintStream) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |