| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,199 of 1,924 | 37% | 187 of 256 | 26% | 135 | 191 | 331 | 544 | 16 | 54 | 0 | 3 |
| ConfigFactory.java | | 35% | | 29% | 98 | 123 | 244 | 386 | 6 | 16 | 0 | 1 |
| CommonProverInfo.java | | 28% | | 4% | 32 | 52 | 82 | 124 | 7 | 27 | 0 | 1 |
| CommonSARLConfig.java | | 82% | | 80% | 5 | 16 | 5 | 34 | 3 | 11 | 0 | 1 |