c wbo 1.4a beta - 20100425 c | Number of variables: 150 | c | Number of clauses: 500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | 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 | 216 523 1014 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 249 524 1141 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 275 525 1222 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 325 526 1418 | 5000 0 nan | 0.000 % | c | 100 | 323 526 1418 | 5500 99 14 | 5.832 % | c | 250 | 323 526 1418 | 6050 249 14 | 5.833 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 425 527 1645 | 5000 0 nan | 0.000 % | c | 100 | 425 527 1645 | 5500 100 33 | 2.747 % | c | 251 | 425 527 1645 | 6050 251 25 | 2.747 % | c | 476 | 425 527 1645 | 6655 476 24 | 2.747 % | c | 815 | 424 527 1645 | 7320 396 18 | 2.979 % | c | 1323 | 424 527 1645 | 8052 904 20 | 2.976 % | c | 2083 | 424 527 1645 | 8857 1664 23 | 2.975 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 553 530 1930 | 5000 0 nan | 0.000 % | c | 101 | 553 530 1930 | 5500 101 41 | 1.777 % | c | 252 | 553 530 1930 | 6050 252 27 | 1.777 % | c | 479 | 553 530 1930 | 6655 479 25 | 1.777 % | c | 818 | 553 530 1930 | 7320 818 27 | 1.777 % | c | 1325 | 553 530 1930 | 8052 1325 26 | 1.777 % | c | 2085 | 553 530 1930 | 8857 2085 23 | 1.777 % | c | 3225 | 553 530 1930 | 9743 3225 25 | 1.777 % | c | 4933 | 552 530 1930 | 10717 3729 24 | 1.954 % | c | 7498 | 552 530 1930 | 11789 6294 28 | 1.954 % | c | 11348 | 552 530 1930 | 12968 10144 31 | 1.954 % | c | 17116 | 552 530 1930 | 14265 9346 37 | 1.954 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 700 533 2263 | 5000 0 nan | 0.000 % | c | 101 | 700 533 2263 | 5500 101 68 | 0.709 % | c | 251 | 700 533 2263 | 6050 251 42 | 0.709 % | c | 476 | 700 533 2263 | 6655 476 37 | 0.709 % | c | 813 | 700 533 2263 | 7320 813 40 | 0.709 % | c | 1320 | 700 533 2263 | 8052 1320 41 | 0.709 % | c | 2080 | 700 533 2263 | 8857 2080 43 | 0.709 % | c | 3221 | 700 533 2263 | 9743 3221 43 | 0.709 % | c | 4929 | 700 533 2263 | 10717 4929 47 | 0.709 % | c | 7493 | 700 533 2263 | 11789 7493 52 | 0.709 % | c | 11338 | 700 533 2263 | 12968 11338 46 | 0.709 % | c | 17105 | 700 533 2263 | 14265 10572 42 | 0.709 % | c | 25754 | 700 533 2263 | 15692 12052 58 | 0.709 % | c | 38736 | 700 533 2263 | 17261 9204 55 | 0.709 % | c | 58197 | 700 533 2263 | 18987 11185 57 | 0.709 % | c | 87393 | 700 533 2263 | 20886 11675 67 | 0.709 % | c | 131182 | 700 533 2263 | 22974 13296 82 | 0.709 % | c | 196866 | 699 533 2263 | 25272 16802 88 | 0.851 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 845 536 2564 | 5000 0 nan | 0.000 % | c | 102 | 845 536 2564 | 5500 102 127 | 0.471 % | c | 253 | 845 536 2564 | 6050 253 80 | 0.471 % | c | 479 | 845 536 2564 | 6655 479 70 | 0.471 % | c | 817 | 845 536 2564 | 7320 817 61 | 0.471 % | c | 1324 | 845 536 2564 | 8052 1324 62 | 0.471 % | c | 2083 | 845 536 2564 | 8857 2083 59 | 0.471 % | c | 3226 | 845 536 2564 | 9743 3226 55 | 0.471 % | c | 4935 | 845 536 2564 | 10717 4935 54 | 0.471 % | c | 7498 | 845 536 2564 | 11789 7498 68 | 0.471 % | c | 11344 | 845 536 2564 | 12968 11344 71 | 0.471 % | c | 17112 | 845 536 2564 | 14265 10586 70 | 0.471 % | c | 25761 | 845 536 2564 | 15692 11999 64 | 0.471 % | c | 38735 | 845 536 2564 | 17261 9067 66 | 0.471 % | c | 58198 | 845 536 2564 | 18987 11009 79 | 0.471 % | c | 87394 | 845 536 2564 | 20886 11389 109 | 0.471 % | c | 131184 | 845 536 2564 | 22974 12996 112 | 0.471 % | c | 196868 | 845 536 2564 | 25272 20498 128 | 0.471 % | c | 295394 | 845 536 2564 | 27799 15452 100 | 0.471 % | c | 443185 | 845 536 2564 | 30579 16175 98 | 0.471 % |