MAYBE
Time: 0.003407
TRS:
 {f(x, a b y) -> f(a b x, y),
  f(x, b c y) -> f(b c x, y),
  f(x, c a y) -> f(c a x, y),
    f(a x, y) -> f(x, a y),
    f(b x, y) -> f(x, b y),
    f(c x, y) -> f(x, c y)}
 DP:
  DP:
   {f#(x, a b y) -> f#(a b x, y),
    f#(x, b c y) -> f#(b c x, y),
    f#(x, c a y) -> f#(c a x, y),
      f#(a x, y) -> f#(x, a y),
      f#(b x, y) -> f#(x, b y),
      f#(c x, y) -> f#(x, c y)}
  TRS:
  {f(x, a b y) -> f(a b x, y),
   f(x, b c y) -> f(b c x, y),
   f(x, c a y) -> f(c a x, y),
     f(a x, y) -> f(x, a y),
     f(b x, y) -> f(x, b y),
     f(c x, y) -> f(x, c y)}
  UR:
   {}
   EDG:
    {(f#(b x, y) -> f#(x, b y), f#(c x, y) -> f#(x, c y))
     (f#(b x, y) -> f#(x, b y), f#(b x, y) -> f#(x, b 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#(x, b c y) -> f#(b c x, y))
     (f#(x, a b y) -> f#(a b x, y), f#(a x, y) -> f#(x, a y))
     (f#(x, a b y) -> f#(a b x, y), f#(x, c a y) -> f#(c a x, y))
     (f#(x, a b y) -> f#(a b x, y), f#(x, b c y) -> f#(b c x, y))
     (f#(x, a b y) -> f#(a b x, y), f#(x, a b y) -> f#(a b x, y))
     (f#(x, c a y) -> f#(c a x, y), f#(c x, y) -> f#(x, c y))
     (f#(x, c a y) -> f#(c a x, y), f#(x, c a y) -> f#(c a x, y))
     (f#(x, c a y) -> f#(c a x, y), f#(x, b c y) -> f#(b c x, y))
     (f#(x, c a y) -> f#(c a x, y), f#(x, a b y) -> f#(a b x, y))
     (f#(x, b c y) -> f#(b c x, y), f#(x, a b y) -> f#(a b x, y))
     (f#(x, b c y) -> f#(b c x, y), f#(x, b c y) -> f#(b c x, y))
     (f#(x, b c y) -> f#(b c x, y), f#(x, c a y) -> f#(c a x, y))
     (f#(x, b c y) -> f#(b c x, y), f#(b x, y) -> f#(x, b y))
     (f#(c x, y) -> f#(x, c y), f#(x, c a y) -> f#(c a x, y))
     (f#(c x, y) -> f#(x, c y), f#(a x, y) -> f#(x, a y))
     (f#(c x, y) -> f#(x, c y), f#(b x, y) -> f#(x, b y))
     (f#(c x, y) -> f#(x, c y), f#(c x, y) -> f#(x, c y))
     (f#(a x, y) -> f#(x, a y), f#(x, a b y) -> f#(a b x, 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#(b x, y) -> f#(x, b y))
     (f#(a x, y) -> f#(x, a y), f#(c x, y) -> f#(x, c y))}
    STATUS:
     arrows: 0.333333
     SCCS (1):
      Scc:
       {f#(x, a b y) -> f#(a b x, y),
        f#(x, b c y) -> f#(b c x, y),
        f#(x, c a y) -> f#(c a x, y),
          f#(a x, y) -> f#(x, a y),
          f#(b x, y) -> f#(x, b y),
          f#(c x, y) -> f#(x, c y)}
      
      SCC (6):
       Strict:
        {f#(x, a b y) -> f#(a b x, y),
         f#(x, b c y) -> f#(b c x, y),
         f#(x, c a y) -> f#(c a x, y),
           f#(a x, y) -> f#(x, a y),
           f#(b x, y) -> f#(x, b y),
           f#(c x, y) -> f#(x, c y)}
       Weak:
       {f(x, a b y) -> f(a b x, y),
        f(x, b c y) -> f(b c x, y),
        f(x, c a y) -> f(c a x, y),
          f(a x, y) -> f(x, a y),
          f(b x, y) -> f(x, b y),
          f(c x, y) -> f(x, c y)}
       Open