Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-21 19:42:10 -0800 (Mon, 21 Feb 2005)
Revision: 6742
Log message:

      It now checks for pairs like F>3 & F<2, i.e. opposite with empty intersection.
      So certain trivial things are detected much earlier.
      The problem with my recent commits vs itt_int_bench/test6 is gone,
      it's 2 seconds only again.
      Total time on my paper benchmark is also reduced to 25 seconds (from 35).
      Approximately, only 9 seconds are spent meaningfully, the rest is
      spent in wf-subgoals.
      

Changes	Path
+50 -25	metaprl/theories/itt/itt_omega.ml
+1 -0	metaprl/theories/itt/itt_omega.mli