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

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

Total time: 0.176216