YES
Time: 0.001252
TRS:
 {w r x -> r w x,
  b r x -> r b x,
  b w x -> w b x}
 DP:
  DP:
   {w# r x -> w# x,
    b# r x -> b# x,
    b# w x -> w# b x,
    b# w x -> b# x}
  TRS:
  {w r x -> r w x,
   b r x -> r b x,
   b w x -> w b x}
  EDG:
   {(b# w x -> w# b x, w# r x -> w# x)}
   STATUS:
    arrows: 0.937500
    SCCS (0):