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

S-CONVERGENT TRS: 
not(not(x)) -> x
and(x,y) -> not(or(not(x),not(y)))

Total time: 0.193233