/data/SAT/sat-2002-beta/submitted/goldberg/bmc1/4.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.019610 0.019453 0.022121 0.020645 0.020334 0.018654 0.018217 0.017411 0.016291 0.014453 0.014900 0.013787 0.013811 0.013698 0.011932 0.012003 0.010509 0.010002 0.008621 0.007744 0.007646 0.007317 0.007457 0.007050 0.006837 0.005746 0.005421 0.004810 0.013787 0.013326 0.013077 0.012684 0.011427 0.010141 0.008430 0.008751 0.008307 0.008948 0.007434 0.007585 0.006252 0.006169 0.005320 0.005068 0.020668 0.019986 0.020015 0.018063 0.017931 0.017046 0.016132 0.015521 0.015089 0.014737 0.013526 0.013172 0.011381 0.009858 0.009932 0.009266 0.009190 0.007731 0.007738 0.006730 0.006912 0.006141 0.005392 0.005312 0.005161 0.005198 0.005351 0.005149 0.009162 0.008396 0.008214 0.008043 0.007987 0.006698 0.007235 0.005687 0.005259 0.005038 0.005117 0.004671 0.004529 0.004792 0.005019 0.020273 0.018684 0.019490 0.018068 0.017500 0.016745 0.015662 0.015419 0.012970 0.013043 0.012238 0.011409 0.011453 0.011008 0.010158 0.010067 0.009749 0.008519 0.008335 0.008101 0.008169 0.007003 0.007575 0.005712 0.005643 0.005606 0.005371 0.005218 0.007370 0.007545 0.007488 0.006519 0.006258 0.006177 0.005354 0.004898 0.004947 0.004559 0.021676 0.019701 0.019142 0.018617 0.018116 0.016400 0.014266 0.013560 0.011762 0.012009 0.011627 0.010486 0.010573 0.010217 0.009825 0.010029 0.010110 0.009857 0.009034 0.008324 0.007765 0.007660 0.007303 0.006530 0.006152 0.005472 0.005120 0.004650 0.019790 0.019779 0.018617 0.017121 0.016033 0.014330 0.013639 0.013657 0.012965 0.012009 0.011621 0.010427 0.010160 0.009983 0.009870 0.009959 0.008880 0.007960 0.007340 0.007537 0.006934 0.006303 0.006859 0.005664 0.005080 0.005365 0.005459 0.021105 0.018994 0.019497 0.016622 0.016873 0.015264 0.014924 0.014449 0.012651 0.011095 0.010222 0.008901 0.008746 0.008459 0.007935 0.008205 0.007379 0.007470 0.007352 0.006064 0.004931 0.005029 0.020602 0.019199 0.019137 0.018183 0.017423 0.016216 0.015242 0.014490 0.013297 0.013114 0.012004 0.010975 0.009940 0.010039 0.009297 0.009080 0.009090 0.008331 0.007519 0.007440 0.006986 0.006411 0.006737 0.006063 0.005568 0.004734 0.020409 0.018890 0.017449 0.016011 0.014245 0.014103 0.013337 0.012521 0.012390 0.011284 0.010472 0.010293 0.009264 0.008868 0.008405 0.007992 0.007750 0.007748 0.007038 0.006453 0.006583 0.006500 0.020853 0.019290 0.018973 0.018221 0.016911 0.015818 0.016108 0.014294 0.014269 0.013264 0.012560 0.011277 0.009819 0.008791 0.008458 0.008536 0.007416 0.007536 0.007072 0.005852 0.005478 0.004960 0.005466 0.020101 0.018577 0.017160 0.016294 0.015673 0.014027 0.013546 0.012448 0.011296 0.010933 0.009930 0.009442 0.008639 0.007887 0.007520 0.007249 0.005652 0.005192

total iso time: 3.187065
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 38             (244 /sec)
decisions             : 317            (0.00 % random) (2035 /sec)
propagations          : 2363           (15173 /sec)
conflict literals     : 78             (2.50 % deleted)
components created    : 296
components cached     : 1
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 38
glasgow calls         : 291
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.155736 s

UNSATISFIABLE
