Fixed the flops counters for mobius and 4-d dwf.