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.077988 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.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.636903 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.07784 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.18782 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.41078 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.52177 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63275 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.74174 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.9617 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.07168 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.18267 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.40663 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.51662 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6276 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.73758 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.85157 s Remaining CPU time: 1797.15 s c Elapsed CPU time: 2.96555 s Remaining CPU time: 1797.03 s c Elapsed CPU time: 3.07953 s Remaining CPU time: 1796.92 s c Elapsed CPU time: 3.19251 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.3065 s Remaining CPU time: 1796.69 s c Elapsed CPU time: 3.42048 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.53446 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.64845 s Remaining CPU time: 1796.35 s c Elapsed CPU time: 3.76243 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.87541 s Remaining CPU time: 1796.12 s c Elapsed CPU time: 3.98839 s Remaining CPU time: 1796.01 s c Elapsed CPU time: 4.10238 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.21636 s Remaining CPU time: 1795.78 s c Elapsed CPU time: 4.33034 s Remaining CPU time: 1795.67 s c Elapsed CPU time: 4.44332 s Remaining CPU time: 1795.56 s c Elapsed CPU time: 4.55731 s Remaining CPU time: 1795.44 s c Elapsed CPU time: 4.67229 s Remaining CPU time: 1795.33 s c Elapsed CPU time: 4.78627 s Remaining CPU time: 1795.21 s c Elapsed CPU time: 4.90125 s Remaining CPU time: 1795.1 s c Elapsed CPU time: 5.01524 s Remaining CPU time: 1794.98 s c Elapsed CPU time: 5.13122 s Remaining CPU time: 1794.87 s c Elapsed CPU time: 5.2442 s Remaining CPU time: 1794.76 s c Elapsed CPU time: 5.35919 s Remaining CPU time: 1794.64 s c Elapsed CPU time: 5.47317 s Remaining CPU time: 1794.53 s c Elapsed CPU time: 5.59015 s Remaining CPU time: 1794.41 s c Elapsed CPU time: 5.70413 s Remaining CPU time: 1794.3 s c Elapsed CPU time: 5.82012 s Remaining CPU time: 1794.18 s c Elapsed CPU time: 5.9331 s Remaining CPU time: 1794.07 s c Elapsed CPU time: 6.04908 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.16406 s Remaining CPU time: 1793.84 s c Elapsed CPU time: 6.27804 s Remaining CPU time: 1793.72 s c Elapsed CPU time: 6.39303 s Remaining CPU time: 1793.61 s c Elapsed CPU time: 6.50801 s Remaining CPU time: 1793.49 s c Elapsed CPU time: 6.62199 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.73798 s Remaining CPU time: 1793.26 s c Elapsed CPU time: 6.85396 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.96894 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 7.08492 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.20191 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.31589 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.43087 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.54685 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.66183 s Remaining CPU time: 1792.34 s c Elapsed CPU time: 7.77682 s Remaining CPU time: 1792.22 s c Elapsed CPU time: 7.8938 s Remaining CPU time: 1792.11 s c Elapsed CPU time: 8.00878 s Remaining CPU time: 1791.99 s c Elapsed CPU time: 8.12576 s Remaining CPU time: 1791.87 s c Elapsed CPU time: 8.24175 s Remaining CPU time: 1791.76 s c Elapsed CPU time: 8.35873 s Remaining CPU time: 1791.64 s c Elapsed CPU time: 8.47471 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.59169 s Remaining CPU time: 1791.41 s c Elapsed CPU time: 8.70668 s Remaining CPU time: 1791.29 s c Elapsed CPU time: 8.82266 s Remaining CPU time: 1791.18 s c Elapsed CPU time: 8.93964 s Remaining CPU time: 1791.06 s c Elapsed CPU time: 9.05662 s Remaining CPU time: 1790.94 s c Elapsed CPU time: 9.17261 s Remaining CPU time: 1790.83 s c Elapsed CPU time: 9.28859 s Remaining CPU time: 1790.71 s c Elapsed CPU time: 9.40457 s Remaining CPU time: 1790.6 s c Elapsed CPU time: 9.52155 s Remaining CPU time: 1790.48 s c Elapsed CPU time: 9.63853 s Remaining CPU time: 1790.36 s c Elapsed CPU time: 9.75452 s Remaining CPU time: 1790.25 s c Elapsed CPU time: 9.8715 s Remaining CPU time: 1790.13 s c Elapsed CPU time: 9.98948 s Remaining CPU time: 1790.01 s c Elapsed CPU time: 10.1055 s Remaining CPU time: 1789.89 s c Elapsed CPU time: 10.2224 s Remaining CPU time: 1789.78 s c Elapsed CPU time: 10.3394 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.5724 s Remaining CPU time: 1789.43 s c Elapsed CPU time: 10.6904 s Remaining CPU time: 1789.31 s c Elapsed CPU time: 10.8084 s Remaining CPU time: 1789.19 s c Elapsed CPU time: 10.9263 s Remaining CPU time: 1789.07 s c Elapsed CPU time: 11.0443 s Remaining CPU time: 1788.96 s c Elapsed CPU time: 11.1623 s Remaining CPU time: 1788.84 s c Elapsed CPU time: 11.2823 s Remaining CPU time: 1788.72 s c Elapsed CPU time: 11.3983 s Remaining CPU time: 1788.6 s c Elapsed CPU time: 11.5162 s Remaining CPU time: 1788.48 s c Elapsed CPU time: 11.6342 s Remaining CPU time: 1788.37 s c Elapsed CPU time: 11.7522 s Remaining CPU time: 1788.25 s c Elapsed CPU time: 11.8702 s Remaining CPU time: 1788.13 s c Elapsed CPU time: 11.9882 s Remaining CPU time: 1788.01 s c Elapsed CPU time: 12.1072 s Remaining CPU time: 1787.89 s c Elapsed CPU time: 12.2231 s Remaining CPU time: 1787.78 s c Elapsed CPU time: 12.3391 s Remaining CPU time: 1787.66 s c Elapsed CPU time: 12.4561 s Remaining CPU time: 1787.54 s c Elapsed CPU time: 12.5731 s Remaining CPU time: 1787.43 s c Elapsed CPU time: 12.6911 s Remaining CPU time: 1787.31 s c Elapsed CPU time: 12.8081 s Remaining CPU time: 1787.19 s c Elapsed CPU time: 12.925 s Remaining CPU time: 1787.07 s c Elapsed CPU time: 13.044 s Remaining CPU time: 1786.96 s c Elapsed CPU time: 13.161 s Remaining CPU time: 1786.84 s c Elapsed CPU time: 13.279 s Remaining CPU time: 1786.72 s c Elapsed CPU time: 13.397 s Remaining CPU time: 1786.6 s c Elapsed CPU time: 13.5139 s Remaining CPU time: 1786.49 s c Elapsed CPU time: 13.6319 s Remaining CPU time: 1786.37 s c Elapsed CPU time: 13.7499 s Remaining CPU time: 1786.25 s c Elapsed CPU time: 13.8669 s Remaining CPU time: 1786.13 s c Elapsed CPU time: 13.9839 s Remaining CPU time: 1786.02 s c Elapsed CPU time: 14.1009 s Remaining CPU time: 1785.9 s c Elapsed CPU time: 14.2198 s Remaining CPU time: 1785.78 s c Elapsed CPU time: 14.3368 s Remaining CPU time: 1785.66 s c Elapsed CPU time: 14.4558 s Remaining CPU time: 1785.54 s c Elapsed CPU time: 14.5738 s Remaining CPU time: 1785.43 s c Elapsed CPU time: 14.6908 s Remaining CPU time: 1785.31 s c Elapsed CPU time: 14.8087 s Remaining CPU time: 1785.19 s c Elapsed CPU time: 14.9267 s Remaining CPU time: 1785.07 s c Elapsed CPU time: 15.0447 s Remaining CPU time: 1784.96 s c Elapsed CPU time: 15.1617 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.4027 s Remaining CPU time: 1784.6 s c Elapsed CPU time: 15.5246 s Remaining CPU time: 1784.48 s c Elapsed CPU time: 15.6456 s Remaining CPU time: 1784.35 s c Elapsed CPU time: 15.7676 s Remaining CPU time: 1784.23 s c Elapsed CPU time: 15.8916 s Remaining CPU time: 1784.11 s c Elapsed CPU time: 16.0166 s Remaining CPU time: 1783.98 s c Elapsed CPU time: 16.1415 s Remaining CPU time: 1783.86 s c Elapsed CPU time: 16.2645 s Remaining CPU time: 1783.74 s c Elapsed CPU time: 16.3835 s Remaining CPU time: 1783.62 s c Elapsed CPU time: 16.5015 s Remaining CPU time: 1783.5 s c Elapsed CPU time: 16.6195 s Remaining CPU time: 1783.38 s c Elapsed CPU time: 16.7375 s Remaining CPU time: 1783.26 s c Elapsed CPU time: 16.8554 s Remaining CPU time: 1783.14 s c Elapsed CPU time: 16.9724 s Remaining CPU time: 1783.03 s c Elapsed CPU time: 17.0884 s Remaining CPU time: 1782.91 s c Elapsed CPU time: 17.2054 s Remaining CPU time: 1782.79 s c Elapsed CPU time: 17.3234 s Remaining CPU time: 1782.68 s c Elapsed CPU time: 17.4393 s Remaining CPU time: 1782.56 s c Elapsed CPU time: 17.5563 s Remaining CPU time: 1782.44 s c Elapsed CPU time: 17.6733 s Remaining CPU time: 1782.33 s c Elapsed CPU time: 17.7913 s Remaining CPU time: 1782.21 s c Elapsed CPU time: 17.9093 s Remaining CPU time: 1782.09 s c Elapsed CPU time: 18.0263 s Remaining CPU time: 1781.97 s c Elapsed CPU time: 18.1422 s Remaining CPU time: 1781.86 s c Elapsed CPU time: 18.2602 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.4952 s Remaining CPU time: 1781.5 s c Elapsed CPU time: 18.6142 s Remaining CPU time: 1781.39 s c Elapsed CPU time: 18.7322 s Remaining CPU time: 1781.27 s c Elapsed CPU time: 18.8521 s Remaining CPU time: 1781.15 s c Elapsed CPU time: 18.9711 s Remaining CPU time: 1781.03 s c Elapsed CPU time: 19.0881 s Remaining CPU time: 1780.91 s c Elapsed CPU time: 19.2091 s Remaining CPU time: 1780.79 s c Elapsed CPU time: 19.3281 s Remaining CPU time: 1780.67 s c Elapsed CPU time: 19.447 s Remaining CPU time: 1780.55 s c Elapsed CPU time: 19.567 s Remaining CPU time: 1780.43 s c Elapsed CPU time: 19.685 s Remaining CPU time: 1780.31 s c Elapsed CPU time: 19.804 s Remaining CPU time: 1780.2 s c Elapsed CPU time: 19.922 s Remaining CPU time: 1780.08 s c Elapsed CPU time: 20.04 s Remaining CPU time: 1779.96 s c Elapsed CPU time: 20.1589 s Remaining CPU time: 1779.84 s c Elapsed CPU time: 20.2799 s Remaining CPU time: 1779.72 s c Elapsed CPU time: 20.3979 s Remaining CPU time: 1779.6 s c Elapsed CPU time: 20.5159 s Remaining CPU time: 1779.48 s c Elapsed CPU time: 20.6329 s Remaining CPU time: 1779.37 s c Elapsed CPU time: 20.7518 s Remaining CPU time: 1779.25 s c Elapsed CPU time: 20.8718 s Remaining CPU time: 1779.13 s c Elapsed CPU time: 20.9918 s Remaining CPU time: 1779.01 s c Elapsed CPU time: 21.1118 s Remaining CPU time: 1778.89 s c Elapsed CPU time: 21.2298 s Remaining CPU time: 1778.77 s c Elapsed CPU time: 21.3488 s Remaining CPU time: 1778.65 s c Elapsed CPU time: 21.4697 s Remaining CPU time: 1778.53 s c Elapsed CPU time: 21.5907 s Remaining CPU time: 1778.41 s c Elapsed CPU time: 21.7137 s Remaining CPU time: 1778.29 s c Elapsed CPU time: 21.8337 s Remaining CPU time: 1778.17 s c Elapsed CPU time: 21.9547 s Remaining CPU time: 1778.05 s c Elapsed CPU time: 22.0766 s Remaining CPU time: 1777.92 s c Elapsed CPU time: 22.1986 s Remaining CPU time: 1777.8 s c Elapsed CPU time: 22.3216 s Remaining CPU time: 1777.68 s c Elapsed CPU time: 22.4426 s Remaining CPU time: 1777.56 s c Elapsed CPU time: 22.5646 s Remaining CPU time: 1777.44 s c Elapsed CPU time: 22.6876 s Remaining CPU time: 1777.31 s c Elapsed CPU time: 22.8095 s Remaining CPU time: 1777.19 s c Elapsed CPU time: 22.9335 s Remaining CPU time: 1777.07 s c Elapsed CPU time: 23.0555 s Remaining CPU time: 1776.94 s c Elapsed CPU time: 23.1795 s Remaining CPU time: 1776.82 s c Elapsed CPU time: 23.3015 s Remaining CPU time: 1776.7 s c Elapsed CPU time: 23.4254 s Remaining CPU time: 1776.57 s c Elapsed CPU time: 23.5494 s Remaining CPU time: 1776.45 s c Elapsed CPU time: 23.6704 s Remaining CPU time: 1776.33 s c Elapsed CPU time: 23.7934 s Remaining CPU time: 1776.21 s c Elapsed CPU time: 23.9174 s Remaining CPU time: 1776.08 s c Elapsed CPU time: 24.0413 s Remaining CPU time: 1775.96 s c Elapsed CPU time: 24.1643 s Remaining CPU time: 1775.84 s c Elapsed CPU time: 24.2883 s Remaining CPU time: 1775.71 s c Elapsed CPU time: 24.4113 s Remaining CPU time: 1775.59 s c Elapsed CPU time: 24.5363 s Remaining CPU time: 1775.46 s c Elapsed CPU time: 24.6612 s Remaining CPU time: 1775.34 s c Elapsed CPU time: 24.7862 s Remaining CPU time: 1775.21 s c Elapsed CPU time: 24.9102 s Remaining CPU time: 1775.09 s c Elapsed CPU time: 25.0352 s Remaining CPU time: 1774.96 s c Elapsed CPU time: 25.1612 s Remaining CPU time: 1774.84 s c Elapsed CPU time: 25.2862 s Remaining CPU time: 1774.71 s c Elapsed CPU time: 25.4111 s Remaining CPU time: 1774.59 s c Elapsed CPU time: 25.5361 s Remaining CPU time: 1774.46 s c Elapsed CPU time: 25.6631 s Remaining CPU time: 1774.34 s c Elapsed CPU time: 25.7881 s Remaining CPU time: 1774.21 s c Elapsed CPU time: 25.9151 s Remaining CPU time: 1774.08 s c Elapsed CPU time: 26.04 s Remaining CPU time: 1773.96 s c Elapsed CPU time: 26.168 s Remaining CPU time: 1773.83 s c Elapsed CPU time: 26.296 s Remaining CPU time: 1773.7 s c Elapsed CPU time: 26.423 s Remaining CPU time: 1773.58 s c Elapsed CPU time: 26.552 s Remaining CPU time: 1773.45 s c Elapsed CPU time: 26.6799 s Remaining CPU time: 1773.32 s c Elapsed CPU time: 26.8089 s Remaining CPU time: 1773.19 s c Elapsed CPU time: 26.9389 s Remaining CPU time: 1773.06 s c Elapsed CPU time: 27.0669 s Remaining CPU time: 1772.93 s c Elapsed CPU time: 27.1959 s Remaining CPU time: 1772.8 s c Elapsed CPU time: 27.3258 s Remaining CPU time: 1772.67 s c Elapsed CPU time: 27.4558 s Remaining CPU time: 1772.54 s c Elapsed CPU time: 27.5858 s Remaining CPU time: 1772.41 s c Elapsed CPU time: 27.7148 s Remaining CPU time: 1772.29 s c Elapsed CPU time: 27.8448 s Remaining CPU time: 1772.16 s c Elapsed CPU time: 27.9747 s Remaining CPU time: 1772.03 s c Elapsed CPU time: 28.1047 s Remaining CPU time: 1771.9 s c Elapsed CPU time: 28.2347 s Remaining CPU time: 1771.77 s c Elapsed CPU time: 28.3657 s Remaining CPU time: 1771.63 s c Elapsed CPU time: 28.4957 s Remaining CPU time: 1771.5 s c Elapsed CPU time: 28.6266 s Remaining CPU time: 1771.37 s c Elapsed CPU time: 28.7576 s Remaining CPU time: 1771.24 s c Elapsed CPU time: 28.8906 s Remaining CPU time: 1771.11 s c Elapsed CPU time: 29.0226 s Remaining CPU time: 1770.98 s c Elapsed CPU time: 29.1556 s Remaining CPU time: 1770.84 s c Elapsed CPU time: 29.2855 s Remaining CPU time: 1770.71 s c Elapsed CPU time: 29.4195 s Remaining CPU time: 1770.58 s c Elapsed CPU time: 29.5505 s Remaining CPU time: 1770.45 s c Elapsed CPU time: 29.6845 s Remaining CPU time: 1770.32 s c Elapsed CPU time: 29.8165 s Remaining CPU time: 1770.18 s c Elapsed CPU time: 29.9514 s Remaining CPU time: 1770.05 s c Elapsed CPU time: 30.0844 s Remaining CPU time: 1769.92 s c Elapsed CPU time: 30.2184 s Remaining CPU time: 1769.78 s c Elapsed CPU time: 30.3514 s Remaining CPU time: 1769.65 s c Elapsed CPU time: 30.4844 s Remaining CPU time: 1769.52 s c Elapsed CPU time: 30.6183 s Remaining CPU time: 1769.38 s c Elapsed CPU time: 30.7503 s Remaining CPU time: 1769.25 s c Elapsed CPU time: 30.8863 s Remaining CPU time: 1769.11 s c Elapsed CPU time: 31.0223 s Remaining CPU time: 1768.98 s c Elapsed CPU time: 31.1553 s Remaining CPU time: 1768.84 s c Elapsed CPU time: 31.2872 s Remaining CPU time: 1768.71 s c Elapsed CPU time: 31.4242 s Remaining CPU time: 1768.58 s c Elapsed CPU time: 31.5582 s Remaining CPU time: 1768.44 s c Elapsed CPU time: 31.6932 s Remaining CPU time: 1768.31 s c Elapsed CPU time: 31.8292 s Remaining CPU time: 1768.17 s c Elapsed CPU time: 31.9661 s Remaining CPU time: 1768.03 s c Elapsed CPU time: 32.1031 s Remaining CPU time: 1767.9 s c Elapsed CPU time: 32.2371 s Remaining CPU time: 1767.76 s c Elapsed CPU time: 32.3751 s Remaining CPU time: 1767.62 s c Elapsed CPU time: 32.5101 s Remaining CPU time: 1767.49 s c Elapsed CPU time: 32.646 s Remaining CPU time: 1767.35 s c Elapsed CPU time: 32.782 s Remaining CPU time: 1767.22 s c Elapsed CPU time: 32.919 s Remaining CPU time: 1767.08 s c Elapsed CPU time: 33.057 s Remaining CPU time: 1766.94 s c Elapsed CPU time: 33.194 s Remaining CPU time: 1766.81 s c Elapsed CPU time: 33.3319 s Remaining CPU time: 1766.67 s c Elapsed CPU time: 33.4689 s Remaining CPU time: 1766.53 s c Elapsed CPU time: 33.6069 s Remaining CPU time: 1766.39 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 80 113192 217902 | 37730 0 nan | 0.000 % | c =============================================================================== c Verified 113192 original clauses.