MAYBE
Time: 0.001065
TRS:
 {f(x, a b y) -> f(c d x, y),
    f(c x, y) -> f(x, a y),
    f(d x, y) -> f(x, b y)}
 DP:
  DP:
   {f#(x, a b y) -> f#(c d x, y),
      f#(c x, y) -> f#(x, a y),
      f#(d x, y) -> f#(x, b y)}
  TRS:
  {f(x, a b y) -> f(c d x, y),
     f(c x, y) -> f(x, a y),
     f(d x, y) -> f(x, b y)}
  UR:
   {}
   EDG:
    {(f#(c x, y) -> f#(x, a y), f#(d x, y) -> f#(x, b y))
     (f#(c x, y) -> f#(x, a y), f#(c x, y) -> f#(x, a y))
     (f#(c x, y) -> f#(x, a y), f#(x, a b y) -> f#(c d x, y))
     (f#(d x, y) -> f#(x, b y), f#(c x, y) -> f#(x, a y))
     (f#(d x, y) -> f#(x, b y), f#(d x, y) -> f#(x, b y))
     (f#(x, a b y) -> f#(c d x, y), f#(x, a b y) -> f#(c d x, y))
     (f#(x, a b y) -> f#(c d x, y), f#(c x, y) -> f#(x, a y))}
    STATUS:
     arrows: 0.222222
     SCCS (1):
      Scc:
       {f#(x, a b y) -> f#(c d x, y),
          f#(c x, y) -> f#(x, a y),
          f#(d x, y) -> f#(x, b y)}
      
      SCC (3):
       Strict:
        {f#(x, a b y) -> f#(c d x, y),
           f#(c x, y) -> f#(x, a y),
           f#(d x, y) -> f#(x, b y)}
       Weak:
       {f(x, a b y) -> f(c d x, y),
          f(c x, y) -> f(x, a y),
          f(d x, y) -> f(x, b y)}
       Open