MAYBE
Time: 0.045988
TRS:
 {ack(s x, s y) -> ack(x, ack(s x, y)),
  ack(s x, 0()) -> ack(x, s 0()),
    ack(0(), y) -> s y}
 DP:
  DP:
   {ack#(s x, s y) -> ack#(x, ack(s x, y)),
    ack#(s x, s y) -> ack#(s x, y),
    ack#(s x, 0()) -> ack#(x, s 0())}
  TRS:
  {ack(s x, s y) -> ack(x, ack(s x, y)),
   ack(s x, 0()) -> ack(x, s 0()),
     ack(0(), y) -> s y}
  UR:
   {ack(s x, s y) -> ack(x, ack(s x, y)),
    ack(s x, 0()) -> ack(x, s 0()),
      ack(0(), y) -> s y,
          a(z, w) -> z,
          a(z, w) -> w}
   EDG:
    {(ack#(s x, s y) -> ack#(s x, y), ack#(s x, 0()) -> ack#(x, s 0()))
     (ack#(s x, s y) -> ack#(s x, y), ack#(s x, s y) -> ack#(s x, y))
     (ack#(s x, s y) -> ack#(s x, y), ack#(s x, s y) -> ack#(x, ack(s x, y)))
     (ack#(s x, 0()) -> ack#(x, s 0()), ack#(s x, s y) -> ack#(x, ack(s x, y)))
     (ack#(s x, 0()) -> ack#(x, s 0()), ack#(s x, s y) -> ack#(s x, y))
     (ack#(s x, s y) -> ack#(x, ack(s x, y)), ack#(s x, s y) -> ack#(x, ack(s x, y)))
     (ack#(s x, s y) -> ack#(x, ack(s x, y)), ack#(s x, s y) -> ack#(s x, y))
     (ack#(s x, s y) -> ack#(x, ack(s x, y)), ack#(s x, 0()) -> ack#(x, s 0()))}
    STATUS:
     arrows: 0.111111
     SCCS (1):
      Scc:
       {ack#(s x, s y) -> ack#(x, ack(s x, y)),
        ack#(s x, s y) -> ack#(s x, y),
        ack#(s x, 0()) -> ack#(x, s 0())}
      
      SCC (3):
       Strict:
        {ack#(s x, s y) -> ack#(x, ack(s x, y)),
         ack#(s x, s y) -> ack#(s x, y),
         ack#(s x, 0()) -> ack#(x, s 0())}
       Weak:
       {ack(s x, s y) -> ack(x, ack(s x, y)),
        ack(s x, 0()) -> ack(x, s 0()),
          ack(0(), y) -> s y}
       Open