TIME: 12020


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

  Partition_oddDistinctParts()Z(A) :- Partition_oddDistinctParts()Z(B) [1*A+ -1*B>=1,1*B>=1]
=================================

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

  PartitionList_sublistOddDistinctParts()LPartitionList;(A) :- PartitionList_sublistOddDistinctParts()LPartitionList;(B) [1*A+ -1*B>=1,1*B>=2]
=================================

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

  Partition_isEqual(LPartition;)Z(A,B) :- Partition_isEqual(LPartition;)Z(C,D) [1*B+ -1*D>=1,1*D>=1,1*A+ -1*C>=1,1*C>=1]
=================================

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

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

SCC: 126
=================================
Global Ranking Function: nat(1*C)

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

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

  PartitionList_sublistAutoDual()LPartitionList;(A) :- PartitionList_sublistAutoDual()LPartitionList;(B) [1*A+ -1*B>=1,1*B>=2]
=================================

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

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

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

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

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

  PartitionList_insert(ILPartitionList;)LPartitionList;(A,B) :- PartitionList_insert(ILPartitionList;)LPartitionList;(C,D) [1*B+ -1*D>=1,1*D>=1,1*A+ -1*C=0]
=================================

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

  PartitionList_generation(ILIntList;)LPartitionList;(A,B) :- PartitionList_generation(ILIntList;)LPartitionList;(C,D) [1*B>=2,1*A+ -1*C>=1,1*C>=1,1*B+ -1*D=0]
  PartitionList_generation(ILIntList;)LPartitionList;(A,B) :- PartitionList_generation(ILIntList;)LPartitionList;(C,D) [1*B+ -1*D>=1,1*D>=1,1*A>=2,1*A+ -1*C=0]
=================================