/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: isList() -> isNeList()
    6: isList() -> tt()
    7: isList() -> and(isList())
    8: isNeList() -> isQid()
    9: isNeList() -> and(isList())
    10: isNeList() -> and(isNeList())
    11: isNePal() -> isQid()
    12: isNePal() -> and(isQid())
    13: isPal() -> isNePal()
    14: isPal() -> tt()
    15: isQid() -> tt()
Extra variable in rule 1.