YES
Time: 0.001227
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)}
   SCCS (2):
    Scc:
     {b# r x -> b# x,
      b# w x -> b# x}
    Scc:
     {w# r x -> w# x}
    SCC (2):
     Strict:
      {b# r x -> b# x,
       b# w x -> b# x}
     Weak:
     {w r x -> r w x,
      b r x -> r b x,
      b w x -> w b x}
     SPSC:
      Simple Projection:
       pi(b#) = 0
      Strict:
       {b# w x -> b# x}
      EDG:
       {(b# w x -> b# x, b# w x -> b# x)}
       SCCS (1):
        Scc:
         {b# w x -> b# x}
        SCC (1):
         Strict:
          {b# w x -> b# x}
         Weak:
         {w r x -> r w x,
          b r x -> r b x,
          b w x -> w b x}
         SPSC:
          Simple Projection:
           pi(b#) = 0
          Strict:
           {}
          Qed
    SCC (1):
     Strict:
      {w# r x -> w# x}
     Weak:
     {w r x -> r w x,
      b r x -> r b x,
      b w x -> w b x}
     SPSC:
      Simple Projection:
       pi(w#) = 0
      Strict:
       {}
      Qed