TIME: 680


SCC: 12
=================================
Global Ranking Function: nat(1*B+ -1*C+ -1*D)

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

SCC: 16
=================================
Global Ranking Function: nat(1*B+ -1*C)

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