TIMEOUT

'epo* (timeout of 60.0 seconds)'
--------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  r(xs, ys, zs, nil()) -> xs
     , r(xs, nil(), zs, cons(w, ws)) ->
       r(xs, xs, cons(succ(zero()), zs), ws)
     , r(xs, cons(y, ys), nil(), cons(w, ws)) ->
       r(xs, xs, cons(succ(zero()), nil()), ws)
     , r(xs, cons(y, ys), cons(z, zs), cons(w, ws)) ->
       r(ys, cons(y, ys), zs, cons(succ(zero()), cons(w, ws)))}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds