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