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.182972 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.294955 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.513921 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.622905 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.732888 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.840872 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.950855 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 1.06184 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.17182 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2828 s Remaining CPU time: 1798.72 s c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.50277 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.61275 s Remaining CPU time: 1798.39 s c Elapsed CPU time: 1.72574 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.83472 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.9457 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 2.05569 s Remaining CPU time: 1797.94 s c Elapsed CPU time: 2.16667 s Remaining CPU time: 1797.83 s c Elapsed CPU time: 2.27665 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.38764 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.49962 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.6116 s Remaining CPU time: 1797.39 s c Elapsed CPU time: 2.72559 s Remaining CPU time: 1797.27 s c Elapsed CPU time: 2.84057 s Remaining CPU time: 1797.16 s c Elapsed CPU time: 2.95455 s Remaining CPU time: 1797.05 s c Elapsed CPU time: 3.06853 s Remaining CPU time: 1796.93 s c Elapsed CPU time: 3.18252 s Remaining CPU time: 1796.82 s c Elapsed CPU time: 3.2965 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 3.41148 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.52546 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.63945 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.75343 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.86741 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.98239 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 4.09538 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.20936 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.32334 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.43832 s Remaining CPU time: 1795.56 s c Elapsed CPU time: 4.55331 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.66829 s Remaining CPU time: 1795.33 s c Elapsed CPU time: 4.78327 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.89926 s Remaining CPU time: 1795.1 s c Elapsed CPU time: 5.01424 s Remaining CPU time: 1794.99 s c Elapsed CPU time: 5.12922 s Remaining CPU time: 1794.87 s c Elapsed CPU time: 5.2452 s Remaining CPU time: 1794.75 s c Elapsed CPU time: 5.36018 s Remaining CPU time: 1794.64 s c Elapsed CPU time: 5.47417 s Remaining CPU time: 1794.53 s c Elapsed CPU time: 5.59115 s Remaining CPU time: 1794.41 s c Elapsed CPU time: 5.70613 s Remaining CPU time: 1794.29 s c Elapsed CPU time: 5.82111 s Remaining CPU time: 1794.18 s c Elapsed CPU time: 5.9361 s Remaining CPU time: 1794.06 s c Elapsed CPU time: 6.05308 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.16906 s Remaining CPU time: 1793.83 s c Elapsed CPU time: 6.28404 s Remaining CPU time: 1793.72 s c Elapsed CPU time: 6.40003 s Remaining CPU time: 1793.6 s c Elapsed CPU time: 6.51701 s Remaining CPU time: 1793.48 s c Elapsed CPU time: 6.63199 s Remaining CPU time: 1793.37 s c Elapsed CPU time: 6.74797 s Remaining CPU time: 1793.25 s c Elapsed CPU time: 6.86196 s Remaining CPU time: 1793.14 s c Elapsed CPU time: 6.97794 s Remaining CPU time: 1793.02 s c Elapsed CPU time: 7.09192 s Remaining CPU time: 1792.91 s c Elapsed CPU time: 7.2099 s Remaining CPU time: 1792.79 s c Elapsed CPU time: 7.32489 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.44187 s Remaining CPU time: 1792.56 s c Elapsed CPU time: 7.55785 s Remaining CPU time: 1792.44 s c Elapsed CPU time: 7.67683 s Remaining CPU time: 1792.32 s c Elapsed CPU time: 7.79282 s Remaining CPU time: 1792.21 s c Elapsed CPU time: 7.9098 s Remaining CPU time: 1792.09 s c Elapsed CPU time: 8.02578 s Remaining CPU time: 1791.97 s c Elapsed CPU time: 8.14276 s Remaining CPU time: 1791.86 s c Elapsed CPU time: 8.25974 s Remaining CPU time: 1791.74 s c Elapsed CPU time: 8.37573 s Remaining CPU time: 1791.62 s c Elapsed CPU time: 8.49171 s Remaining CPU time: 1791.51 s c Elapsed CPU time: 8.60969 s Remaining CPU time: 1791.39 s c Elapsed CPU time: 8.72567 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.84366 s Remaining CPU time: 1791.16 s c Elapsed CPU time: 8.96064 s Remaining CPU time: 1791.04 s c Elapsed CPU time: 9.07662 s Remaining CPU time: 1790.92 s c Elapsed CPU time: 9.1936 s Remaining CPU time: 1790.81 s c Elapsed CPU time: 9.31058 s Remaining CPU time: 1790.69 s c Elapsed CPU time: 9.42657 s Remaining CPU time: 1790.57 s c Elapsed CPU time: 9.54455 s Remaining CPU time: 1790.46 s c Elapsed CPU time: 9.66153 s Remaining CPU time: 1790.34 s c Elapsed CPU time: 9.77751 s Remaining CPU time: 1790.22 s c Elapsed CPU time: 9.89449 s Remaining CPU time: 1790.11 s c Elapsed CPU time: 10.0115 s Remaining CPU time: 1789.99 s c Elapsed CPU time: 10.1285 s Remaining CPU time: 1789.87 s c Elapsed CPU time: 10.2454 s Remaining CPU time: 1789.75 s c Elapsed CPU time: 10.3614 s Remaining CPU time: 1789.64 s c Elapsed CPU time: 10.4794 s Remaining CPU time: 1789.52 s c Elapsed CPU time: 10.5964 s Remaining CPU time: 1789.4 s c Elapsed CPU time: 10.7134 s Remaining CPU time: 1789.29 s c Elapsed CPU time: 10.8304 s Remaining CPU time: 1789.17 s c Elapsed CPU time: 10.9473 s Remaining CPU time: 1789.05 s c Elapsed CPU time: 11.0643 s Remaining CPU time: 1788.94 s c Elapsed CPU time: 11.1813 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.2993 s Remaining CPU time: 1788.7 s c Elapsed CPU time: 11.4353 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.5542 s Remaining CPU time: 1788.45 s c Elapsed CPU time: 11.6712 s Remaining CPU time: 1788.33 s c Elapsed CPU time: 11.7892 s Remaining CPU time: 1788.21 s c Elapsed CPU time: 11.9062 s Remaining CPU time: 1788.09 s c Elapsed CPU time: 12.0242 s Remaining CPU time: 1787.98 s c Elapsed CPU time: 12.1392 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.3731 s Remaining CPU time: 1787.63 s c Elapsed CPU time: 12.4881 s Remaining CPU time: 1787.51 s c Elapsed CPU time: 12.6051 s Remaining CPU time: 1787.39 s c Elapsed CPU time: 12.7201 s Remaining CPU time: 1787.28 s c Elapsed CPU time: 12.84 s Remaining CPU time: 1787.16 s c Elapsed CPU time: 12.956 s Remaining CPU time: 1787.04 s c Elapsed CPU time: 13.071 s Remaining CPU time: 1786.93 s c Elapsed CPU time: 13.186 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.303 s Remaining CPU time: 1786.7 s c Elapsed CPU time: 13.418 s Remaining CPU time: 1786.58 s c Elapsed CPU time: 13.5339 s Remaining CPU time: 1786.47 s c Elapsed CPU time: 13.6499 s Remaining CPU time: 1786.35 s c Elapsed CPU time: 13.7659 s Remaining CPU time: 1786.23 s c Elapsed CPU time: 13.8809 s Remaining CPU time: 1786.12 s c Elapsed CPU time: 13.9969 s Remaining CPU time: 1786 s c Elapsed CPU time: 14.1129 s Remaining CPU time: 1785.89 s c Elapsed CPU time: 14.2328 s Remaining CPU time: 1785.77 s c Elapsed CPU time: 14.3488 s Remaining CPU time: 1785.65 s c Elapsed CPU time: 14.4658 s Remaining CPU time: 1785.53 s c Elapsed CPU time: 14.5818 s Remaining CPU time: 1785.42 s c Elapsed CPU time: 14.6968 s Remaining CPU time: 1785.3 s c Elapsed CPU time: 14.8137 s Remaining CPU time: 1785.19 s c Elapsed CPU time: 14.9317 s Remaining CPU time: 1785.07 s c Elapsed CPU time: 15.0467 s Remaining CPU time: 1784.95 s c Elapsed CPU time: 15.1637 s Remaining CPU time: 1784.84 s c Elapsed CPU time: 15.2817 s Remaining CPU time: 1784.72 s c Elapsed CPU time: 15.3987 s Remaining CPU time: 1784.6 s c Elapsed CPU time: 15.5156 s Remaining CPU time: 1784.48 s c Elapsed CPU time: 15.6346 s Remaining CPU time: 1784.37 s c Elapsed CPU time: 15.7516 s Remaining CPU time: 1784.25 s c Elapsed CPU time: 15.8686 s Remaining CPU time: 1784.13 s c Elapsed CPU time: 15.9866 s Remaining CPU time: 1784.01 s c Elapsed CPU time: 16.1036 s Remaining CPU time: 1783.9 s c Elapsed CPU time: 16.2205 s Remaining CPU time: 1783.78 s c Elapsed CPU time: 16.3535 s Remaining CPU time: 1783.65 s c Elapsed CPU time: 16.4755 s Remaining CPU time: 1783.52 s c Elapsed CPU time: 16.5925 s Remaining CPU time: 1783.41 s c Elapsed CPU time: 16.7095 s Remaining CPU time: 1783.29 s c Elapsed CPU time: 16.8284 s Remaining CPU time: 1783.17 s c Elapsed CPU time: 16.9454 s Remaining CPU time: 1783.05 s c Elapsed CPU time: 17.0634 s Remaining CPU time: 1782.94 s c Elapsed CPU time: 17.1814 s Remaining CPU time: 1782.82 s c Elapsed CPU time: 17.2984 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.5333 s Remaining CPU time: 1782.47 s c Elapsed CPU time: 17.6513 s Remaining CPU time: 1782.35 s c Elapsed CPU time: 17.7683 s Remaining CPU time: 1782.23 s c Elapsed CPU time: 17.8863 s Remaining CPU time: 1782.11 s c Elapsed CPU time: 18.0053 s Remaining CPU time: 1781.99 s c Elapsed CPU time: 18.1232 s Remaining CPU time: 1781.88 s c Elapsed CPU time: 18.2422 s Remaining CPU time: 1781.76 s c Elapsed CPU time: 18.3602 s Remaining CPU time: 1781.64 s c Elapsed CPU time: 18.4782 s Remaining CPU time: 1781.52 s c Elapsed CPU time: 18.5962 s Remaining CPU time: 1781.4 s c Elapsed CPU time: 18.7162 s Remaining CPU time: 1781.28 s c Elapsed CPU time: 18.8341 s Remaining CPU time: 1781.17 s c Elapsed CPU time: 18.9531 s Remaining CPU time: 1781.05 s c Elapsed CPU time: 19.0711 s Remaining CPU time: 1780.93 s c Elapsed CPU time: 19.1901 s Remaining CPU time: 1780.81 s c Elapsed CPU time: 19.3081 s Remaining CPU time: 1780.69 s c Elapsed CPU time: 19.429 s Remaining CPU time: 1780.57 s c Elapsed CPU time: 19.547 s Remaining CPU time: 1780.45 s c Elapsed CPU time: 19.667 s Remaining CPU time: 1780.33 s c Elapsed CPU time: 19.786 s Remaining CPU time: 1780.21 s c Elapsed CPU time: 19.906 s Remaining CPU time: 1780.09 s c Elapsed CPU time: 20.026 s Remaining CPU time: 1779.97 s c Elapsed CPU time: 20.1469 s Remaining CPU time: 1779.85 s c Elapsed CPU time: 20.2659 s Remaining CPU time: 1779.73 s c Elapsed CPU time: 20.3869 s Remaining CPU time: 1779.61 s c Elapsed CPU time: 20.5069 s Remaining CPU time: 1779.49 s c Elapsed CPU time: 20.6259 s Remaining CPU time: 1779.37 s c Elapsed CPU time: 20.7448 s Remaining CPU time: 1779.26 s c Elapsed CPU time: 20.8658 s Remaining CPU time: 1779.13 s c Elapsed CPU time: 20.9858 s Remaining CPU time: 1779.01 s c Elapsed CPU time: 21.1078 s Remaining CPU time: 1778.89 s c Elapsed CPU time: 21.2288 s Remaining CPU time: 1778.77 s c Elapsed CPU time: 21.3518 s Remaining CPU time: 1778.65 s c Elapsed CPU time: 21.4727 s Remaining CPU time: 1778.53 s c Elapsed CPU time: 21.5967 s Remaining CPU time: 1778.4 s c Elapsed CPU time: 21.7227 s Remaining CPU time: 1778.28 s c Elapsed CPU time: 21.8467 s Remaining CPU time: 1778.15 s c Elapsed CPU time: 21.9727 s Remaining CPU time: 1778.03 s c Elapsed CPU time: 22.0986 s Remaining CPU time: 1777.9 s c Elapsed CPU time: 22.2246 s Remaining CPU time: 1777.78 s c Elapsed CPU time: 22.3506 s Remaining CPU time: 1777.65 s c Elapsed CPU time: 22.4776 s Remaining CPU time: 1777.52 s c Elapsed CPU time: 22.6046 s Remaining CPU time: 1777.4 s c Elapsed CPU time: 22.7345 s Remaining CPU time: 1777.27 s c Elapsed CPU time: 22.8645 s Remaining CPU time: 1777.14 s c Elapsed CPU time: 22.9945 s Remaining CPU time: 1777.01 s c Elapsed CPU time: 23.1255 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.2545 s Remaining CPU time: 1776.75 s c Elapsed CPU time: 23.3834 s Remaining CPU time: 1776.62 s c Elapsed CPU time: 23.5114 s Remaining CPU time: 1776.49 s c Elapsed CPU time: 23.6434 s Remaining CPU time: 1776.36 s c Elapsed CPU time: 23.7724 s Remaining CPU time: 1776.23 s c Elapsed CPU time: 23.9034 s Remaining CPU time: 1776.1 s c Elapsed CPU time: 24.0363 s Remaining CPU time: 1775.96 s c Elapsed CPU time: 24.1673 s Remaining CPU time: 1775.83 s c Elapsed CPU time: 24.2973 s Remaining CPU time: 1775.7 s c Elapsed CPU time: 24.4273 s Remaining CPU time: 1775.57 s c Elapsed CPU time: 24.5563 s Remaining CPU time: 1775.44 s c Elapsed CPU time: 24.6872 s Remaining CPU time: 1775.31 s c Elapsed CPU time: 24.8172 s Remaining CPU time: 1775.18 s c Elapsed CPU time: 24.9472 s Remaining CPU time: 1775.05 s c Elapsed CPU time: 25.0772 s Remaining CPU time: 1774.92 s c Elapsed CPU time: 25.2092 s Remaining CPU time: 1774.79 s c Elapsed CPU time: 25.3391 s Remaining CPU time: 1774.66 s c Elapsed CPU time: 25.4731 s Remaining CPU time: 1774.53 s c Elapsed CPU time: 25.6051 s Remaining CPU time: 1774.39 s c Elapsed CPU time: 25.7381 s Remaining CPU time: 1774.26 s c Elapsed CPU time: 25.8711 s Remaining CPU time: 1774.13 s c Elapsed CPU time: 26.004 s Remaining CPU time: 1774 s c Elapsed CPU time: 26.137 s Remaining CPU time: 1773.86 s c Elapsed CPU time: 26.271 s Remaining CPU time: 1773.73 s c Elapsed CPU time: 26.404 s Remaining CPU time: 1773.6 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113080 217659 | 37693 0 nan | 0.000 % | c =============================================================================== c Verified 113080 original clauses.