YES
Time: 0.001651
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# r x -> b# x, b# w x -> b# x)
    (b# r x -> b# x, b# w x -> w# b x)
    (b# r x -> b# x, b# r x -> b# x)
    (b# w x -> w# b x, w# r x -> w# x)
    (b# w x -> b# x, b# r x -> b# x)
    (b# w x -> b# x, b# w x -> w# b x)
    (b# w x -> b# x, b# w x -> b# x)
    (w# r x -> w# x, w# r x -> w# x)}
   EDG:
    {(b# w x -> w# b x, w# r x -> w# x)}
    EDG:
     {(b# w x -> w# b x, w# r x -> w# x)}
     STATUS:
      arrows: 0.937500
      SCCS (0):