c This is wbo 1.0 alpha (based on Minisat 2.0 beta) c WARNING: for repeatability, setting FPU to use double precision c | Number of variables: 18169 | c | Number of clauses: 112632 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.07 s | c | Number Variables: 18169 | c | Number Clauses: 112632 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.635903 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.07984 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.19082 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.2998 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.52377 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63575 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.74673 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.85872 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9697 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.08368 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.19567 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.30865 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.42163 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.53461 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6496 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.76258 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.87756 s Remaining CPU time: 1797.12 s c Elapsed CPU time: 2.99154 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 3.10653 s Remaining CPU time: 1796.89 s c Elapsed CPU time: 3.22151 s Remaining CPU time: 1796.78 s c Elapsed CPU time: 3.33749 s Remaining CPU time: 1796.66 s c Elapsed CPU time: 3.45248 s Remaining CPU time: 1796.55 s c Elapsed CPU time: 3.56646 s Remaining CPU time: 1796.43 s c Elapsed CPU time: 3.68044 s Remaining CPU time: 1796.32 s c Elapsed CPU time: 3.79642 s Remaining CPU time: 1796.2 s c Elapsed CPU time: 3.9104 s Remaining CPU time: 1796.09 s c Elapsed CPU time: 4.02539 s Remaining CPU time: 1795.97 s c Elapsed CPU time: 4.13937 s Remaining CPU time: 1795.86 s c Elapsed CPU time: 4.25435 s Remaining CPU time: 1795.75 s c Elapsed CPU time: 4.36734 s Remaining CPU time: 1795.63 s c Elapsed CPU time: 4.48232 s Remaining CPU time: 1795.52 s c Elapsed CPU time: 4.5973 s Remaining CPU time: 1795.4 s c Elapsed CPU time: 4.71228 s Remaining CPU time: 1795.29 s c Elapsed CPU time: 4.82627 s Remaining CPU time: 1795.17 s c Elapsed CPU time: 4.94025 s Remaining CPU time: 1795.06 s c Elapsed CPU time: 5.05523 s Remaining CPU time: 1794.94 s c Elapsed CPU time: 5.16721 s Remaining CPU time: 1794.83 s c Elapsed CPU time: 5.2832 s Remaining CPU time: 1794.72 s c Elapsed CPU time: 5.39618 s Remaining CPU time: 1794.6 s c Elapsed CPU time: 5.51016 s Remaining CPU time: 1794.49 s c Elapsed CPU time: 5.62514 s Remaining CPU time: 1794.37 s c Elapsed CPU time: 5.73913 s Remaining CPU time: 1794.26 s c Elapsed CPU time: 5.85511 s Remaining CPU time: 1794.14 s c Elapsed CPU time: 5.96909 s Remaining CPU time: 1794.03 s c Elapsed CPU time: 6.08408 s Remaining CPU time: 1793.92 s c Elapsed CPU time: 6.19906 s Remaining CPU time: 1793.8 s c Elapsed CPU time: 6.31304 s Remaining CPU time: 1793.69 s c Elapsed CPU time: 6.42702 s Remaining CPU time: 1793.57 s c Elapsed CPU time: 6.54101 s Remaining CPU time: 1793.46 s c Elapsed CPU time: 6.65499 s Remaining CPU time: 1793.35 s c Elapsed CPU time: 6.76897 s Remaining CPU time: 1793.23 s c Elapsed CPU time: 6.88395 s Remaining CPU time: 1793.12 s c Elapsed CPU time: 6.99694 s Remaining CPU time: 1793 s c Elapsed CPU time: 7.11192 s Remaining CPU time: 1792.89 s c Elapsed CPU time: 7.2269 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.34188 s Remaining CPU time: 1792.66 s c Elapsed CPU time: 7.45787 s Remaining CPU time: 1792.54 s c Elapsed CPU time: 7.57285 s Remaining CPU time: 1792.43 s c Elapsed CPU time: 7.68883 s Remaining CPU time: 1792.31 s c Elapsed CPU time: 7.80281 s Remaining CPU time: 1792.2 s c Elapsed CPU time: 7.9198 s Remaining CPU time: 1792.08 s c Elapsed CPU time: 8.03478 s Remaining CPU time: 1791.97 s c Elapsed CPU time: 8.14976 s Remaining CPU time: 1791.85 s c Elapsed CPU time: 8.26474 s Remaining CPU time: 1791.74 s c Elapsed CPU time: 8.38072 s Remaining CPU time: 1791.62 s c Elapsed CPU time: 8.49571 s Remaining CPU time: 1791.5 s c Elapsed CPU time: 8.60969 s Remaining CPU time: 1791.39 s c Elapsed CPU time: 8.72367 s Remaining CPU time: 1791.28 s c Elapsed CPU time: 8.84066 s Remaining CPU time: 1791.16 s c Elapsed CPU time: 8.95564 s Remaining CPU time: 1791.04 s c Elapsed CPU time: 9.07162 s Remaining CPU time: 1790.93 s c Elapsed CPU time: 9.1866 s Remaining CPU time: 1790.81 s c Elapsed CPU time: 9.30358 s Remaining CPU time: 1790.7 s c Elapsed CPU time: 9.41957 s Remaining CPU time: 1790.58 s c Elapsed CPU time: 9.53455 s Remaining CPU time: 1790.47 s c Elapsed CPU time: 9.65053 s Remaining CPU time: 1790.35 s c Elapsed CPU time: 9.76351 s Remaining CPU time: 1790.24 s c Elapsed CPU time: 9.8785 s Remaining CPU time: 1790.12 s c Elapsed CPU time: 9.99448 s Remaining CPU time: 1790.01 s c Elapsed CPU time: 10.1095 s Remaining CPU time: 1789.89 s c Elapsed CPU time: 10.2244 s Remaining CPU time: 1789.78 s c Elapsed CPU time: 10.3404 s Remaining CPU time: 1789.66 s c Elapsed CPU time: 10.4564 s Remaining CPU time: 1789.54 s c Elapsed CPU time: 10.5714 s Remaining CPU time: 1789.43 s c Elapsed CPU time: 10.6854 s Remaining CPU time: 1789.31 s c Elapsed CPU time: 10.8014 s Remaining CPU time: 1789.2 s c Elapsed CPU time: 10.9183 s Remaining CPU time: 1789.08 s c Elapsed CPU time: 11.0343 s Remaining CPU time: 1788.97 s c Elapsed CPU time: 11.1513 s Remaining CPU time: 1788.85 s c Elapsed CPU time: 11.2663 s Remaining CPU time: 1788.73 s c Elapsed CPU time: 11.3813 s Remaining CPU time: 1788.62 s c Elapsed CPU time: 11.4963 s Remaining CPU time: 1788.5 s c Elapsed CPU time: 11.6132 s Remaining CPU time: 1788.39 s c Elapsed CPU time: 11.7292 s Remaining CPU time: 1788.27 s c Elapsed CPU time: 11.8472 s Remaining CPU time: 1788.15 s c Elapsed CPU time: 11.9632 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 12.0802 s Remaining CPU time: 1787.92 s c Elapsed CPU time: 12.1961 s Remaining CPU time: 1787.8 s c Elapsed CPU time: 12.3141 s Remaining CPU time: 1787.69 s c Elapsed CPU time: 12.4301 s Remaining CPU time: 1787.57 s c Elapsed CPU time: 12.5461 s Remaining CPU time: 1787.45 s c Elapsed CPU time: 12.6611 s Remaining CPU time: 1787.34 s c Elapsed CPU time: 12.7791 s Remaining CPU time: 1787.22 s c Elapsed CPU time: 12.894 s Remaining CPU time: 1787.11 s c Elapsed CPU time: 13.01 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.126 s Remaining CPU time: 1786.87 s c Elapsed CPU time: 13.243 s Remaining CPU time: 1786.76 s c Elapsed CPU time: 13.358 s Remaining CPU time: 1786.64 s c Elapsed CPU time: 13.475 s Remaining CPU time: 1786.53 s c Elapsed CPU time: 13.5909 s Remaining CPU time: 1786.41 s c Elapsed CPU time: 13.7069 s Remaining CPU time: 1786.29 s c Elapsed CPU time: 13.8229 s Remaining CPU time: 1786.18 s c Elapsed CPU time: 13.9389 s Remaining CPU time: 1786.06 s c Elapsed CPU time: 14.0559 s Remaining CPU time: 1785.94 s c Elapsed CPU time: 14.1738 s Remaining CPU time: 1785.83 s c Elapsed CPU time: 14.2908 s Remaining CPU time: 1785.71 s c Elapsed CPU time: 14.4088 s Remaining CPU time: 1785.59 s c Elapsed CPU time: 14.5238 s Remaining CPU time: 1785.48 s c Elapsed CPU time: 14.6398 s Remaining CPU time: 1785.36 s c Elapsed CPU time: 14.7558 s Remaining CPU time: 1785.24 s c Elapsed CPU time: 14.8727 s Remaining CPU time: 1785.13 s c Elapsed CPU time: 14.9897 s Remaining CPU time: 1785.01 s c Elapsed CPU time: 15.1077 s Remaining CPU time: 1784.89 s c Elapsed CPU time: 15.2257 s Remaining CPU time: 1784.77 s c Elapsed CPU time: 15.3437 s Remaining CPU time: 1784.66 s c Elapsed CPU time: 15.4626 s Remaining CPU time: 1784.54 s c Elapsed CPU time: 15.5816 s Remaining CPU time: 1784.42 s c Elapsed CPU time: 15.6986 s Remaining CPU time: 1784.3 s c Elapsed CPU time: 15.8186 s Remaining CPU time: 1784.18 s c Elapsed CPU time: 15.9376 s Remaining CPU time: 1784.06 s c Elapsed CPU time: 16.0576 s Remaining CPU time: 1783.94 s c Elapsed CPU time: 16.1755 s Remaining CPU time: 1783.82 s c Elapsed CPU time: 16.2935 s Remaining CPU time: 1783.71 s c Elapsed CPU time: 16.4135 s Remaining CPU time: 1783.59 s c Elapsed CPU time: 16.5325 s Remaining CPU time: 1783.47 s c Elapsed CPU time: 16.6525 s Remaining CPU time: 1783.35 s c Elapsed CPU time: 16.7705 s Remaining CPU time: 1783.23 s c Elapsed CPU time: 16.8904 s Remaining CPU time: 1783.11 s c Elapsed CPU time: 17.0084 s Remaining CPU time: 1782.99 s c Elapsed CPU time: 17.1264 s Remaining CPU time: 1782.87 s c Elapsed CPU time: 17.2444 s Remaining CPU time: 1782.76 s c Elapsed CPU time: 17.3634 s Remaining CPU time: 1782.64 s c Elapsed CPU time: 17.4823 s Remaining CPU time: 1782.52 s c Elapsed CPU time: 17.6023 s Remaining CPU time: 1782.4 s c Elapsed CPU time: 17.7233 s Remaining CPU time: 1782.28 s c Elapsed CPU time: 17.8423 s Remaining CPU time: 1782.16 s c Elapsed CPU time: 17.9613 s Remaining CPU time: 1782.04 s c Elapsed CPU time: 18.0813 s Remaining CPU time: 1781.92 s c Elapsed CPU time: 18.2022 s Remaining CPU time: 1781.8 s c Elapsed CPU time: 18.3212 s Remaining CPU time: 1781.68 s c Elapsed CPU time: 18.4412 s Remaining CPU time: 1781.56 s c Elapsed CPU time: 18.5612 s Remaining CPU time: 1781.44 s c Elapsed CPU time: 18.6812 s Remaining CPU time: 1781.32 s c Elapsed CPU time: 18.8001 s Remaining CPU time: 1781.2 s c Elapsed CPU time: 18.9191 s Remaining CPU time: 1781.08 s c Elapsed CPU time: 19.0381 s Remaining CPU time: 1780.96 s c Elapsed CPU time: 19.1561 s Remaining CPU time: 1780.84 s c Elapsed CPU time: 19.2761 s Remaining CPU time: 1780.72 s c Elapsed CPU time: 19.3961 s Remaining CPU time: 1780.6 s c Elapsed CPU time: 19.515 s Remaining CPU time: 1780.48 s c Elapsed CPU time: 19.635 s Remaining CPU time: 1780.36 s c Elapsed CPU time: 19.753 s Remaining CPU time: 1780.25 s c Elapsed CPU time: 19.873 s Remaining CPU time: 1780.13 s c Elapsed CPU time: 19.995 s Remaining CPU time: 1780.01 s c Elapsed CPU time: 20.1149 s Remaining CPU time: 1779.89 s c Elapsed CPU time: 20.2369 s Remaining CPU time: 1779.76 s c Elapsed CPU time: 20.3559 s Remaining CPU time: 1779.64 s c Elapsed CPU time: 20.4769 s Remaining CPU time: 1779.52 s c Elapsed CPU time: 20.5979 s Remaining CPU time: 1779.4 s c Elapsed CPU time: 20.7188 s Remaining CPU time: 1779.28 s c Elapsed CPU time: 20.8398 s Remaining CPU time: 1779.16 s c Elapsed CPU time: 20.9598 s Remaining CPU time: 1779.04 s c Elapsed CPU time: 21.0808 s Remaining CPU time: 1778.92 s c Elapsed CPU time: 21.2058 s Remaining CPU time: 1778.79 s c Elapsed CPU time: 21.3328 s Remaining CPU time: 1778.67 s c Elapsed CPU time: 21.4577 s Remaining CPU time: 1778.54 s c Elapsed CPU time: 21.5857 s Remaining CPU time: 1778.41 s c Elapsed CPU time: 21.7127 s Remaining CPU time: 1778.29 s c Elapsed CPU time: 21.8377 s Remaining CPU time: 1778.16 s c Elapsed CPU time: 21.9647 s Remaining CPU time: 1778.04 s c Elapsed CPU time: 22.0926 s Remaining CPU time: 1777.91 s c Elapsed CPU time: 22.2186 s Remaining CPU time: 1777.78 s c Elapsed CPU time: 22.3456 s Remaining CPU time: 1777.65 s c Elapsed CPU time: 22.4726 s Remaining CPU time: 1777.53 s c Elapsed CPU time: 22.6166 s Remaining CPU time: 1777.38 s c Elapsed CPU time: 22.7475 s Remaining CPU time: 1777.25 s c Elapsed CPU time: 22.8735 s Remaining CPU time: 1777.13 s c Elapsed CPU time: 22.9995 s Remaining CPU time: 1777 s c Elapsed CPU time: 23.1255 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.2515 s Remaining CPU time: 1776.75 s c Elapsed CPU time: 23.3784 s Remaining CPU time: 1776.62 s c Elapsed CPU time: 23.5064 s Remaining CPU time: 1776.49 s c Elapsed CPU time: 23.6344 s Remaining CPU time: 1776.37 s c Elapsed CPU time: 23.7644 s Remaining CPU time: 1776.24 s c Elapsed CPU time: 23.9114 s Remaining CPU time: 1776.09 s c Elapsed CPU time: 24.0443 s Remaining CPU time: 1775.96 s c Elapsed CPU time: 24.1703 s Remaining CPU time: 1775.83 s c Elapsed CPU time: 24.2993 s Remaining CPU time: 1775.7 s c Elapsed CPU time: 24.4263 s Remaining CPU time: 1775.57 s c Elapsed CPU time: 24.5543 s Remaining CPU time: 1775.45 s c Elapsed CPU time: 24.6822 s Remaining CPU time: 1775.32 s c Elapsed CPU time: 24.8112 s Remaining CPU time: 1775.19 s c Elapsed CPU time: 24.9402 s Remaining CPU time: 1775.06 s c Elapsed CPU time: 25.0692 s Remaining CPU time: 1774.93 s c Elapsed CPU time: 25.2152 s Remaining CPU time: 1774.78 s c Elapsed CPU time: 25.3471 s Remaining CPU time: 1774.65 s c Elapsed CPU time: 25.4751 s Remaining CPU time: 1774.52 s c Elapsed CPU time: 25.6041 s Remaining CPU time: 1774.4 s c Elapsed CPU time: 25.7511 s Remaining CPU time: 1774.25 s c Elapsed CPU time: 25.8841 s Remaining CPU time: 1774.12 s c Elapsed CPU time: 26.013 s Remaining CPU time: 1773.99 s c Elapsed CPU time: 26.143 s Remaining CPU time: 1773.86 s c Elapsed CPU time: 26.273 s Remaining CPU time: 1773.73 s c Elapsed CPU time: 26.401 s Remaining CPU time: 1773.6 s c Elapsed CPU time: 26.529 s Remaining CPU time: 1773.47 s c Elapsed CPU time: 26.6589 s Remaining CPU time: 1773.34 s c Elapsed CPU time: 26.7889 s Remaining CPU time: 1773.21 s c Elapsed CPU time: 26.9189 s Remaining CPU time: 1773.08 s c Elapsed CPU time: 27.0629 s Remaining CPU time: 1772.94 s c Elapsed CPU time: 27.1969 s Remaining CPU time: 1772.8 s c Elapsed CPU time: 27.3278 s Remaining CPU time: 1772.67 s c Elapsed CPU time: 27.4588 s Remaining CPU time: 1772.54 s c Elapsed CPU time: 27.6058 s Remaining CPU time: 1772.39 s c Elapsed CPU time: 27.7408 s Remaining CPU time: 1772.26 s c Elapsed CPU time: 27.8728 s Remaining CPU time: 1772.13 s c Elapsed CPU time: 28.0037 s Remaining CPU time: 1772 s c Elapsed CPU time: 28.1347 s Remaining CPU time: 1771.87 s c Elapsed CPU time: 28.2657 s Remaining CPU time: 1771.73 s c Elapsed CPU time: 28.3977 s Remaining CPU time: 1771.6 s c Elapsed CPU time: 28.5297 s Remaining CPU time: 1771.47 s c Elapsed CPU time: 28.6626 s Remaining CPU time: 1771.34 s c Elapsed CPU time: 28.7936 s Remaining CPU time: 1771.21 s c Elapsed CPU time: 28.9246 s Remaining CPU time: 1771.08 s c Elapsed CPU time: 29.0566 s Remaining CPU time: 1770.94 s c Elapsed CPU time: 29.1896 s Remaining CPU time: 1770.81 s c Elapsed CPU time: 29.3215 s Remaining CPU time: 1770.68 s c Elapsed CPU time: 29.4535 s Remaining CPU time: 1770.55 s c Elapsed CPU time: 29.5845 s Remaining CPU time: 1770.42 s c Elapsed CPU time: 29.7165 s Remaining CPU time: 1770.28 s c Elapsed CPU time: 29.8475 s Remaining CPU time: 1770.15 s c Elapsed CPU time: 29.9794 s Remaining CPU time: 1770.02 s c Elapsed CPU time: 30.1134 s Remaining CPU time: 1769.89 s c Elapsed CPU time: 30.2484 s Remaining CPU time: 1769.75 s c Elapsed CPU time: 30.3824 s Remaining CPU time: 1769.62 s c Elapsed CPU time: 30.5154 s Remaining CPU time: 1769.48 s c Elapsed CPU time: 30.6513 s Remaining CPU time: 1769.35 s c Elapsed CPU time: 30.7853 s Remaining CPU time: 1769.21 s c Elapsed CPU time: 30.9193 s Remaining CPU time: 1769.08 s c Elapsed CPU time: 31.0533 s Remaining CPU time: 1768.95 s c Elapsed CPU time: 31.1863 s Remaining CPU time: 1768.81 s c Elapsed CPU time: 31.3202 s Remaining CPU time: 1768.68 s c Elapsed CPU time: 31.4552 s Remaining CPU time: 1768.54 s c Elapsed CPU time: 31.5902 s Remaining CPU time: 1768.41 s c Elapsed CPU time: 31.7262 s Remaining CPU time: 1768.27 s c Elapsed CPU time: 31.8612 s Remaining CPU time: 1768.14 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113162 217746 | 37720 0 nan | 0.000 % | c =============================================================================== c Verified 113162 original clauses.