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 | 101 | 100 1800 4500 | 5500 101 48 | 90.000 % | c | 252 | 100 1800 4500 | 6050 252 49 | 90.000 % | c | 477 | 100 1800 4500 | 6655 477 49 | 90.000 % | c | 815 | 100 1800 4500 | 7320 815 52 | 90.000 % | c | 1322 | 100 1800 4500 | 8052 1322 63 | 90.000 % | c | 2082 | 100 1800 4500 | 8857 2082 65 | 90.000 % | c | 3221 | 100 1800 4500 | 9743 3221 64 | 90.000 % | c | 4929 | 100 1800 4500 | 10717 4929 62 | 90.000 % | c | 7491 | 100 1800 4500 | 11789 7491 61 | 90.000 % | c | 11335 | 100 1800 4500 | 12968 11335 63 | 90.000 % | c | 17103 | 100 1800 4500 | 14265 10159 61 | 90.000 % | c | 25752 | 100 1800 4500 | 15692 11212 94 | 90.000 % | c | 38726 | 100 1800 4500 | 17261 15879 76 | 90.000 % | c | 58187 | 100 1800 4500 | 18987 17152 96 | 90.000 % | c | 87379 | 100 1800 4500 | 20886 16471 118 | 90.000 % | c | 131168 | 100 1800 4500 | 22974 16638 63 | 90.000 % | c | 196852 | 100 1800 4500 | 25272 22575 63 | 90.000 % | c | 295379 | 100 1800 4500 | 27799 14604 58 | 90.000 % | c | 443168 | 100 1800 4500 | 30579 19750 61 | 90.000 % | c | 664852 | 100 1800 4500 | 33637 18639 61 | 90.000 % | c | 997378 | 100 1800 4500 | 37001 30901 62 | 90.000 % | c | 1496166 | 100 1800 4500 | 40701 16180 59 | 90.000 % | c | 2244349 | 100 1800 4500 | 44771 34254 64 | 90.000 % | c CPU time : 1800 s c Total CPU time: 1800 s