| containsIsSubset(StateSet, StateSet) |  | 0% | | 0% | 3 | 3 | 11 | 11 | 1 | 1 |
| addStateDoesNotRemove(StateSet, int) | | 0% | | 0% | 2 | 2 | 12 | 12 | 1 | 1 |
| removeAddResize(StateSet, int, int) | | 0% | | n/a | 1 | 1 | 16 | 16 | 1 | 1 |
| addIsUnion(StateSet, StateSet) | | 0% | | 0% | 4 | 4 | 8 | 8 | 1 | 1 |
| intersect(StateSet, StateSet) | | 0% | | 0% | 4 | 4 | 8 | 8 | 1 | 1 |
| removeAdd(StateSet, int) | | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| enumerator(StateSet) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| complementElements(StateSet, StateSet) | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| complementUnion(StateSet, StateSet) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| addCommutes(StateSet, StateSet) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| addIdemPotent(StateSet, StateSet) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| intersectCommutes(StateSet, StateSet) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| containsElements(StateSet, int) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| addStateAdd(StateSet, int) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| containsItsElements(StateSet) | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| intersectUnchanged(StateSet, StateSet) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| copy(StateSet) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| copyInto(StateSet, StateSet) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| getAndRemoveAdd(StateSet) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| complementNoOriginalElements(StateSet, StateSet) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| getAndRemoveIsElement(StateSet) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| addEmpty(StateSet) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| addSelf(StateSet) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| intersectSelf(StateSet) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| getAndRemoveRemoves(StateSet) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| intersectEmpty(StateSet) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| clearMakesEmpty(StateSet) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| hashCode(StateSet, StateSet) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| removeRemoves(StateSet, int) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| addStateAdds(StateSet, int) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| size2nbits(int) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| containsNoElements(StateSet) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| StateSetQuickcheck() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |