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


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


YES
Input TRS:
    1: a__zeros() -> cons(0(),zeros())
    2: a__tail(cons(X,XS)) -> mark(XS)
    3: mark(zeros()) -> a__zeros()
    4: mark(tail(X)) -> a__tail(mark(X))
    5: mark(cons(X1,X2)) -> cons(mark(X1),X2)
    6: mark(0()) -> 0()
    7: a__zeros() -> zeros()
    8: a__tail(X) -> tail(X)
Number of strict rules: 8
Direct poly ... removes: 4 8 1 3 5 7 6 2
  zeros()		w: (2442)
  tail(x1)		w: (3 + 2 * x1)
  0()		w: (1)
  mark(x1)		w: (1 + 2 * x1)
  cons(x1,x2)		w: (2439 + x2 + 2 * x1)
  a__tail(x1)		w: (4 + 2 * x1)
  a__zeros()		w: (4884)
Number of strict rules: 0