TIME: 14060


SCC: 46
=================================
Global Ranking Function: nat(1*A)

  Test4_length(LList;)I(A) :- Test4_length(LList;)I(B) [1*A+ -1*B>=1,1*B>=0]
=================================

SCC: 47 (loops closed under composition)
=================================
  18(A,B,C,D) :- 18(E,F,G,H) [1*H>=0,1*G>=0,1*F>=0,H=D,1*D>=0,G=C,1*C>=0,B>F,1*B>=1,E=A]
  RF: 1*B

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

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

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

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

SCC: 59
=================================
Global Ranking Function: nat(1*B)

  List_(I)V(A,B) :- List_(I)V(C,D) [1*B>=1,1*A>=1,1*C=1,1*B+ -1*D=1]
=================================