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


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


NO
Input TRS:
    1: hd(cons()) -> X
    2: tl(cons()) -> Y
    3: nats() -> adx(zeros())
    4: zeros() -> cons()
    5: incr(cons()) -> cons()
    6: adx(cons()) -> incr(cons())
Extra variable in rule 2.