TIME: 28520


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

  Terms/FunctionApplication_equals(Ljava/lang/Object;)Z(A,B) :- Terms/FunctionApplication_equals(Ljava/lang/Object;)Z(C,D) [1*B+ -1*D>=1,1*D>=0,1*A+ -1*C>=1,1*C>=1]
=================================

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

  Terms/Map_get(Ljava/lang/Object;)Ljava/lang/Object;(A,B) :- Terms/Map_get(Ljava/lang/Object;)Ljava/lang/Object;(C,D) [1*A+ -1*C>=1,1*C>=2,1*B+ -1*D=0]
=================================

SCC: 141
=================================
Global Ranking Function: nat(1*F+ -1)

  138(A,B,C,D,E,F) :- 138(G,H,I,J,K,L) [1*K>=0,1*L>=0,1*E>=3,1*E+ -1*K>=1,1*F+ -1*L>=1,1*H>=1,1*F>=2,1*D+ -1*J=0,1*C+ -1*I=0,1*A+ -1*G=0]
  138(A,B,C,D,E,F) :- 138(G,H,I,J,K,L) [1*G+ -1*K>=1,1*G>=2,1*K>=0,1*I+ -1*L>=1,1*L>=0,1*E+ -1*G>=1,1*F+ -1*I>=1,1*B+ -1*H=0,1*I+ -1*J=0]
=================================

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

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

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

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

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

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

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

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

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