| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 53 of 790 | 93% | 6 of 50 | 88% | 6 | 31 | 9 | 150 | 0 | 6 |
| searchGeneric() | | 88% | | 85% | 4 | 14 | 2 | 47 | 0 | 1 |
| search() | | 68% | | 100% | 0 | 2 | 5 | 11 | 0 | 1 |
| CollectiveVerifier(ModelIF, ModelIF, CompareConfiguration) | | 88% | | 50% | 1 | 2 | 2 | 13 | 0 | 1 |
| initialize(ModelIF) | | 99% | | 94% | 1 | 9 | 0 | 29 | 0 | 1 |
| printStats(PrintWriter, DynamicFactoryIF, long, long, long, long, long) | | 100% | n/a | 0 | 1 | 0 | 38 | 0 | 1 | |
| CollectiveVerifier(ModelIF, VerifyConfiguration) | | 100% | | 100% | 0 | 3 | 0 | 12 | 0 | 1 |