MAYBE
Time: 0.001137
TRS:
 {  a c d x -> c x,
  u b d d x -> b x,
      v c x -> b x,
    v a c x -> u b d x,
    v a a x -> u v x,
      w c x -> b x,
    w a c x -> u b d x,
    w a a x -> u w x}
 DP:
  DP:
   {v# a c x -> u# b d x,
    v# a a x -> u# v x,
    v# a a x -> v# x,
    w# a c x -> u# b d x,
    w# a a x -> u# w x,
    w# a a x -> w# x}
  TRS:
  {  a c d x -> c x,
   u b d d x -> b x,
       v c x -> b x,
     v a c x -> u b d x,
     v a a x -> u v x,
       w c x -> b x,
     w a c x -> u b d x,
     w a a x -> u w x}
  EDG:
   {(w# a a x -> w# x, w# a a x -> w# x)
    (w# a a x -> w# x, w# a a x -> u# w x)
    (w# a a x -> w# x, w# a c x -> u# b d x)
    (v# a a x -> v# x, v# a c x -> u# b d x)
    (v# a a x -> v# x, v# a a x -> u# v x)
    (v# a a x -> v# x, v# a a x -> v# x)}
   STATUS:
    arrows: 0.833333
    SCCS (2):
     Scc:
      {w# a a x -> w# x}
     Scc:
      {v# a a x -> v# x}
     
     SCC (1):
      Strict:
       {w# a a x -> w# x}
      Weak:
      {  a c d x -> c x,
       u b d d x -> b x,
           v c x -> b x,
         v a c x -> u b d x,
         v a a x -> u v x,
           w c x -> b x,
         w a c x -> u b d x,
         w a a x -> u w x}
      Open
     
     SCC (1):
      Strict:
       {v# a a x -> v# x}
      Weak:
      {  a c d x -> c x,
       u b d d x -> b x,
           v c x -> b x,
         v a c x -> u b d x,
         v a a x -> u v x,
           w c x -> b x,
         w a c x -> u b d x,
         w a a x -> u w x}
      Open