| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 142 of 919 | 84% | 25 of 110 | 77% | 22 | 89 | 16 | 168 | 4 | 34 | 0 | 2 |
| StateSet.java | | 80% | | 71% | 20 | 67 | 16 | 119 | 4 | 26 | 0 | 1 |
| StateSetEnumerator.java | | 98% | | 92% | 2 | 22 | 0 | 49 | 0 | 8 | 0 | 1 |