Note about runs with only one counterexample