| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,205 of 1,924 | 37% | 187 of 256 | 26% | 137 | 191 | 333 | 544 | 18 | 54 | 0 | 3 |
| ConfigFactory.java | | 35% | | 29% | 98 | 123 | 244 | 386 | 6 | 16 | 0 | 1 |
| CommonProverInfo.java | | 28% | | 4% | 33 | 52 | 83 | 124 | 8 | 27 | 0 | 1 |
| CommonSARLConfig.java | | 80% | | 80% | 6 | 16 | 6 | 34 | 4 | 11 | 0 | 1 |