
c turning on binary mode checking

c parsing input formula with 963 variables and 19240 clauses

c finished parsing, read 120658 bytes from proof file

c detected empty clause; start verification via backward checking

c 202 of 19240 clauses in core                            

c 217 of 2655 lemmas in core using 1088 resolution steps

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

s VERIFIED

c verification time: 0.088 seconds
