| getCliques(List) |  | 0% | | 0% | 12 | 12 | 39 | 39 | 1 | 1 |
| quickSort(int, int, ArrayList) | | 0% | | 0% | 6 | 6 | 16 | 16 | 1 | 1 |
| bronKerbosch(BitSet, BitSet, BitSet, BitSet[], List) | | 0% | | 0% | 4 | 4 | 15 | 15 | 1 | 1 |
| applyWidenOperatorWorker(List) | | 0% | | 0% | 4 | 4 | 13 | 13 | 1 | 1 |
| bitset2UnrolledReferences(BitSet, WriteSetOperations.UnrolledReferenceExpression[]) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| swap(ArrayList, int, int) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| applyWidenOperatorWorker2(List) |  | 83% | | 75% | 1 | 3 | 0 | 6 | 0 | 1 |
| applyWidenOperator(WriteSetOperator.SimplePointerGroup) | | 100% | | 100% | 0 | 3 | 0 | 13 | 0 | 1 |
| apply(SymbolicExpression[][]) | | 100% | | 100% | 0 | 3 | 0 | 8 | 0 | 1 |
| WriteSetWidenOperator(SymbolicUniverse, SymbolicUtility) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |