TIME: 159


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

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