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