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

S-CONVERGENT TRS: 
h(L(x)) -> 0()
max(0(),x) -> x
h(N(x,y)) -> max(h(x),h(y))
max(s(x),s(y)) -> s(maxx(x,y))
maxx(s(x),s(y)) -> s(max(x,y))

Total time: 0.923350