YES
Time: 0.002252
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:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):