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


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


NO
Input TRS:
    1: U12(tt()) -> s(length(L))
    2: U23(tt()) -> cons(N)
    3: zeros() -> cons(0())
    4: U11(tt()) -> U12(tt())
    5: U21(tt()) -> U22(tt())
    6: U22(tt()) -> U23(tt())
    7: length(nil()) -> 0()
    8: length(cons(N)) -> U11(tt())
    9: take(0(),IL) -> nil()
    10: take(s(M),cons(N)) -> U21(tt())
Extra variable in rule 2.