MAYBE

'Pop* (timeout of 60.0 seconds)'
--------------------------------
Answer:           MAYBE
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  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}

Proof Output:    
  The input cannot be shown compatible