This counter in the SEP benchmark takes on a double value since instructions is cast to double. This causes problems in the later perf checker since it's expecting an int value. The solution would be to cast to int or floor the mean value.