% SZS status Success for cnf.trs
3.18 (total time)

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

Total time: 3.181408