TIME: 180


SCC: 6
=================================
Global Ranking Function: nat(2*A+1)

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