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