No bug for both WC and PartialSET.
The cactusADM has been tested for 50million instructions.
The result shows that the PartialSET is better than WC