% SZS status Success for height.trs
0.20 (total time)

S-CONVERGENT TRS: 
h(L(x)) -> 0()
max_AC(0(),x) -> x
maxx_AC(0(),x) -> x
h(N_AC(x,y)) -> max_AC(h(x),h(y))
max_AC(s(x),s(y)) -> s(maxx_AC(x,y))
maxx_AC(s(x),s(y)) -> s(max_AC(x,y))

% SZS status Success for height.trs
0.21 (total time)

S-CONVERGENT TRS: 
h(L(x)) -> 0()
max_AC(0(),x) -> x
maxx_AC(0(),x) -> x
h(N_AC(x,y)) -> max_AC(h(x),h(y))
max_AC(s(x),s(y)) -> s(maxx_AC(x,y))
maxx_AC(s(x),s(y)) -> s(max_AC(x,y))

Total time: 0.222561