TIME: 1780


SCC: 9
=================================
Global Ranking Function: nat(1*A+ -1*C+1)

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

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

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

SCC: 21
=================================
Global Ranking Function: nat(1/2*B+ -1/2*D+1)

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

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

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

SCC: 43
=================================
Global Ranking Function: nat(-1*A+100)

  24_loop(A) :- 24_loop(B) [1*A+ -1*B= -1,-1*A>= -99]
=================================

SCC: 47
=================================
Global Ranking Function: nat(1/2*B+ -1/2*D+1)

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

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

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