MAYBE
Time: 0.003461
TRS:
 {g(c(), g(a x, y)) -> g(f a b(), g(a y, x)),
              f a x -> c(),
              a b() -> d()}
 DP:
  DP:
   {g#(c(), g(a x, y)) -> g#(f a b(), g(a y, x)),
    g#(c(), g(a x, y)) -> g#(a y, x),
    g#(c(), g(a x, y)) -> f# a b(),
    g#(c(), g(a x, y)) -> a# y,
    g#(c(), g(a x, y)) -> a# b()}
  TRS:
  {g(c(), g(a x, y)) -> g(f a b(), g(a y, x)),
               f a x -> c(),
               a b() -> d()}
  EDG:
   {(g#(c(), g(a x, y)) -> g#(a y, x), g#(c(), g(a x, y)) -> a# b())
    (g#(c(), g(a x, y)) -> g#(a y, x), g#(c(), g(a x, y)) -> a# y)
    (g#(c(), g(a x, y)) -> g#(a y, x), g#(c(), g(a x, y)) -> f# a b())
    (g#(c(), g(a x, y)) -> g#(a y, x), g#(c(), g(a x, y)) -> g#(a y, x))
    (g#(c(), g(a x, y)) -> g#(a y, x), g#(c(), g(a x, y)) -> g#(f a b(), g(a y, x)))
    (g#(c(), g(a x, y)) -> g#(f a b(), g(a y, x)), g#(c(), g(a x, y)) -> g#(f a b(), g(a y, x)))
    (g#(c(), g(a x, y)) -> g#(f a b(), g(a y, x)), g#(c(), g(a x, y)) -> g#(a y, x))
    (g#(c(), g(a x, y)) -> g#(f a b(), g(a y, x)), g#(c(), g(a x, y)) -> f# a b())
    (g#(c(), g(a x, y)) -> g#(f a b(), g(a y, x)), g#(c(), g(a x, y)) -> a# y)
    (g#(c(), g(a x, y)) -> g#(f a b(), g(a y, x)), g#(c(), g(a x, y)) -> a# b())}
   STATUS:
    arrows: 0.600000
    SCCS (1):
     Scc:
      {g#(c(), g(a x, y)) -> g#(f a b(), g(a y, x)),
       g#(c(), g(a x, y)) -> g#(a y, x)}
     
     SCC (2):
      Strict:
       {g#(c(), g(a x, y)) -> g#(f a b(), g(a y, x)),
        g#(c(), g(a x, y)) -> g#(a y, x)}
      Weak:
      {g(c(), g(a x, y)) -> g(f a b(), g(a y, x)),
                   f a x -> c(),
                   a b() -> d()}
      Open