TIME: 820


SCC: 21
=================================
Global Ranking Function: log(2,nat(-1*C+1*D)+1)

  BinarySearch/BinarySearch_binarySearch([IIII)Z(A,B,C,D) :- BinarySearch/BinarySearch_binarySearch([IIII)Z(E,F,G,H) [-1*C+1*H>=0,-1*C+ -1*D+2*H>= -3,1*C+1*D+ -2*H>=2,1*A+ -1*H>=2,1*H>= -1,1*C+ -1*G=0,1*A+ -1*E=0,1*B+ -1*F=0]
  BinarySearch/BinarySearch_binarySearch([IIII)Z(A,B,C,D) :- BinarySearch/BinarySearch_binarySearch([IIII)Z(E,F,G,H) [-1*G+1*H>=0,-1*C+2*G+ -1*H>=1,1*A+ -1*G>=0,1*C+ -2*G+1*H>= -2,1*G>=1,1*D+ -1*H=0,1*A+ -1*E=0,1*B+ -1*F=0]
=================================

SCC: 52
=================================
Global Ranking Function: nat(1*A+ -1*B)

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