| addIsUnion(IntCharSet, IntCharSet) |  | 0% | | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
| andIsIntersection(IntCharSet, IntCharSet) | | 0% | | 0% | 4 | 4 | 8 | 8 | 1 | 1 |
| subIsDifference(IntCharSet, IntCharSet) | | 0% | | n/a | 1 | 1 | 10 | 10 | 1 | 1 |
| complement(IntCharSet) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| containsItsElements(IntCharSet) | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| addSubEq(IntCharSet, IntCharSet) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| addIdemPotent(IntCharSet, IntCharSet) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| addConsistent(IntCharSet, int) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| singleInterval(Interval) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| addEmpty(IntCharSet) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| subEmpty(IntCharSet) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| addSelf(IntCharSet) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| andEmpty(IntCharSet) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| subSelf(IntCharSet) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| complementIntersection(IntCharSet) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| andCommutes(IntCharSet, IntCharSet) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| complementUnion(IntCharSet) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| addAll(IntCharSet) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| allCharsContainsEverything(IntCharSet) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| andAll(IntCharSet) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| andSelf(IntCharSet) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| invariants(IntCharSet) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| IntCharSetQuickcheck() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |