/export/starexec/sandbox2/solver/bin/starexec_run_Default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


NO
Input TRS:
    1: c() -> f(n__g(n__c()))
    2: f(n__g(X)) -> g(activate(X))
    3: g(X) -> n__g(X)
    4: c() -> n__c()
    5: activate(n__g(X)) -> g(X)
    6: activate(n__c()) -> c()
    7: activate(X) -> X
Number of strict rules: 7
Direct POLO(bPol) ... removes: 4 5 7
      activate	w: x1 + 8
      n__c	w: 3
      c 	w: 11
      f 	w: x1 + 8
      n__g	w: x1
      g 	w: x1
Number of strict rules: 4
Direct POLO(bPol) ... failed.
Uncurrying f
1: c() -> f^1_n__g(n__c())
2: f^1_n__g(X) -> g(activate(X))
3: g(X) -> n__g(X)
6: activate(n__c()) -> c()
8: f(n__g(_1)) ->= f^1_n__g(_1)
Number of strict rules: 4
Direct POLO(bPol) ... removes: 8
      activate	w: x1 + 4
      n__c	w: 1
      c 	w: 5
      f 	w: x1 + 5
      n__g	w: x1
      f^1_n__g	w: x1 + 4
      g 	w: x1
Number of strict rules: 4
Direct POLO(bPol) ... failed.
Dependency Pairs:
   #1: #f^1_n__g(X) -> #g(activate(X))
   #2: #f^1_n__g(X) -> #activate(X)
   #3: #activate(n__c()) -> #c()
   #4: #c() -> #f^1_n__g(n__c())
Number of SCCs: 1, DPs: 3
  SCC { #2..4 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
Finding a loop...  found.
  #c()	-#4->
  #f^1_n__g(n__c())	--->*
  #f^1_n__g(n__c())	-#2->
  #activate(n__c())	--->*
  #activate(n__c())	-#3->
  #c()	--->*
  #c()
  Looping with: [ ]