TIME: 2020


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

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

SCC: 32
=================================
Global Ranking Function: nat(1*B+ -1*C)

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

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

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

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

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

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

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