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 | 102 | 100 1800 4500 | 5500 102 47 | 90.000 % | c | 253 | 100 1800 4500 | 6050 253 55 | 90.000 % | c | 479 | 100 1800 4500 | 6655 479 54 | 90.000 % | c | 816 | 100 1800 4500 | 7320 816 59 | 90.000 % | c | 1323 | 100 1800 4500 | 8052 1323 59 | 90.000 % | c | 2082 | 100 1800 4500 | 8857 2082 58 | 90.000 % | c | 3221 | 100 1800 4500 | 9743 3221 58 | 90.000 % | c | 4929 | 100 1800 4500 | 10717 4929 58 | 90.000 % | c | 7493 | 100 1800 4500 | 11789 7493 59 | 90.000 % | c | 11338 | 100 1800 4500 | 12968 11338 61 | 90.000 % | c | 17104 | 100 1800 4500 | 14265 10155 61 | 90.000 % | c | 25753 | 100 1800 4500 | 15692 11211 62 | 90.000 % | c | 38728 | 100 1800 4500 | 17261 15880 75 | 90.000 % | c | 58189 | 100 1800 4500 | 18987 17154 70 | 90.000 % | c | 87381 | 100 1800 4500 | 20886 16473 67 | 90.000 % | c | 131171 | 100 1800 4500 | 22974 16643 144 | 90.000 % | c | 196855 | 100 1800 4500 | 25272 22572 288 | 90.000 % | c | 295385 | 100 1800 4500 | 27799 25880 132 | 90.000 % | c | 443174 | 100 1800 4500 | 30579 14213 58 | 90.000 % | c | 664857 | 100 1800 4500 | 33637 13683 58 | 90.000 % | c | 997382 | 100 1800 4500 | 37001 25129 62 | 90.000 % | c | 1496170 | 100 1800 4500 | 40701 34084 64 | 90.000 % | c | 2244354 | 100 1800 4500 | 44771 29909 88 | 90.001 % | c CPU time : 1800 s c Total CPU time: 1800 s