TIME: 260


SCC: 8
=================================
Global Ranking Function: nat(1*A+1*B+3*C+1)

  10_loop(A,B,C) :- 10_loop(D,E,F) [-1*A+1*E>=1,-1*E+1*F>= -2,1*A+1*E+3*F>= -2,1*B+ -1*E= -1,1*C+ -1*F=1,1*A+ -1*D= -1]
  10_loop(A,B,C) :- 10_loop(D,E,F) [1*C+ -1*F=0,1*A+ -1*D= -1,1*B+ -1*E=2,-1*C+1*E>= -1,1*A+3*C+1*E>= -2,-1*A+1*E>= -2]
  10_loop(A,B,C) :- 10_loop(D,E,F) [1*C+ -1*F=0,1*A+ -1*D=1,1*B+ -1*E=0,1*A+ -1*E>=1,1*A+3*C+1*E>=0]
=================================