c wbo 1.4 beta - 20100610 c | Number of variables: 256 | c | Number of clauses: 1280 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 256 | c | Number Clauses: 1024 | 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 | 256 1024 2048 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 256 1025 2304 | 5000 0 nan | 0.000 % | c | 100 | 256 1025 2304 | 5500 100 123 | 0.014 % | c | 251 | 256 1025 2304 | 6050 251 122 | 0.014 % | c | 477 | 256 1025 2304 | 6655 477 122 | 0.014 % | c | 814 | 256 1025 2304 | 7320 814 122 | 0.014 % | c | 1321 | 256 1025 2304 | 8052 1321 123 | 0.014 % | c | 2081 | 256 1025 2304 | 8857 2081 122 | 0.014 % | c | 3221 | 256 1025 2304 | 9743 3221 123 | 0.014 % | c | 4929 | 256 1025 2304 | 10717 4929 123 | 0.014 % | c | 7492 | 256 1025 2304 | 11789 7492 123 | 0.014 % | c | 11336 | 256 1025 2304 | 12968 11336 123 | 0.014 % | c | 17102 | 256 1025 2304 | 14265 10546 123 | 0.014 % | c | 25751 | 256 1025 2304 | 15692 11994 123 | 0.014 % | c | 38725 | 256 1025 2304 | 17261 9135 123 | 0.014 % | c | 58187 | 256 1025 2304 | 18987 11203 123 | 0.014 % | c | 87379 | 256 1025 2304 | 20886 11709 123 | 0.014 % | c | 131168 | 256 1025 2304 | 22974 13452 123 | 0.014 % | c | 196853 | 256 1025 2304 | 25272 17791 123 | 0.014 % | c | 295379 | 256 1025 2304 | 27799 14912 123 | 0.014 % | c | 443169 | 256 1025 2304 | 30579 27271 123 | 0.014 % | c | 664852 | 256 1025 2304 | 33637 13806 123 | 0.014 % |