MAYBE
Time: 0.025909
TRS:
 {                                               g1() -> h1(),
                                                 g1() -> h2(),
                                                 f1() -> g1(),
                                                 f1() -> g2(),
                                                 g2() -> h1(),
                                                 g2() -> h2(),
                                                 f2() -> g1(),
                                                 f2() -> g2(),
                              e2(f1(), x, y, z, f2()) -> e3(x, y, x, y, y, z, y, z, x, y, z),
                              e1(h1(), h2(), x, y, z) -> e2(x, x, y, z, 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)}
 DP:
  DP:
   {                                               f1#() -> g1#(),
                                                   f1#() -> g2#(),
                                                   f2#() -> g1#(),
                                                   f2#() -> g2#(),
                                e2#(f1(), x, y, z, f2()) -> e3#(x, y, x, y, y, z, y, z, x, y, z),
                                e1#(h1(), h2(), x, y, z) -> e2#(x, x, y, z, 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)}
  TRS:
  {                                               g1() -> h1(),
                                                  g1() -> h2(),
                                                  f1() -> g1(),
                                                  f1() -> g2(),
                                                  g2() -> h1(),
                                                  g2() -> h2(),
                                                  f2() -> g1(),
                                                  f2() -> g2(),
                               e2(f1(), x, y, z, f2()) -> e3(x, y, x, y, y, z, y, z, x, y, z),
                               e1(h1(), h2(), x, y, z) -> e2(x, x, y, z, 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)}
  UR:
   {a(w, v) -> w,
    a(w, v) -> v}
   EDG:
    {(e4#(g1(), x1, g2(), x1, g1(), x1, g2(), x1, x, y, z) -> e1#(x1, x1, x, y, z), e1#(h1(), h2(), x, y, z) -> e2#(x, x, y, z, 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))
     (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))
     (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))}
    STATUS:
     arrows: 0.937500
     SCCS (1):
      Scc:
       {                            e2#(f1(), x, y, z, f2()) -> e3#(x, y, x, y, y, z, y, z, x, y, z),
                                    e1#(h1(), h2(), x, y, z) -> e2#(x, x, y, z, 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)}
      
      
      
      
      
      SCC (4):
       Strict:
        {                            e2#(f1(), x, y, z, f2()) -> e3#(x, y, x, y, y, z, y, z, x, y, z),
                                     e1#(h1(), h2(), x, y, z) -> e2#(x, x, y, z, 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)}
       Weak:
       {                                               g1() -> h1(),
                                                       g1() -> h2(),
                                                       f1() -> g1(),
                                                       f1() -> g2(),
                                                       g2() -> h1(),
                                                       g2() -> h2(),
                                                       f2() -> g1(),
                                                       f2() -> g2(),
                                    e2(f1(), x, y, z, f2()) -> e3(x, y, x, y, y, z, y, z, x, y, z),
                                    e1(h1(), h2(), x, y, z) -> e2(x, x, y, z, 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)}
       Fail