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.080987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s c Elapsed CPU time: 0.569913 s Remaining CPU time: 1799.43 s c Elapsed CPU time: 0.690894 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.811876 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.931858 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 1.05284 s Remaining CPU time: 1798.95 s c Elapsed CPU time: 1.17482 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2958 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41778 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.54076 s Remaining CPU time: 1798.46 s c Elapsed CPU time: 1.66575 s Remaining CPU time: 1798.33 s c Elapsed CPU time: 1.79073 s Remaining CPU time: 1798.21 s c Elapsed CPU time: 1.91571 s Remaining CPU time: 1798.08 s c Elapsed CPU time: 2.04069 s Remaining CPU time: 1797.96 s c Elapsed CPU time: 2.16367 s Remaining CPU time: 1797.84 s c Elapsed CPU time: 2.28665 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.41063 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.53361 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6576 s Remaining CPU time: 1797.34 s c Elapsed CPU time: 2.78358 s Remaining CPU time: 1797.22 s c Elapsed CPU time: 2.90856 s Remaining CPU time: 1797.09 s c Elapsed CPU time: 3.03654 s Remaining CPU time: 1796.96 s c Elapsed CPU time: 3.16252 s Remaining CPU time: 1796.84 s c Elapsed CPU time: 3.2915 s Remaining CPU time: 1796.71 s c Elapsed CPU time: 3.41648 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.54346 s Remaining CPU time: 1796.46 s c Elapsed CPU time: 3.66944 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.79742 s Remaining CPU time: 1796.2 s c Elapsed CPU time: 3.9244 s Remaining CPU time: 1796.08 s c Elapsed CPU time: 4.05038 s Remaining CPU time: 1795.95 s c Elapsed CPU time: 4.17936 s Remaining CPU time: 1795.82 s c Elapsed CPU time: 4.30934 s Remaining CPU time: 1795.69 s c Elapsed CPU time: 4.43933 s Remaining CPU time: 1795.56 s c Elapsed CPU time: 4.5663 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.69329 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.82027 s Remaining CPU time: 1795.18 s c Elapsed CPU time: 4.94725 s Remaining CPU time: 1795.05 s c Elapsed CPU time: 5.07423 s Remaining CPU time: 1794.93 s c Elapsed CPU time: 5.20221 s Remaining CPU time: 1794.8 s c Elapsed CPU time: 5.33019 s Remaining CPU time: 1794.67 s c Elapsed CPU time: 5.46017 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.59015 s Remaining CPU time: 1794.41 s c Elapsed CPU time: 5.71813 s Remaining CPU time: 1794.28 s c Elapsed CPU time: 5.84511 s Remaining CPU time: 1794.15 s c Elapsed CPU time: 5.97409 s Remaining CPU time: 1794.03 s c Elapsed CPU time: 6.10207 s Remaining CPU time: 1793.9 s c Elapsed CPU time: 6.23005 s Remaining CPU time: 1793.77 s c Elapsed CPU time: 6.35903 s Remaining CPU time: 1793.64 s c Elapsed CPU time: 6.48701 s Remaining CPU time: 1793.51 s c Elapsed CPU time: 6.61599 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.74697 s Remaining CPU time: 1793.25 s c Elapsed CPU time: 6.87595 s Remaining CPU time: 1793.12 s c Elapsed CPU time: 7.00593 s Remaining CPU time: 1792.99 s c Elapsed CPU time: 7.13492 s Remaining CPU time: 1792.87 s c Elapsed CPU time: 7.26389 s Remaining CPU time: 1792.74 s c Elapsed CPU time: 7.39387 s Remaining CPU time: 1792.61 s c Elapsed CPU time: 7.52286 s Remaining CPU time: 1792.48 s c Elapsed CPU time: 7.65184 s Remaining CPU time: 1792.35 s c Elapsed CPU time: 7.77982 s Remaining CPU time: 1792.22 s c Elapsed CPU time: 7.9098 s Remaining CPU time: 1792.09 s c Elapsed CPU time: 8.04078 s Remaining CPU time: 1791.96 s c Elapsed CPU time: 8.17076 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.29874 s Remaining CPU time: 1791.7 s c Elapsed CPU time: 8.42872 s Remaining CPU time: 1791.57 s c Elapsed CPU time: 8.5577 s Remaining CPU time: 1791.44 s c Elapsed CPU time: 8.68668 s Remaining CPU time: 1791.31 s c Elapsed CPU time: 8.81666 s Remaining CPU time: 1791.18 s c Elapsed CPU time: 8.94464 s Remaining CPU time: 1791.06 s c Elapsed CPU time: 9.07462 s Remaining CPU time: 1790.93 s c Elapsed CPU time: 9.2036 s Remaining CPU time: 1790.8 s c Elapsed CPU time: 9.33258 s Remaining CPU time: 1790.67 s c Elapsed CPU time: 9.46256 s Remaining CPU time: 1790.54 s c Elapsed CPU time: 9.59354 s Remaining CPU time: 1790.41 s c Elapsed CPU time: 9.72252 s Remaining CPU time: 1790.28 s c Elapsed CPU time: 9.8505 s Remaining CPU time: 1790.15 s c Elapsed CPU time: 9.97848 s Remaining CPU time: 1790.02 s c Elapsed CPU time: 10.1075 s Remaining CPU time: 1789.89 s c Elapsed CPU time: 10.2354 s Remaining CPU time: 1789.76 s c Elapsed CPU time: 10.3674 s Remaining CPU time: 1789.63 s c Elapsed CPU time: 10.4994 s Remaining CPU time: 1789.5 s c Elapsed CPU time: 10.6334 s Remaining CPU time: 1789.37 s c Elapsed CPU time: 10.7644 s Remaining CPU time: 1789.24 s c Elapsed CPU time: 10.8933 s Remaining CPU time: 1789.11 s c Elapsed CPU time: 11.0233 s Remaining CPU time: 1788.98 s c Elapsed CPU time: 11.1523 s Remaining CPU time: 1788.85 s c Elapsed CPU time: 11.2813 s Remaining CPU time: 1788.72 s c Elapsed CPU time: 11.4093 s Remaining CPU time: 1788.59 s c Elapsed CPU time: 11.5382 s Remaining CPU time: 1788.46 s c Elapsed CPU time: 11.6662 s Remaining CPU time: 1788.33 s c Elapsed CPU time: 11.7962 s Remaining CPU time: 1788.2 s c Elapsed CPU time: 11.9282 s Remaining CPU time: 1788.07 s c Elapsed CPU time: 12.0612 s Remaining CPU time: 1787.94 s c Elapsed CPU time: 12.1931 s Remaining CPU time: 1787.81 s c Elapsed CPU time: 12.3231 s Remaining CPU time: 1787.68 s c Elapsed CPU time: 12.4531 s Remaining CPU time: 1787.55 s c Elapsed CPU time: 12.5821 s Remaining CPU time: 1787.42 s c Elapsed CPU time: 12.7131 s Remaining CPU time: 1787.29 s c Elapsed CPU time: 12.844 s Remaining CPU time: 1787.16 s c Elapsed CPU time: 12.974 s Remaining CPU time: 1787.03 s c Elapsed CPU time: 13.103 s Remaining CPU time: 1786.9 s c Elapsed CPU time: 13.233 s Remaining CPU time: 1786.77 s c Elapsed CPU time: 13.361 s Remaining CPU time: 1786.64 s c Elapsed CPU time: 13.4919 s Remaining CPU time: 1786.51 s c Elapsed CPU time: 13.6229 s Remaining CPU time: 1786.38 s c Elapsed CPU time: 13.7549 s Remaining CPU time: 1786.25 s c Elapsed CPU time: 13.8879 s Remaining CPU time: 1786.11 s c Elapsed CPU time: 14.0199 s Remaining CPU time: 1785.98 s c Elapsed CPU time: 14.1518 s Remaining CPU time: 1785.85 s c Elapsed CPU time: 14.2828 s Remaining CPU time: 1785.72 s c Elapsed CPU time: 14.4128 s Remaining CPU time: 1785.59 s c Elapsed CPU time: 14.5428 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.6708 s Remaining CPU time: 1785.33 s c Elapsed CPU time: 14.8007 s Remaining CPU time: 1785.2 s c Elapsed CPU time: 14.9307 s Remaining CPU time: 1785.07 s c Elapsed CPU time: 15.0607 s Remaining CPU time: 1784.94 s c Elapsed CPU time: 15.1927 s Remaining CPU time: 1784.81 s c Elapsed CPU time: 15.3257 s Remaining CPU time: 1784.67 s c Elapsed CPU time: 15.4586 s Remaining CPU time: 1784.54 s c Elapsed CPU time: 15.5926 s Remaining CPU time: 1784.41 s c Elapsed CPU time: 15.7246 s Remaining CPU time: 1784.28 s c Elapsed CPU time: 15.8566 s Remaining CPU time: 1784.14 s c Elapsed CPU time: 15.9866 s Remaining CPU time: 1784.01 s c Elapsed CPU time: 16.1175 s Remaining CPU time: 1783.88 s c Elapsed CPU time: 16.2485 s Remaining CPU time: 1783.75 s c Elapsed CPU time: 16.3795 s Remaining CPU time: 1783.62 s c Elapsed CPU time: 16.5095 s Remaining CPU time: 1783.49 s c Elapsed CPU time: 16.6405 s Remaining CPU time: 1783.36 s c Elapsed CPU time: 16.7715 s Remaining CPU time: 1783.23 s c Elapsed CPU time: 16.9054 s Remaining CPU time: 1783.09 s c Elapsed CPU time: 17.0384 s Remaining CPU time: 1782.96 s c Elapsed CPU time: 17.1734 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.3064 s Remaining CPU time: 1782.69 s c Elapsed CPU time: 17.4373 s Remaining CPU time: 1782.56 s c Elapsed CPU time: 17.5693 s Remaining CPU time: 1782.43 s c Elapsed CPU time: 17.7003 s Remaining CPU time: 1782.3 s c Elapsed CPU time: 17.8323 s Remaining CPU time: 1782.17 s c Elapsed CPU time: 17.9643 s Remaining CPU time: 1782.04 s c Elapsed CPU time: 18.0962 s Remaining CPU time: 1781.9 s c Elapsed CPU time: 18.2282 s Remaining CPU time: 1781.77 s c Elapsed CPU time: 18.3602 s Remaining CPU time: 1781.64 s c Elapsed CPU time: 18.4922 s Remaining CPU time: 1781.51 s c Elapsed CPU time: 18.6272 s Remaining CPU time: 1781.37 s c Elapsed CPU time: 18.7621 s Remaining CPU time: 1781.24 s c Elapsed CPU time: 18.8971 s Remaining CPU time: 1781.1 s c Elapsed CPU time: 19.0301 s Remaining CPU time: 1780.97 s c Elapsed CPU time: 19.1621 s Remaining CPU time: 1780.84 s c Elapsed CPU time: 19.2951 s Remaining CPU time: 1780.7 s c Elapsed CPU time: 19.427 s Remaining CPU time: 1780.57 s c Elapsed CPU time: 19.559 s Remaining CPU time: 1780.44 s c Elapsed CPU time: 19.692 s Remaining CPU time: 1780.31 s c Elapsed CPU time: 19.826 s Remaining CPU time: 1780.17 s c Elapsed CPU time: 19.96 s Remaining CPU time: 1780.04 s c Elapsed CPU time: 20.0959 s Remaining CPU time: 1779.9 s c Elapsed CPU time: 20.2329 s Remaining CPU time: 1779.77 s c Elapsed CPU time: 20.3699 s Remaining CPU time: 1779.63 s c Elapsed CPU time: 20.5049 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.9058 s Remaining CPU time: 1779.09 s c Elapsed CPU time: 21.0408 s Remaining CPU time: 1778.96 s c Elapsed CPU time: 21.1748 s Remaining CPU time: 1778.83 s c Elapsed CPU time: 21.3128 s Remaining CPU time: 1778.69 s c Elapsed CPU time: 21.4487 s Remaining CPU time: 1778.55 s c Elapsed CPU time: 21.5877 s Remaining CPU time: 1778.41 s c Elapsed CPU time: 21.7267 s Remaining CPU time: 1778.27 s c Elapsed CPU time: 21.8657 s Remaining CPU time: 1778.13 s c Elapsed CPU time: 22.0017 s Remaining CPU time: 1778 s c Elapsed CPU time: 22.1376 s Remaining CPU time: 1777.86 s c Elapsed CPU time: 22.2746 s Remaining CPU time: 1777.73 s c Elapsed CPU time: 22.4116 s Remaining CPU time: 1777.59 s c Elapsed CPU time: 22.5486 s Remaining CPU time: 1777.45 s c Elapsed CPU time: 22.6856 s Remaining CPU time: 1777.31 s c Elapsed CPU time: 22.8245 s Remaining CPU time: 1777.18 s c Elapsed CPU time: 22.9645 s Remaining CPU time: 1777.04 s c Elapsed CPU time: 23.1045 s Remaining CPU time: 1776.9 s c Elapsed CPU time: 23.2445 s Remaining CPU time: 1776.76 s c Elapsed CPU time: 23.3834 s Remaining CPU time: 1776.62 s c Elapsed CPU time: 23.5204 s Remaining CPU time: 1776.48 s c Elapsed CPU time: 23.6564 s Remaining CPU time: 1776.34 s c Elapsed CPU time: 23.7944 s Remaining CPU time: 1776.21 s c Elapsed CPU time: 23.9314 s Remaining CPU time: 1776.07 s c Elapsed CPU time: 24.0703 s Remaining CPU time: 1775.93 s c Elapsed CPU time: 24.2093 s Remaining CPU time: 1775.79 s c Elapsed CPU time: 24.3523 s Remaining CPU time: 1775.65 s c Elapsed CPU time: 24.4943 s Remaining CPU time: 1775.51 s c Elapsed CPU time: 24.6383 s Remaining CPU time: 1775.36 s c Elapsed CPU time: 24.7792 s Remaining CPU time: 1775.22 s c Elapsed CPU time: 24.9202 s Remaining CPU time: 1775.08 s c Elapsed CPU time: 25.0622 s Remaining CPU time: 1774.94 s c Elapsed CPU time: 25.2062 s Remaining CPU time: 1774.79 s c Elapsed CPU time: 25.3481 s Remaining CPU time: 1774.65 s c Elapsed CPU time: 25.4921 s Remaining CPU time: 1774.51 s c Elapsed CPU time: 25.6401 s Remaining CPU time: 1774.36 s c Elapsed CPU time: 25.7911 s Remaining CPU time: 1774.21 s c Elapsed CPU time: 25.9381 s Remaining CPU time: 1774.06 s c Elapsed CPU time: 26.085 s Remaining CPU time: 1773.91 s c Elapsed CPU time: 26.23 s Remaining CPU time: 1773.77 s c Elapsed CPU time: 26.378 s Remaining CPU time: 1773.62 s c Elapsed CPU time: 26.524 s Remaining CPU time: 1773.48 s c Elapsed CPU time: 26.6719 s Remaining CPU time: 1773.33 s c Elapsed CPU time: 26.8189 s Remaining CPU time: 1773.18 s c Elapsed CPU time: 26.9679 s Remaining CPU time: 1773.03 s c Elapsed CPU time: 27.1159 s Remaining CPU time: 1772.88 s c Elapsed CPU time: 27.2609 s Remaining CPU time: 1772.74 s c Elapsed CPU time: 27.4068 s Remaining CPU time: 1772.59 s c Elapsed CPU time: 27.5528 s Remaining CPU time: 1772.45 s c Elapsed CPU time: 27.6978 s Remaining CPU time: 1772.3 s c Elapsed CPU time: 27.8448 s Remaining CPU time: 1772.16 s c Elapsed CPU time: 27.9937 s Remaining CPU time: 1772.01 s c Elapsed CPU time: 28.1447 s Remaining CPU time: 1771.86 s c Elapsed CPU time: 28.2967 s Remaining CPU time: 1771.7 s c Elapsed CPU time: 28.4447 s Remaining CPU time: 1771.56 s c Elapsed CPU time: 28.5927 s Remaining CPU time: 1771.41 s c Elapsed CPU time: 28.7416 s Remaining CPU time: 1771.26 s c Elapsed CPU time: 28.8906 s Remaining CPU time: 1771.11 s c Elapsed CPU time: 29.0436 s Remaining CPU time: 1770.96 s c Elapsed CPU time: 29.1956 s Remaining CPU time: 1770.8 s c Elapsed CPU time: 29.3515 s Remaining CPU time: 1770.65 s c Elapsed CPU time: 29.5055 s Remaining CPU time: 1770.49 s c Elapsed CPU time: 29.6595 s Remaining CPU time: 1770.34 s c Elapsed CPU time: 29.8115 s Remaining CPU time: 1770.19 s c Elapsed CPU time: 29.9624 s Remaining CPU time: 1770.04 s c Elapsed CPU time: 30.1134 s Remaining CPU time: 1769.89 s c Elapsed CPU time: 30.2674 s Remaining CPU time: 1769.73 s c Elapsed CPU time: 30.4184 s Remaining CPU time: 1769.58 s c Elapsed CPU time: 30.5734 s Remaining CPU time: 1769.43 s c Elapsed CPU time: 30.7293 s Remaining CPU time: 1769.27 s c Elapsed CPU time: 30.8843 s Remaining CPU time: 1769.12 s c Elapsed CPU time: 31.0373 s Remaining CPU time: 1768.96 s c Elapsed CPU time: 31.1903 s Remaining CPU time: 1768.81 s c Elapsed CPU time: 31.3402 s Remaining CPU time: 1768.66 s c Elapsed CPU time: 31.4932 s Remaining CPU time: 1768.51 s c Elapsed CPU time: 31.6432 s Remaining CPU time: 1768.36 s c Elapsed CPU time: 31.7942 s Remaining CPU time: 1768.21 s c Elapsed CPU time: 31.9411 s Remaining CPU time: 1768.06 s c Elapsed CPU time: 32.0911 s Remaining CPU time: 1767.91 s c Elapsed CPU time: 32.2411 s Remaining CPU time: 1767.76 s c Elapsed CPU time: 32.3921 s Remaining CPU time: 1767.61 s c Elapsed CPU time: 32.5431 s Remaining CPU time: 1767.46 s c Elapsed CPU time: 32.695 s Remaining CPU time: 1767.3 s c Elapsed CPU time: 32.848 s Remaining CPU time: 1767.15 s c Elapsed CPU time: 32.996 s Remaining CPU time: 1767 s c Elapsed CPU time: 33.15 s Remaining CPU time: 1766.85 s c Elapsed CPU time: 33.3029 s Remaining CPU time: 1766.7 s c Elapsed CPU time: 33.4539 s Remaining CPU time: 1766.55 s c Elapsed CPU time: 33.6059 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 | 0 113132 217713 | 37710 0 nan | 0.000 % | c =============================================================================== c Verified 113132 original clauses.