/data/SAT/sat-2002-beta/submitted/biere/dinphil/dp03s03.shuffled.cnf
WARNING! DIMACS header mismatch: wrong number of variables.
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:           636                                         |
|  Number of clauses:            1413                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================

iso times: 0.142225 0.155439 0.151720 0.152349 0.145274 0.148362 0.139877 0.139044 0.134500 0.118769 0.116719 0.058460 0.054658 0.055690 0.052693 0.051606 0.049311 0.050418 0.048845 0.051413 0.049234 0.046075 0.043417 0.099618 0.052579 0.054523 0.098986 0.051295 0.053167 0.108472 0.048937 0.051299 0.137638 0.047838 0.049545 0.148099 0.048397 0.049162 0.134562 0.128113 0.068596 0.069438 0.039165 0.030897 0.029575 0.031406 0.035017 0.030067 0.028727 0.061663 0.118647 0.120654 0.060049 0.063111 0.064010 0.041282 0.059207 0.065435 0.040317 0.040334 0.041002 0.047128 0.074708 0.078623 0.045933 0.046405 0.048106 0.044915 0.070962 0.074569 0.043434 0.043858 0.045005

total iso time: 5.320573
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 28             (337 /sec)
decisions             : 190            (0.00 % random) (2288 /sec)
propagations          : 4533           (54596 /sec)
conflict literals     : 132            (25.00 % deleted)
components created    : 165
components cached     : 7
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 28
glasgow calls         : 73
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.083028 s

SATISFIABLE
