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