TIME: 1060


SCC: 4
=================================
Global Ranking Function: nat(-1*A+1*B+ -1)

  15_loop(A,B) :- 15_loop(C,D) [1*B+ -1*D=0,1*A+ -1*C= -1,-1*A+1*D>=2]
=================================

SCC: 13
=================================
Global Ranking Function: nat(-1*B+1*E)

  16_loop(A,B,C,D,E) :- 16_loop(F,G,H,I,J) [1*C+ -1*H=0,1*A+ -1*F=0,1*E+ -1*J=0,1*B+ -1*G= -1,1*D+ -1*I=0,-1*B+1*I>=1,1*F>=0,1*B>=0,1*E+ -1*F>=1,-1*B+1*E>=1]
=================================

SCC: 17
=================================
Global Ranking Function: nat(-1*A+1*D+ -1)

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

SCC: 24
=================================
Global Ranking Function: nat(-1*B+1*D)

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