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     1000 |     5000        0   -nan |  0.000 % |
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |     172      206     1264 |     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 |     277      207     1456 |     5000        0   -nan |  0.000 % |
c |       114 |     277      207     1456 |     5500      114     68 |  0.718 % |
c |       264 |     277      207     1456 |     6050      264     64 |  0.718 % |
c |       490 |     277      207     1456 |     6655      490     55 |  0.718 % |
c |       827 |     277      207     1456 |     7320      827     50 |  0.718 % |
c |      1339 |     277      207     1456 |     8052     1339     49 |  0.718 % |
c |      2107 |     277      207     1456 |     8857     2107     45 |  0.718 % |
c |      3246 |     277      207     1456 |     9743     3246     42 |  0.718 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |     379      208     1658 |     5000        0   -nan |  0.000 % |
c |       100 |     379      208     1658 |     5500      100    114 |  0.001 % |
c |       251 |     379      208     1658 |     6050      251    100 |  0.001 % |
c |       477 |     379      208     1658 |     6655      477     87 |  0.001 % |
c |       814 |     379      208     1658 |     7320      814     83 |  0.001 % |
c |      1321 |     379      208     1658 |     8052     1321     75 |  0.001 % |
c |      2081 |     379      208     1658 |     8857     2081     74 |  0.001 % |
c |      3222 |     379      208     1658 |     9743     3222     74 |  0.001 % |
c |      4931 |     379      208     1658 |    10717     4931     76 |  0.001 % |
c |      7495 |     379      208     1658 |    11789     7495     76 |  0.001 % |
c |     11340 |     379      208     1658 |    12968    11340     75 |  0.001 % |
c |     17108 |     379      208     1658 |    14265    10572     73 |  0.001 % |
c |     25763 |     379      208     1658 |    15692    12036     75 |  0.001 % |
c |     38737 |     379      208     1658 |    17261     9197     72 |  0.001 % |
c |     58205 |     379      208     1658 |    18987    11289     74 |  0.001 % |
c |     87398 |     379      208     1658 |    20886    11864     88 |  0.001 % |
c |    131187 |     379      208     1658 |    22974    13628     88 |  0.001 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |     479      209     1858 |     5000        0   -nan |  0.000 % |
c |       102 |     479      209     1858 |     5500      102    134 |  0.000 % |
c |       252 |     479      209     1858 |     6050      252     97 |  0.000 % |
c |       477 |     479      209     1858 |     6655      477     79 |  0.000 % |
c |       814 |     479      209     1858 |     7320      814     74 |  0.000 % |
c |      1320 |     479      209     1858 |     8052     1320     70 |  0.000 % |
c |      2080 |     479      209     1858 |     8857     2080     64 |  0.000 % |
c |      3219 |     479      209     1858 |     9743     3219     60 |  0.000 % |
c |      4927 |     479      209     1858 |    10717     4927     67 |  0.000 % |
c |      7490 |     479      209     1858 |    11789     7490     73 |  0.000 % |
c |     11335 |     479      209     1858 |    12968    11335     77 |  0.000 % |
c |     17102 |     479      209     1858 |    14265    10552     86 |  0.000 % |
c |     25751 |     479      209     1858 |    15692    11965     95 |  0.000 % |
c |     38726 |     479      209     1858 |    17261     9085    104 |  0.000 % |
c |     58187 |     479      209     1858 |    18987    11100    117 |  0.000 % |
c |     87386 |     479      209     1858 |    20886    11529    109 |  0.000 % |
c |    131175 |     479      209     1858 |    22974    13311     84 |  0.000 % |
c |    196860 |     479      209     1858 |    25272    21018    119 |  0.000 % |
c |    295387 |     479      209     1858 |    27799    16324    135 |  0.000 % |
c |    443180 |     479      209     1858 |    30579    15980    126 |  0.000 % |
c |    664867 |     479      209     1858 |    33637    29405    148 |  0.000 % |
c |    997393 |     479      209     1858 |    37001    17843    156 |  0.000 % |
c |   1496181 |     479      209     1858 |    40701    19938    172 |  0.000 % |
c CPU time              : 1800 s

c Total CPU time: 1800 s