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


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


YES
Input TRS:
    1: zeros() -> cons(0(),n__zeros())
    2: tail(cons(X,XS)) -> activate(XS)
    3: zeros() -> n__zeros()
    4: activate(n__zeros()) -> zeros()
    5: activate(X) -> X
Number of strict rules: 5
Direct poly ... removes: 4 1 3 5 2
  activate(x1)		w: (5 + 2 * x1)
  n__zeros()		w: (1)
  zeros()		w: (6)
  tail(x1)		w: (4 + 2 * x1)
  0()		w: (1)
  cons(x1,x2)		w: (1 + 2 * x2 + 2 * x1)
Number of strict rules: 0