TIME: 180


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

  5_loop(A,B) :- 5_loop(C,D) [1*B+ -1*D= -2,1*A+ -1*C=0,-1*D>= -12]
  5_loop(A,B) :- 5_loop(C,D) [1*A+ -1*C=0,1*B+ -1*D= -2,1*A>=1,1*D>=13,-1*D>= -21]
  5_loop(A,B) :- 5_loop(C,D) [1*C=0,1*A=0,1*B+ -1*D=0,1*D>=11,-1*D>= -19]
=================================