MAYBE
Time: 0.000636
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)}
   STATUS:
    arrows: 0.500000
    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}
      Open
     
     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}
      Open