c wbo 1.6 beta - 20110325 c | Number of variables: 50 | c | Number of clauses: 150 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 50 | c | Number Clauses: 100 | 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 | 50 100 2000 | 5000 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 40 151 2060 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 119 152 2188 | 5000 0 -nan | 0.000 % | c | 104 | 118 152 2188 | 5500 104 28 | 0.847 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 169 153 2288 | 5000 0 -nan | 0.000 % | c | 102 | 169 153 2288 | 5500 102 46 | 0.004 % | c | 257 | 169 153 2288 | 6050 257 43 | 0.004 % | c | 483 | 169 153 2288 | 6655 483 40 | 0.004 % | c | 820 | 169 153 2288 | 7320 820 37 | 0.004 % | c | 1329 | 169 153 2288 | 8052 1329 38 | 0.004 % | c | 2089 | 169 153 2288 | 8857 2089 37 | 0.004 % | c | 3238 | 169 153 2288 | 9743 3238 35 | 0.004 % | c | 4947 | 169 153 2288 | 10717 4947 34 | 0.004 % | c | 7509 | 169 153 2288 | 11789 7509 31 | 0.004 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 219 154 2388 | 5000 0 -nan | 0.000 % | c | 103 | 219 154 2388 | 5500 103 58 | 0.002 % | c | 254 | 219 154 2388 | 6050 254 50 | 0.002 % | c | 480 | 219 154 2388 | 6655 480 40 | 0.002 % | c | 819 | 219 154 2388 | 7320 819 33 | 0.002 % | c | 1325 | 219 154 2388 | 8052 1325 31 | 0.002 % | c | 2084 | 219 154 2388 | 8857 2084 30 | 0.002 % | c | 3224 | 219 154 2388 | 9743 3224 28 | 0.002 % | c | 4933 | 219 154 2388 | 10717 4933 30 | 0.002 % | c | 7496 | 219 154 2388 | 11789 7496 32 | 0.002 % | c | 11340 | 219 154 2388 | 12968 11340 35 | 0.002 % | c | 17107 | 219 154 2388 | 14265 10592 41 | 0.002 % | c | 25757 | 219 154 2388 | 15692 12079 44 | 0.002 % | c | 38731 | 219 154 2388 | 17261 9297 45 | 0.002 % | c | 58194 | 219 154 2388 | 18987 11410 44 | 0.002 % | c | 87394 | 219 154 2388 | 20886 12033 41 | 0.002 % | c | 131191 | 219 154 2388 | 22974 13886 54 | 0.002 % | c | 196879 | 219 154 2388 | 25272 21939 53 | 0.002 % | c | 295406 | 219 154 2388 | 27799 18947 65 | 0.002 % | c | 443195 | 219 154 2388 | 30579 19471 73 | 0.002 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 269 155 2488 | 5000 0 -nan | 0.000 % | c | 101 | 269 155 2488 | 5500 101 74 | 0.001 % | c | 252 | 269 155 2488 | 6050 252 55 | 0.001 % | c | 478 | 269 155 2488 | 6655 478 48 | 0.001 % | c | 816 | 269 155 2488 | 7320 816 41 | 0.001 % | c | 1323 | 269 155 2488 | 8052 1323 34 | 0.001 % | c | 2086 | 269 155 2488 | 8857 2086 33 | 0.001 % | c =============================================================================== c Total CPU time: 249.798 s