TIME: 160


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

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