/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:
          e1(h1(),h2(),x,y,z) -> e2(x,x,y,z,z)
          e2(f1(),x,y,z,f2()) -> e3(x,y,x,y,y,z,y,z,x,y,z)
          e3(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z) -> e4(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z)
          e4(g1(),x1,g2(),x1,g1(),x1,g2(),x1,x,y,z) -> e1(x1,x1,x,y,z)
          f1() -> g1()
          f1() -> g2()
          f2() -> g1()
          f2() -> g2()
          g1() -> h1()
          g1() -> h2()
          g2() -> h1()
          g2() -> h2()
      - Signature:
          {e1/5,e2/5,e3/11,e4/11,f1/0,f2/0,g1/0,g2/0} / {h1/0,h2/0}
      - Obligation:
          innermost derivational complexity wrt. signature {e1,e2,e3,e4,f1,f2,g1,g2,h1,h2}
  + Applied Processor:
      DecomposeCP {onSelectionCP_ = any strict-rules, withBoundCP_ = RelativeComp, withCP_ = NaturalMI {miDimension = 3, miDegree = 3, miKind = Algebraic, uargs = NoUArgs, urules = NoURules, selector = Nothing}}
  + Details:
      The processor is not applicable. The reason is some rule is duplicating.
MAYBE