MAYBE
Time: 0.001344
TRS:
 {b c x -> c b b x,
  b v x -> x,
  a b x -> b a a x,
  a u x -> x,
  c a x -> a c c x,
  c w x -> x,
  u a x -> x,
  v b x -> x,
  w c x -> x}
 DP:
  DP:
   {b# c x -> b# x,
    b# c x -> b# b x,
    b# c x -> c# b b x,
    a# b x -> b# a a x,
    a# b x -> a# x,
    a# b x -> a# a x,
    c# a x -> a# c c x,
    c# a x -> c# x,
    c# a x -> c# c x}
  TRS:
  {b c x -> c b b x,
   b v x -> x,
   a b x -> b a a x,
   a u x -> x,
   c a x -> a c c x,
   c w x -> x,
   u a x -> x,
   v b x -> x,
   w c x -> x}
  UR:
   {b c x -> c b b x,
    b v x -> x,
    a b x -> b a a x,
    a u x -> x,
    c a x -> a c c x,
    c w x -> x}
   EDG:
    {(a# b x -> a# x, a# b x -> a# a x)
     (a# b x -> a# x, a# b x -> a# x)
     (a# b x -> a# x, a# b x -> b# a a x)
     (b# c x -> c# b b x, c# a x -> c# c x)
     (b# c x -> c# b b x, c# a x -> c# x)
     (b# c x -> c# b b x, c# a x -> a# c c x)
     (c# a x -> a# c c x, a# b x -> a# a x)
     (c# a x -> a# c c x, a# b x -> a# x)
     (c# a x -> a# c c x, a# b x -> b# a a x)
     (a# b x -> a# a x, a# b x -> a# a x)
     (a# b x -> a# a x, a# b x -> a# x)
     (a# b x -> a# a x, a# b x -> b# a a x)
     (c# a x -> c# c x, c# a x -> a# c c x)
     (c# a x -> c# c x, c# a x -> c# x)
     (c# a x -> c# c x, c# a x -> c# c x)
     (b# c x -> b# b x, b# c x -> b# x)
     (b# c x -> b# b x, b# c x -> b# b x)
     (b# c x -> b# b x, b# c x -> c# b b x)
     (a# b x -> b# a a x, b# c x -> b# x)
     (a# b x -> b# a a x, b# c x -> b# b x)
     (a# b x -> b# a a x, b# c x -> c# b b x)
     (c# a x -> c# x, c# a x -> a# c c x)
     (c# a x -> c# x, c# a x -> c# x)
     (c# a x -> c# x, c# a x -> c# c x)
     (b# c x -> b# x, b# c x -> b# x)
     (b# c x -> b# x, b# c x -> b# b x)
     (b# c x -> b# x, b# c x -> c# b b x)}
    STATUS:
     arrows: 0.666667
     SCCS (1):
      Scc:
       {b# c x -> b# x,
        b# c x -> b# b x,
        b# c x -> c# b b x,
        a# b x -> b# a a x,
        a# b x -> a# x,
        a# b x -> a# a x,
        c# a x -> a# c c x,
        c# a x -> c# x,
        c# a x -> c# c x}
      
      SCC (9):
       Strict:
        {b# c x -> b# x,
         b# c x -> b# b x,
         b# c x -> c# b b x,
         a# b x -> b# a a x,
         a# b x -> a# x,
         a# b x -> a# a x,
         c# a x -> a# c c x,
         c# a x -> c# x,
         c# a x -> c# c x}
       Weak:
       {b c x -> c b b x,
        b v x -> x,
        a b x -> b a a x,
        a u x -> x,
        c a x -> a c c x,
        c w x -> x,
        u a x -> x,
        v b x -> x,
        w c x -> x}
       Open