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.071989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.298954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.409937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.740887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.84987 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.07284 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.18182 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2938 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.40579 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.51777 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.62875 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.73974 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.85172 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.9637 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.07568 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.18767 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.29965 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.41263 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.52662 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6396 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.75258 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.86456 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.97955 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.09353 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.20751 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.3215 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.43448 s Remaining CPU time: 1796.57 s c Elapsed CPU time: 3.54746 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.77443 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.88841 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.00439 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.11837 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.23336 s Remaining CPU time: 1795.77 s c Elapsed CPU time: 4.34834 s Remaining CPU time: 1795.65 s c Elapsed CPU time: 4.46332 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.5783 s Remaining CPU time: 1795.42 s c Elapsed CPU time: 4.69529 s Remaining CPU time: 1795.3 s c Elapsed CPU time: 4.81127 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.92725 s Remaining CPU time: 1795.07 s c Elapsed CPU time: 5.04423 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.16122 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.2762 s Remaining CPU time: 1794.72 s c Elapsed CPU time: 5.39118 s Remaining CPU time: 1794.61 s c Elapsed CPU time: 5.50816 s Remaining CPU time: 1794.49 s c Elapsed CPU time: 5.62614 s Remaining CPU time: 1794.37 s c Elapsed CPU time: 5.74213 s Remaining CPU time: 1794.26 s c Elapsed CPU time: 5.85911 s Remaining CPU time: 1794.14 s c Elapsed CPU time: 5.97609 s Remaining CPU time: 1794.02 s c Elapsed CPU time: 6.09607 s Remaining CPU time: 1793.9 s c Elapsed CPU time: 6.21406 s Remaining CPU time: 1793.79 s c Elapsed CPU time: 6.33104 s Remaining CPU time: 1793.67 s c Elapsed CPU time: 6.44902 s Remaining CPU time: 1793.55 s c Elapsed CPU time: 6.567 s Remaining CPU time: 1793.43 s c Elapsed CPU time: 6.68398 s Remaining CPU time: 1793.32 s c Elapsed CPU time: 6.79897 s Remaining CPU time: 1793.2 s c Elapsed CPU time: 6.91595 s Remaining CPU time: 1793.08 s c Elapsed CPU time: 7.03493 s Remaining CPU time: 1792.97 s c Elapsed CPU time: 7.15191 s Remaining CPU time: 1792.85 s c Elapsed CPU time: 7.26889 s Remaining CPU time: 1792.73 s c Elapsed CPU time: 7.38788 s Remaining CPU time: 1792.61 s c Elapsed CPU time: 7.50386 s Remaining CPU time: 1792.5 s c Elapsed CPU time: 7.61984 s Remaining CPU time: 1792.38 s c Elapsed CPU time: 7.73782 s Remaining CPU time: 1792.26 s c Elapsed CPU time: 7.8548 s Remaining CPU time: 1792.15 s c Elapsed CPU time: 7.97379 s Remaining CPU time: 1792.03 s c Elapsed CPU time: 8.09177 s Remaining CPU time: 1791.91 s c Elapsed CPU time: 8.20775 s Remaining CPU time: 1791.79 s c Elapsed CPU time: 8.32673 s Remaining CPU time: 1791.67 s c Elapsed CPU time: 8.44671 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.5637 s Remaining CPU time: 1791.44 s c Elapsed CPU time: 8.68268 s Remaining CPU time: 1791.32 s c Elapsed CPU time: 8.79966 s Remaining CPU time: 1791.2 s c Elapsed CPU time: 8.91664 s Remaining CPU time: 1791.08 s c Elapsed CPU time: 9.03463 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.15361 s Remaining CPU time: 1790.85 s c Elapsed CPU time: 9.27259 s Remaining CPU time: 1790.73 s c Elapsed CPU time: 9.39157 s Remaining CPU time: 1790.61 s c Elapsed CPU time: 9.51055 s Remaining CPU time: 1790.49 s c Elapsed CPU time: 9.62854 s Remaining CPU time: 1790.37 s c Elapsed CPU time: 9.74852 s Remaining CPU time: 1790.25 s c Elapsed CPU time: 9.8695 s Remaining CPU time: 1790.13 s c Elapsed CPU time: 9.98848 s Remaining CPU time: 1790.01 s c Elapsed CPU time: 10.1075 s Remaining CPU time: 1789.89 s c Elapsed CPU time: 10.2264 s Remaining CPU time: 1789.77 s c Elapsed CPU time: 10.3444 s Remaining CPU time: 1789.66 s c Elapsed CPU time: 10.4644 s Remaining CPU time: 1789.54 s c Elapsed CPU time: 10.5824 s Remaining CPU time: 1789.42 s c Elapsed CPU time: 10.7034 s Remaining CPU time: 1789.3 s c Elapsed CPU time: 10.8214 s Remaining CPU time: 1789.18 s c Elapsed CPU time: 10.9403 s Remaining CPU time: 1789.06 s c Elapsed CPU time: 11.0583 s Remaining CPU time: 1788.94 s c Elapsed CPU time: 11.1783 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.2973 s Remaining CPU time: 1788.7 s c Elapsed CPU time: 11.4173 s Remaining CPU time: 1788.58 s c Elapsed CPU time: 11.5352 s Remaining CPU time: 1788.46 s c Elapsed CPU time: 11.6562 s Remaining CPU time: 1788.34 s c Elapsed CPU time: 11.7772 s Remaining CPU time: 1788.22 s c Elapsed CPU time: 11.8972 s Remaining CPU time: 1788.1 s c Elapsed CPU time: 12.0152 s Remaining CPU time: 1787.98 s c Elapsed CPU time: 12.1362 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.2561 s Remaining CPU time: 1787.74 s c Elapsed CPU time: 12.3751 s Remaining CPU time: 1787.62 s c Elapsed CPU time: 12.4931 s Remaining CPU time: 1787.51 s c Elapsed CPU time: 12.6181 s Remaining CPU time: 1787.38 s c Elapsed CPU time: 12.7431 s Remaining CPU time: 1787.26 s c Elapsed CPU time: 12.863 s Remaining CPU time: 1787.14 s c Elapsed CPU time: 12.981 s Remaining CPU time: 1787.02 s c Elapsed CPU time: 13.099 s Remaining CPU time: 1786.9 s c Elapsed CPU time: 13.218 s Remaining CPU time: 1786.78 s c Elapsed CPU time: 13.339 s Remaining CPU time: 1786.66 s c Elapsed CPU time: 13.459 s Remaining CPU time: 1786.54 s c Elapsed CPU time: 13.5789 s Remaining CPU time: 1786.42 s c Elapsed CPU time: 13.6999 s Remaining CPU time: 1786.3 s c Elapsed CPU time: 13.8189 s Remaining CPU time: 1786.18 s c Elapsed CPU time: 13.9399 s Remaining CPU time: 1786.06 s c Elapsed CPU time: 14.0579 s Remaining CPU time: 1785.94 s c Elapsed CPU time: 14.1778 s Remaining CPU time: 1785.82 s c Elapsed CPU time: 14.2978 s Remaining CPU time: 1785.7 s c Elapsed CPU time: 14.4178 s Remaining CPU time: 1785.58 s c Elapsed CPU time: 14.5378 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.6568 s Remaining CPU time: 1785.34 s c Elapsed CPU time: 14.7768 s Remaining CPU time: 1785.22 s c Elapsed CPU time: 14.8957 s Remaining CPU time: 1785.1 s c Elapsed CPU time: 15.0167 s Remaining CPU time: 1784.98 s c Elapsed CPU time: 15.1367 s Remaining CPU time: 1784.86 s c Elapsed CPU time: 15.2577 s Remaining CPU time: 1784.74 s c Elapsed CPU time: 15.3767 s Remaining CPU time: 1784.62 s c Elapsed CPU time: 15.4956 s Remaining CPU time: 1784.5 s c Elapsed CPU time: 15.6146 s Remaining CPU time: 1784.39 s c Elapsed CPU time: 15.7346 s Remaining CPU time: 1784.27 s c Elapsed CPU time: 15.8526 s Remaining CPU time: 1784.15 s c Elapsed CPU time: 15.9726 s Remaining CPU time: 1784.03 s c Elapsed CPU time: 16.0926 s Remaining CPU time: 1783.91 s c Elapsed CPU time: 16.2125 s Remaining CPU time: 1783.79 s c Elapsed CPU time: 16.3335 s Remaining CPU time: 1783.67 s c Elapsed CPU time: 16.4535 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5715 s Remaining CPU time: 1783.43 s c Elapsed CPU time: 16.6925 s Remaining CPU time: 1783.31 s c Elapsed CPU time: 16.8114 s Remaining CPU time: 1783.19 s c Elapsed CPU time: 16.9334 s Remaining CPU time: 1783.07 s c Elapsed CPU time: 17.0534 s Remaining CPU time: 1782.95 s c Elapsed CPU time: 17.1744 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.2954 s Remaining CPU time: 1782.7 s c Elapsed CPU time: 17.4164 s Remaining CPU time: 1782.58 s c Elapsed CPU time: 17.5373 s Remaining CPU time: 1782.46 s c Elapsed CPU time: 17.6563 s Remaining CPU time: 1782.34 s c Elapsed CPU time: 17.7773 s Remaining CPU time: 1782.22 s c Elapsed CPU time: 17.8963 s Remaining CPU time: 1782.1 s c Elapsed CPU time: 18.0173 s Remaining CPU time: 1781.98 s c Elapsed CPU time: 18.1362 s Remaining CPU time: 1781.86 s c Elapsed CPU time: 18.2562 s Remaining CPU time: 1781.74 s c Elapsed CPU time: 18.3792 s Remaining CPU time: 1781.62 s c Elapsed CPU time: 18.5002 s Remaining CPU time: 1781.5 s c Elapsed CPU time: 18.6212 s Remaining CPU time: 1781.38 s c Elapsed CPU time: 18.7421 s Remaining CPU time: 1781.26 s c Elapsed CPU time: 18.8641 s Remaining CPU time: 1781.14 s c Elapsed CPU time: 18.9851 s Remaining CPU time: 1781.01 s c Elapsed CPU time: 19.1071 s Remaining CPU time: 1780.89 s c Elapsed CPU time: 19.2301 s Remaining CPU time: 1780.77 s c Elapsed CPU time: 19.3521 s Remaining CPU time: 1780.65 s c Elapsed CPU time: 19.477 s Remaining CPU time: 1780.52 s c Elapsed CPU time: 19.599 s Remaining CPU time: 1780.4 s c Elapsed CPU time: 19.719 s Remaining CPU time: 1780.28 s c Elapsed CPU time: 19.84 s Remaining CPU time: 1780.16 s c Elapsed CPU time: 19.96 s Remaining CPU time: 1780.04 s c Elapsed CPU time: 20.0819 s Remaining CPU time: 1779.92 s c Elapsed CPU time: 20.2049 s Remaining CPU time: 1779.8 s c Elapsed CPU time: 20.3269 s Remaining CPU time: 1779.67 s c Elapsed CPU time: 20.4479 s Remaining CPU time: 1779.55 s c Elapsed CPU time: 20.5709 s Remaining CPU time: 1779.43 s c Elapsed CPU time: 20.6919 s Remaining CPU time: 1779.31 s c Elapsed CPU time: 20.8138 s Remaining CPU time: 1779.19 s c Elapsed CPU time: 20.9358 s Remaining CPU time: 1779.06 s c Elapsed CPU time: 21.0568 s Remaining CPU time: 1778.94 s c Elapsed CPU time: 21.1778 s Remaining CPU time: 1778.82 s c Elapsed CPU time: 21.2988 s Remaining CPU time: 1778.7 s c Elapsed CPU time: 21.4207 s Remaining CPU time: 1778.58 s c Elapsed CPU time: 21.5457 s Remaining CPU time: 1778.45 s c Elapsed CPU time: 21.6677 s Remaining CPU time: 1778.33 s c Elapsed CPU time: 21.7897 s Remaining CPU time: 1778.21 s c Elapsed CPU time: 21.9137 s Remaining CPU time: 1778.09 s c Elapsed CPU time: 22.0386 s Remaining CPU time: 1777.96 s c Elapsed CPU time: 22.1616 s Remaining CPU time: 1777.84 s c Elapsed CPU time: 22.2856 s Remaining CPU time: 1777.71 s c Elapsed CPU time: 22.4096 s Remaining CPU time: 1777.59 s c Elapsed CPU time: 22.5356 s Remaining CPU time: 1777.46 s c Elapsed CPU time: 22.6596 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.7855 s Remaining CPU time: 1777.21 s c Elapsed CPU time: 22.9095 s Remaining CPU time: 1777.09 s c Elapsed CPU time: 23.0375 s Remaining CPU time: 1776.96 s c Elapsed CPU time: 23.1635 s Remaining CPU time: 1776.84 s c Elapsed CPU time: 23.2905 s Remaining CPU time: 1776.71 s c Elapsed CPU time: 23.4174 s Remaining CPU time: 1776.58 s c Elapsed CPU time: 23.5434 s Remaining CPU time: 1776.46 s c Elapsed CPU time: 23.6684 s Remaining CPU time: 1776.33 s c Elapsed CPU time: 23.7994 s Remaining CPU time: 1776.2 s c Elapsed CPU time: 23.9264 s Remaining CPU time: 1776.07 s c Elapsed CPU time: 24.0553 s Remaining CPU time: 1775.94 s c Elapsed CPU time: 24.1823 s Remaining CPU time: 1775.82 s c Elapsed CPU time: 24.3093 s Remaining CPU time: 1775.69 s c Elapsed CPU time: 24.4383 s Remaining CPU time: 1775.56 s c Elapsed CPU time: 24.5683 s Remaining CPU time: 1775.43 s c Elapsed CPU time: 24.6972 s Remaining CPU time: 1775.3 s c Elapsed CPU time: 24.8262 s Remaining CPU time: 1775.17 s c Elapsed CPU time: 24.9572 s Remaining CPU time: 1775.04 s c Elapsed CPU time: 25.0862 s Remaining CPU time: 1774.91 s c Elapsed CPU time: 25.2162 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.4771 s Remaining CPU time: 1774.52 s c Elapsed CPU time: 25.6091 s Remaining CPU time: 1774.39 s c Elapsed CPU time: 25.7401 s Remaining CPU time: 1774.26 s c Elapsed CPU time: 25.8701 s Remaining CPU time: 1774.13 s c Elapsed CPU time: 26.003 s Remaining CPU time: 1774 s c Elapsed CPU time: 26.134 s Remaining CPU time: 1773.87 s c Elapsed CPU time: 26.265 s Remaining CPU time: 1773.73 s c Elapsed CPU time: 26.398 s Remaining CPU time: 1773.6 s c Elapsed CPU time: 26.53 s Remaining CPU time: 1773.47 s c Elapsed CPU time: 26.6609 s Remaining CPU time: 1773.34 s c Elapsed CPU time: 26.7939 s Remaining CPU time: 1773.21 s c Elapsed CPU time: 26.9269 s Remaining CPU time: 1773.07 s c Elapsed CPU time: 27.0609 s Remaining CPU time: 1772.94 s c Elapsed CPU time: 27.1949 s Remaining CPU time: 1772.81 s c Elapsed CPU time: 27.3258 s Remaining CPU time: 1772.67 s c Elapsed CPU time: 27.4598 s Remaining CPU time: 1772.54 s c Elapsed CPU time: 27.5928 s Remaining CPU time: 1772.41 s c Elapsed CPU time: 27.7258 s Remaining CPU time: 1772.27 s c Elapsed CPU time: 27.8598 s Remaining CPU time: 1772.14 s c Elapsed CPU time: 27.9947 s Remaining CPU time: 1772.01 s c Elapsed CPU time: 28.1277 s Remaining CPU time: 1771.87 s c Elapsed CPU time: 28.2627 s Remaining CPU time: 1771.74 s c Elapsed CPU time: 28.3967 s Remaining CPU time: 1771.6 s c Elapsed CPU time: 28.5317 s Remaining CPU time: 1771.47 s c Elapsed CPU time: 28.6666 s Remaining CPU time: 1771.33 s c Elapsed CPU time: 28.8006 s Remaining CPU time: 1771.2 s c Elapsed CPU time: 28.9356 s Remaining CPU time: 1771.06 s c Elapsed CPU time: 29.0706 s Remaining CPU time: 1770.93 s c Elapsed CPU time: 29.2066 s Remaining CPU time: 1770.79 s c Elapsed CPU time: 29.3415 s Remaining CPU time: 1770.66 s c Elapsed CPU time: 29.4775 s Remaining CPU time: 1770.52 s c Elapsed CPU time: 29.6135 s Remaining CPU time: 1770.39 s c Elapsed CPU time: 29.7485 s Remaining CPU time: 1770.25 s c Elapsed CPU time: 29.8855 s Remaining CPU time: 1770.11 s c Elapsed CPU time: 30.0204 s Remaining CPU time: 1769.98 s c Elapsed CPU time: 30.1564 s Remaining CPU time: 1769.84 s c Elapsed CPU time: 30.2934 s Remaining CPU time: 1769.71 s c Elapsed CPU time: 30.4324 s Remaining CPU time: 1769.57 s c Elapsed CPU time: 30.5704 s Remaining CPU time: 1769.43 s c Elapsed CPU time: 30.7043 s Remaining CPU time: 1769.3 s c Elapsed CPU time: 30.8413 s Remaining CPU time: 1769.16 s c Elapsed CPU time: 30.9773 s Remaining CPU time: 1769.02 s c Elapsed CPU time: 31.1143 s Remaining CPU time: 1768.89 s c Elapsed CPU time: 31.2522 s Remaining CPU time: 1768.75 s c Elapsed CPU time: 31.3912 s Remaining CPU time: 1768.61 s c Elapsed CPU time: 31.5282 s Remaining CPU time: 1768.47 s c Elapsed CPU time: 31.6662 s Remaining CPU time: 1768.33 s c Elapsed CPU time: 31.8062 s Remaining CPU time: 1768.19 s c Elapsed CPU time: 31.9441 s Remaining CPU time: 1768.06 s c Elapsed CPU time: 32.0841 s Remaining CPU time: 1767.92 s c Elapsed CPU time: 32.2231 s Remaining CPU time: 1767.78 s c Elapsed CPU time: 32.3621 s Remaining CPU time: 1767.64 s c Elapsed CPU time: 32.5011 s Remaining CPU time: 1767.5 s c Elapsed CPU time: 32.64 s Remaining CPU time: 1767.36 s c Elapsed CPU time: 32.78 s Remaining CPU time: 1767.22 s c Elapsed CPU time: 32.918 s Remaining CPU time: 1767.08 s c Elapsed CPU time: 33.055 s Remaining CPU time: 1766.95 s c Elapsed CPU time: 33.192 s Remaining CPU time: 1766.81 s c Elapsed CPU time: 33.3309 s Remaining CPU time: 1766.67 s c Elapsed CPU time: 33.4679 s Remaining CPU time: 1766.53 s c Elapsed CPU time: 33.6089 s Remaining CPU time: 1766.39 s c Elapsed CPU time: 33.7479 s Remaining CPU time: 1766.25 s c Elapsed CPU time: 33.8858 s Remaining CPU time: 1766.11 s c Elapsed CPU time: 34.0228 s Remaining CPU time: 1765.98 s c Elapsed CPU time: 34.1628 s Remaining CPU time: 1765.84 s c Elapsed CPU time: 34.3018 s Remaining CPU time: 1765.7 s c Elapsed CPU time: 34.4398 s Remaining CPU time: 1765.56 s c Elapsed CPU time: 34.5807 s Remaining CPU time: 1765.42 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 21 113196 217804 | 37732 0 nan | 0.000 % | c =============================================================================== c Verified 113196 original clauses.