TIME: 160


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

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

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

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

SCC: 11
=================================
Global Ranking Function: log(4,nat(1/2*A+1*B+ -1/2)+3)

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