TIME: 1440


SCC: 8
=================================
Global Ranking Function: nat(1*D+ -1*E+ -1*F)

  16_loop(A,B,C,D,E,F) :- 16_loop(G,H,I,J,K,L) [1*F+ -1*L=0,1*B+ -1*H=0,1*D+ -1*J=0,1*A+ -1*G=0,1*K=1,1*E=0,1*C+ -1*I=0,1*C>=0,1*A+ -1*C>=1,1*F>=0,1*B+ -1*F>=1,1*D+ -1*F>=1]
  16_loop(A,B,C,D,E,F) :- 16_loop(G,H,I,J,K,L) [1*F+ -1*L= -1,1*B+ -1*H=0,1*D+ -1*J=0,1*A+ -1*G=0,1*K=0,1*E=0,1*C+ -1*I=0,1*C>=0,1*A+ -1*C>=1,1*F>=0,1*B+ -1*F>=1,1*D+ -1*F>=1]
=================================

SCC: 11
=================================
Global Ranking Function: nat(-1*E+1*F)

  12_loop(A,B,C,D,E,F,G,H,I) :- 12_loop(J,K,L,M,N,O,P,Q,R) [1*R>=0,-1*E+1*O>=1,1*C+ -1*M>=0,1*M>=1,1*A+ -1*E>=1,1*E>=0,1*G+ -1*P=0,1*F+ -1*O=0,1*E+ -1*N= -1,1*D+ -1*M= -1,1*C+ -1*L=0,1*B+ -1*K=0,1*A+ -1*J=0,1*Q=0]
  12_loop(A,B,C,D,E,F,G,H,I) :- 12_loop(J,K,L,M,N,O,P,Q,R) [1*R>=0,1*Q>=1,-1*E+1*O>=1,1*F+ -1*O=0,1*A+ -1*J=0,1*E+ -1*N= -1,1*D+ -1*M=0,1*C+ -1*L=0,1*B+ -1*K=0,1*G+ -1*P=0]
  12_loop(A,B,C,D,E,F,G,H,I) :- 12_loop(J,K,L,M,N,O,P,Q,R) [-1*Q>=1,1*R>=0,-1*E+1*O>=1,1*F+ -1*O=0,1*A+ -1*J=0,1*E+ -1*N= -1,1*D+ -1*M=0,1*C+ -1*L=0,1*B+ -1*K=0,1*G+ -1*P=0]
=================================