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

iso times: 0.020458 0.016225 0.014028 0.014293 0.012727 0.011782 0.010489 0.010442 0.010117 0.010205 0.009154 0.009199 0.007834 0.007391 0.006704 0.006719 0.006492 0.006128 0.005583 0.005442 0.005414 0.005321 0.004922 0.004148 0.004244 0.004875 0.016114 0.014956 0.014714 0.013419 0.012990 0.012667 0.011995 0.011778 0.011398 0.011250 0.011120 0.009853 0.009711 0.008845 0.009199 0.007711 0.007111 0.006313 0.006242 0.005648 0.005535 0.005489 0.005105 0.010994 0.010666 0.010573 0.009323 0.009278 0.009251 0.008993 0.008587 0.008676 0.008073 0.007093 0.006159 0.006148 0.005287 0.005083 0.005098 0.004920 0.016183 0.017014 0.014839 0.013303 0.013070 0.012807 0.012790 0.011534 0.011810 0.010475 0.009685 0.009487 0.008235 0.008148 0.008210 0.007261 0.006293 0.006359 0.005571 0.005886 0.005508 0.005625 0.005639 0.005263 0.004836 0.005098 0.004720 0.004616 0.004823 0.004849 0.005240 0.005264 0.004486 0.004891 0.004614 0.004826 0.005268 0.004783 0.015808 0.015649 0.014736 0.013494 0.012312 0.011970 0.010945 0.010658 0.010311 0.009020 0.009421 0.008723 0.008186 0.007669 0.007110 0.007031 0.006459 0.006032 0.004807 0.016227 0.015352 0.015317 0.013022 0.011484 0.011722 0.011147 0.010494 0.010608 0.010094 0.009999 0.009506 0.009114 0.009027 0.008173 0.007597 0.006922 0.006596 0.006310 0.005772 0.005498 0.005353 0.005472 0.005207 0.005281 0.005170 0.004924 0.004505 0.004265 0.005941 0.004607 0.004582 0.005131 0.004949 0.004785 0.017167 0.015247 0.014431 0.013956 0.012935 0.011337 0.011101 0.010120 0.010240 0.010165 0.009181 0.008483 0.007992 0.007828 0.007896 0.007329 0.007485 0.006776 0.007160 0.006325 0.006334 0.005951 0.005532 0.005311 0.004596 0.015694 0.015371 0.015182 0.015331 0.014426 0.013829 0.013843 0.013098 0.013322 0.012748 0.012130 0.010747 0.010174 0.009082 0.008142 0.008047 0.007152 0.007338 0.006838 0.006412 0.006882 0.005418 0.005934 0.006992 0.006411 0.006529 0.005880 0.006130 0.005485 0.016566 0.015134 0.014476 0.013654 0.012982 0.012292 0.011409 0.010824 0.010989 0.010149 0.009066 0.008812 0.008654 0.008049 0.007837 0.007069 0.006988 0.006738 0.006878 0.006263 0.006383 0.005522 0.005542 0.004705 0.015650 0.015579 0.014899 0.014435 0.013333 0.013116 0.011492 0.011354 0.010724 0.010262 0.010150 0.009718 0.008443 0.008032 0.007698 0.007182 0.006936 0.005981 0.006252 0.005237 0.005585 0.005294 0.004675 0.004637 0.015326 0.015924 0.014510 0.013389 0.012799 0.012039 0.011285 0.010709 0.010187 0.009817 0.009474 0.009781 0.009317 0.008911

total iso time: 2.496062
===============================================================================

print the content of the cache: 
c id: 1, level: 5, literals: 16, clauses: 11, size: 22, afterHit: 0, saved: 4, hits: 0, levelHits: [], isos: 2, levelIsos: [19,22]

restarts              : 1
conflicts             : 38             (238 /sec)
decisions             : 323            (0.00 % random) (2023 /sec)
propagations          : 2447           (15330 /sec)
conflict literals     : 76             (5.00 % deleted)
components created    : 274
components cached     : 1
components hit        : 0
isomorphisms          : 2
conflicts saved       : 4
conflicts remaining   : 36
glasgow calls         : 274
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.159625 s

UNSATISFIABLE
