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


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


MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          a____(X,nil()) -> mark(X)
          a____(X1,X2) -> __(X1,X2)
          a____(__(X,Y),Z) -> a____(mark(X),a____(mark(Y),mark(Z)))
          a____(nil(),X) -> mark(X)
          a__and(X1,X2) -> and(X1,X2)
          a__and(tt(),X) -> mark(X)
          a__isNePal(X) -> isNePal(X)
          a__isNePal(__(I,__(P,I))) -> tt()
          mark(__(X1,X2)) -> a____(mark(X1),mark(X2))
          mark(and(X1,X2)) -> a__and(mark(X1),X2)
          mark(isNePal(X)) -> a__isNePal(mark(X))
          mark(nil()) -> nil()
          mark(tt()) -> tt()
      - Signature:
          {a____/2,a__and/2,a__isNePal/1,mark/1} / {__/2,and/2,isNePal/1,nil/0,tt/0}
      - Obligation:
          innermost derivational complexity wrt. signature {__,a____,a__and,a__isNePal,and,isNePal,mark,nil,tt}
  + Applied Processor:
      DecomposeCP {onSelectionCP_ = any strict-rules, withBoundCP_ = RelativeComp, withCP_ = NaturalMI {miDimension = 3, miDegree = 3, miKind = Algebraic, uargs = NoUArgs, urules = NoURules, selector = Nothing}}
  + Details:
      application of cp failed
MAYBE