/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: __(__(X,Y),Z) -> __(X,__(Y,Z))
    3: __(X,nil()) -> X
    4: __(nil(),X) -> X
    5: isNePal(__(I,__(P,I))) -> tt()
Extra variable in rule 1.