% SZS status GaveUp (Completion failed.) for comm_assoc_ring_homomorphism.trs
0.18 (total time)

% SZS status GaveUp (Completion failed.) for comm_assoc_ring_homomorphism.trs
0.18 (total time)

Total time: 0.235134