MAYBE
Time: 0.006338
TRS:
 {b(0(), a(1(), a(x, y))) -> b(1(), a(0(), a(x, y))),
                a(0(), x) -> b(0(), b(0(), x)),
        a(0(), b(0(), x)) -> b(0(), a(0(), x)),
          a(0(), a(x, y)) -> a(1(), a(1(), a(x, y))),
  a(0(), a(1(), a(x, y))) -> a(1(), a(0(), a(x, y)))}
 DP:
  DP:
   {b#(0(), a(1(), a(x, y))) -> b#(1(), a(0(), a(x, y))),
    b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)),
                  a#(0(), x) -> b#(0(), x),
                  a#(0(), x) -> b#(0(), b(0(), x)),
          a#(0(), b(0(), x)) -> b#(0(), a(0(), x)),
          a#(0(), b(0(), x)) -> a#(0(), x),
            a#(0(), a(x, y)) -> a#(1(), a(x, y)),
            a#(0(), a(x, y)) -> a#(1(), a(1(), a(x, y))),
    a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)),
    a#(0(), a(1(), a(x, y))) -> a#(1(), a(0(), a(x, y)))}
  TRS:
  {b(0(), a(1(), a(x, y))) -> b(1(), a(0(), a(x, y))),
                 a(0(), x) -> b(0(), b(0(), x)),
         a(0(), b(0(), x)) -> b(0(), a(0(), x)),
           a(0(), a(x, y)) -> a(1(), a(1(), a(x, y))),
   a(0(), a(1(), a(x, y))) -> a(1(), a(0(), a(x, y)))}
  EDG:
   {(a#(0(), b(0(), x)) -> a#(0(), x), a#(0(), a(1(), a(x, y))) -> a#(1(), a(0(), a(x, y))))
    (a#(0(), b(0(), x)) -> a#(0(), x), a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)))
    (a#(0(), b(0(), x)) -> a#(0(), x), a#(0(), a(x, y)) -> a#(1(), a(1(), a(x, y))))
    (a#(0(), b(0(), x)) -> a#(0(), x), a#(0(), a(x, y)) -> a#(1(), a(x, y)))
    (a#(0(), b(0(), x)) -> a#(0(), x), a#(0(), b(0(), x)) -> a#(0(), x))
    (a#(0(), b(0(), x)) -> a#(0(), x), a#(0(), b(0(), x)) -> b#(0(), a(0(), x)))
    (a#(0(), b(0(), x)) -> a#(0(), x), a#(0(), x) -> b#(0(), b(0(), x)))
    (a#(0(), b(0(), x)) -> a#(0(), x), a#(0(), x) -> b#(0(), x))
    (a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), x) -> b#(0(), x))
    (a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), x) -> b#(0(), b(0(), x)))
    (a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), b(0(), x)) -> b#(0(), a(0(), x)))
    (a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), b(0(), x)) -> a#(0(), x))
    (a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), a(x, y)) -> a#(1(), a(x, y)))
    (a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), a(x, y)) -> a#(1(), a(1(), a(x, y))))
    (a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)))
    (a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), a(1(), a(x, y))) -> a#(1(), a(0(), a(x, y))))
    (a#(0(), b(0(), x)) -> b#(0(), a(0(), x)), b#(0(), a(1(), a(x, y))) -> b#(1(), a(0(), a(x, y))))
    (a#(0(), b(0(), x)) -> b#(0(), a(0(), x)), b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)))
    (b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), x) -> b#(0(), x))
    (b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), x) -> b#(0(), b(0(), x)))
    (b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), b(0(), x)) -> b#(0(), a(0(), x)))
    (b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), b(0(), x)) -> a#(0(), x))
    (b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), a(x, y)) -> a#(1(), a(x, y)))
    (b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), a(x, y)) -> a#(1(), a(1(), a(x, y))))
    (b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)))
    (b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)), a#(0(), a(1(), a(x, y))) -> a#(1(), a(0(), a(x, y))))
    (a#(0(), x) -> b#(0(), x), b#(0(), a(1(), a(x, y))) -> b#(1(), a(0(), a(x, y))))
    (a#(0(), x) -> b#(0(), x), b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)))}
   STATUS:
    arrows: 0.720000
    SCCS (1):
     Scc:
      {b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)),
                     a#(0(), x) -> b#(0(), x),
             a#(0(), b(0(), x)) -> b#(0(), a(0(), x)),
             a#(0(), b(0(), x)) -> a#(0(), x),
       a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y))}
     
     SCC (5):
      Strict:
       {b#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y)),
                      a#(0(), x) -> b#(0(), x),
              a#(0(), b(0(), x)) -> b#(0(), a(0(), x)),
              a#(0(), b(0(), x)) -> a#(0(), x),
        a#(0(), a(1(), a(x, y))) -> a#(0(), a(x, y))}
      Weak:
      {b(0(), a(1(), a(x, y))) -> b(1(), a(0(), a(x, y))),
                     a(0(), x) -> b(0(), b(0(), x)),
             a(0(), b(0(), x)) -> b(0(), a(0(), x)),
               a(0(), a(x, y)) -> a(1(), a(1(), a(x, y))),
       a(0(), a(1(), a(x, y))) -> a(1(), a(0(), a(x, y)))}
      Open