/export/starexec/sandbox/solver/bin/starexec_run_tct_dci /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files


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


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 derivational complexity wrt. signature {U11,U21,U22,U31,U41,U42,U51,U52,U61,U71,U72,U81,__,isList
          ,isNeList,isNePal,isPal,isQid,nil,tt}
  + Applied Processor:
      DecomposeCP {onSelectionCP_ = any strict-rules, withBoundCP_ = RelativeComp, withCP_ = NaturalMI {miDimension = 4, miDegree = 4, miKind = Algebraic, uargs = NoUArgs, urules = NoURules, selector = Nothing}}
  + Details:
      application of cp failed
MAYBE