% SZS status Success for example10.trs
0.05 (total time)

S-CONVERGENT TRS: 
p_AC(b(),g(a())) -> a()

% SZS status Success for example10.trs
0.05 (total time)

S-CONVERGENT TRS: 
p_AC(b(),g(a())) -> a()

Total time: 0.054111