YES
Time: 0.000850
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}
  UR:
   {}
   EDG:
    {(q# g g x -> p# g f x, p# g g x -> q# g f 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, q# g g x -> p# g f x)
     (p# g g x -> q# g f x, q# f f x -> p# f g x)
     (p# f f x -> q# f g x, q# f f x -> p# f g x)
     (p# f f x -> q# f g x, q# g g x -> p# g f x)
     (q# f f x -> p# f g x, p# f f x -> q# f g x)
     (q# f f x -> p# f g x, p# g g x -> q# g f x)}
    EDG:
     {}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):