c wbo 1.6 beta - 20110325 c | Number of variables: 100 | c | Number of clauses: 900 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1000 | c | Number Clauses: 900 | 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 | 1000 900 4500 | 5000 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 100 1800 4500 | 5000 0 -nan | 0.000 % | c | 100 | 100 1800 4500 | 5500 100 50 | 90.000 % | c | 250 | 100 1800 4500 | 6050 250 52 | 90.000 % | c | 475 | 100 1800 4500 | 6655 475 58 | 90.000 % | c | 814 | 100 1800 4500 | 7320 814 57 | 90.000 % | c | 1320 | 100 1800 4500 | 8052 1320 55 | 90.000 % | c | 2079 | 100 1800 4500 | 8857 2079 55 | 90.000 % | c | 3218 | 100 1800 4500 | 9743 3218 55 | 90.000 % | c | 4928 | 100 1800 4500 | 10717 4928 59 | 90.000 % | c | 7490 | 100 1800 4500 | 11789 7490 62 | 90.000 % | c | 11334 | 100 1800 4500 | 12968 11334 62 | 90.000 % | c | 17101 | 100 1800 4500 | 14265 10154 60 | 90.000 % | c | 25750 | 100 1800 4500 | 15692 11210 67 | 90.000 % | c | 38724 | 100 1800 4500 | 17261 15874 68 | 90.000 % | c | 58185 | 100 1800 4500 | 18987 17144 78 | 90.000 % | c | 87377 | 100 1800 4500 | 20886 16458 62 | 90.000 % | c | 131168 | 100 1800 4500 | 22974 16626 60 | 90.000 % | c | 196852 | 100 1800 4500 | 25272 22520 65 | 90.000 % | c | 295378 | 100 1800 4500 | 27799 25938 104 | 90.000 % | c | 443170 | 100 1800 4500 | 30579 13064 122 | 90.000 % | c | 664855 | 100 1800 4500 | 33637 30553 149 | 90.000 % | c | 997382 | 100 1800 4500 | 37001 20708 82 | 90.000 % | c | 1496173 | 100 1800 4500 | 40701 28282 74 | 90.000 % | c | 2244356 | 99 1800 4500 | 44771 21076 60 | 90.100 % | c CPU time : 1800 s c Total CPU time: 1800 s