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

iso times: 0.008680 0.005920 0.005891 0.004965 0.004827 0.005128 0.005109 0.004487 0.004481 0.004508 0.004795 0.005847 0.005353 0.004661 0.005037

total iso time: 0.079689
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 9              (2444 /sec)
decisions             : 11             (0.00 % random) (2987 /sec)
propagations          : 127            (34483 /sec)
conflict literals     : 17             (5.56 % deleted)
components created    : 6
components cached     : 5
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 9
glasgow calls         : 15
aborted calls         : 0
Memory used           : 20.00 MB
CPU time              : 0.003683 s

UNSATISFIABLE
