MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          U11(tt()) -> tt()
          U21(tt()) -> U22(isList())
          U22(tt()) -> tt()
          U31(tt()) -> tt()
          U41(tt()) -> U42(isNeList())
          U42(tt()) -> tt()
          U51(tt()) -> U52(isList())
          U52(tt()) -> tt()
          U61(tt()) -> tt()
          U71(tt()) -> U72(isPal())
          U72(tt()) -> tt()
          U81(tt()) -> tt()
          __(X,nil()) -> X
          __(__(X,Y),Z) -> __(X,__(Y,Z))
          __(nil(),X) -> X
          isList() -> U11(isNeList())
          isList() -> U21(isList())
          isList() -> tt()
          isNeList() -> U31(isQid())
          isNeList() -> U41(isList())
          isNeList() -> U51(isNeList())
          isNePal() -> U61(isQid())
          isNePal() -> U71(isQid())
          isPal() -> U81(isNePal())
          isPal() -> tt()
          isQid() -> tt()
      - Signature:
          {U11/1,U21/1,U22/1,U31/1,U41/1,U42/1,U51/1,U52/1,U61/1,U71/1,U72/1,U81/1,__/2,isList/0,isNeList/0,isNePal/0
          ,isPal/0,isQid/0} / {nil/0,tt/0}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {U11,U21,U22,U31,U41,U42,U51,U52,U61,U71,U72,U81,__,isList
          ,isNeList,isNePal,isPal,isQid} and constructors {nil,tt}
  + Applied Processor:
      Ara {heuristics_ = NoHeuristics, minDegree = 1, maxDegree = 3, araTimeout = 60, araFindStrictRules = Nothing, araSmtSolver = MiniSMT}
  + Details:
      The input can not be schown compatible.
MAYBE