| AssertionViolatedException |   | 45% | | 0% | 6 | 9 | 13 | 20 | 3 | 6 | 0 | 1 |
| VerifierConstraintViolatedException | | 63% | | 50% | 5 | 8 | 8 | 17 | 2 | 5 | 0 | 1 |
| Utility | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 |
| ClassConstraintException | | 0% | | n/a | 3 | 3 | 6 | 6 | 3 | 3 | 1 | 1 |
| VerificationException | | 33% | | n/a | 2 | 3 | 4 | 6 | 2 | 3 | 0 | 1 |
| LoadingException | | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
| LocalVariableInfoInconsistentException | | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
| InvalidMethodException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| StaticCodeInstructionConstraintException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| StructuralCodeConstraintException | | 57% | | n/a | 1 | 2 | 2 | 4 | 1 | 2 | 0 | 1 |
| CodeConstraintException | | 57% | | n/a | 1 | 2 | 2 | 4 | 1 | 2 | 0 | 1 |
| LinkingConstraintException | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| StaticCodeConstraintException | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |
| StaticCodeInstructionOperandConstraintException | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |