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

iso times: 0.794366 0.568604 0.411956 0.351707 0.334464 0.286017 0.630377 0.471283 0.287186 0.288617 0.522240 0.565007 0.556625 0.603699 0.551924 0.301877 0.371449 0.312523 0.282826 0.389249 0.293228 0.298781 0.245729 0.144326 0.185786 0.202360 0.171616 0.193884 0.154563 0.207802 0.182579 0.192389 0.171404 0.147848 0.132352 0.137608 0.090215 0.107698 0.122831 0.135782 0.099080 0.131775 0.116967 0.131716 0.117776 0.137144 0.114900 0.127741 0.108887 0.120203 0.115615 0.099361 0.086293 0.102701 0.089732 0.101811 0.088977 0.099183 0.084970 0.099032 0.083194 0.096135 0.081232 0.087810 0.071929 0.081966 0.060825 0.080435 0.061408 0.081950 0.068351 0.081000 0.066927 0.080719 0.068367 0.061138 0.062828 0.054318 0.049235 0.053865 0.048718 0.054193 0.036242 0.053072 0.045575 0.043660 0.041876 0.044166 0.039651 0.043391 0.039163 0.042829 0.039936 0.044716 0.040348 0.031435 0.029797 0.042390 0.038714 0.040450 0.037474 0.039936 0.037268 0.030204 0.036789 0.040385 0.036689 0.041492 0.038089 0.101507 0.087707 0.092775 0.080739 0.091534 0.080562 0.089149 0.078147 0.083237 0.065628 0.075061 0.067007 0.060788 0.065800 0.070954 0.051980 0.055228 0.052160 0.054558 0.054438 0.040424 0.036664 0.039123 0.047345 0.039663 0.032898 0.033653 0.031470 0.032931 0.031551 0.030808 0.029662 0.045473 0.031245 0.031658 0.041393 0.044317 0.036763 0.034320 0.040472 0.033490 0.031073 0.032193 0.039639 0.031741 0.030617 0.032325 0.031471 0.029032 0.035792 0.029618 0.033788 0.030089 0.033443 0.035160 0.026466 0.036564 0.033729 0.027594 0.021559 0.022701 0.021645 0.022263 0.021424 0.019763 0.017674 0.019421 0.019020 0.019745 0.018867 0.019563 0.018657 0.019580 0.018565 0.019023 0.018115 0.018997 0.017992 0.018747 0.017800 0.018371 0.017548 0.018856 0.017832 0.018726 0.017736 0.018286 0.017383 0.018117 0.017296 0.018184 0.017166 0.017810 0.016994 0.017622 0.016844 0.017633 0.016715 0.017519 0.016712 0.017448 0.016672 0.017294 0.016653 0.017188 0.016580 0.016988 0.016289 0.016869 0.016181 0.016864 0.016148 0.016767 0.016224 0.016822 0.016016 0.016643 0.015906 0.016514 0.015805 0.016361 0.015736 0.016349 0.015696 0.016239 0.015588 0.016075 0.015435 0.016127 0.015463 0.016002 0.015398 0.015970 0.015253 0.015840 0.015291 0.015800 0.015220 0.015663 0.014947 0.013706 0.014749 0.014025 0.014757 0.013860 0.014686 0.013551 0.014413 0.013655 0.014479 0.013512 0.014132 0.013588 0.014064 0.013416 0.014040 0.013461 0.014021 0.013428 0.013873 0.013282 0.013889 0.013267 0.013714 0.013163 0.013018 0.013177 0.012972 0.013201 0.012975 0.013092 0.012952 0.012731 0.012857 0.013150 0.012800 0.012806 0.013097 0.012696 0.012736 0.012684 0.012816 0.012786 0.012594 0.012631 0.012489 0.012523 0.012511 0.012567 0.012576

total iso time: 22.069500
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 6              (15 /sec)
decisions             : 248            (0.00 % random) (600 /sec)
propagations          : 1264           (3057 /sec)
conflict literals     : 33             (0.00 % deleted)
components created    : 203
components cached     : 2
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 6
glasgow calls         : 299
aborted calls         : 0
Memory used           : 22.00 MB
CPU time              : 0.413495 s

SATISFIABLE
