Automatic early termination