TIME: 60


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

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

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

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