TIME: 40


SCC: 4
=================================
Global Ranking Function: nat(-1/3*A+23/3)

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

SCC: 9
=================================
Global Ranking Function: nat(-1*A+100)

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