/data/SAT/sat-2003-beta/handmade/bevan/cnf/marg2x2.shuffled-as.sat03-1440.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:            12                                         |
|  Number of clauses:              32                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================

iso times: 0.013429 0.012578 0.013141 0.012991 0.013690 0.013451 0.014120

total iso time: 0.093400
===============================================================================

print the content of the cache: 
c id: 4, level: 1, literals: 22, clauses: 28, size: 80, afterHit: 0, saved: 16, hits: 0, levelHits: [], isos: 1, levelIsos: [0]
c id: 3, level: 2, literals: 20, clauses: 24, size: 64, afterHit: 0, saved: 8, hits: 0, levelHits: [], isos: 1, levelIsos: [1]
c id: 1, level: 4, literals: 8, clauses: 8, size: 16, afterHit: 0, saved: 2, hits: 0, levelHits: [], isos: 1, levelIsos: [3]
c id: 2, level: 3, literals: 18, clauses: 20, size: 48, afterHit: 0, saved: 4, hits: 0, levelHits: [], isos: 1, levelIsos: [2]

restarts              : 1
conflicts             : 32             (6903 /sec)
decisions             : 31             (0.00 % random) (6687 /sec)
propagations          : 227            (48965 /sec)
conflict literals     : 85             (22.02 % deleted)
components created    : 4
components cached     : 4
components hit        : 0
isomorphisms          : 4
conflicts saved       : 30
conflicts remaining   : 6
glasgow calls         : 7
aborted calls         : 0
Memory used           : 20.00 MB
CPU time              : 0.004636 s

UNSATISFIABLE
