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

iso times: 0.006919 0.006087 0.005926 0.005753 0.007573 0.007388 0.008277 0.006750 0.005864 0.005621 0.005975 0.005577 0.005749 0.005329 0.005508 0.005208 0.004879 0.005078 0.004648 0.005183 0.010885 0.010822 0.009169 0.008257 0.009803 0.008872 0.008654 0.007669 0.007049 0.007154 0.007308 0.006450 0.007989 0.005138 0.004796 0.004965 0.004960 0.004833 0.007639 0.007513 0.007565 0.007141 0.006607 0.006491 0.006377 0.006413 0.006022 0.006956 0.005474 0.006491 0.006214 0.006318 0.006067 0.005840 0.005732 0.006476 0.006146 0.005340 0.006022 0.011514 0.007004 0.008358 0.008331 0.008610 0.008559 0.007570 0.007145 0.007693 0.006394 0.007794 0.007756 0.007511 0.007730 0.007455 0.007263 0.007256 0.006351 0.006958 0.006916 0.006098 0.007378 0.007147 0.007166 0.006985 0.007103 0.006941 0.006794 0.006450 0.005864 0.006269 0.006116 0.005612 0.006655 0.005478 0.005684 0.006796 0.006377 0.006350 0.006193 0.005908 0.005486 0.006183 0.005969 0.005537 0.005972 0.006122 0.006223 0.006000 0.005535 0.006312 0.006059 0.006661 0.006173 0.006111 0.005607 0.006497 0.005917 0.005440 0.006143 0.008854 0.008327 0.008208 0.006901 0.007740 0.007565 0.008348 0.008537 0.008281 0.008329 0.006992 0.008576 0.008783 0.009070 0.007361 0.007575 0.008001 0.007003 0.007663 0.007000 0.006975 0.005637 0.006295 0.006261 0.006678 0.007338 0.006830 0.007194 0.005795 0.007184 0.007191 0.006545 0.006926 0.006416 0.005268 0.006196 0.006014 0.005424 0.006093 0.005953 0.006208 0.006675 0.006193 0.006511 0.006510 0.005376 0.005965 0.006178 0.005998 0.006390 0.005854 0.005187 0.005415 0.005373 0.005424 0.005511 0.005327 0.005302 0.006788 0.006986 0.005849 0.006001 0.006275 0.006544 0.006788 0.006518 0.006953 0.006938 0.005841 0.005839 0.006127 0.006046 0.006448 0.005876 0.005335 0.005991 0.005806 0.006382 0.006259 0.006198 0.005152 0.005372 0.005332 0.005958 0.005598 0.006343 0.010970 0.010032 0.010075 0.009378 0.007235 0.008759 0.008052 0.009928 0.010023 0.009737 0.010108 0.010434 0.010388 0.011112 0.011757 0.008840 0.009400 0.005495 0.006667 0.006120 0.005507 0.006120 0.006283 0.006315 0.006452 0.006467 0.006429 0.006566 0.005567 0.005699 0.005914 0.005774 0.005932 0.005437 0.005665 0.008950 0.008361 0.007978 0.007920 0.006339 0.006900 0.007061 0.007625 0.008165 0.008123 0.008255 0.008311 0.008003 0.006751 0.008299 0.008460 0.008532 0.009079 0.007006 0.007211 0.007633 0.007073 0.023375 0.019137 0.006885 0.014372 0.013964 0.014692 0.012295 0.011491 0.009118 0.011468 0.011496 0.011862 0.011929 0.012964 0.013086 0.010072 0.006071 0.005790 0.005749 0.006136 0.006011 0.008945 0.008205 0.007856 0.007382 0.006060 0.006999 0.006733 0.007506 0.007769 0.007814 0.007392 0.007910 0.007783 0.006728 0.008131 0.008165 0.007910 0.008804 0.006847 0.007108 0.007648 0.006799 0.005823 0.005232 0.007522 0.007175 0.007329 0.005780 0.006251 0.006725 0.006921 0.007445 0.006774 0.007135 0.007239 0.007197 0.006136 0.007074 0.007168 0.005276 0.006529 0.006644 0.006520 0.006837 0.005454 0.005301 0.007333 0.005346 0.007512 0.007277 0.006488 0.006026 0.006442 0.006425 0.007298 0.007272 0.007108 0.007264 0.007054 0.006856 0.006501 0.007146 0.007154 0.005405 0.006661 0.006672 0.006678 0.005307 0.005121 0.005709 0.005064 0.005209 0.006237 0.006173 0.005511 0.006116 0.005931 0.006345 0.006435 0.006123 0.006419 0.006425 0.005381 0.005679 0.005967 0.005640 0.009821 0.006490 0.006474 0.008195 0.005979 0.010172 0.006269 0.009797 0.010564 0.009735 0.009183 0.009226 0.006956 0.008503 0.007782 0.009190 0.009344 0.009291 0.009063 0.009803 0.009413 0.009236 0.007378 0.009986 0.009355 0.009448 0.010560 0.010826 0.008580 0.009296 0.007699 0.007766 0.005939 0.005677 0.005678 0.006129 0.005313 0.007677 0.005580 0.008073 0.008570 0.007979 0.007317 0.007405 0.005964 0.007002 0.006822 0.007712 0.007538 0.007533 0.007563 0.006641 0.007570 0.007734 0.006334 0.008322 0.007919 0.007760 0.008507 0.006495 0.006953 0.007543 0.006928 0.006329 0.005499 0.005403 0.005869 0.005337 0.007028 0.005790 0.005888 0.005226 0.007009 0.006975 0.006452 0.005779 0.006593 0.006453 0.006802 0.007141 0.007194 0.006614 0.006149 0.006927 0.006717 0.005928 0.007231 0.006898 0.005392 0.006288 0.006349 0.006422 0.005577 0.005173 0.005697 0.005383 0.005507 0.004998 0.006512 0.006087 0.005427 0.005814 0.006500 0.006402 0.006341 0.006544 0.006091 0.005054 0.006555 0.006640 0.005664 0.005796 0.005506 0.005211 0.006100 0.006235 0.005974 0.004920 0.004960 0.005031 0.004845 0.005079 0.005132 0.015240 0.010988 0.010469 0.013129 0.014078 0.013669 0.012354 0.012651 0.012755 0.012117 0.011975 0.009196 0.010443 0.013591 0.008223 0.011503 0.011924 0.011703 0.012377 0.011929 0.013046 0.007214 0.015419 0.014525 0.014310 0.014954 0.006881 0.012659 0.008812 0.009044 0.009235 0.010631 0.011078 0.011041 0.010180 0.010074 0.010460 0.010006 0.010025 0.008209 0.008604 0.011335 0.007128 0.009431 0.009485 0.009539 0.010261 0.009871 0.010892 0.006436 0.006070 0.006395 0.008289 0.006795 0.006696 0.010550 0.005970 0.006095 0.007496 0.007600 0.007679 0.006872 0.007020 0.008966 0.008672 0.008158 0.008516 0.008238 0.007783 0.008228 0.008343 0.007875 0.006779 0.007114 0.007424 0.006951 0.006051 0.007437 0.007979 0.007844 0.008380 0.008201 0.008996 0.008817 0.005751 0.007814 0.005735 0.005682 0.005690 0.005784 0.006079 0.006761 0.007275 0.008196 0.005642 0.005728 0.006468 0.006795 0.007065 0.005276 0.005420 0.007373 0.006896 0.007015 0.006929 0.006674 0.007079 0.006906 0.005904 0.005975 0.006478 0.005401 0.005677 0.006454 0.006555 0.006806 0.007157 0.007017 0.005416 0.005964 0.005594 0.006977 0.005506 0.005370 0.005265 0.005419 0.006493 0.006184 0.006547 0.006268 0.006190 0.006350 0.005394 0.005157 0.005858 0.005783 0.006329 0.006249 0.006258 0.006610 0.006321 0.005547 0.005997 0.006246 0.005494 0.005189 0.006443 0.006245 0.005652 0.005414 0.006556 0.005312 0.005736 0.005888 0.005195 0.005391 0.005714 0.005308 0.005004 0.004829 0.005095 0.004771 0.004831 0.005277 0.005366 0.004865 0.004816 0.004972 0.004926 0.005310 0.005180 0.005025 0.004749 0.004866 0.008280 0.007349 0.017836 0.007879 0.017021 0.007539 0.006839 0.006472 0.013194 0.009797 0.010064 0.009839 0.010974 0.011870 0.007248 0.012574 0.011856 0.010710 0.011126 0.011153 0.011110 0.012558 0.010509 0.008863 0.011862 0.010208 0.010854 0.010411 0.011618 0.006954 0.006317 0.006279 0.008744 0.006348 0.012593 0.006487 0.011444 0.006092 0.005861 0.005888 0.006009 0.005680 0.007960 0.007683 0.008466 0.007219 0.006771 0.009679 0.008509 0.008694 0.009082 0.008604 0.008520 0.005857 0.008650 0.008591 0.007846 0.006900 0.007043 0.007614 0.007404 0.006615 0.008545 0.008166 0.008182 0.008833 0.008539 0.009632 0.009287 0.006082 0.005850 0.005794 0.005689 0.006040 0.005997 0.009886 0.006456 0.007490 0.007146 0.009006 0.005586 0.005883 0.005522 0.005710 0.007363 0.006965 0.007027 0.007927 0.005785 0.005602 0.008214 0.007760 0.007680 0.007227 0.005689 0.007527 0.007419 0.007369 0.006338 0.006839 0.006740 0.005515 0.006171 0.007048 0.007433 0.007746 0.007936 0.007522 0.005658 0.006398 0.005672 0.007536 0.005915 0.005646 0.005849 0.005948 0.005490 0.006798 0.006923 0.006491 0.006191 0.006186 0.005817 0.005090 0.005268 0.005007 0.005009 0.005866 0.005125 0.006332 0.005800 0.005919 0.005861 0.005642 0.005742 0.006029 0.005930 0.005324 0.005370 0.004885 0.005450 0.005804 0.005160 0.006105 0.006428 0.005903 0.005823 0.004922 0.005007 0.004844 0.004809 0.005872 0.005067 0.006256 0.006305 0.005309 0.005552 0.005627 0.004997 0.005773 0.005903 0.006376 0.005017 0.005063 0.005071 0.005113 0.005077 0.005424 0.006312 0.005311 0.005216 0.007083 0.006923 0.009212 0.009258 0.009916 0.007236 0.011747 0.011626 0.010426 0.010504 0.010200 0.012280 0.010196 0.008612 0.011510 0.010552 0.011370 0.006974 0.006365 0.006595 0.006859 0.012076 0.006482 0.006197 0.006186 0.005887 0.005896 0.005973 0.008199 0.007920 0.008354 0.007613 0.006930 0.009530 0.008606 0.008899 0.008936 0.008861 0.005865 0.008333 0.007345 0.007502 0.007979 0.008900 0.008596 0.009704 0.006000 0.006013 0.006031 0.007606 0.005988 0.009994 0.006186 0.007123 0.005061 0.005977 0.006083 0.005850 0.005016 0.005697 0.006398 0.006453 0.006726 0.006328 0.005603 0.006183 0.006343 0.005310 0.006403 0.006348 0.006375 0.005192 0.005162 0.005610 0.005175 0.006992 0.005763 0.006349 0.005193 0.005072 0.005925 0.005649 0.006863 0.005778 0.005729 0.005543 0.005511 0.006988 0.007086 0.007000 0.008270 0.006662 0.006116 0.005516 0.007873 0.007653 0.007556 0.007693 0.007189 0.005483 0.007332 0.007393 0.007257 0.006292 0.006846 0.006855 0.005791 0.006173 0.006935 0.007391 0.007351 0.007750 0.007782 0.005421 0.006456 0.005781 0.007440 0.005459 0.005612 0.005614 0.005596 0.005692 0.006420 0.006225 0.006278 0.006037 0.009472 0.007479 0.005648 0.006921 0.006516 0.005779 0.005962 0.008179 0.008059 0.008662 0.007518 0.007403 0.009922 0.008953 0.009065 0.009269 0.008679 0.005837 0.008634 0.007263 0.007789 0.007559 0.006944 0.008188 0.008341 0.008459 0.008928 0.008560 0.009741 0.006286 0.006585 0.005848 0.007664 0.005945 0.010053 0.006486 0.007420 0.004985 0.006053 0.005727 0.005613 0.004746 0.004941 0.005972 0.005192 0.005572 0.005338 0.005186 0.005547 0.005311 0.005945 0.006045 0.004941 0.005489 0.005150 0.005366 0.005349 0.005695 0.005108 0.005629 0.005907 0.006022 0.004914 0.005952 0.006767 0.006206 0.006373 0.006047 0.005417 0.006133 0.005649 0.005260 0.006308 0.006434 0.006191 0.005239 0.005349 0.005902 0.005237 0.006745 0.005195 0.006098 0.004981 0.005144 0.005803 0.005622 0.004969 0.005381 0.004976 0.004994 0.005623 0.005283 0.004801 0.004795 0.004773 0.005055 0.005316 0.007396 0.007060 0.017436 0.007414 0.016427 0.007179 0.006830 0.006387 0.011358 0.006801 0.006052 0.011793 0.008932 0.009432 0.009295 0.009926 0.011418 0.007193 0.011797 0.011421 0.010260 0.010629 0.010958 0.010272 0.012547 0.010245 0.007962 0.011577 0.010026 0.006824 0.010682 0.010102 0.011384 0.006987 0.006418 0.006385 0.008612 0.006667 0.011651 0.006806 0.010728 0.006042 0.005948 0.005464 0.005626 0.005732 0.006296 0.005525 0.005765 0.005426 0.006379 0.007269 0.007329 0.007139 0.006868 0.005706 0.006906 0.006708 0.006017 0.006299 0.006620 0.005762 0.006853 0.007000 0.005514 0.007013 0.005519 0.005993 0.005581 0.005555 0.005512 0.006323 0.006583 0.006705 0.005275 0.004978 0.005555 0.004903 0.005005 0.005684 0.006111 0.006175 0.005156 0.005510 0.005514 0.005115 0.005635 0.006420 0.004910 0.005193 0.005286 0.006097 0.005137

total iso time: 8.288073
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 68             (799 /sec)
decisions             : 79             (0.00 % random) (928 /sec)
propagations          : 292            (3431 /sec)
conflict literals     : 636            (9.40 % deleted)
components created    : 66
components cached     : 59
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 68
glasgow calls         : 1153
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.085107 s

SATISFIABLE
