TIME: 139


SCC: 5
=================================
Global Ranking Function: log(2,nat(1*A+ -1*B)+1)

  8_loop(A,B) :- 8_loop(C,D) [2*B+ -1*D=0,1*A+ -1*C=0,2*A+ -1*D>=2]
=================================

SCC: 6
=================================
Global Ranking Function: nat(1*A+1)

  4_loop(A,B) :- 4_loop(C,D) [1*C>= -1,1*A+ -1*C=1]
=================================