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

iso times: 0.029368 0.028421 0.027214 0.023849 0.021509 0.018686 0.016580 0.010337 0.009914 0.009995 0.008593 0.028443 0.029903 0.028328 0.028911 0.025295 0.026185 0.022102 0.023143 0.026114 0.027385 0.027303 0.026032 0.027050 0.026028 0.023826 0.025360 0.023478 0.022547 0.024060 0.022136 0.017908 0.018923 0.017903 0.015494 0.015802 0.014916 0.009985 0.009961 0.009366 0.009796 0.009759 0.009392 0.009328 0.009706 0.009184 0.008346 0.008282 0.008104 0.004639 0.032071 0.025740 0.026343 0.025714 0.030978 0.031842 0.024736 0.025695 0.024849 0.027075 0.025494 0.020915 0.022047 0.020246 0.020795 0.019104 0.015577 0.017770 0.016247 0.017858 0.017568 0.013865 0.014140 0.013419 0.004523 0.025723 0.026227 0.025046 0.020099 0.021094 0.019779 0.025502 0.026022 0.024120 0.019486 0.020861 0.019553 0.019827 0.019883 0.018535 0.015199 0.016595 0.015039 0.017274 0.017296 0.016478 0.013075 0.014033 0.012953 0.004875 0.023077 0.015135 0.015417 0.019103 0.019424 0.014666 0.019412 0.022644 0.014550 0.014978 0.017284 0.019091 0.014640 0.018196 0.020246 0.012454 0.005318 0.037311 0.040327 0.024741 0.025713 0.030259 0.031933 0.024756 0.030506 0.037061 0.040147 0.024635 0.024608 0.030195 0.030864 0.023614 0.030420 0.035511 0.037267 0.021922 0.022507 0.026873 0.028726 0.021435 0.027667 0.036967 0.038628 0.023158 0.024281 0.029407 0.030618 0.022382 0.029046 0.034818 0.036756 0.020509 0.020943 0.026515 0.028952 0.020215 0.026305 0.035387 0.037159 0.020594 0.020699 0.026663 0.028620 0.019599 0.025793 0.030768 0.032984 0.020614 0.020700 0.024529 0.026101 0.019514 0.024439 0.027938 0.031100 0.017946 0.018033 0.022244 0.023540 0.017699 0.022334 0.026061 0.028559 0.016263 0.016662 0.021000 0.021580 0.015974 0.020878 0.026133 0.028533 0.016321 0.016212 0.020848 0.021676 0.016367 0.020696 0.027119 0.027693 0.026425 0.028141 0.016141 0.016620 0.019956 0.021135 0.015437 0.020756 0.018579 0.018581 0.018298 0.018416 0.019592 0.010575 0.006309 0.036815 0.038214 0.036972 0.035512 0.038506 0.024459 0.024581 0.028824 0.039159 0.030875 0.023886 0.030110 0.037654 0.037876 0.036713 0.035350 0.038673 0.024395 0.024358 0.029580 0.039006 0.030936 0.024267 0.030546 0.033020 0.032572 0.032247 0.030893 0.033831 0.020780 0.021583 0.024898 0.033464 0.026688 0.020663 0.026059 0.029676 0.029748 0.029354 0.027313 0.030194 0.018626 0.018323 0.021557 0.030551 0.023208 0.017153 0.022382 0.028312 0.028080 0.027297 0.027479 0.028819 0.017136 0.018409 0.020997 0.029148 0.023220 0.017296 0.021993 0.027565 0.027822 0.027542 0.027422 0.028935 0.016911 0.017205 0.021531 0.029317 0.022766 0.016761 0.020625 0.027061 0.026904 0.026119 0.026599 0.028141 0.016490 0.017513 0.021621 0.028959 0.021986 0.016170 0.021288 0.024226 0.025589 0.024524 0.023802 0.025550 0.013982 0.015085 0.018108 0.024890 0.019702 0.014089 0.017604 0.024584 0.025202 0.023562 0.024356 0.026110 0.015342 0.015138 0.019343 0.025055 0.019903 0.014594 0.018936 0.023513 0.023883 0.022641 0.022572 0.024876 0.014443 0.014044 0.017426 0.024133 0.018780 0.014139 0.018039 0.022733 0.023682 0.022466 0.022476 0.024458 0.014233 0.014025 0.017056 0.023647 0.018085 0.013721 0.017588 0.030788 0.030848 0.029647 0.029805 0.029360 0.028161 0.030586 0.018217 0.019285 0.021766 0.030431 0.023311 0.017779 0.021878 0.036376 0.037110 0.035260 0.039223 0.034660 0.033468 0.033219 0.032742 0.035553 0.022234 0.022392 0.025877 0.035005 0.027420 0.021296 0.027348 0.032312 0.030552 0.029250 0.032621 0.028681 0.028255 0.028268 0.027650 0.029441 0.017101 0.006661 0.039184 0.028173 0.022516 0.027252 0.025615 0.022804 0.021284 0.006667 0.045450 0.046435 0.032599 0.026207 0.032582 0.031544 0.026798 0.026294 0.042282 0.037817 0.039725 0.041649 0.040905 0.040919 0.044861 0.041420 0.041603 0.044198 0.045812 0.044942 0.032044 0.026039 0.032477 0.031243 0.026720 0.026122 0.041127 0.037099 0.038770 0.040452 0.040329 0.039820 0.044142 0.040150 0.042393 0.044012 0.045869 0.045241 0.030781 0.024262 0.030979 0.029541 0.024760 0.024473 0.039261 0.036721 0.037075 0.038757 0.038616 0.039220 0.043555 0.039399 0.040193 0.042561 0.044842 0.043311 0.031653 0.024729 0.030266 0.029015 0.026250 0.041561 0.024417 0.006322 0.043017 0.045554 0.044769 0.030891 0.024773 0.031128 0.029125 0.025769 0.042742 0.025673 0.039498 0.035950 0.037866 0.039938 0.039336 0.039161 0.043326 0.038952 0.040690 0.043045 0.042902 0.043945 0.043653 0.030819 0.023927 0.030274 0.028611 0.025780 0.041677 0.024332 0.039119 0.036205 0.036793 0.038398 0.037658 0.038079 0.040944 0.038555 0.039101 0.041295 0.044703 0.044347 0.043370 0.031430 0.024698 0.031004 0.030486 0.026541 0.043544 0.025870 0.039429 0.037782 0.037626 0.039275 0.038965 0.039472 0.042756 0.040669 0.041768 0.043672 0.022745 0.022170 0.030405 0.020403 0.015417 0.019965 0.018614 0.017143 0.021274 0.015594 0.026717 0.025398 0.025365 0.026150 0.025663 0.025215 0.029662 0.026957 0.027165 0.029666 0.021812 0.021641 0.029990 0.018927 0.015071 0.020270 0.018825 0.015724 0.020618 0.015159 0.025740 0.024963 0.024087 0.027154 0.025221 0.024845 0.029221 0.026127 0.027114 0.030095

total iso time: 14.683076
===============================================================================

print the content of the cache: 
c id: 2, level: 5, literals: 4, clauses: 4, size: 8, afterHit: 0, saved: 17, hits: 0, levelHits: [], isos: 8, levelIsos: [9,4,5,6,9,2,1,1]

restarts              : 1
conflicts             : 36             (242 /sec)
decisions             : 150            (0.00 % random) (1007 /sec)
propagations          : 1030           (6912 /sec)
conflict literals     : 83             (16.16 % deleted)
components created    : 73
components cached     : 21
components hit        : 0
isomorphisms          : 8
conflicts saved       : 17
conflicts remaining   : 27
glasgow calls         : 559
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.149006 s

UNSATISFIABLE
