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 53 | 90.000 % | c | 253 | 100 1800 4500 | 6050 253 52 | 90.000 % | c | 478 | 100 1800 4500 | 6655 478 52 | 90.000 % | c | 816 | 100 1800 4500 | 7320 816 56 | 90.000 % | c | 1322 | 100 1800 4500 | 8052 1322 56 | 90.000 % | c | 2082 | 100 1800 4500 | 8857 2082 57 | 90.000 % | c | 3221 | 100 1800 4500 | 9743 3221 59 | 90.000 % | c | 4931 | 100 1800 4500 | 10717 4931 61 | 90.000 % | c | 7493 | 100 1800 4500 | 11789 7493 63 | 90.000 % | c | 11339 | 100 1800 4500 | 12968 11339 65 | 90.000 % | c | 17106 | 100 1800 4500 | 14265 10158 68 | 90.000 % | c | 25756 | 100 1800 4500 | 15692 11213 62 | 90.000 % | c | 38730 | 100 1800 4500 | 17261 15875 64 | 90.000 % | c | 58192 | 100 1800 4500 | 18987 17154 77 | 90.000 % | c | 87384 | 100 1800 4500 | 20886 16465 123 | 90.000 % | c | 131174 | 100 1800 4500 | 22974 16630 62 | 90.000 % | c | 196858 | 100 1800 4500 | 25272 22563 62 | 90.000 % | c | 295384 | 100 1800 4500 | 27799 25570 73 | 90.000 % | c | 443173 | 100 1800 4500 | 30579 13890 70 | 90.000 % | c | 664856 | 100 1800 4500 | 33637 15832 60 | 90.000 % | c | 997381 | 100 1800 4500 | 37001 28282 64 | 90.000 % | c | 1496171 | 100 1800 4500 | 40701 36884 135 | 90.000 % | c | 2244353 | 100 1800 4500 | 44771 31034 257 | 90.001 % | c CPU time : 1800 s c Total CPU time: 1800 s