YES
Time: 0.000468
TRS:
 {q f f x -> p f g x,
  q g g x -> p g f x,
  p f f x -> q f g x,
  p g g x -> q g f x}
 DP:
  DP:
   {q# f f x -> p# f g x,
    q# g g x -> p# g f x,
    p# f f x -> q# f g x,
    p# g g x -> q# g f x}
  TRS:
  {q f f x -> p f g x,
   q g g x -> p g f x,
   p f f x -> q f g x,
   p g g x -> q g f x}
  EDG:
   {}
   SCCS (0):
    
    Qed