public static void printStepCounts(SingleGbState state) {
		System.out.println("size: "+state.stateBuffer.size());
		int minStepCount = Integer.MAX_VALUE;
		int maxStepCount = Integer.MIN_VALUE;
    int minDelayStepCount = Integer.MAX_VALUE;
    int maxDelayStepCount = Integer.MIN_VALUE;
		for(State s : state.stateBuffer.getStates()) {
      if (minStepCount > s.stepCount) {
        minStepCount = s.stepCount;
        minDelayStepCount = s.delayStepCount;
      }
      if (maxStepCount < s.stepCount) {
        maxStepCount = s.stepCount;
        maxDelayStepCount = s.delayStepCount;
      }
			if(s.stepCount < state.gb.stepCount)
			  state.gb.restore(s);
		}
		System.out.println("min: " + minStepCount + "(-" + minDelayStepCount + "), max: " + maxStepCount + "(-" + maxDelayStepCount + ")");
	}