% SZS status Success for A95_ex4_2_5b.trs
0.08 (total time)

S-CONVERGENT TRS: 
not(not(x)) -> x
and_AC(x,y) -> not(or_AC(not(x),not(y)))

% SZS status Success for A95_ex4_2_5b.trs
0.08 (total time)

S-CONVERGENT TRS: 
not(not(x)) -> x
and_AC(x,y) -> not(or_AC(not(x),not(y)))

Total time: 0.085852