MAYBE
Time: 0.001819
TRS:
 {s1 s1 s0 s0 x -> s0 s0 s0 s1 s1 s1 x}
 DP:
  DP:
   {s1# s1 s0 s0 x -> s1# x,
    s1# s1 s0 s0 x -> s1# s1 x,
    s1# s1 s0 s0 x -> s1# s1 s1 x}
  TRS:
  {s1 s1 s0 s0 x -> s0 s0 s0 s1 s1 s1 x}
  UR:
   {s1 s1 s0 s0 x -> s0 s0 s0 s1 s1 s1 x}
   EDG:
    {(s1# s1 s0 s0 x -> s1# x, s1# s1 s0 s0 x -> s1# s1 s1 x)
     (s1# s1 s0 s0 x -> s1# x, s1# s1 s0 s0 x -> s1# s1 x)
     (s1# s1 s0 s0 x -> s1# x, s1# s1 s0 s0 x -> s1# x)
     (s1# s1 s0 s0 x -> s1# s1 x, s1# s1 s0 s0 x -> s1# x)
     (s1# s1 s0 s0 x -> s1# s1 x, s1# s1 s0 s0 x -> s1# s1 x)
     (s1# s1 s0 s0 x -> s1# s1 x, s1# s1 s0 s0 x -> s1# s1 s1 x)
     (s1# s1 s0 s0 x -> s1# s1 s1 x, s1# s1 s0 s0 x -> s1# x)
     (s1# s1 s0 s0 x -> s1# s1 s1 x, s1# s1 s0 s0 x -> s1# s1 x)
     (s1# s1 s0 s0 x -> s1# s1 s1 x, s1# s1 s0 s0 x -> s1# s1 s1 x)}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {s1# s1 s0 s0 x -> s1# x,
        s1# s1 s0 s0 x -> s1# s1 x,
        s1# s1 s0 s0 x -> s1# s1 s1 x}
      
      SCC (3):
       Strict:
        {s1# s1 s0 s0 x -> s1# x,
         s1# s1 s0 s0 x -> s1# s1 x,
         s1# s1 s0 s0 x -> s1# s1 s1 x}
       Weak:
       {s1 s1 s0 s0 x -> s0 s0 s0 s1 s1 s1 x}
       Open