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

iso times: 0.083629 0.084545 0.081538 0.080426 0.080704 0.080085 0.077572 0.077221 0.076101 0.074401 0.066160 0.060758 0.061873 0.072441 0.060337 0.061753 0.060069 0.055452 0.055839 0.055019 0.054820 0.042352 0.039870 0.037480 0.034974 0.038327 0.049604 0.050211 0.048552 0.065092 0.048648 0.064261 0.052598 0.051272 0.035856 0.035508 0.052831 0.060791 0.053622 0.050130 0.047680 0.061117 0.054996 0.055834 0.057663 0.043665 0.055175 0.045843 0.042912 0.054802 0.056799 0.043345 0.045298 0.041147 0.040253 0.070440 0.070194 0.068077 0.064788 0.068986 0.066450 0.067449 0.061312 0.061619 0.064793 0.057052 0.056887 0.054487 0.053633 0.054796 0.055908 0.055920 0.054127 0.052854 0.053886 0.084350 0.080895 0.080779 0.078175 0.080442 0.085845 0.080632 0.082737 0.077562 0.079682 0.080209 0.076839 0.077036 0.073437 0.074670 0.087493 0.075070 0.081786 0.071611 0.073100 0.087745 0.074182 0.081026 0.070929 0.072113 0.085578 0.071986 0.080360 0.070475 0.070334 0.085744 0.071372 0.075489 0.066342 0.069613 0.082567 0.070077 0.074330 0.065230 0.068033 0.041003 0.036404 0.036370 0.034004 0.034951 0.039405 0.035118 0.035781 0.033487 0.034723 0.038123 0.035274 0.034556 0.033789 0.034106 0.072243 0.069577 0.069265 0.064479 0.068180 0.071014 0.066896 0.066908 0.065011 0.064866 0.069150 0.067735 0.067517 0.060792 0.064627 0.079636 0.071290 0.076840 0.072588 0.072818 0.079463 0.076110 0.076932 0.071510 0.073973 0.071113 0.069907 0.068918 0.065810 0.067292 0.071420 0.066837 0.066745 0.063069 0.066522 0.037992 0.035171 0.035025 0.033267 0.033986 0.070527 0.068006 0.068142 0.063218 0.065926 0.081664 0.079855 0.079002 0.074817 0.076484 0.054650 0.049546 0.049882 0.048849 0.050054 0.052903 0.049015 0.051504 0.048640 0.049484 0.036204 0.034751 0.034211 0.033728 0.033752 0.033959 0.030868 0.030387 0.029103 0.029831 0.027565 0.027509 0.025926 0.025619 0.026305 0.026581 0.027254 0.025429 0.025218 0.036976 0.033999 0.035619 0.032258 0.033005 0.036495 0.033378 0.034670 0.031758 0.032234 0.032574 0.033150 0.031413 0.031282 0.031924 0.029525 0.030120 0.028100 0.027638 0.028910 0.090486 0.092184 0.088854 0.087471 0.090161 0.093429 0.082566 0.086028 0.081145 0.080474 0.087484 0.080262 0.082363 0.075489 0.078269 0.079692 0.072719 0.072652 0.067023 0.068726 0.068025 0.065013 0.065000 0.062618 0.064005 0.052371 0.050303 0.049825 0.047877 0.050825 0.051102 0.049545 0.050688 0.047410 0.050328 0.045796 0.045931 0.043577 0.041886 0.034207 0.034848 0.032005 0.032267 0.039087 0.039885 0.071406 0.087116 0.085270 0.082614 0.082912 0.089780 0.083094 0.085180 0.075003 0.079409 0.079257 0.078377 0.074762 0.073969 0.076029 0.075319 0.071831 0.072145 0.067117 0.069315 0.069392 0.064590 0.067681 0.060866 0.062248 0.050723 0.049018 0.047229 0.048159 0.047911 0.048212 0.050188 0.047029 0.045929 0.048877 0.042415 0.044590 0.042901 0.042147 0.041708 0.037589 0.040097 0.036153 0.037724 0.037087 0.091048 0.087805 0.087022 0.081762 0.083994 0.087942 0.083028 0.079293 0.078382 0.080459 0.079324 0.079127 0.074506 0.074332 0.077356 0.073447 0.071310 0.070364 0.064339 0.068854 0.067344 0.061058 0.064123 0.057428 0.058997 0.047355 0.047519 0.043837 0.040201 0.043882 0.044507 0.046401 0.044645 0.040213 0.042997 0.037628 0.040634 0.035989 0.037182 0.039581 0.036143 0.036835 0.034693 0.034895 0.035702 0.088295 0.086286 0.084158 0.081585 0.084102 0.087705 0.082251 0.082857 0.078485 0.079724 0.081895 0.078025 0.077154 0.072628 0.075188 0.072985 0.071422 0.070047 0.065559 0.068607 0.096796 0.086618 0.089149 0.081638 0.082141 0.096249 0.083384 0.086420 0.077691 0.080219 0.087334 0.073666 0.072889 0.022363 0.096158 0.086130 0.086131 0.081430 0.084278 0.094888 0.082928 0.084632 0.181457 0.076498 0.080750 0.086934 0.078376 0.070609 0.021642 0.179226 0.075432 0.073063 0.077698 0.155553 0.080680 0.074896 0.173532 0.069439 0.067626 0.071261 0.172727 0.075550 0.080912 0.165176 0.067249 0.065581 0.067861 0.163506 0.064848 0.064710 0.094299 0.165522 0.065266 0.065027 0.068557 0.162900 0.064658 0.065538

total iso time: 28.132169
===============================================================================

print the content of the cache: 
c id: 1, level: 7, literals: 8, clauses: 6, size: 14, afterHit: 0, saved: 6, hits: 0, levelHits: [], isos: 2, levelIsos: [17,6]
c id: 3, level: 20, literals: 15, clauses: 11, size: 27, afterHit: 0, saved: 3, hits: 0, levelHits: [], isos: 2, levelIsos: [2,2]

restarts              : 1
conflicts             : 50             (77 /sec)
decisions             : 157            (0.00 % random) (241 /sec)
propagations          : 1629           (2499 /sec)
conflict literals     : 197            (18.26 % deleted)
components created    : 118
components cached     : 10
components hit        : 0
isomorphisms          : 4
conflicts saved       : 9
conflicts remaining   : 45
glasgow calls         : 442
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.651798 s

UNSATISFIABLE
