MAYBE
TRS:
 {s1(s1(s0(s0(x)))) -> s0(s0(s0(s1(s1(s1(x))))))}
 DP:
  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))))))}
  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))))}
   SCCS:
    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:
     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))))))}
     Fail