TIME: 2360


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

  ListInt_append(LListInt;)LListInt;(A,B) :- ListInt_append(LListInt;)LListInt;(C,D) [1*B>= -1,1*A+ -1*C>=1,1*C>=1,1*B+ -1*D=0]
=================================

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

  ListInt_reverse()LListInt;(A) :- ListInt_reverse()LListInt;(B) [1*A+ -1*B>=1,1*B>=1]
=================================

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

  ListInt_reverseAcc(LListInt;)LListInt;(A,B) :- ListInt_reverseAcc(LListInt;)LListInt;(C,D) [1*D>= -1,1*B>= -1,1*A+ -1*C>=1,1*C>=1]
=================================

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

  ListInt_iter()V(A) :- ListInt_iter()V(B) [1*A+ -1*B>=1,1*B>=1]
=================================

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

  ListInt_merge(LListInt;)LListInt;(A,B) :- ListInt_merge(LListInt;)LListInt;(C,D) [1*B+ -1*D>=1,1*D>=1,1*A>=1,1*A+ -1*C=0]
  ListInt_merge(LListInt;)LListInt;(A,B) :- ListInt_merge(LListInt;)LListInt;(C,D) [1*B>=1,1*A+ -1*C>=1,1*C>=1,1*B+ -1*D=0]
=================================