| AssertionViolatedException |  | 0% | | 0% | 9 | 9 | 20 | 20 | 6 | 6 | 1 | 1 |
| VerifierConstraintViolatedException |  | 36% | | 0% | 5 | 8 | 10 | 17 | 2 | 5 | 0 | 1 |
| Utility | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 |
| LoadingException | | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
| StructuralCodeConstraintException | | 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 |
| ClassConstraintException | | 75% | | n/a | 1 | 3 | 2 | 6 | 1 | 3 | 0 | 1 |
| VerificationException | | 75% | | n/a | 1 | 3 | 2 | 6 | 1 | 3 | 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 |
| StaticCodeInstructionConstraintException | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |
| StaticCodeInstructionOperandConstraintException | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |