/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files


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


NO
Input TRS:
    1: pairNs() -> cons(0(),n__incr(oddNs()))
    2: oddNs() -> incr(pairNs())
    3: incr(cons(X,XS)) -> cons(s(X),n__incr(activate(XS)))
    4: take(0(),XS) -> nil()
    5: take(s(N),cons(X,XS)) -> cons(X,n__take(N,activate(XS)))
    6: zip(nil(),XS) -> nil()
    7: zip(X,nil()) -> nil()
    8: zip(cons(X,XS),cons(Y,YS)) -> cons(pair(X,Y),n__zip(activate(XS),activate(YS)))
    9: tail(cons(X,XS)) -> activate(XS)
    10: repItems(nil()) -> nil()
    11: repItems(cons(X,XS)) -> cons(X,n__cons(X,n__repItems(activate(XS))))
    12: incr(X) -> n__incr(X)
    13: take(X1,X2) -> n__take(X1,X2)
    14: zip(X1,X2) -> n__zip(X1,X2)
    15: cons(X1,X2) -> n__cons(X1,X2)
    16: repItems(X) -> n__repItems(X)
    17: activate(n__incr(X)) -> incr(X)
    18: activate(n__take(X1,X2)) -> take(X1,X2)
    19: activate(n__zip(X1,X2)) -> zip(X1,X2)
    20: activate(n__cons(X1,X2)) -> cons(X1,X2)
    21: activate(n__repItems(X)) -> repItems(X)
    22: activate(X) -> X
Number of strict rules: 22
Direct poly ... removes: 4 10 7 9 6
  repItems(x1)		w: (7579 + 2 * x1)
  incr(x1)		w: (x1)
  s(x1)		w: (x1)
  activate(x1)		w: (x1)
  take(x1,x2)		w: (2 + x2 + x1)
  pair(x1,x2)		w: (x2 + x1)
  tail(x1)		w: (17068 + x1)
  0()		w: (0)
  n__take(x1,x2)		w: (2 + x2 + x1)
  n__cons(x1,x2)		w: (x2 + x1)
  nil()		w: (1)
  n__zip(x1,x2)		w: (12213 + x2 + x1)
  pairNs()		w: (31112)
  oddNs()		w: (31112)
  n__repItems(x1)		w: (7579 + 2 * x1)
  cons(x1,x2)		w: (x2 + x1)
  n__incr(x1)		w: (x1)
  zip(x1,x2)		w: (12213 + x2 + x1)
Number of strict rules: 17
Direct poly ... removes: 14
  repItems(x1)		w: (2 * x1)
  incr(x1)		w: (2 * x1)
  s(x1)		w: (x1)
  activate(x1)		w: (2 * x1)
  take(x1,x2)		w: (2 * x2 + x1)
  pair(x1,x2)		w: (1 + x2 + x1)
  tail(x1)		w: (17068 + x1)
  0()		w: (0)
  n__take(x1,x2)		w: (x2 + x1)
  n__cons(x1,x2)		w: (x2 + x1)
  nil()		w: (1)
  n__zip(x1,x2)		w: (1 + x2 + x1)
  pairNs()		w: (0)
  oddNs()		w: (0)
  n__repItems(x1)		w: (x1)
  cons(x1,x2)		w: (x2 + x1)
  n__incr(x1)		w: (x1)
  zip(x1,x2)		w: (2 + 2 * x2 + 2 * x1)
Number of strict rules: 16
Direct poly ... removes: 8 19
  repItems(x1)		w: (2 * x1)
  incr(x1)		w: (2 * x1)
  s(x1)		w: (x1)
  activate(x1)		w: (2 * x1)
  take(x1,x2)		w: (2 * x2 + 2 * x1)
  pair(x1,x2)		w: (1 + x2 + x1)
  tail(x1)		w: (17068 + x1)
  0()		w: (0)
  n__take(x1,x2)		w: (x2 + 2 * x1)
  n__cons(x1,x2)		w: (x2 + x1)
  nil()		w: (1)
  n__zip(x1,x2)		w: (3 + x2 + x1)
  pairNs()		w: (0)
  oddNs()		w: (0)
  n__repItems(x1)		w: (x1)
  cons(x1,x2)		w: (x2 + x1)
  n__incr(x1)		w: (x1)
  zip(x1,x2)		w: (5 + 2 * x2 + 2 * x1)
Number of strict rules: 14
Direct poly ... removes: 18 5 13
  repItems(x1)		w: (2 * x1)
  incr(x1)		w: (2 * x1)
  s(x1)		w: (x1)
  activate(x1)		w: (2 * x1)
  take(x1,x2)		w: (3 + 2 * x2 + x1)
  pair(x1,x2)		w: (2 + x2 + x1)
  tail(x1)		w: (17068 + x1)
  0()		w: (0)
  n__take(x1,x2)		w: (2 + x2 + x1)
  n__cons(x1,x2)		w: (x2 + x1)
  nil()		w: (4)
  n__zip(x1,x2)		w: (3 + x2 + x1)
  pairNs()		w: (0)
  oddNs()		w: (0)
  n__repItems(x1)		w: (x1)
  cons(x1,x2)		w: (x2 + x1)
  n__incr(x1)		w: (x1)
  zip(x1,x2)		w: (5 + x2 + 2 * x1)
Number of strict rules: 11
Direct poly ... removes: 21
  repItems(x1)		w: (18748 + 2 * x1)
  incr(x1)		w: (2 * x1)
  s(x1)		w: (2 * x1)
  activate(x1)		w: (2 * x1)
  take(x1,x2)		w: (1 + 2 * x2 + x1)
  pair(x1,x2)		w: (2 + x2 + x1)
  tail(x1)		w: (17068 + x1)
  0()		w: (0)
  n__take(x1,x2)		w: (1 + x2 + x1)
  n__cons(x1,x2)		w: (x2 + x1)
  nil()		w: (2)
  n__zip(x1,x2)		w: (3 + x2 + x1)
  pairNs()		w: (0)
  oddNs()		w: (0)
  n__repItems(x1)		w: (18748 + x1)
  cons(x1,x2)		w: (x2 + x1)
  n__incr(x1)		w: (x1)
  zip(x1,x2)		w: (5 + 2 * x2 + 2 * x1)
Number of strict rules: 10
Direct poly ... removes: 16 11
  repItems(x1)		w: (18749 + 2 * x1)
  incr(x1)		w: (2 * x1)
  s(x1)		w: (2 * x1)
  activate(x1)		w: (2 * x1)
  take(x1,x2)		w: (1 + 2 * x2 + x1)
  pair(x1,x2)		w: (2 + x2 + x1)
  tail(x1)		w: (17068 + x1)
  0()		w: (0)
  n__take(x1,x2)		w: (1 + x2 + x1)
  n__cons(x1,x2)		w: (x2 + x1)
  nil()		w: (2)
  n__zip(x1,x2)		w: (3 + x2 + x1)
  pairNs()		w: (0)
  oddNs()		w: (0)
  n__repItems(x1)		w: (18748 + x1)
  cons(x1,x2)		w: (x2 + x1)
  n__incr(x1)		w: (x1)
  zip(x1,x2)		w: (5 + 2 * x2 + 2 * x1)
Number of strict rules: 8
Direct poly ... failed.
Freezing ... failed.
Dependency Pairs:
   #1: #oddNs() -> #incr(pairNs())
   #2: #oddNs() -> #pairNs()
   #3: #activate(n__cons(X1,X2)) -> #cons(X1,X2)
   #4: #activate(n__incr(X)) -> #incr(X)
   #5: #incr(cons(X,XS)) -> #cons(s(X),n__incr(activate(XS)))
   #6: #incr(cons(X,XS)) -> #activate(XS)
   #7: #pairNs() -> #cons(0(),n__incr(oddNs()))
   #8: #pairNs() -> #oddNs()
Number of SCCs: 2, DPs: 4
	SCC { #2 #8 }
Sum... Max... QLPOpS... NegMaxSum... QWPOpSMaxSum... 2D-Mat... sum_sum_int,sum_neg... heuristic_int,sum_neg... failed.
Finding a loop...  found.
  #pairNs()	-#8->
  #oddNs()	--->*
  #oddNs()	-#2->
  #pairNs()	--->*
  #pairNs()
  Looping with: [ ]