Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-12-27 00:09:32 -0800 (Tue, 27 Dec 2005)
Revision: 8373
Log message:

      In tcaT (AKA ...ttca) and the "MustComplete" part of autoT, give up quicker
      when hitting a subgoal that can not be completed. 
      
      This makes "status-all" approx. 12% faster.