/data/SAT/sat-2002-beta/submitted/pehoushek/graphcolors3/3col20_5_6.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:            40                                         |
|  Number of clauses:             149                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================

iso times: 0.028001 0.022783 0.018116 0.032947 0.017266 0.017745 0.017060 0.026135 0.014933 0.016363 0.014974 0.015920 0.012439 0.012452 0.011749

total iso time: 0.278883
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 27             (2197 /sec)
decisions             : 64             (0.00 % random) (5208 /sec)
propagations          : 195            (15868 /sec)
conflict literals     : 53             (22.06 % deleted)
components created    : 14
components cached     : 5
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 27
glasgow calls         : 15
aborted calls         : 0
Memory used           : 20.00 MB
CPU time              : 0.012289 s

UNSATISFIABLE
