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


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


NO
Input TRS:
    1: and(tt()) -> X
    2: length(cons(N)) -> s(length(L))
    3: zeros() -> cons(0())
    4: length(nil()) -> 0()
    5: take(0(),IL) -> nil()
    6: take(s(M),cons(N)) -> cons(N)
Extra variable in rule 2.