TIME: 2680


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

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

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

  List_reverse()LList;(A) :- List_reverse()LList;(B) [1*A+ -1*B>=1,1*B>=1]
=================================

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

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

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

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

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

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