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

iso times: 0.084258 0.084060 0.080661 0.080548 0.078784 0.050941 0.073610 0.072639 0.071777 0.073915 0.070444 0.068200 0.066229 0.064624 0.064408 0.065352 0.059675 0.059655 0.058609 0.062733 0.056158 0.058236 0.058254 0.052987 0.053848 0.064505 0.059386 0.059136 0.041868 0.037851 0.037976 0.124028 0.102540 0.084488 0.117995 0.088167 0.116918 0.097909 0.083378 0.120221 0.083045 0.115680 0.127924 0.092174 0.081586 0.147171 0.082185 0.116755 0.125409 0.097446 0.071675 0.178856 0.073233 0.120927 0.123440 0.095183 0.077449 0.168685 0.077441 0.115608 0.120596 0.091125 0.068933 0.159029 0.078789 0.102769 0.107348 0.072106 0.066000 0.151964 0.071297 0.077072 0.079399 0.053173 0.047913 0.089286 0.047502 0.068357 0.071725 0.046721 0.041200 0.077952 0.043509 0.067402 0.069840 0.045842 0.042238 0.073138 0.041171 0.059097 0.061803 0.040022 0.036990 0.062546 0.037363 0.114963 0.132683 0.094413 0.079842 0.135137 0.081131 0.104331 0.068577 0.120496 0.061278 0.068985 0.131303 0.116011 0.126218 0.080947 0.173792 0.081721 0.101577 0.129812 0.115713 0.116865 0.085193 0.166930 0.076912 0.101641 0.121269 0.126467 0.115564 0.085667 0.161000 0.075962 0.095973 0.095023 0.123139 0.089116 0.082030 0.161585 0.076064 0.092571 0.121191 0.135175 0.074090 0.044485 0.092269 0.042626 0.047128 0.071073 0.069765 0.065465 0.038393 0.063118 0.037950 0.040153 0.062665 0.061756 0.064776 0.037556 0.062915 0.038440 0.039681 0.061422 0.061163 0.059584 0.034228 0.054299 0.034138 0.035516 0.055769 0.057704 0.053207 0.058738 0.034451 0.053954 0.034811 0.036122 0.055490 0.059051 0.053063 0.071915 0.070227 0.070969 0.042249 0.069820 0.041906 0.042336 0.064904 0.069810 0.068586 0.131588 0.128601 0.127197 0.122357 0.079684 0.133338 0.143271 0.080148 0.094364 0.146714 0.126712 0.115447 0.120270 0.132578 0.126998 0.131256 0.115962 0.069686 0.117824 0.140994 0.070144 0.086253 0.112420 0.100956 0.094960 0.118541 0.132148 0.131352 0.093982 0.122000 0.079028 0.112403 0.140690 0.067518 0.091625 0.137257 0.128347 0.117707 0.117276 0.124255 0.104013 0.133070 0.107665 0.106989 0.126111 0.172708 0.083184 0.121967 0.119749 0.118836 0.113215 0.111536 0.113182 0.111206 0.127335 0.112209 0.099163 0.110023 0.160192 0.079287 0.093277 0.114233 0.110955 0.105287 0.103524 0.108592 0.107046 0.117818 0.107127 0.083994 0.112510 0.155748 0.076433 0.088907 0.109941 0.105209 0.101241 0.076020 0.075597 0.075965 0.082049 0.074632 0.046873 0.079912 0.078531 0.044741 0.053627 0.071963 0.073116 0.069365 0.128604 0.128401 0.125320 0.127570 0.119892 0.079396 0.132199 0.160832 0.075809 0.086915 0.137829 0.124906 0.104687 0.123511 0.098776 0.115413 0.112311 0.106516 0.101488 0.063488 0.117815 0.096062 0.066238 0.086448 0.106362 0.112862 0.103434 0.128089 0.095369 0.117517 0.114830 0.105359 0.080714 0.052418 0.119456 0.076261 0.062252 0.083998 0.097096 0.112944 0.102247 0.100393 0.092731 0.068254 0.067556 0.099570 0.092234 0.044929 0.097557 0.096044 0.058265 0.070742 0.092417 0.091046 0.087429 0.066972 0.087588 0.063751 0.086567 0.068143 0.069904 0.054641 0.092593 0.079717 0.054039 0.065694 0.086738 0.086368 0.082000 0.087766 0.079692 0.080216 0.078796 0.085791 0.074960 0.045051 0.082438 0.077569 0.044710 0.059636 0.077323 0.078023 0.073675

total iso time: 31.654949
===============================================================================

print the content of the cache: 

restarts              : 1
conflicts             : 24             (95 /sec)
decisions             : 73             (0.00 % random) (288 /sec)
propagations          : 550            (2172 /sec)
conflict literals     : 38             (0.00 % deleted)
components created    : 50
components cached     : 15
components hit        : 0
isomorphisms          : 0
conflicts saved       : 0
conflicts remaining   : 24
glasgow calls         : 356
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.253232 s

UNSATISFIABLE
