% SZS status Success for LS94_G0.trs
0.28 (total time)

S-CONVERGENT TRS: 
a(a(x)) -> x
b(b(x)) -> x
b(a(b(x))) -> a(b(a(x)))

Total time: 0.281278