YES
Time: 0.001077
TRS:
 {  d x -> e u x,
  d u x -> c x,
  c u x -> b x,
  b u x -> a e x,
  v e x -> x}
 DP:
  DP:
   {d# u x -> c# x,
    c# u x -> b# x}
  TRS:
  {  d x -> e u x,
   d u x -> c x,
   c u x -> b x,
   b u x -> a e x,
   v e x -> x}
  UR:
   {}
   EDG:
    {}
    STATUS:
     arrows: 1.000000
     SCCS (0):