/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: __(__(X,Y),Z) -> __(X,__(Y,Z))
    3: __(X,nil()) -> X
    4: __(nil(),X) -> X
    5: U11(tt()) -> U12(isNeList())
    6: U12(tt()) -> tt()
    7: U21(tt()) -> U22(isList())
    8: U22(tt()) -> U23(isList())
    9: U23(tt()) -> tt()
    10: U31(tt()) -> U32(isQid())
    11: U32(tt()) -> tt()
    12: U41(tt()) -> U42(isList())
    13: U42(tt()) -> U43(isNeList())
    14: U43(tt()) -> tt()
    15: U51(tt()) -> U52(isNeList())
    16: U52(tt()) -> U53(isList())
    17: U53(tt()) -> tt()
    18: U61(tt()) -> U62(isQid())
    19: U62(tt()) -> tt()
    20: U71(tt()) -> U72(isNePal())
    21: U72(tt()) -> tt()
    22: isList() -> U11(isPalListKind())
    23: isList() -> tt()
    24: isList() -> U21(and(isPalListKind()))
    25: isNeList() -> U31(isPalListKind())
    26: isNeList() -> U41(and(isPalListKind()))
    27: isNeList() -> U51(and(isPalListKind()))
    28: isNePal() -> U61(isPalListKind())
    29: isNePal() -> and(and(isQid()))
    30: isPal() -> U71(isPalListKind())
    31: isPal() -> tt()
    32: isPalListKind() -> tt()
    33: isPalListKind() -> and(isPalListKind())
    34: isQid() -> tt()
Extra variable in rule 1.