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

iso times: 0.523986 0.462035 0.553890 0.499579 0.496991 0.530094

total iso time: 3.066575
===============================================================================

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

restarts              : 1
conflicts             : 7              (156 /sec)
decisions             : 16             (0.00 % random) (356 /sec)
propagations          : 132            (2934 /sec)
conflict literals     : 8              (0.00 % deleted)
components created    : 4
components cached     : 3
components hit        : 0
isomorphisms          : 1
conflicts saved       : 2
conflicts remaining   : 6
glasgow calls         : 6
aborted calls         : 0
Memory used           : 22.00 MB
CPU time              : 0.044997 s

UNSATISFIABLE
