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

iso times: 0.007552 0.012766 0.011397 0.013493 0.011079 0.005700 0.011362 0.010729 0.011424 0.012967 0.011370

total iso time: 0.119839
===============================================================================

print the content of the cache: 
c id: 1, level: 4, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 13, hits: 0, levelHits: [], isos: 4, levelIsos: [2,1,2,2]

restarts              : 1
conflicts             : 23             (3197 /sec)
decisions             : 50             (0.00 % random) (6949 /sec)
propagations          : 130            (18068 /sec)
conflict literals     : 43             (12.24 % deleted)
components created    : 11
components cached     : 1
components hit        : 0
isomorphisms          : 4
conflicts saved       : 13
conflicts remaining   : 14
glasgow calls         : 11
aborted calls         : 0
Memory used           : 20.00 MB
CPU time              : 0.007195 s

UNSATISFIABLE
