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.08 s | c | Number Variables: 18169 | c | Number Clauses: 112632 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.19397 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.416936 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.636903 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.747886 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.858869 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.969852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.08184 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.19282 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.3048 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41678 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.52877 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.64075 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.75273 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.86472 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9767 s Remaining CPU time: 1798.02 s c Elapsed CPU time: 2.08768 s Remaining CPU time: 1797.91 s c Elapsed CPU time: 2.20066 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.31365 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.42563 s Remaining CPU time: 1797.57 s c Elapsed CPU time: 2.53561 s Remaining CPU time: 1797.46 s c Elapsed CPU time: 2.6466 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.76058 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.87456 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.98655 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 3.10053 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.21251 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.32449 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.43648 s Remaining CPU time: 1796.56 s c Elapsed CPU time: 3.54846 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.66144 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.77343 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.88741 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.00239 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.11637 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.23036 s Remaining CPU time: 1795.77 s c Elapsed CPU time: 4.34434 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.45632 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.5713 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.68429 s Remaining CPU time: 1795.32 s c Elapsed CPU time: 4.79927 s Remaining CPU time: 1795.2 s c Elapsed CPU time: 4.91325 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 5.02823 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.14222 s Remaining CPU time: 1794.86 s c Elapsed CPU time: 5.2552 s Remaining CPU time: 1794.74 s c Elapsed CPU time: 5.36818 s Remaining CPU time: 1794.63 s c Elapsed CPU time: 5.48317 s Remaining CPU time: 1794.52 s c Elapsed CPU time: 5.59715 s Remaining CPU time: 1794.4 s c Elapsed CPU time: 5.71213 s Remaining CPU time: 1794.29 s c Elapsed CPU time: 5.82611 s Remaining CPU time: 1794.17 s c Elapsed CPU time: 5.9411 s Remaining CPU time: 1794.06 s c Elapsed CPU time: 6.05508 s Remaining CPU time: 1793.94 s c Elapsed CPU time: 6.16906 s Remaining CPU time: 1793.83 s c Elapsed CPU time: 6.28504 s Remaining CPU time: 1793.71 s c Elapsed CPU time: 6.39903 s Remaining CPU time: 1793.6 s c Elapsed CPU time: 6.51301 s Remaining CPU time: 1793.49 s c Elapsed CPU time: 6.62799 s Remaining CPU time: 1793.37 s c Elapsed CPU time: 6.74097 s Remaining CPU time: 1793.26 s c Elapsed CPU time: 6.85596 s Remaining CPU time: 1793.14 s c Elapsed CPU time: 6.97094 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 7.08692 s Remaining CPU time: 1792.91 s c Elapsed CPU time: 7.2029 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.31889 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.43387 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.54885 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.66483 s Remaining CPU time: 1792.34 s c Elapsed CPU time: 7.78182 s Remaining CPU time: 1792.22 s c Elapsed CPU time: 7.8978 s Remaining CPU time: 1792.1 s c Elapsed CPU time: 8.01378 s Remaining CPU time: 1791.99 s c Elapsed CPU time: 8.12876 s Remaining CPU time: 1791.87 s c Elapsed CPU time: 8.24375 s Remaining CPU time: 1791.76 s c Elapsed CPU time: 8.35973 s Remaining CPU time: 1791.64 s c Elapsed CPU time: 8.47371 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.58969 s Remaining CPU time: 1791.41 s c Elapsed CPU time: 8.70568 s Remaining CPU time: 1791.29 s c Elapsed CPU time: 8.82066 s Remaining CPU time: 1791.18 s c Elapsed CPU time: 8.93464 s Remaining CPU time: 1791.07 s c Elapsed CPU time: 9.05062 s Remaining CPU time: 1790.95 s c Elapsed CPU time: 9.16661 s Remaining CPU time: 1790.83 s c Elapsed CPU time: 9.28259 s Remaining CPU time: 1790.72 s c Elapsed CPU time: 9.39757 s Remaining CPU time: 1790.6 s c Elapsed CPU time: 9.51255 s Remaining CPU time: 1790.49 s c Elapsed CPU time: 9.62654 s Remaining CPU time: 1790.37 s c Elapsed CPU time: 9.74352 s Remaining CPU time: 1790.26 s c Elapsed CPU time: 9.8605 s Remaining CPU time: 1790.14 s c Elapsed CPU time: 9.97548 s Remaining CPU time: 1790.02 s c Elapsed CPU time: 10.0915 s Remaining CPU time: 1789.91 s c Elapsed CPU time: 10.2084 s Remaining CPU time: 1789.79 s c Elapsed CPU time: 10.3254 s Remaining CPU time: 1789.67 s c Elapsed CPU time: 10.4414 s Remaining CPU time: 1789.56 s c Elapsed CPU time: 10.5574 s Remaining CPU time: 1789.44 s c Elapsed CPU time: 10.6744 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.7904 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.9063 s Remaining CPU time: 1789.09 s c Elapsed CPU time: 11.0243 s Remaining CPU time: 1788.98 s c Elapsed CPU time: 11.1403 s Remaining CPU time: 1788.86 s c Elapsed CPU time: 11.2573 s Remaining CPU time: 1788.74 s c Elapsed CPU time: 11.3733 s Remaining CPU time: 1788.63 s c Elapsed CPU time: 11.4903 s Remaining CPU time: 1788.51 s c Elapsed CPU time: 11.6082 s Remaining CPU time: 1788.39 s c Elapsed CPU time: 11.7262 s Remaining CPU time: 1788.27 s c Elapsed CPU time: 11.8432 s Remaining CPU time: 1788.16 s c Elapsed CPU time: 11.9602 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 12.0762 s Remaining CPU time: 1787.92 s c Elapsed CPU time: 12.1931 s Remaining CPU time: 1787.81 s c Elapsed CPU time: 12.3111 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.5481 s Remaining CPU time: 1787.45 s c Elapsed CPU time: 12.6661 s Remaining CPU time: 1787.33 s c Elapsed CPU time: 12.7851 s Remaining CPU time: 1787.21 s c Elapsed CPU time: 12.901 s Remaining CPU time: 1787.1 s c Elapsed CPU time: 13.019 s Remaining CPU time: 1786.98 s c Elapsed CPU time: 13.136 s Remaining CPU time: 1786.86 s c Elapsed CPU time: 13.253 s Remaining CPU time: 1786.75 s c Elapsed CPU time: 13.372 s Remaining CPU time: 1786.63 s c Elapsed CPU time: 13.4919 s Remaining CPU time: 1786.51 s c Elapsed CPU time: 13.6099 s Remaining CPU time: 1786.39 s c Elapsed CPU time: 13.7279 s Remaining CPU time: 1786.27 s c Elapsed CPU time: 13.8469 s Remaining CPU time: 1786.15 s c Elapsed CPU time: 13.9659 s Remaining CPU time: 1786.03 s c Elapsed CPU time: 14.0849 s Remaining CPU time: 1785.92 s c Elapsed CPU time: 14.2038 s Remaining CPU time: 1785.8 s c Elapsed CPU time: 14.3228 s Remaining CPU time: 1785.68 s c Elapsed CPU time: 14.4418 s Remaining CPU time: 1785.56 s c Elapsed CPU time: 14.5618 s Remaining CPU time: 1785.44 s c Elapsed CPU time: 14.6818 s Remaining CPU time: 1785.32 s c Elapsed CPU time: 14.8007 s Remaining CPU time: 1785.2 s c Elapsed CPU time: 14.9207 s Remaining CPU time: 1785.08 s c Elapsed CPU time: 15.0377 s Remaining CPU time: 1784.96 s c Elapsed CPU time: 15.1567 s Remaining CPU time: 1784.84 s c Elapsed CPU time: 15.2767 s Remaining CPU time: 1784.72 s c Elapsed CPU time: 15.3967 s Remaining CPU time: 1784.6 s c Elapsed CPU time: 15.5176 s Remaining CPU time: 1784.48 s c Elapsed CPU time: 15.6386 s Remaining CPU time: 1784.36 s c Elapsed CPU time: 15.7576 s Remaining CPU time: 1784.24 s c Elapsed CPU time: 15.8786 s Remaining CPU time: 1784.12 s c Elapsed CPU time: 15.9996 s Remaining CPU time: 1784 s c Elapsed CPU time: 16.1185 s Remaining CPU time: 1783.88 s c Elapsed CPU time: 16.2385 s Remaining CPU time: 1783.76 s c Elapsed CPU time: 16.3565 s Remaining CPU time: 1783.64 s c Elapsed CPU time: 16.4765 s Remaining CPU time: 1783.52 s c Elapsed CPU time: 16.5965 s Remaining CPU time: 1783.4 s c Elapsed CPU time: 16.7175 s Remaining CPU time: 1783.28 s c Elapsed CPU time: 16.8374 s Remaining CPU time: 1783.16 s c Elapsed CPU time: 16.9564 s Remaining CPU time: 1783.04 s c Elapsed CPU time: 17.0764 s Remaining CPU time: 1782.92 s c Elapsed CPU time: 17.1964 s Remaining CPU time: 1782.8 s c Elapsed CPU time: 17.3174 s Remaining CPU time: 1782.68 s c Elapsed CPU time: 17.4373 s Remaining CPU time: 1782.56 s c Elapsed CPU time: 17.5573 s Remaining CPU time: 1782.44 s c Elapsed CPU time: 17.6773 s Remaining CPU time: 1782.32 s c Elapsed CPU time: 17.7973 s Remaining CPU time: 1782.2 s c Elapsed CPU time: 17.9173 s Remaining CPU time: 1782.08 s c Elapsed CPU time: 18.0383 s Remaining CPU time: 1781.96 s c Elapsed CPU time: 18.1592 s Remaining CPU time: 1781.84 s c Elapsed CPU time: 18.2792 s Remaining CPU time: 1781.72 s c Elapsed CPU time: 18.4012 s Remaining CPU time: 1781.6 s c Elapsed CPU time: 18.5212 s Remaining CPU time: 1781.48 s c Elapsed CPU time: 18.6412 s Remaining CPU time: 1781.36 s c Elapsed CPU time: 18.7621 s Remaining CPU time: 1781.24 s c Elapsed CPU time: 18.8821 s Remaining CPU time: 1781.12 s c Elapsed CPU time: 19.0031 s Remaining CPU time: 1781 s c Elapsed CPU time: 19.1221 s Remaining CPU time: 1780.88 s c Elapsed CPU time: 19.2431 s Remaining CPU time: 1780.76 s c Elapsed CPU time: 19.3651 s Remaining CPU time: 1780.63 s c Elapsed CPU time: 19.485 s Remaining CPU time: 1780.51 s c Elapsed CPU time: 19.606 s Remaining CPU time: 1780.39 s c Elapsed CPU time: 19.727 s Remaining CPU time: 1780.27 s c Elapsed CPU time: 19.85 s Remaining CPU time: 1780.15 s c Elapsed CPU time: 19.97 s Remaining CPU time: 1780.03 s c Elapsed CPU time: 20.0899 s Remaining CPU time: 1779.91 s c Elapsed CPU time: 20.2129 s Remaining CPU time: 1779.79 s c Elapsed CPU time: 20.3349 s Remaining CPU time: 1779.67 s c Elapsed CPU time: 20.4579 s Remaining CPU time: 1779.54 s c Elapsed CPU time: 20.5789 s Remaining CPU time: 1779.42 s c Elapsed CPU time: 20.7009 s Remaining CPU time: 1779.3 s c Elapsed CPU time: 20.8238 s Remaining CPU time: 1779.18 s c Elapsed CPU time: 20.9458 s Remaining CPU time: 1779.05 s c Elapsed CPU time: 21.0678 s Remaining CPU time: 1778.93 s c Elapsed CPU time: 21.1908 s Remaining CPU time: 1778.81 s c Elapsed CPU time: 21.3138 s Remaining CPU time: 1778.69 s c Elapsed CPU time: 21.4407 s Remaining CPU time: 1778.56 s c Elapsed CPU time: 21.5677 s Remaining CPU time: 1778.43 s c Elapsed CPU time: 21.6937 s Remaining CPU time: 1778.31 s c Elapsed CPU time: 21.8197 s Remaining CPU time: 1778.18 s c Elapsed CPU time: 21.9467 s Remaining CPU time: 1778.05 s c Elapsed CPU time: 22.0726 s Remaining CPU time: 1777.93 s c Elapsed CPU time: 22.1986 s Remaining CPU time: 1777.8 s c Elapsed CPU time: 22.3256 s Remaining CPU time: 1777.67 s c Elapsed CPU time: 22.4526 s Remaining CPU time: 1777.55 s c Elapsed CPU time: 22.5786 s Remaining CPU time: 1777.42 s c Elapsed CPU time: 22.7055 s Remaining CPU time: 1777.29 s c Elapsed CPU time: 22.8295 s Remaining CPU time: 1777.17 s c Elapsed CPU time: 22.9555 s Remaining CPU time: 1777.04 s c Elapsed CPU time: 23.0825 s Remaining CPU time: 1776.92 s c Elapsed CPU time: 23.2095 s Remaining CPU time: 1776.79 s c Elapsed CPU time: 23.3355 s Remaining CPU time: 1776.66 s c Elapsed CPU time: 23.4644 s Remaining CPU time: 1776.54 s c Elapsed CPU time: 23.5904 s Remaining CPU time: 1776.41 s c Elapsed CPU time: 23.7184 s Remaining CPU time: 1776.28 s c Elapsed CPU time: 23.8464 s Remaining CPU time: 1776.15 s c Elapsed CPU time: 23.9744 s Remaining CPU time: 1776.03 s c Elapsed CPU time: 24.1013 s Remaining CPU time: 1775.9 s c Elapsed CPU time: 24.2283 s Remaining CPU time: 1775.77 s c Elapsed CPU time: 24.3563 s Remaining CPU time: 1775.64 s c Elapsed CPU time: 24.4833 s Remaining CPU time: 1775.52 s c Elapsed CPU time: 24.6103 s Remaining CPU time: 1775.39 s c Elapsed CPU time: 24.7332 s Remaining CPU time: 1775.27 s c Elapsed CPU time: 24.8602 s Remaining CPU time: 1775.14 s c Elapsed CPU time: 24.9862 s Remaining CPU time: 1775.01 s c Elapsed CPU time: 25.1132 s Remaining CPU time: 1774.89 s c Elapsed CPU time: 25.2412 s Remaining CPU time: 1774.76 s c Elapsed CPU time: 25.3681 s Remaining CPU time: 1774.63 s c Elapsed CPU time: 25.4961 s Remaining CPU time: 1774.5 s c Elapsed CPU time: 25.6241 s Remaining CPU time: 1774.38 s c Elapsed CPU time: 25.7521 s Remaining CPU time: 1774.25 s c Elapsed CPU time: 25.8801 s Remaining CPU time: 1774.12 s c Elapsed CPU time: 26.01 s Remaining CPU time: 1773.99 s c Elapsed CPU time: 26.138 s Remaining CPU time: 1773.86 s c Elapsed CPU time: 26.268 s Remaining CPU time: 1773.73 s c Elapsed CPU time: 26.397 s Remaining CPU time: 1773.6 s c Elapsed CPU time: 26.526 s Remaining CPU time: 1773.47 s c Elapsed CPU time: 26.6549 s Remaining CPU time: 1773.35 s c Elapsed CPU time: 26.7859 s Remaining CPU time: 1773.21 s c Elapsed CPU time: 26.9149 s Remaining CPU time: 1773.09 s c Elapsed CPU time: 27.0439 s Remaining CPU time: 1772.96 s c Elapsed CPU time: 27.1749 s Remaining CPU time: 1772.83 s c Elapsed CPU time: 27.3048 s Remaining CPU time: 1772.7 s c Elapsed CPU time: 27.4348 s Remaining CPU time: 1772.57 s c Elapsed CPU time: 27.5668 s Remaining CPU time: 1772.43 s c Elapsed CPU time: 27.6938 s Remaining CPU time: 1772.31 s c Elapsed CPU time: 27.8258 s Remaining CPU time: 1772.17 s c Elapsed CPU time: 27.9557 s Remaining CPU time: 1772.04 s c Elapsed CPU time: 28.0867 s Remaining CPU time: 1771.91 s c Elapsed CPU time: 28.2177 s Remaining CPU time: 1771.78 s c Elapsed CPU time: 28.3487 s Remaining CPU time: 1771.65 s c Elapsed CPU time: 28.4797 s Remaining CPU time: 1771.52 s c Elapsed CPU time: 28.6136 s Remaining CPU time: 1771.39 s c Elapsed CPU time: 28.7436 s Remaining CPU time: 1771.26 s c Elapsed CPU time: 28.8766 s Remaining CPU time: 1771.12 s c Elapsed CPU time: 29.0086 s Remaining CPU time: 1770.99 s c Elapsed CPU time: 29.1406 s Remaining CPU time: 1770.86 s c Elapsed CPU time: 29.2735 s Remaining CPU time: 1770.73 s c Elapsed CPU time: 29.4055 s Remaining CPU time: 1770.59 s c Elapsed CPU time: 29.5395 s Remaining CPU time: 1770.46 s c Elapsed CPU time: 29.6715 s Remaining CPU time: 1770.33 s c Elapsed CPU time: 29.8035 s Remaining CPU time: 1770.2 s c Elapsed CPU time: 29.9374 s Remaining CPU time: 1770.06 s c Elapsed CPU time: 30.0714 s Remaining CPU time: 1769.93 s c Elapsed CPU time: 30.2054 s Remaining CPU time: 1769.79 s c Elapsed CPU time: 30.3384 s Remaining CPU time: 1769.66 s c Elapsed CPU time: 30.4714 s Remaining CPU time: 1769.53 s c Elapsed CPU time: 30.6053 s Remaining CPU time: 1769.39 s c Elapsed CPU time: 30.7403 s Remaining CPU time: 1769.26 s c Elapsed CPU time: 30.8773 s Remaining CPU time: 1769.12 s c Elapsed CPU time: 31.0123 s Remaining CPU time: 1768.99 s c Elapsed CPU time: 31.1473 s Remaining CPU time: 1768.85 s c Elapsed CPU time: 31.2822 s Remaining CPU time: 1768.72 s c Elapsed CPU time: 31.4182 s Remaining CPU time: 1768.58 s c Elapsed CPU time: 31.5532 s Remaining CPU time: 1768.45 s c Elapsed CPU time: 31.6892 s Remaining CPU time: 1768.31 s c Elapsed CPU time: 31.8282 s Remaining CPU time: 1768.17 s c Elapsed CPU time: 31.9641 s Remaining CPU time: 1768.04 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 16 113164 217775 | 37721 0 nan | 0.000 % | c =============================================================================== c Verified 113164 original clauses.