/data/SAT/sat-2003-beta/handmade/bevan/cnf/urqh1c2x2.shuffled-as.sat03-1457.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:            15                                         |
|  Number of clauses:              64                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |      15       64      272 |       23       22      5 |  1.837 % |

iso times: 0.005293 0.004900 0.004621 0.004691 0.005068 0.005131 0.004956 0.005023 0.005415 0.005086 0.005968 0.005603 0.006196

total iso time: 0.067951
===============================================================================

print the content of the cache: 
c id: 2, level: 6, literals: 16, clauses: 18, size: 44, afterHit: 0, saved: 4, hits: 0, levelHits: [], isos: 1, levelIsos: [5]
c id: 6, level: 2, literals: 24, clauses: 44, size: 172, afterHit: 0, saved: 58, hits: 0, levelHits: [], isos: 1, levelIsos: [1]
c id: 1, level: 7, literals: 10, clauses: 10, size: 20, afterHit: 0, saved: 2, hits: 0, levelHits: [], isos: 1, levelIsos: [6]
c id: 7, level: 1, literals: 28, clauses: 54, size: 216, afterHit: 0, saved: 100, hits: 0, levelHits: [], isos: 1, levelIsos: [0]
c id: 3, level: 5, literals: 18, clauses: 24, size: 72, afterHit: 0, saved: 8, hits: 0, levelHits: [], isos: 1, levelIsos: [4]
c id: 5, level: 3, literals: 22, clauses: 38, size: 144, afterHit: 0, saved: 32, hits: 0, levelHits: [], isos: 1, levelIsos: [2]
c id: 4, level: 4, literals: 20, clauses: 28, size: 88, afterHit: 0, saved: 16, hits: 0, levelHits: [], isos: 1, levelIsos: [3]

restarts              : 1
conflicts             : 222            (57528 /sec)
decisions             : 271            (0.00 % random) (70225 /sec)
propagations          : 1118           (289712 /sec)
conflict literals     : 989            (27.86 % deleted)
components created    : 7
components cached     : 7
components hit        : 0
isomorphisms          : 7
conflicts saved       : 220
conflicts remaining   : 9
glasgow calls         : 13
aborted calls         : 0
Memory used           : 20.00 MB
CPU time              : 0.003859 s

UNSATISFIABLE
