TIME: 60


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

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