TIME: 600


SCC: 8 (loops closed under composition)
=================================
  6_loop(A,B,C) :- 6_loop(D,E,F) [D>=F,F=C,D>=C,E=B,A>F,A>D,A>C]
  RF: 1*A+ -1*C

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

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

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