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

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

Total time: 0.259119