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.19497 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.315951 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s c Elapsed CPU time: 0.556915 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.677896 s Remaining CPU time: 1799.32 s c Elapsed CPU time: 0.797878 s Remaining CPU time: 1799.2 s c Elapsed CPU time: 0.921859 s Remaining CPU time: 1799.08 s c Elapsed CPU time: 1.04784 s Remaining CPU time: 1798.95 s c Elapsed CPU time: 1.17082 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2928 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.41379 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.53577 s Remaining CPU time: 1798.46 s c Elapsed CPU time: 1.65975 s Remaining CPU time: 1798.34 s c Elapsed CPU time: 1.78373 s Remaining CPU time: 1798.22 s c Elapsed CPU time: 1.90571 s Remaining CPU time: 1798.09 s c Elapsed CPU time: 2.02769 s Remaining CPU time: 1797.97 s c Elapsed CPU time: 2.15267 s Remaining CPU time: 1797.85 s c Elapsed CPU time: 2.27865 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.40363 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.52761 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6516 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.77358 s Remaining CPU time: 1797.23 s c Elapsed CPU time: 2.89656 s Remaining CPU time: 1797.1 s c Elapsed CPU time: 3.02154 s Remaining CPU time: 1796.98 s c Elapsed CPU time: 3.14852 s Remaining CPU time: 1796.85 s c Elapsed CPU time: 3.2725 s Remaining CPU time: 1796.73 s c Elapsed CPU time: 3.39748 s Remaining CPU time: 1796.6 s c Elapsed CPU time: 3.52246 s Remaining CPU time: 1796.48 s c Elapsed CPU time: 3.65144 s Remaining CPU time: 1796.35 s c Elapsed CPU time: 3.77743 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.90241 s Remaining CPU time: 1796.1 s c Elapsed CPU time: 4.02739 s Remaining CPU time: 1795.97 s c Elapsed CPU time: 4.15437 s Remaining CPU time: 1795.85 s c Elapsed CPU time: 4.27935 s Remaining CPU time: 1795.72 s c Elapsed CPU time: 4.40733 s Remaining CPU time: 1795.59 s c Elapsed CPU time: 4.53131 s Remaining CPU time: 1795.47 s c Elapsed CPU time: 4.65829 s Remaining CPU time: 1795.34 s c Elapsed CPU time: 4.78227 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.90925 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 5.03623 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.16521 s Remaining CPU time: 1794.83 s c Elapsed CPU time: 5.29219 s Remaining CPU time: 1794.71 s c Elapsed CPU time: 5.42218 s Remaining CPU time: 1794.58 s c Elapsed CPU time: 5.55016 s Remaining CPU time: 1794.45 s c Elapsed CPU time: 5.67814 s Remaining CPU time: 1794.32 s c Elapsed CPU time: 5.80412 s Remaining CPU time: 1794.2 s c Elapsed CPU time: 5.9291 s Remaining CPU time: 1794.07 s c Elapsed CPU time: 6.05608 s Remaining CPU time: 1793.94 s c Elapsed CPU time: 6.18306 s Remaining CPU time: 1793.82 s c Elapsed CPU time: 6.31004 s Remaining CPU time: 1793.69 s c Elapsed CPU time: 6.43702 s Remaining CPU time: 1793.56 s c Elapsed CPU time: 6.565 s Remaining CPU time: 1793.43 s c Elapsed CPU time: 6.69198 s Remaining CPU time: 1793.31 s c Elapsed CPU time: 6.82096 s Remaining CPU time: 1793.18 s c Elapsed CPU time: 6.95194 s Remaining CPU time: 1793.05 s c Elapsed CPU time: 7.08092 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.2089 s Remaining CPU time: 1792.79 s c Elapsed CPU time: 7.33588 s Remaining CPU time: 1792.66 s c Elapsed CPU time: 7.46486 s Remaining CPU time: 1792.54 s c Elapsed CPU time: 7.59185 s Remaining CPU time: 1792.41 s c Elapsed CPU time: 7.71983 s Remaining CPU time: 1792.28 s c Elapsed CPU time: 7.84681 s Remaining CPU time: 1792.15 s c Elapsed CPU time: 7.97579 s Remaining CPU time: 1792.02 s c Elapsed CPU time: 8.10377 s Remaining CPU time: 1791.9 s c Elapsed CPU time: 8.23175 s Remaining CPU time: 1791.77 s c Elapsed CPU time: 8.36173 s Remaining CPU time: 1791.64 s c Elapsed CPU time: 8.49071 s Remaining CPU time: 1791.51 s c Elapsed CPU time: 8.61869 s Remaining CPU time: 1791.38 s c Elapsed CPU time: 8.74667 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.87365 s Remaining CPU time: 1791.13 s c Elapsed CPU time: 9.00263 s Remaining CPU time: 1791 s c Elapsed CPU time: 9.12761 s Remaining CPU time: 1790.87 s c Elapsed CPU time: 9.25459 s Remaining CPU time: 1790.75 s c Elapsed CPU time: 9.38157 s Remaining CPU time: 1790.62 s c Elapsed CPU time: 9.50955 s Remaining CPU time: 1790.49 s c Elapsed CPU time: 9.63953 s Remaining CPU time: 1790.36 s c Elapsed CPU time: 9.76652 s Remaining CPU time: 1790.23 s c Elapsed CPU time: 9.89749 s Remaining CPU time: 1790.1 s c Elapsed CPU time: 10.0255 s Remaining CPU time: 1789.97 s c Elapsed CPU time: 10.1545 s Remaining CPU time: 1789.85 s c Elapsed CPU time: 10.2844 s Remaining CPU time: 1789.72 s c Elapsed CPU time: 10.4124 s Remaining CPU time: 1789.59 s c Elapsed CPU time: 10.5404 s Remaining CPU time: 1789.46 s c Elapsed CPU time: 10.6684 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.7944 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.9233 s Remaining CPU time: 1789.08 s c Elapsed CPU time: 11.0523 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.1793 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.3103 s Remaining CPU time: 1788.69 s c Elapsed CPU time: 11.4423 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.5722 s Remaining CPU time: 1788.43 s c Elapsed CPU time: 11.7022 s Remaining CPU time: 1788.3 s c Elapsed CPU time: 11.8322 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.9612 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 12.0882 s Remaining CPU time: 1787.91 s c Elapsed CPU time: 12.2181 s Remaining CPU time: 1787.78 s c Elapsed CPU time: 12.3471 s Remaining CPU time: 1787.65 s c Elapsed CPU time: 12.4771 s Remaining CPU time: 1787.52 s c Elapsed CPU time: 12.6071 s Remaining CPU time: 1787.39 s c Elapsed CPU time: 12.7381 s Remaining CPU time: 1787.26 s c Elapsed CPU time: 12.87 s Remaining CPU time: 1787.13 s c Elapsed CPU time: 13.005 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.136 s Remaining CPU time: 1786.86 s c Elapsed CPU time: 13.266 s Remaining CPU time: 1786.73 s c Elapsed CPU time: 13.397 s Remaining CPU time: 1786.6 s c Elapsed CPU time: 13.5289 s Remaining CPU time: 1786.47 s c Elapsed CPU time: 13.6599 s Remaining CPU time: 1786.34 s c Elapsed CPU time: 13.7919 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.9239 s Remaining CPU time: 1786.08 s c Elapsed CPU time: 14.0569 s Remaining CPU time: 1785.94 s c Elapsed CPU time: 14.1918 s Remaining CPU time: 1785.81 s c Elapsed CPU time: 14.3258 s Remaining CPU time: 1785.67 s c Elapsed CPU time: 14.4578 s Remaining CPU time: 1785.54 s c Elapsed CPU time: 14.5898 s Remaining CPU time: 1785.41 s c Elapsed CPU time: 14.7198 s Remaining CPU time: 1785.28 s c Elapsed CPU time: 14.8527 s Remaining CPU time: 1785.15 s c Elapsed CPU time: 14.9847 s Remaining CPU time: 1785.02 s c Elapsed CPU time: 15.1177 s Remaining CPU time: 1784.88 s c Elapsed CPU time: 15.2497 s Remaining CPU time: 1784.75 s c Elapsed CPU time: 15.3857 s Remaining CPU time: 1784.61 s c Elapsed CPU time: 15.5196 s Remaining CPU time: 1784.48 s c Elapsed CPU time: 15.6526 s Remaining CPU time: 1784.35 s c Elapsed CPU time: 15.7826 s Remaining CPU time: 1784.22 s c Elapsed CPU time: 15.9186 s Remaining CPU time: 1784.08 s c Elapsed CPU time: 16.0506 s Remaining CPU time: 1783.95 s c Elapsed CPU time: 16.1825 s Remaining CPU time: 1783.82 s c Elapsed CPU time: 16.3135 s Remaining CPU time: 1783.69 s c Elapsed CPU time: 16.4455 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5815 s Remaining CPU time: 1783.42 s c Elapsed CPU time: 16.7165 s Remaining CPU time: 1783.28 s c Elapsed CPU time: 16.8504 s Remaining CPU time: 1783.15 s c Elapsed CPU time: 16.9844 s Remaining CPU time: 1783.02 s c Elapsed CPU time: 17.1184 s Remaining CPU time: 1782.88 s c Elapsed CPU time: 17.2514 s Remaining CPU time: 1782.75 s c Elapsed CPU time: 17.3854 s Remaining CPU time: 1782.61 s c Elapsed CPU time: 17.5183 s Remaining CPU time: 1782.48 s c Elapsed CPU time: 17.6523 s Remaining CPU time: 1782.35 s c Elapsed CPU time: 17.7873 s Remaining CPU time: 1782.21 s c Elapsed CPU time: 17.9253 s Remaining CPU time: 1782.07 s c Elapsed CPU time: 18.0603 s Remaining CPU time: 1781.94 s c Elapsed CPU time: 18.1952 s Remaining CPU time: 1781.8 s c Elapsed CPU time: 18.3302 s Remaining CPU time: 1781.67 s c Elapsed CPU time: 18.4652 s Remaining CPU time: 1781.53 s c Elapsed CPU time: 18.5992 s Remaining CPU time: 1781.4 s c Elapsed CPU time: 18.7332 s Remaining CPU time: 1781.27 s c Elapsed CPU time: 18.8681 s Remaining CPU time: 1781.13 s c Elapsed CPU time: 19.0051 s Remaining CPU time: 1780.99 s c Elapsed CPU time: 19.1431 s Remaining CPU time: 1780.86 s c Elapsed CPU time: 19.2801 s Remaining CPU time: 1780.72 s c Elapsed CPU time: 19.414 s Remaining CPU time: 1780.59 s c Elapsed CPU time: 19.55 s Remaining CPU time: 1780.45 s c Elapsed CPU time: 19.685 s Remaining CPU time: 1780.31 s c Elapsed CPU time: 19.82 s Remaining CPU time: 1780.18 s c Elapsed CPU time: 19.954 s Remaining CPU time: 1780.05 s c Elapsed CPU time: 20.0909 s Remaining CPU time: 1779.91 s c Elapsed CPU time: 20.2279 s Remaining CPU time: 1779.77 s c Elapsed CPU time: 20.3649 s Remaining CPU time: 1779.64 s c Elapsed CPU time: 20.5029 s Remaining CPU time: 1779.5 s c Elapsed CPU time: 20.6379 s Remaining CPU time: 1779.36 s c Elapsed CPU time: 20.7728 s Remaining CPU time: 1779.23 s c Elapsed CPU time: 20.9078 s Remaining CPU time: 1779.09 s c Elapsed CPU time: 21.0428 s Remaining CPU time: 1778.96 s c Elapsed CPU time: 21.1768 s Remaining CPU time: 1778.82 s c Elapsed CPU time: 21.3138 s Remaining CPU time: 1778.69 s c Elapsed CPU time: 21.4517 s Remaining CPU time: 1778.55 s c Elapsed CPU time: 21.5907 s Remaining CPU time: 1778.41 s c Elapsed CPU time: 21.7277 s Remaining CPU time: 1778.27 s c Elapsed CPU time: 21.8647 s Remaining CPU time: 1778.14 s c Elapsed CPU time: 22.0007 s Remaining CPU time: 1778 s c Elapsed CPU time: 22.1376 s Remaining CPU time: 1777.86 s c Elapsed CPU time: 22.2726 s Remaining CPU time: 1777.73 s c Elapsed CPU time: 22.4106 s Remaining CPU time: 1777.59 s c Elapsed CPU time: 22.5456 s Remaining CPU time: 1777.45 s c Elapsed CPU time: 22.6826 s Remaining CPU time: 1777.32 s c Elapsed CPU time: 22.8155 s Remaining CPU time: 1777.18 s c Elapsed CPU time: 22.9525 s Remaining CPU time: 1777.05 s c Elapsed CPU time: 23.0875 s Remaining CPU time: 1776.91 s c Elapsed CPU time: 23.2255 s Remaining CPU time: 1776.77 s c Elapsed CPU time: 23.3624 s Remaining CPU time: 1776.64 s c Elapsed CPU time: 23.5004 s Remaining CPU time: 1776.5 s c Elapsed CPU time: 23.6384 s Remaining CPU time: 1776.36 s c Elapsed CPU time: 23.7784 s Remaining CPU time: 1776.22 s c Elapsed CPU time: 23.9174 s Remaining CPU time: 1776.08 s c Elapsed CPU time: 24.0593 s Remaining CPU time: 1775.94 s c Elapsed CPU time: 24.1973 s Remaining CPU time: 1775.8 s c Elapsed CPU time: 24.3393 s Remaining CPU time: 1775.66 s c Elapsed CPU time: 24.4773 s Remaining CPU time: 1775.52 s c Elapsed CPU time: 24.6193 s Remaining CPU time: 1775.38 s c Elapsed CPU time: 24.7582 s Remaining CPU time: 1775.24 s c Elapsed CPU time: 24.8972 s Remaining CPU time: 1775.1 s c Elapsed CPU time: 25.0372 s Remaining CPU time: 1774.96 s c Elapsed CPU time: 25.1792 s Remaining CPU time: 1774.82 s c Elapsed CPU time: 25.3202 s Remaining CPU time: 1774.68 s c Elapsed CPU time: 25.4651 s Remaining CPU time: 1774.53 s c Elapsed CPU time: 25.6091 s Remaining CPU time: 1774.39 s c Elapsed CPU time: 25.7531 s Remaining CPU time: 1774.25 s c Elapsed CPU time: 25.8971 s Remaining CPU time: 1774.1 s c Elapsed CPU time: 26.042 s Remaining CPU time: 1773.96 s c Elapsed CPU time: 26.185 s Remaining CPU time: 1773.81 s c Elapsed CPU time: 26.33 s Remaining CPU time: 1773.67 s c Elapsed CPU time: 26.474 s Remaining CPU time: 1773.53 s c Elapsed CPU time: 26.619 s Remaining CPU time: 1773.38 s c Elapsed CPU time: 26.7649 s Remaining CPU time: 1773.24 s c Elapsed CPU time: 26.9109 s Remaining CPU time: 1773.09 s c Elapsed CPU time: 27.0579 s Remaining CPU time: 1772.94 s c Elapsed CPU time: 27.2079 s Remaining CPU time: 1772.79 s c Elapsed CPU time: 27.3558 s Remaining CPU time: 1772.64 s c Elapsed CPU time: 27.5038 s Remaining CPU time: 1772.5 s c Elapsed CPU time: 27.6518 s Remaining CPU time: 1772.35 s c Elapsed CPU time: 27.7988 s Remaining CPU time: 1772.2 s c Elapsed CPU time: 27.9458 s Remaining CPU time: 1772.05 s c Elapsed CPU time: 28.0947 s Remaining CPU time: 1771.91 s c Elapsed CPU time: 28.2427 s Remaining CPU time: 1771.76 s c Elapsed CPU time: 28.3917 s Remaining CPU time: 1771.61 s c Elapsed CPU time: 28.5407 s Remaining CPU time: 1771.46 s c Elapsed CPU time: 28.6936 s Remaining CPU time: 1771.31 s c Elapsed CPU time: 28.8456 s Remaining CPU time: 1771.15 s c Elapsed CPU time: 28.9936 s Remaining CPU time: 1771.01 s c Elapsed CPU time: 29.1446 s Remaining CPU time: 1770.86 s c Elapsed CPU time: 29.2945 s Remaining CPU time: 1770.71 s c Elapsed CPU time: 29.4435 s Remaining CPU time: 1770.56 s c Elapsed CPU time: 29.5945 s Remaining CPU time: 1770.41 s c Elapsed CPU time: 29.7425 s Remaining CPU time: 1770.26 s c Elapsed CPU time: 29.8935 s Remaining CPU time: 1770.11 s c Elapsed CPU time: 30.0474 s Remaining CPU time: 1769.95 s c Elapsed CPU time: 30.1984 s Remaining CPU time: 1769.8 s c Elapsed CPU time: 30.3514 s Remaining CPU time: 1769.65 s c Elapsed CPU time: 30.5034 s Remaining CPU time: 1769.5 s c Elapsed CPU time: 30.6573 s Remaining CPU time: 1769.34 s c Elapsed CPU time: 30.8143 s Remaining CPU time: 1769.19 s c Elapsed CPU time: 30.9693 s Remaining CPU time: 1769.03 s c Elapsed CPU time: 31.1273 s Remaining CPU time: 1768.87 s c Elapsed CPU time: 31.2832 s Remaining CPU time: 1768.72 s c Elapsed CPU time: 31.4392 s Remaining CPU time: 1768.56 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 37 113104 217736 | 37701 0 nan | 0.000 % | c =============================================================================== c Verified 113104 original clauses.