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


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


MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          f(x,f(y,f(x,y))) -> f(a(),f(x,f(y,b())))
          f(x,g(x,a(),f(s(x),y))) -> f(h(x,b()),g(a(),b(),y))
          f(h(a(),y),g(x,b(),a())) -> h(f(x,s(y)),s(b()))
          g(x,x,x) -> g(c(),d(),e())
          g(x,y,x) -> g(c(),d(),e())
          h(f(x,s(y)),b()) -> f(a(),g(y,a(),f(s(x),a())))
          h(h(x,a()),y) -> h(h(a(),y),h(a(),x))
          s(y) -> b()
          s(f(x,y)) -> f(y,f(s(s(x)),a()))
      - Signature:
          {f/2,g/3,h/2,s/1} / {a/0,b/0,c/0,d/0,e/0}
      - Obligation:
           derivational complexity wrt. signature {a,b,c,d,e,f,g,h,s}
  + 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