MAYBE
Time: 12.051464
TRS:
 {                admit(x, nil()) -> nil(),
  admit(x, .(u, .(v, .(w(), z)))) -> cond(=(sum(x, u, v), w()), .(u, .(v, .(w(), admit(carry(x, u, v), z))))),
                  cond(true(), y) -> y}
 DP:
  DP:
   {admit#(x, .(u, .(v, .(w(), z)))) -> admit#(carry(x, u, v), z),
    admit#(x, .(u, .(v, .(w(), z)))) -> cond#(=(sum(x, u, v), w()), .(u, .(v, .(w(), admit(carry(x, u, v), z)))))}
  TRS:
  {                admit(x, nil()) -> nil(),
   admit(x, .(u, .(v, .(w(), z)))) -> cond(=(sum(x, u, v), w()), .(u, .(v, .(w(), admit(carry(x, u, v), z))))),
                   cond(true(), y) -> y}
  UR:
   {                admit(x, nil()) -> nil(),
    admit(x, .(u, .(v, .(w(), z)))) -> cond(=(sum(x, u, v), w()), .(u, .(v, .(w(), admit(carry(x, u, v), z))))),
                            a(w, t) -> w,
                            a(w, t) -> t}
   EDG:
    {(admit#(x, .(u, .(v, .(w(), z)))) -> admit#(carry(x, u, v), z), admit#(x, .(u, .(v, .(w(), z)))) -> admit#(carry(x, u, v), z))
     (admit#(x, .(u, .(v, .(w(), z)))) -> admit#(carry(x, u, v), z), admit#(x, .(u, .(v, .(w(), z)))) -> cond#(=(sum(x, u, v), w()), .(u, .(v, .(w(), admit(carry(x, u, v), z))))))}
    STATUS:
     arrows: 0.500000
     SCCS (1):
      Scc:
       {admit#(x, .(u, .(v, .(w(), z)))) -> admit#(carry(x, u, v), z)}
      
      SCC (1):
       Strict:
        {admit#(x, .(u, .(v, .(w(), z)))) -> admit#(carry(x, u, v), z)}
       Weak:
       {                admit(x, nil()) -> nil(),
        admit(x, .(u, .(v, .(w(), z)))) -> cond(=(sum(x, u, v), w()), .(u, .(v, .(w(), admit(carry(x, u, v), z))))),
                        cond(true(), y) -> y}
       Open