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


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


NO
Input TRS:
    1: eq() -> true()
    2: eq() -> eq()
    3: eq() -> false()
    4: inf(X) -> cons()
    5: take(0(),X) -> nil()
    6: take(s(),cons()) -> cons()
    7: length(nil()) -> 0()
    8: length(cons()) -> s()
Trivially nonterminating rule 2.