MAYBE
Time: 0.001655
TRS:
 { f(g x, g y) -> h(g y, x, g y),
   f(g x, a()) -> f(x, g a()),
   f(a(), g y) -> g g y,
  h(g x, y, z) -> f(y, h(x, y, z)),
  h(a(), y, z) -> z}
 DP:
  DP:
   { f#(g x, g y) -> h#(g y, x, g y),
     f#(g x, a()) -> f#(x, g a()),
    h#(g x, y, z) -> f#(y, h(x, y, z)),
    h#(g x, y, z) -> h#(x, y, z)}
  TRS:
  { f(g x, g y) -> h(g y, x, g y),
    f(g x, a()) -> f(x, g a()),
    f(a(), g y) -> g g y,
   h(g x, y, z) -> f(y, h(x, y, z)),
   h(a(), y, z) -> z}
  UR:
   { f(g x, g y) -> h(g y, x, g y),
     f(g x, a()) -> f(x, g a()),
     f(a(), g y) -> g g y,
    h(g x, y, z) -> f(y, h(x, y, z)),
    h(a(), y, z) -> z,
         b(w, v) -> w,
         b(w, v) -> v}
   EDG:
    {(h#(g x, y, z) -> f#(y, h(x, y, z)), f#(g x, a()) -> f#(x, g a()))
     (h#(g x, y, z) -> f#(y, h(x, y, z)), f#(g x, g y) -> h#(g y, x, g y))
     (h#(g x, y, z) -> h#(x, y, z), h#(g x, y, z) -> h#(x, y, z))
     (h#(g x, y, z) -> h#(x, y, z), h#(g x, y, z) -> f#(y, h(x, y, z)))
     (f#(g x, g y) -> h#(g y, x, g y), h#(g x, y, z) -> f#(y, h(x, y, z)))
     (f#(g x, g y) -> h#(g y, x, g y), h#(g x, y, z) -> h#(x, y, z))
     (f#(g x, a()) -> f#(x, g a()), f#(g x, g y) -> h#(g y, x, g y))}
    STATUS:
     arrows: 0.562500
     SCCS (1):
      Scc:
       { f#(g x, g y) -> h#(g y, x, g y),
         f#(g x, a()) -> f#(x, g a()),
        h#(g x, y, z) -> f#(y, h(x, y, z)),
        h#(g x, y, z) -> h#(x, y, z)}
      
      SCC (4):
       Strict:
        { f#(g x, g y) -> h#(g y, x, g y),
          f#(g x, a()) -> f#(x, g a()),
         h#(g x, y, z) -> f#(y, h(x, y, z)),
         h#(g x, y, z) -> h#(x, y, z)}
       Weak:
       { f(g x, g y) -> h(g y, x, g y),
         f(g x, a()) -> f(x, g a()),
         f(a(), g y) -> g g y,
        h(g x, y, z) -> f(y, h(x, y, z)),
        h(a(), y, z) -> z}
       Open