| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,092 of 1,869 | 41% | 83 of 168 | 50% | 91 | 158 | 249 | 401 | 44 | 74 | 3 | 5 |
| StateSetQuickcheck.java | | 0% | | 0% | 48 | 48 | 188 | 188 | 33 | 33 | 1 | 1 |
| StateSet.java | | 80% | | 71% | 20 | 67 | 16 | 119 | 4 | 26 | 0 | 1 |
| StateSetGen.java | | 0% | | 0% | 9 | 9 | 31 | 31 | 5 | 5 | 1 | 1 |
| OffsetGen.java | | 0% | | 0% | 12 | 12 | 14 | 14 | 2 | 2 | 1 | 1 |
| StateSetEnumerator.java | | 98% | | 92% | 2 | 22 | 0 | 49 | 0 | 8 | 0 | 1 |