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 1000 | 5000 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 74 153 1112 | 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 | 129 154 1210 | 5000 0 -nan | 0.000 % | c | 102 | 129 154 1210 | 5500 102 33 | 1.533 % | c | 253 | 129 154 1210 | 6050 253 30 | 1.533 % | c | 482 | 129 154 1210 | 6655 482 26 | 1.533 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 181 155 1312 | 5000 0 -nan | 0.000 % | c | 101 | 181 155 1312 | 5500 101 51 | 0.003 % | c | 252 | 181 155 1312 | 6050 252 46 | 0.003 % | c | 478 | 181 155 1312 | 6655 478 43 | 0.003 % | c | 818 | 181 155 1312 | 7320 818 41 | 0.003 % | c | 1326 | 181 155 1312 | 8052 1326 37 | 0.003 % | c | 2085 | 181 155 1312 | 8857 2085 33 | 0.003 % | c | 3224 | 181 155 1312 | 9743 3224 33 | 0.003 % | c | 4933 | 181 155 1312 | 10717 4933 33 | 0.003 % | c | 7497 | 181 155 1312 | 11789 7497 34 | 0.003 % | c | 11343 | 181 155 1312 | 12968 11343 36 | 0.003 % | c | 17109 | 179 155 1312 | 14265 10598 34 | 1.108 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 231 156 1412 | 5000 0 -nan | 0.000 % | c | 100 | 231 156 1412 | 5500 100 69 | 0.002 % | c | 250 | 231 156 1412 | 6050 250 48 | 0.002 % | c | 476 | 231 156 1412 | 6655 476 39 | 0.002 % | c | 813 | 231 156 1412 | 7320 813 36 | 0.002 % | c | 1324 | 231 156 1412 | 8052 1324 35 | 0.002 % | c | 2084 | 231 156 1412 | 8857 2084 35 | 0.002 % | c | 3223 | 231 156 1412 | 9743 3223 37 | 0.002 % | c | 4934 | 231 156 1412 | 10717 4934 38 | 0.002 % | c | 7497 | 231 156 1412 | 11789 7497 38 | 0.002 % | c | 11343 | 231 156 1412 | 12968 11343 38 | 0.002 % | c | 17110 | 231 156 1412 | 14265 10596 40 | 0.002 % | c | 25764 | 231 156 1412 | 15692 12076 45 | 0.002 % | c | 38738 | 231 156 1412 | 17261 9314 41 | 0.002 % | c | 58202 | 231 156 1412 | 18987 11446 48 | 0.002 % | c | 87395 | 231 156 1412 | 20886 12055 48 | 0.002 % | c | 131184 | 231 156 1412 | 22974 13907 48 | 0.002 % | c | 196870 | 231 156 1412 | 25272 21916 59 | 0.002 % | c | 295397 | 231 156 1412 | 27799 18225 67 | 0.002 % | c | 443194 | 231 156 1412 | 30579 15747 63 | 0.002 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 281 157 1512 | 5000 0 -nan | 0.000 % | c | 100 | 281 157 1512 | 5500 100 85 | 0.001 % | c | 253 | 281 157 1512 | 6050 253 56 | 0.001 % | c | 478 | 281 157 1512 | 6655 478 52 | 0.001 % | c | 815 | 281 157 1512 | 7320 815 40 | 0.001 % | c | 1322 | 281 157 1512 | 8052 1322 34 | 0.001 % | c | 2082 | 281 157 1512 | 8857 2082 37 | 0.001 % | c | 3222 | 281 157 1512 | 9743 3222 37 | 0.001 % | c | 4935 | 281 157 1512 | 10717 4935 41 | 0.001 % | c | 7497 | 281 157 1512 | 11789 7497 45 | 0.001 % | c | 11341 | 281 157 1512 | 12968 11341 48 | 0.001 % | c | 17108 | 281 157 1512 | 14265 10575 56 | 0.001 % | c | 25757 | 281 157 1512 | 15692 12022 64 | 0.001 % | c | 38731 | 281 157 1512 | 17261 9184 65 | 0.001 % | c | 58194 | 281 157 1512 | 18987 11234 68 | 0.001 % | c | 87387 | 281 157 1512 | 20886 11789 72 | 0.001 % | c | 131180 | 281 157 1512 | 22974 13573 74 | 0.001 % | c | 196865 | 281 157 1512 | 25272 21519 67 | 0.001 % | c | 295392 | 281 157 1512 | 27799 18007 75 | 0.001 % | c | 443188 | 281 157 1512 | 30579 18334 75 | 0.001 % | c | 664872 | 281 157 1512 | 33637 15445 78 | 0.001 % | c | 997398 | 281 157 1512 | 37001 28668 80 | 0.001 % | c | 1496186 | 281 157 1512 | 40701 16413 83 | 0.001 % | c CPU time : 1800 s c Total CPU time: 1800 s