
c turning on binary mode checking

c parsing input formula with 606 variables and 12996 clauses

c finished parsing, read 62853 bytes from proof file

c detected empty clause; start verification via backward checking

c 100 of 12996 clauses in core                            

c 57 of 955 lemmas in core using 270 resolution steps

c 0 RAT lemmas in core; 6 redundant literals in core lemmas

s VERIFIED

c verification time: 0.055 seconds
