| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 29 of 101 | 71% | 6 of 16 | 62% | 5 | 11 | 5 | 20 | 1 | 3 |
| resetStateIndexCursor() | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| nextStateIndexCursor() | | 94% | | 83% | 2 | 7 | 0 | 13 | 0 | 1 |
| RdExhaustiveStateSpaceScan(int[], boolean) | | 100% | n/a | 0 | 1 | 0 | 2 | 0 | 1 |