| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,007 of 1,768 | 43% | 162 of 237 | 31% | 117 | 174 | 266 | 481 | 13 | 49 | 0 | 3 |
| ConfigFactory.java | | 43% | | 36% | 83 | 111 | 184 | 332 | 4 | 14 | 0 | 1 |
| CommonProverInfo.java | | 29% | | 2% | 29 | 49 | 77 | 119 | 6 | 26 | 0 | 1 |
| CommonSARLConfig.java | | 80% | | 80% | 5 | 14 | 5 | 30 | 3 | 9 | 0 | 1 |