% SZS status Success for semilattice.trs
0.21 (total time)

S-CONVERGENT TRS: 
meet(x,x) -> x

Total time: 0.212218