TIME: 4260


SCC: 33
=================================
Global Ranking Function: nat(1/2*A+ -1/2)

  DupTreeRec/DupTreeRec_dupList(LDupTreeRec/TreeList;)V(A) :- DupTreeRec/DupTreeRec_dupList(LDupTreeRec/TreeList;)V(B) [1*A+ -1*B>=2,1*B>=1]
=================================

SCC: 89 (loops closed under composition)
=================================
  24_loop(A,B,C,D) :- 24_loop(E,F,G,H) [1*H=<0,1*H>=0,G>H,1*G>=1,E>=H,1*E>=0,C>D,B>H,1*B>=1,A>H,A>E,1*A>=2]
  RF: 1*A+ -1

  24_loop(A,B,C,D) :- 24_loop(E,F,G,H) [G>=H,1*E>=2,H>D,G>D,C>=H,G=C,C>D,1*B>=1,E=A,1*A>=2]
  RF: 1*C+ -1*D

  24_loop(A,B,C,D) :- 24_loop(E,F,G,H) [1*H=<0,1*H>=0,G>H,1*G>=1,E>=H,1*E>=0,C>D,H=B,G>B,E>=B,1*B=<0,1*B>=0,A>H,A>E,A>B,1*A>=2]
  RF: 1*A+ -1

  24_loop(A,B,C,D) :- 24_loop(E,F,G,H) [G>=H,1*E=<1,H>D,G>D,C>=H,G=C,C>D,B>=E,1*B>=1,E=A,B>=A,1*A=<1]
  RF: 1*C+ -1*D

  24_loop(A,B,C,D) :- 24_loop(E,F,G,H) [1*G+ -1*H>=0,1*G>=1,1*H>0,1*C+ -1*D>0,1*B>=1,1*A+ -1*E>0,1*E>=2]
  RF: 1*A+ -2

  24_loop(A,B,C,D) :- 24_loop(E,F,G,H) [-1*E>= -1,1*E>=0,1*H>0,1*G>=1,1*G+ -1*H>=0,1*C+ -1*D>0,1*B>=1,1*A>=2]
  RF: 1*A+ -1

  24_loop(A,B,C,D) :- 24_loop(E,F,G,H) [1*G>=1,1*G+ -1*H>=0,1*H>0,1*C+ -1*D>0,1*A+ -1*E>0,1*E>=2,1*B=0]
  RF: 1*A+ -2

  24_loop(A,B,C,D) :- 24_loop(E,F,G,H) [1*E>=0,1*H>0,-1*E>= -1,1*G+ -1*H>=0,1*C+ -1*D>0,1*A>=2,1*G>=1,1*B=0]
  RF: 1*A+ -1

=================================