% SZS status Success for assoc_comm_ring_unit.trs
0.00 (total time)

S-CONVERGENT TRS: 


Total time: 0.005154