refinements of counter and ideal version
merged run many times