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.075988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.410937 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.741887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.85187 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.962853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.07384 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.18482 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2958 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.51877 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.73874 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.9627 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.07468 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.18567 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.41163 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.52362 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6346 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.74758 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.86256 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.97655 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.09053 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.20451 s Remaining CPU time: 1796.8 s c Elapsed CPU time: 3.31949 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.54946 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.66444 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.77842 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.89241 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.00639 s Remaining CPU time: 1795.99 s c Elapsed CPU time: 4.12037 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.23536 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 4.34934 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.5803 s Remaining CPU time: 1795.42 s c Elapsed CPU time: 4.69429 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.81027 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.92525 s Remaining CPU time: 1795.07 s c Elapsed CPU time: 5.04123 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.15622 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.2722 s Remaining CPU time: 1794.73 s c Elapsed CPU time: 5.38718 s Remaining CPU time: 1794.61 s c Elapsed CPU time: 5.50316 s Remaining CPU time: 1794.5 s c Elapsed CPU time: 5.61815 s Remaining CPU time: 1794.38 s c Elapsed CPU time: 5.73413 s Remaining CPU time: 1794.27 s c Elapsed CPU time: 5.85011 s Remaining CPU time: 1794.15 s c Elapsed CPU time: 5.96509 s Remaining CPU time: 1794.03 s c Elapsed CPU time: 6.07907 s Remaining CPU time: 1793.92 s c Elapsed CPU time: 6.19406 s Remaining CPU time: 1793.81 s c Elapsed CPU time: 6.30904 s Remaining CPU time: 1793.69 s c Elapsed CPU time: 6.42402 s Remaining CPU time: 1793.58 s c Elapsed CPU time: 6.539 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.77097 s Remaining CPU time: 1793.23 s c Elapsed CPU time: 6.88795 s Remaining CPU time: 1793.11 s c Elapsed CPU time: 7.00394 s Remaining CPU time: 1793 s c Elapsed CPU time: 7.11792 s Remaining CPU time: 1792.88 s c Elapsed CPU time: 7.2339 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.35188 s Remaining CPU time: 1792.65 s c Elapsed CPU time: 7.46786 s Remaining CPU time: 1792.53 s c Elapsed CPU time: 7.58485 s Remaining CPU time: 1792.42 s c Elapsed CPU time: 7.70083 s Remaining CPU time: 1792.3 s c Elapsed CPU time: 7.81781 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.93379 s Remaining CPU time: 1792.07 s c Elapsed CPU time: 8.05078 s Remaining CPU time: 1791.95 s c Elapsed CPU time: 8.16576 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.28374 s Remaining CPU time: 1791.72 s c Elapsed CPU time: 8.40072 s Remaining CPU time: 1791.6 s c Elapsed CPU time: 8.5177 s Remaining CPU time: 1791.48 s c Elapsed CPU time: 8.63369 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.75067 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.86765 s Remaining CPU time: 1791.13 s c Elapsed CPU time: 8.98563 s Remaining CPU time: 1791.01 s c Elapsed CPU time: 9.10262 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.2196 s Remaining CPU time: 1790.78 s c Elapsed CPU time: 9.33558 s Remaining CPU time: 1790.66 s c Elapsed CPU time: 9.45456 s Remaining CPU time: 1790.55 s c Elapsed CPU time: 9.57054 s Remaining CPU time: 1790.43 s c Elapsed CPU time: 9.68753 s Remaining CPU time: 1790.31 s c Elapsed CPU time: 9.80251 s Remaining CPU time: 1790.2 s c Elapsed CPU time: 9.92149 s Remaining CPU time: 1790.08 s c Elapsed CPU time: 10.0385 s Remaining CPU time: 1789.96 s c Elapsed CPU time: 10.1555 s Remaining CPU time: 1789.84 s c Elapsed CPU time: 10.2714 s Remaining CPU time: 1789.73 s c Elapsed CPU time: 10.3894 s Remaining CPU time: 1789.61 s c Elapsed CPU time: 10.5054 s Remaining CPU time: 1789.49 s c Elapsed CPU time: 10.6244 s Remaining CPU time: 1789.38 s c Elapsed CPU time: 10.7414 s Remaining CPU time: 1789.26 s c Elapsed CPU time: 10.8583 s Remaining CPU time: 1789.14 s c Elapsed CPU time: 10.9763 s Remaining CPU time: 1789.02 s c Elapsed CPU time: 11.0933 s Remaining CPU time: 1788.91 s c Elapsed CPU time: 11.2093 s Remaining CPU time: 1788.79 s c Elapsed CPU time: 11.3263 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.4423 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.5582 s Remaining CPU time: 1788.44 s c Elapsed CPU time: 11.6752 s Remaining CPU time: 1788.32 s c Elapsed CPU time: 11.7932 s Remaining CPU time: 1788.21 s c Elapsed CPU time: 11.9102 s Remaining CPU time: 1788.09 s c Elapsed CPU time: 12.0262 s Remaining CPU time: 1787.97 s c Elapsed CPU time: 12.1432 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.2601 s Remaining CPU time: 1787.74 s c Elapsed CPU time: 12.3761 s Remaining CPU time: 1787.62 s c Elapsed CPU time: 12.4921 s Remaining CPU time: 1787.51 s c Elapsed CPU time: 12.6091 s Remaining CPU time: 1787.39 s c Elapsed CPU time: 12.7251 s Remaining CPU time: 1787.27 s c Elapsed CPU time: 12.842 s Remaining CPU time: 1787.16 s c Elapsed CPU time: 12.959 s Remaining CPU time: 1787.04 s c Elapsed CPU time: 13.076 s Remaining CPU time: 1786.92 s c Elapsed CPU time: 13.194 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.311 s Remaining CPU time: 1786.69 s c Elapsed CPU time: 13.427 s Remaining CPU time: 1786.57 s c Elapsed CPU time: 13.5439 s Remaining CPU time: 1786.46 s c Elapsed CPU time: 13.6609 s Remaining CPU time: 1786.34 s c Elapsed CPU time: 13.7779 s Remaining CPU time: 1786.22 s c Elapsed CPU time: 13.8959 s Remaining CPU time: 1786.1 s c Elapsed CPU time: 14.0129 s Remaining CPU time: 1785.99 s c Elapsed CPU time: 14.1309 s Remaining CPU time: 1785.87 s c Elapsed CPU time: 14.2488 s Remaining CPU time: 1785.75 s c Elapsed CPU time: 14.3668 s Remaining CPU time: 1785.63 s c Elapsed CPU time: 14.4848 s Remaining CPU time: 1785.52 s c Elapsed CPU time: 14.6028 s Remaining CPU time: 1785.4 s c Elapsed CPU time: 14.7198 s Remaining CPU time: 1785.28 s c Elapsed CPU time: 14.8367 s Remaining CPU time: 1785.16 s c Elapsed CPU time: 14.9537 s Remaining CPU time: 1785.05 s c Elapsed CPU time: 15.0727 s Remaining CPU time: 1784.93 s c Elapsed CPU time: 15.1897 s Remaining CPU time: 1784.81 s c Elapsed CPU time: 15.3087 s Remaining CPU time: 1784.69 s c Elapsed CPU time: 15.4247 s Remaining CPU time: 1784.58 s c Elapsed CPU time: 15.5436 s Remaining CPU time: 1784.46 s c Elapsed CPU time: 15.6616 s Remaining CPU time: 1784.34 s c Elapsed CPU time: 15.7806 s Remaining CPU time: 1784.22 s c Elapsed CPU time: 15.8976 s Remaining CPU time: 1784.1 s c Elapsed CPU time: 16.0176 s Remaining CPU time: 1783.98 s c Elapsed CPU time: 16.1355 s Remaining CPU time: 1783.86 s c Elapsed CPU time: 16.2525 s Remaining CPU time: 1783.75 s c Elapsed CPU time: 16.3695 s Remaining CPU time: 1783.63 s c Elapsed CPU time: 16.4865 s Remaining CPU time: 1783.51 s c Elapsed CPU time: 16.6025 s Remaining CPU time: 1783.4 s c Elapsed CPU time: 16.7225 s Remaining CPU time: 1783.28 s c Elapsed CPU time: 16.8414 s Remaining CPU time: 1783.16 s c Elapsed CPU time: 16.9584 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.1944 s Remaining CPU time: 1782.81 s c Elapsed CPU time: 17.3124 s Remaining CPU time: 1782.69 s c Elapsed CPU time: 17.4313 s Remaining CPU time: 1782.57 s c Elapsed CPU time: 17.5493 s Remaining CPU time: 1782.45 s c Elapsed CPU time: 17.6673 s Remaining CPU time: 1782.33 s c Elapsed CPU time: 17.7853 s Remaining CPU time: 1782.21 s c Elapsed CPU time: 17.9053 s Remaining CPU time: 1782.09 s c Elapsed CPU time: 18.0243 s Remaining CPU time: 1781.98 s c Elapsed CPU time: 18.1432 s Remaining CPU time: 1781.86 s c Elapsed CPU time: 18.2612 s Remaining CPU time: 1781.74 s c Elapsed CPU time: 18.3782 s Remaining CPU time: 1781.62 s c Elapsed CPU time: 18.4972 s Remaining CPU time: 1781.5 s c Elapsed CPU time: 18.6172 s Remaining CPU time: 1781.38 s c Elapsed CPU time: 18.7372 s Remaining CPU time: 1781.26 s c Elapsed CPU time: 18.8551 s Remaining CPU time: 1781.14 s c Elapsed CPU time: 18.9751 s Remaining CPU time: 1781.02 s c Elapsed CPU time: 19.0961 s Remaining CPU time: 1780.9 s c Elapsed CPU time: 19.2151 s Remaining CPU time: 1780.78 s c Elapsed CPU time: 19.3341 s Remaining CPU time: 1780.67 s c Elapsed CPU time: 19.453 s Remaining CPU time: 1780.55 s c Elapsed CPU time: 19.573 s Remaining CPU time: 1780.43 s c Elapsed CPU time: 19.693 s Remaining CPU time: 1780.31 s c Elapsed CPU time: 19.815 s Remaining CPU time: 1780.19 s c Elapsed CPU time: 19.935 s Remaining CPU time: 1780.07 s c Elapsed CPU time: 20.054 s Remaining CPU time: 1779.95 s c Elapsed CPU time: 20.1729 s Remaining CPU time: 1779.83 s c Elapsed CPU time: 20.2929 s Remaining CPU time: 1779.71 s c Elapsed CPU time: 20.4129 s Remaining CPU time: 1779.59 s c Elapsed CPU time: 20.5329 s Remaining CPU time: 1779.47 s c Elapsed CPU time: 20.6529 s Remaining CPU time: 1779.35 s c Elapsed CPU time: 20.7738 s Remaining CPU time: 1779.23 s c Elapsed CPU time: 20.8958 s Remaining CPU time: 1779.1 s c Elapsed CPU time: 21.0168 s Remaining CPU time: 1778.98 s c Elapsed CPU time: 21.1398 s Remaining CPU time: 1778.86 s c Elapsed CPU time: 21.2628 s Remaining CPU time: 1778.74 s c Elapsed CPU time: 21.3867 s Remaining CPU time: 1778.61 s c Elapsed CPU time: 21.5097 s Remaining CPU time: 1778.49 s c Elapsed CPU time: 21.6367 s Remaining CPU time: 1778.36 s c Elapsed CPU time: 21.7597 s Remaining CPU time: 1778.24 s c Elapsed CPU time: 21.8867 s Remaining CPU time: 1778.11 s c Elapsed CPU time: 22.0097 s Remaining CPU time: 1777.99 s c Elapsed CPU time: 22.1386 s Remaining CPU time: 1777.86 s c Elapsed CPU time: 22.2626 s Remaining CPU time: 1777.74 s c Elapsed CPU time: 22.3886 s Remaining CPU time: 1777.61 s c Elapsed CPU time: 22.5126 s Remaining CPU time: 1777.49 s c Elapsed CPU time: 22.6376 s Remaining CPU time: 1777.36 s c Elapsed CPU time: 22.7645 s Remaining CPU time: 1777.24 s c Elapsed CPU time: 22.8905 s Remaining CPU time: 1777.11 s c Elapsed CPU time: 23.0165 s Remaining CPU time: 1776.98 s c Elapsed CPU time: 23.1425 s Remaining CPU time: 1776.86 s c Elapsed CPU time: 23.2695 s Remaining CPU time: 1776.73 s c Elapsed CPU time: 23.3954 s Remaining CPU time: 1776.6 s c Elapsed CPU time: 23.5214 s Remaining CPU time: 1776.48 s c Elapsed CPU time: 23.6494 s Remaining CPU time: 1776.35 s c Elapsed CPU time: 23.7744 s Remaining CPU time: 1776.23 s c Elapsed CPU time: 23.9014 s Remaining CPU time: 1776.1 s c Elapsed CPU time: 24.0263 s Remaining CPU time: 1775.97 s c Elapsed CPU time: 24.1523 s Remaining CPU time: 1775.85 s c Elapsed CPU time: 24.2793 s Remaining CPU time: 1775.72 s c Elapsed CPU time: 24.4073 s Remaining CPU time: 1775.59 s c Elapsed CPU time: 24.5343 s Remaining CPU time: 1775.47 s c Elapsed CPU time: 24.6603 s Remaining CPU time: 1775.34 s c Elapsed CPU time: 24.7892 s Remaining CPU time: 1775.21 s c Elapsed CPU time: 24.9152 s Remaining CPU time: 1775.08 s c Elapsed CPU time: 25.0412 s Remaining CPU time: 1774.96 s c Elapsed CPU time: 25.1692 s Remaining CPU time: 1774.83 s c Elapsed CPU time: 25.2972 s Remaining CPU time: 1774.7 s c Elapsed CPU time: 25.4241 s Remaining CPU time: 1774.58 s c Elapsed CPU time: 25.5521 s Remaining CPU time: 1774.45 s c Elapsed CPU time: 25.6791 s Remaining CPU time: 1774.32 s c Elapsed CPU time: 25.8071 s Remaining CPU time: 1774.19 s c Elapsed CPU time: 25.9351 s Remaining CPU time: 1774.06 s c Elapsed CPU time: 26.064 s Remaining CPU time: 1773.94 s c Elapsed CPU time: 26.192 s Remaining CPU time: 1773.81 s c Elapsed CPU time: 26.32 s Remaining CPU time: 1773.68 s c Elapsed CPU time: 26.451 s Remaining CPU time: 1773.55 s c Elapsed CPU time: 26.58 s Remaining CPU time: 1773.42 s c Elapsed CPU time: 26.7069 s Remaining CPU time: 1773.29 s c Elapsed CPU time: 26.8349 s Remaining CPU time: 1773.17 s c Elapsed CPU time: 26.9659 s Remaining CPU time: 1773.03 s c Elapsed CPU time: 27.0959 s Remaining CPU time: 1772.9 s c Elapsed CPU time: 27.2259 s Remaining CPU time: 1772.77 s c Elapsed CPU time: 27.3558 s Remaining CPU time: 1772.64 s c Elapsed CPU time: 27.4868 s Remaining CPU time: 1772.51 s c Elapsed CPU time: 27.6178 s Remaining CPU time: 1772.38 s c Elapsed CPU time: 27.7508 s Remaining CPU time: 1772.25 s c Elapsed CPU time: 27.8818 s Remaining CPU time: 1772.12 s c Elapsed CPU time: 28.0147 s Remaining CPU time: 1771.99 s c Elapsed CPU time: 28.1477 s Remaining CPU time: 1771.85 s c Elapsed CPU time: 28.2807 s Remaining CPU time: 1771.72 s c Elapsed CPU time: 28.4127 s Remaining CPU time: 1771.59 s c Elapsed CPU time: 28.5467 s Remaining CPU time: 1771.45 s c Elapsed CPU time: 28.6806 s Remaining CPU time: 1771.32 s c Elapsed CPU time: 28.8136 s Remaining CPU time: 1771.19 s c Elapsed CPU time: 28.9466 s Remaining CPU time: 1771.05 s c Elapsed CPU time: 29.0796 s Remaining CPU time: 1770.92 s c Elapsed CPU time: 29.2116 s Remaining CPU time: 1770.79 s c Elapsed CPU time: 29.3435 s Remaining CPU time: 1770.66 s c Elapsed CPU time: 29.4765 s Remaining CPU time: 1770.52 s c Elapsed CPU time: 29.6115 s Remaining CPU time: 1770.39 s c Elapsed CPU time: 29.7465 s Remaining CPU time: 1770.25 s c Elapsed CPU time: 29.8825 s Remaining CPU time: 1770.12 s c Elapsed CPU time: 30.0154 s Remaining CPU time: 1769.98 s c Elapsed CPU time: 30.1504 s Remaining CPU time: 1769.85 s c Elapsed CPU time: 30.2854 s Remaining CPU time: 1769.71 s c Elapsed CPU time: 30.4224 s Remaining CPU time: 1769.58 s c Elapsed CPU time: 30.5554 s Remaining CPU time: 1769.44 s c Elapsed CPU time: 30.6913 s Remaining CPU time: 1769.31 s c Elapsed CPU time: 30.8273 s Remaining CPU time: 1769.17 s c Elapsed CPU time: 30.9613 s Remaining CPU time: 1769.04 s c Elapsed CPU time: 31.0973 s Remaining CPU time: 1768.9 s c Elapsed CPU time: 31.2343 s Remaining CPU time: 1768.77 s c Elapsed CPU time: 31.3672 s Remaining CPU time: 1768.63 s c Elapsed CPU time: 31.5032 s Remaining CPU time: 1768.5 s c Elapsed CPU time: 31.6402 s Remaining CPU time: 1768.36 s c Elapsed CPU time: 31.7772 s Remaining CPU time: 1768.22 s c Elapsed CPU time: 31.9121 s Remaining CPU time: 1768.09 s c Elapsed CPU time: 32.0481 s Remaining CPU time: 1767.95 s c Elapsed CPU time: 32.1831 s Remaining CPU time: 1767.82 s c Elapsed CPU time: 32.3191 s Remaining CPU time: 1767.68 s c Elapsed CPU time: 32.4531 s Remaining CPU time: 1767.55 s c Elapsed CPU time: 32.592 s Remaining CPU time: 1767.41 s c Elapsed CPU time: 32.728 s Remaining CPU time: 1767.27 s c Elapsed CPU time: 32.865 s Remaining CPU time: 1767.13 s c Elapsed CPU time: 33.003 s Remaining CPU time: 1767 s c Elapsed CPU time: 33.141 s Remaining CPU time: 1766.86 s c Elapsed CPU time: 33.2789 s Remaining CPU time: 1766.72 s c Elapsed CPU time: 33.4169 s Remaining CPU time: 1766.58 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113188 217775 | 37729 0 nan | 0.000 % | c =============================================================================== c Verified 113188 original clauses.