MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          e1(x1,x1,x,y,z) -> e5(x1,x,y,z)
          e1(h1(),h2(),x,y,z) -> e2(x,x,y,z,z)
          e2(x,x,y,z,z) -> e6(x,y,z)
          e2(f1(),x,y,z,f2()) -> e3(x,y,x,y,y,z,y,z,x,y,z)
          e2(i(),x,y,z,i()) -> e6(x,y,z)
          e3(x,y,x,y,y,z,y,z,x,y,z) -> e6(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(x,x,x,x,x,x,x,x,x,x,x) -> e6(x,x,x)
          e4(g1(),x1,g2(),x1,g1(),x1,g2(),x1,x,y,z) -> e1(x1,x1,x,y,z)
          e4(i(),x1,i(),x1,i(),x1,i(),x1,x,y,z) -> e5(x1,x,y,z)
          e5(i(),x,y,z) -> e6(x,y,z)
          f1() -> g1()
          f1() -> g2()
          f2() -> g1()
          f2() -> g2()
          g1() -> h1()
          g1() -> h2()
          g2() -> h1()
          g2() -> h2()
          h1() -> i()
          h2() -> i()
      - Signature:
          {e1/5,e2/5,e3/11,e4/11,e5/4,f1/0,f2/0,g1/0,g2/0,h1/0,h2/0} / {e6/3,i/0}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {e1,e2,e3,e4,e5,f1,f2,g1,g2,h1,h2} and constructors {e6,i}
  + Applied Processor:
      MI {miKind = Automaton Nothing, miDimension = 3, miUArgs = NoUArgs, miURules = NoURules, miSelector = Nothing}
  + Details:
      Incompatible
MAYBE