| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,181 of 1,925 | 38% | 185 of 254 | 27% | 132 | 188 | 328 | 545 | 15 | 53 | 0 | 3 |
| ConfigFactory.java | | 36% | | 30% | 95 | 120 | 241 | 387 | 5 | 15 | 0 | 1 |
| CommonProverInfo.java | | 29% | | 4% | 32 | 52 | 82 | 124 | 7 | 27 | 0 | 1 |
| CommonSARLConfig.java | | 82% | | 80% | 5 | 16 | 5 | 34 | 3 | 11 | 0 | 1 |