c wbo 1.4a beta - 20100425 c | Number of variables: 100 | c | Number of clauses: 500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 100 | c | Number Clauses: 500 | 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 | 100 500 1500 | 5000 0 nan | 0.000 % | c | 100 | 100 500 1500 | 5500 100 7 | 0.020 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 255 501 1951 | 5000 0 nan | 0.000 % | c | 100 | 255 501 1951 | 5500 100 27 | 0.002 % | c | 251 | 255 501 1951 | 6050 251 16 | 0.002 % | c | 478 | 255 501 1951 | 6655 478 13 | 0.002 % | c | 815 | 255 501 1951 | 7320 815 11 | 0.002 % | c | 1321 | 255 501 1951 | 8052 1321 11 | 0.002 % | c | 2080 | 255 501 1951 | 8857 2080 10 | 0.002 % | c | 3220 | 255 501 1951 | 9743 3220 10 | 0.002 % | c | 4928 | 255 501 1951 | 10717 4928 10 | 0.005 % | c | 7491 | 254 501 1951 | 11789 4130 9 | 0.401 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 462 505 2561 | 5000 0 nan | 0.000 % | c | 100 | 462 505 2561 | 5500 100 57 | 0.000 % | c | 250 | 462 505 2561 | 6050 250 29 | 0.000 % | c | 475 | 462 505 2561 | 6655 475 23 | 0.000 % | c | 812 | 462 505 2561 | 7320 812 23 | 0.000 % | c | 1319 | 462 505 2561 | 8052 1319 20 | 0.000 % | c | 2078 | 462 505 2561 | 8857 2078 17 | 0.000 % | c | 3218 | 462 505 2561 | 9743 3218 16 | 0.000 % | c | 4926 | 462 505 2561 | 10717 4926 15 | 0.000 % | c | 7488 | 462 505 2561 | 11789 7488 15 | 0.000 % | c | 11334 | 462 505 2561 | 12968 11334 17 | 0.000 % | c | 17101 | 462 505 2561 | 14265 10605 17 | 0.000 % | c | 25751 | 462 505 2561 | 15692 12108 15 | 0.000 % | c | 38726 | 462 505 2561 | 17261 9362 16 | 0.000 % | c | 58189 | 462 505 2561 | 18987 11543 16 | 0.000 % | c | 87382 | 462 505 2561 | 20886 12203 15 | 0.000 % | c | 131173 | 462 505 2561 | 22974 14174 16 | 0.000 % | c | 196857 | 461 505 2561 | 25272 12396 13 | 0.217 % | c | 295386 | 460 505 2561 | 27799 14021 16 | 0.434 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 672 509 3180 | 5000 0 nan | 0.000 % | c | 100 | 672 509 3180 | 5500 100 77 | 0.000 % | c | 251 | 672 509 3180 | 6050 251 41 | 0.000 % | c | 478 | 672 509 3180 | 6655 478 32 | 0.000 % | c | 818 | 672 509 3180 | 7320 818 29 | 0.000 % | c | 1326 | 672 509 3180 | 8052 1326 27 | 0.000 % | c | 2086 | 672 509 3180 | 8857 2086 28 | 0.000 % | c | 3225 | 672 509 3180 | 9743 3225 27 | 0.000 % | c | 4933 | 672 509 3180 | 10717 4933 25 | 0.000 % | c | 7495 | 672 509 3180 | 11789 7495 24 | 0.000 % | c | 11339 | 672 509 3180 | 12968 11339 23 | 0.000 % | c | 17105 | 672 509 3180 | 14265 10596 21 | 0.000 % | c | 25755 | 672 509 3180 | 15692 12096 24 | 0.000 % | c | 38735 | 672 509 3180 | 17261 9359 26 | 0.000 % | c | 58198 | 672 509 3180 | 18987 11514 28 | 0.000 % | c | 87390 | 672 509 3180 | 20886 12132 24 | 0.000 % | c | 131179 | 672 509 3180 | 22974 13888 29 | 0.000 % | c | 196863 | 672 509 3180 | 25272 21910 38 | 0.000 % | c | 295389 | 672 509 3180 | 27799 17145 28 | 0.000 % | c =============================================================================== c Total CPU time: 168.787 s