% SZS status Success for ics.trs
0.16 (total time)

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

% SZS status Success for ics.trs
0.16 (total time)

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

Total time: 0.163370