Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-22 11:44:28 -0700 (Fri, 22 Jul 2005)
Revision: 7663
Log message:

      It's amazing, continuation worked well from the first try without any debugging!
      check-status time is down by 100secs;
      muddy children problem dropped from 120 secs to 40 secs
      

Changes  Path
+29 -37 metaprl-branches/jprover-rule-based-unif/refiner/reflib/jall.ml
+42 -13 metaprl-branches/jprover-rule-based-unif/refiner/reflib/jtunify.ml
+12 -2 metaprl-branches/jprover-rule-based-unif/refiner/reflib/jtunify.mli