c wbo 1.6 beta - 20110325
c |  Number of variables:  100                                                  |
c |  Number of clauses:    200                                                  |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.00         s                                      |
c |  Number Variables:      100                                                 |
c |  Number Clauses:        100                                                 |
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      100     3000 |     5000        0   -nan |  0.000 % |
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |      60      201     3090 |     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 |     214      202     3335 |     5000        0   -nan |  0.000 % |
c |       108 |     214      202     3335 |     5500      108     57 |  3.169 % |
c |       262 |     214      202     3335 |     6050      262     55 |  3.169 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |     321      203     3542 |     5000        0   -nan |  0.000 % |
c |       101 |     321      203     3542 |     5500      101     82 |  0.001 % |
c |       251 |     321      203     3542 |     6050      251     81 |  0.001 % |
c |       477 |     321      203     3542 |     6655      477     76 |  0.001 % |
c |       818 |     321      203     3542 |     7320      818     79 |  0.001 % |
c |      1324 |     321      203     3542 |     8052     1324     81 |  0.001 % |
c |      2088 |     321      203     3542 |     8857     2088     82 |  0.001 % |
c |      3227 |     321      203     3542 |     9743     3227     79 |  0.001 % |
c |      4936 |     321      203     3542 |    10717     4936     76 |  0.001 % |
c |      7501 |     321      203     3542 |    11789     7501     74 |  0.001 % |
c |     11346 |     321      203     3542 |    12968    11346     73 |  0.001 % |
c |     17112 |     321      203     3542 |    14265    10597     68 |  0.001 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |     421      204     3742 |     5000        0   -nan |  0.000 % |
c |       108 |     421      204     3742 |     5500      108    109 |  0.001 % |
c |       258 |     421      204     3742 |     6050      258     92 |  0.001 % |
c |       483 |     421      204     3742 |     6655      483     78 |  0.001 % |
c |       821 |     421      204     3742 |     7320      821     69 |  0.001 % |
c |      1327 |     421      204     3742 |     8052     1327     69 |  0.001 % |
c |      2086 |     421      204     3742 |     8857     2086     71 |  0.001 % |
c |      3226 |     421      204     3742 |     9743     3226     78 |  0.001 % |
c |      4936 |     421      204     3742 |    10717     4936     83 |  0.001 % |
c |      7499 |     421      204     3742 |    11789     7499     83 |  0.001 % |
c |     11344 |     421      204     3742 |    12968    11344     91 |  0.001 % |
c |     17112 |     421      204     3742 |    14265    10494    100 |  0.001 % |
c |     25761 |     421      204     3742 |    15692    11970     84 |  0.001 % |
c |     38735 |     421      204     3742 |    17261     9145     95 |  0.001 % |
c |     58196 |     421      204     3742 |    18987    11120    110 |  0.001 % |
c |     87390 |     421      204     3742 |    20886    11641    122 |  0.001 % |
c |    131182 |     421      204     3742 |    22974    13257    111 |  0.001 % |
c |    196866 |     421      204     3742 |    25272    21158    121 |  0.001 % |
c |    295396 |     421      204     3742 |    27799    17257    130 |  0.001 % |
c |    443190 |     421      204     3742 |    30579    19137    120 |  0.001 % |
c |    664875 |     421      204     3742 |    33637    26332    128 |  0.001 % |
c |    997400 |     421      204     3742 |    37001    29753    144 |  0.001 % |
c |   1496192 |     421      204     3742 |    40701    37195    159 |  0.001 % |
c CPU time              : 1800 s

c Total CPU time: 1800 s