| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 223 of 1,033 | 78% | 32 of 84 | 61% | 51 | 135 | 63 | 253 | 32 | 93 | 0 | 10 |
| ThemisSolverFile.java | | 68% | | 50% | 15 | 36 | 24 | 66 | 7 | 20 | 0 | 1 |
| ThemisSolverPackage.java | | 74% | | 56% | 17 | 41 | 21 | 72 | 9 | 26 | 0 | 1 |
| ThemisSolverReference.java | | 82% | | 50% | 6 | 18 | 5 | 31 | 5 | 17 | 0 | 4 |
| ThemisSolverClass.java | | 86% | | 75% | 6 | 18 | 6 | 33 | 4 | 14 | 0 | 1 |
| ThemisSolverModule.java | | 93% | | 100% | 3 | 13 | 3 | 33 | 3 | 8 | 0 | 1 |
| ThemisSolverProject.java | | 86% | | 100% | 2 | 6 | 2 | 12 | 2 | 5 | 0 | 1 |
| ThemisSolverMethod.java | | 60% | n/a | 2 | 3 | 2 | 6 | 2 | 3 | 0 | 1 |