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

iso times: 0.015203 0.014565 0.013536 0.012805 0.012404 0.012267 0.012117 0.012049

total iso time: 0.104946
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 4              (467 /sec)
decisions             : 44             (0.00 % random) (5140 /sec)
propagations          : 102            (11916 /sec)
conflict literals     : 36             (0.00 % deleted)
components created    : 9
components cached     : 1
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 4
glasgow calls         : 8
aborted calls         : 0
Memory used           : 20.00 MB
CPU time              : 0.00856 s

SATISFIABLE
