| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 675 of 675 | 0% | 30 of 30 | 0% | 78 | 78 | 141 | 141 | 61 | 61 | 11 | 11 |
| Goal | | 0% | | 0% | 11 | 11 | 27 | 27 | 9 | 9 | 1 | 1 |
| RequirementGenerator | | 0% | | 0% | 21 | 21 | 43 | 43 | 14 | 14 | 1 | 1 |
| Goal.State | | 0% | | 0% | 18 | 18 | 20 | 20 | 11 | 11 | 1 | 1 |
| Generator | | 0% | | 0% | 4 | 4 | 13 | 13 | 3 | 3 | 1 | 1 |
| WithComplexity | | 0% | n/a | 7 | 7 | 13 | 13 | 7 | 7 | 1 | 1 | |
| WithValence | | 0% | n/a | 4 | 4 | 9 | 9 | 4 | 4 | 1 | 1 | |
| Goal.BuildDisjunction | | 0% | n/a | 3 | 3 | 3 | 3 | 3 | 3 | 1 | 1 | |
| Goal.BuildConjunction | | 0% | n/a | 3 | 3 | 3 | 3 | 3 | 3 | 1 | 1 | |
| Goal.BuildRequire | | 0% | n/a | 3 | 3 | 3 | 3 | 3 | 3 | 1 | 1 | |
| Goal.Result | | 0% | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 | |
| Goal.BuildNegation | | 0% | n/a | 3 | 3 | 3 | 3 | 3 | 3 | 1 | 1 |