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

iso times: 0.446851 0.455162 0.434946 0.418861 0.327693 0.924051 0.529908 0.239769 0.661380 0.387503 0.232460 0.614384 0.369105 0.248234 0.626470 0.385512 0.151271 0.316901 0.232846 0.114736 0.273650 0.207174 0.102975 0.250762 0.193150 0.062466 0.131016 0.127847 0.062940 0.127902 0.120887 0.246153 0.207893 0.525957 0.333963 0.209666 0.177138 0.425538 0.280095 0.179830 0.157830 0.341933 0.239184 0.157051 0.136390 0.312514 0.218155 0.170217 0.151258 0.324624 0.229588 0.199118 0.167937 0.395737 0.267639 0.261880 0.291758 0.240218 0.654688 0.382981 0.260227 0.290604 0.244692 0.625249 0.376670 0.238813 0.272164 0.225245 0.585479 0.350464 0.264684 0.300514 0.251918 0.615050 0.377424 0.161172 0.180848 0.159026 0.363322 0.247486 0.125090 0.140121 0.125841 0.273847 0.203998 0.258278 0.288985 0.243151 0.601129 0.368826 0.152352 0.170780 0.148644 0.342993 0.235717 0.140753 0.159973 0.140902 0.333990 0.223825 0.125983 0.146345 0.129934 0.285081 0.203646 0.032149 0.030572 0.029627 0.046797 0.047919 0.030715 0.029637 0.028977 0.045626 0.047518 0.030941 0.029363 0.028970 0.045088 0.047083 0.031472 0.030627 0.030405 0.044822 0.046276 0.029324 0.027556 0.027292 0.041592 0.043147 0.026734 0.024538 0.025930 0.036984 0.038563 0.025575 0.024155 0.025407 0.035749 0.039242 0.022327 0.018556 0.023222 0.025756 0.029813 0.228007 0.257982 0.216694 0.554868 0.335122 0.194332 0.222119 0.193780 0.438354 0.289157 0.179468 0.206065 0.178677 0.425950 0.281667 0.172835 0.198491 0.170984 0.403650 0.268448 0.157828 0.181345 0.157371 0.385370 0.253195 0.163261 0.182922 0.161755 0.360563 0.248725 0.084437 0.089840 0.092115 0.174638 0.132306 0.085708 0.089774 0.092484 0.176977 0.135832 0.069949 0.072451 0.077752 0.139258 0.113904 0.034635 0.034419 0.043886 0.063199 0.057542 0.240661 0.262540 0.228404 0.570999 0.351066 0.239854 0.265613 0.226343 0.559595 0.346944 0.163149 0.187394 0.163191 0.407480 0.256841 0.137949 0.158424 0.141871 0.301129 0.211715 0.046911 0.047168 0.042135 0.076134 0.073297 0.041676 0.042118 0.037310 0.070341 0.065908 0.019276 0.015413 0.018424 0.022969 0.024628 0.017740 0.014539 0.018148 0.021646 0.023801 0.069762 0.034790 0.035069 0.031964 0.055812 0.055932 0.063333 0.031512 0.030721 0.028830 0.051220 0.049907 0.056759 0.029826 0.028681 0.026546 0.045574 0.046342 0.254679 0.111383 0.126823 0.113282 0.256820 0.182384 0.267052 0.121106 0.137893 0.123998 0.267878 0.192049 0.014516 0.013795 0.011293 0.014903 0.016993 0.018010 0.011794 0.012631 0.010028 0.014265 0.015175 0.016232 0.009860 0.010686 0.008165 0.012511 0.012345 0.014019 0.010377 0.010190 0.008289 0.012594 0.011930 0.013978 0.010778 0.010219 0.008257 0.011658 0.013777 0.007519 0.009002 0.006631 0.009692 0.011229 0.007962 0.008366 0.006624 0.010120 0.011495 0.007700 0.008554 0.006601 0.009758 0.011794 0.007485 0.008325 0.006582 0.009957 0.010988 0.007468 0.008319 0.006629 0.009884 0.011119 0.007746 0.008321 0.007078 0.009885 0.011343 0.007805 0.008338 0.006573 0.009716 0.011210 0.008038 0.008341 0.006725 0.009798 0.011287 0.006790 0.006008 0.009030 0.006690 0.005932 0.008591 0.006705 0.006044 0.008686 0.006728 0.006285 0.008464 0.006773 0.005951 0.008460 0.006945 0.006161 0.008602 0.006721 0.006459 0.008690 0.006740 0.005959 0.008517 0.006745 0.006188 0.008487 0.006925 0.006003 0.008480 0.006856 0.006035 0.008497 0.006139 0.005457 0.007943 0.006164 0.005638 0.007906 0.006228 0.005661 0.007693 0.006049 0.005407 0.007716 0.006125 0.005913 0.007683 0.006095 0.005430 0.007749 0.006866 0.005467 0.008011 0.010389 0.011191 0.009323 0.013199 0.013574 0.015185 0.010822 0.011634 0.008921 0.012960 0.013772 0.014932 0.008675 0.009427 0.007670 0.011501 0.011520 0.012431 0.007856 0.008895 0.006701 0.010059 0.011294 0.007150 0.008214 0.006411 0.009399 0.010504 0.006159 0.005414 0.008145 0.004684 0.005344 0.005220 0.004500 0.005315 0.004956 0.004356 0.005277 0.005103 0.004353 0.005727 0.005246 0.004371 0.005611 0.004922 0.004432 0.005473 0.005195 0.004959 0.005323 0.004953 0.004464 0.005547 0.005117 0.004360 0.005293 0.004972 0.004495 0.006058 0.004982 0.004576 0.005381 0.005551 0.004495 0.005418 0.005218 0.004599 0.005647 0.005076 0.004879 0.005749 0.005165 0.004400 0.005361 0.004979 0.004360 0.005322 0.005164 0.004501 0.005332 0.004999 0.004355 0.005505 0.005031 0.004564 0.005655 0.005048 0.004922 0.005361 0.005193 0.004297 0.005299 0.004876 0.004599 0.005993 0.004971 0.004323 0.005334 0.005013 0.004320 0.005721 0.005035 0.004443 0.005322 0.005272 0.004352 0.005335 0.005378 0.004310 0.005247 0.005004 0.004547 0.004603 0.004792 0.004633 0.005277 0.004742 0.005098 0.004771 0.004871 0.004678 0.004621 0.004610 0.004590 0.005120 0.004602

total iso time: 51.448290
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 39             (123 /sec)
decisions             : 341            (0.00 % random) (1075 /sec)
propagations          : 6135           (19336 /sec)
conflict literals     : 216            (12.90 % deleted)
components created    : 297
components cached     : 6
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 39
glasgow calls         : 515
aborted calls         : 0
Memory used           : 22.00 MB
CPU time              : 0.317277 s

SATISFIABLE
