% SZS status Success for JK86.trs
0.06 (total time)

S-CONVERGENT TRS: 
p_AC(1(),p_AC(m(1()),x)) -> x
n(1()) -> m(1())

% SZS status Success for JK86.trs
0.06 (total time)

S-CONVERGENT TRS: 
p_AC(1(),p_AC(m(1()),x)) -> x
n(1()) -> m(1())

Total time: 0.059808