c wbo 1.6 beta - 20110325 c | Number of variables: 228874 | c | Number of clauses: 750705 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.89 s | c | Number Variables: 978362 | c | Number Clauses: 749488 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 978362 749488 2670454 | 249829 0 -nan | 0.000 % |