/export/starexec/sandbox/solver/bin/starexec_run_Default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/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()
Extra variable in rule 2.