TIME: 1159


SCC: 7 (loops closed under composition)
=================================
  5_loop(A,B,C,D) :- 5_loop(E,F,G,H) [1*G>=1,G=F,1*F>=1,H>D,G=C,F=C,1*C>=1,G>B,F>B,C>B,1*B=<0,1*B>=0,E=A]
  RF: -1*B+1

  5_loop(A,B,C,D) :- 5_loop(E,F,G,H) [1*G>=1,1*F>=0,1*E>=0,H=D,G=C,1*C>=1,B>F,1*B>=1,A>E,1*A>=1]
  RF: 1*B

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

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

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

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

=================================