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.19297 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 s c Elapsed CPU time: 0.555915 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.678896 s Remaining CPU time: 1799.32 s c Elapsed CPU time: 0.800878 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.04384 s Remaining CPU time: 1798.96 s c Elapsed CPU time: 1.16482 s Remaining CPU time: 1798.84 s c Elapsed CPU time: 1.2878 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.41078 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.53377 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.65875 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.90771 s Remaining CPU time: 1798.09 s c Elapsed CPU time: 2.03069 s Remaining CPU time: 1797.97 s c Elapsed CPU time: 2.15367 s Remaining CPU time: 1797.85 s c Elapsed CPU time: 2.27565 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.39963 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.52362 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6496 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.77458 s Remaining CPU time: 1797.23 s c Elapsed CPU time: 2.90256 s Remaining CPU time: 1797.1 s c Elapsed CPU time: 3.02854 s Remaining CPU time: 1796.97 s c Elapsed CPU time: 3.15652 s Remaining CPU time: 1796.84 s c Elapsed CPU time: 3.2845 s Remaining CPU time: 1796.72 s c Elapsed CPU time: 3.41148 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.53746 s Remaining CPU time: 1796.46 s c Elapsed CPU time: 3.66544 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.79242 s Remaining CPU time: 1796.21 s c Elapsed CPU time: 3.9224 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.17836 s Remaining CPU time: 1795.82 s c Elapsed CPU time: 4.30434 s Remaining CPU time: 1795.7 s c Elapsed CPU time: 4.43033 s Remaining CPU time: 1795.57 s c Elapsed CPU time: 4.55731 s Remaining CPU time: 1795.44 s c Elapsed CPU time: 4.68329 s Remaining CPU time: 1795.32 s c Elapsed CPU time: 4.81027 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.93825 s Remaining CPU time: 1795.06 s c Elapsed CPU time: 5.06823 s Remaining CPU time: 1794.93 s c Elapsed CPU time: 5.19721 s Remaining CPU time: 1794.8 s c Elapsed CPU time: 5.32419 s Remaining CPU time: 1794.68 s c Elapsed CPU time: 5.45117 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.57715 s Remaining CPU time: 1794.42 s c Elapsed CPU time: 5.70413 s Remaining CPU time: 1794.3 s c Elapsed CPU time: 5.83011 s Remaining CPU time: 1794.17 s c Elapsed CPU time: 5.95809 s Remaining CPU time: 1794.04 s c Elapsed CPU time: 6.08607 s Remaining CPU time: 1793.91 s c Elapsed CPU time: 6.21206 s Remaining CPU time: 1793.79 s c Elapsed CPU time: 6.34104 s Remaining CPU time: 1793.66 s c Elapsed CPU time: 6.47102 s Remaining CPU time: 1793.53 s c Elapsed CPU time: 6.601 s Remaining CPU time: 1793.4 s c Elapsed CPU time: 6.73098 s Remaining CPU time: 1793.27 s c Elapsed CPU time: 6.85796 s Remaining CPU time: 1793.14 s c Elapsed CPU time: 6.98594 s Remaining CPU time: 1793.01 s c Elapsed CPU time: 7.11192 s Remaining CPU time: 1792.89 s c Elapsed CPU time: 7.2389 s Remaining CPU time: 1792.76 s c Elapsed CPU time: 7.36488 s Remaining CPU time: 1792.64 s c Elapsed CPU time: 7.49186 s Remaining CPU time: 1792.51 s c Elapsed CPU time: 7.61884 s Remaining CPU time: 1792.38 s c Elapsed CPU time: 7.74482 s Remaining CPU time: 1792.26 s c Elapsed CPU time: 7.8728 s Remaining CPU time: 1792.13 s c Elapsed CPU time: 8.00178 s Remaining CPU time: 1792 s c Elapsed CPU time: 8.13276 s Remaining CPU time: 1791.87 s c Elapsed CPU time: 8.26174 s Remaining CPU time: 1791.74 s c Elapsed CPU time: 8.39072 s Remaining CPU time: 1791.61 s c Elapsed CPU time: 8.5177 s Remaining CPU time: 1791.48 s c Elapsed CPU time: 8.64569 s Remaining CPU time: 1791.35 s c Elapsed CPU time: 8.77267 s Remaining CPU time: 1791.23 s c Elapsed CPU time: 8.90065 s Remaining CPU time: 1791.1 s c Elapsed CPU time: 9.02763 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.15661 s Remaining CPU time: 1790.84 s c Elapsed CPU time: 9.28559 s Remaining CPU time: 1790.71 s c Elapsed CPU time: 9.41357 s Remaining CPU time: 1790.59 s c Elapsed CPU time: 9.54355 s Remaining CPU time: 1790.46 s c Elapsed CPU time: 9.67453 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.80451 s Remaining CPU time: 1790.2 s c Elapsed CPU time: 9.93449 s Remaining CPU time: 1790.07 s c Elapsed CPU time: 10.0645 s Remaining CPU time: 1789.94 s c Elapsed CPU time: 10.1925 s Remaining CPU time: 1789.81 s c Elapsed CPU time: 10.3234 s Remaining CPU time: 1789.68 s c Elapsed CPU time: 10.4524 s Remaining CPU time: 1789.55 s c Elapsed CPU time: 10.5804 s Remaining CPU time: 1789.42 s c Elapsed CPU time: 10.7104 s Remaining CPU time: 1789.29 s c Elapsed CPU time: 10.8404 s Remaining CPU time: 1789.16 s c Elapsed CPU time: 10.9693 s Remaining CPU time: 1789.03 s c Elapsed CPU time: 11.0993 s Remaining CPU time: 1788.9 s c Elapsed CPU time: 11.2283 s Remaining CPU time: 1788.77 s c Elapsed CPU time: 11.3593 s Remaining CPU time: 1788.64 s c Elapsed CPU time: 11.4913 s Remaining CPU time: 1788.51 s c Elapsed CPU time: 11.6202 s Remaining CPU time: 1788.38 s c Elapsed CPU time: 11.7502 s Remaining CPU time: 1788.25 s c Elapsed CPU time: 11.8812 s Remaining CPU time: 1788.12 s c Elapsed CPU time: 12.0122 s Remaining CPU time: 1787.99 s c Elapsed CPU time: 12.1412 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.2691 s Remaining CPU time: 1787.73 s c Elapsed CPU time: 12.4011 s Remaining CPU time: 1787.6 s c Elapsed CPU time: 12.5311 s Remaining CPU time: 1787.47 s c Elapsed CPU time: 12.6611 s Remaining CPU time: 1787.34 s c Elapsed CPU time: 12.7931 s Remaining CPU time: 1787.21 s c Elapsed CPU time: 12.924 s Remaining CPU time: 1787.08 s c Elapsed CPU time: 13.057 s Remaining CPU time: 1786.94 s c Elapsed CPU time: 13.189 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.316 s Remaining CPU time: 1786.68 s c Elapsed CPU time: 13.447 s Remaining CPU time: 1786.55 s c Elapsed CPU time: 13.5769 s Remaining CPU time: 1786.42 s c Elapsed CPU time: 13.7079 s Remaining CPU time: 1786.29 s c Elapsed CPU time: 13.8369 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.9679 s Remaining CPU time: 1786.03 s c Elapsed CPU time: 14.1009 s Remaining CPU time: 1785.9 s c Elapsed CPU time: 14.2338 s Remaining CPU time: 1785.77 s c Elapsed CPU time: 14.3658 s Remaining CPU time: 1785.63 s c Elapsed CPU time: 14.4998 s Remaining CPU time: 1785.5 s c Elapsed CPU time: 14.6308 s Remaining CPU time: 1785.37 s c Elapsed CPU time: 14.7608 s Remaining CPU time: 1785.24 s c Elapsed CPU time: 14.8907 s Remaining CPU time: 1785.11 s c Elapsed CPU time: 15.0217 s Remaining CPU time: 1784.98 s c Elapsed CPU time: 15.1537 s Remaining CPU time: 1784.85 s c Elapsed CPU time: 15.2877 s Remaining CPU time: 1784.71 s c Elapsed CPU time: 15.4247 s Remaining CPU time: 1784.58 s c Elapsed CPU time: 15.5566 s Remaining CPU time: 1784.44 s c Elapsed CPU time: 15.6906 s Remaining CPU time: 1784.31 s c Elapsed CPU time: 15.8226 s Remaining CPU time: 1784.18 s c Elapsed CPU time: 15.9546 s Remaining CPU time: 1784.05 s c Elapsed CPU time: 16.0886 s Remaining CPU time: 1783.91 s c Elapsed CPU time: 16.2225 s Remaining CPU time: 1783.78 s c Elapsed CPU time: 16.3565 s Remaining CPU time: 1783.64 s c Elapsed CPU time: 16.4925 s Remaining CPU time: 1783.51 s c Elapsed CPU time: 16.6265 s Remaining CPU time: 1783.37 s c Elapsed CPU time: 16.7585 s Remaining CPU time: 1783.24 s c Elapsed CPU time: 16.8904 s Remaining CPU time: 1783.11 s c Elapsed CPU time: 17.0254 s Remaining CPU time: 1782.97 s c Elapsed CPU time: 17.1584 s Remaining CPU time: 1782.84 s c Elapsed CPU time: 17.2924 s Remaining CPU time: 1782.71 s c Elapsed CPU time: 17.4263 s Remaining CPU time: 1782.57 s c Elapsed CPU time: 17.5613 s Remaining CPU time: 1782.44 s c Elapsed CPU time: 17.6953 s Remaining CPU time: 1782.3 s c Elapsed CPU time: 17.8303 s Remaining CPU time: 1782.17 s c Elapsed CPU time: 17.9623 s Remaining CPU time: 1782.04 s c Elapsed CPU time: 18.0952 s Remaining CPU time: 1781.9 s c Elapsed CPU time: 18.2292 s Remaining CPU time: 1781.77 s c Elapsed CPU time: 18.3632 s Remaining CPU time: 1781.64 s c Elapsed CPU time: 18.4982 s Remaining CPU time: 1781.5 s c Elapsed CPU time: 18.6362 s Remaining CPU time: 1781.36 s c Elapsed CPU time: 18.7711 s Remaining CPU time: 1781.23 s c Elapsed CPU time: 18.9061 s Remaining CPU time: 1781.09 s c Elapsed CPU time: 19.0391 s Remaining CPU time: 1780.96 s c Elapsed CPU time: 19.1731 s Remaining CPU time: 1780.83 s c Elapsed CPU time: 19.3071 s Remaining CPU time: 1780.69 s c Elapsed CPU time: 19.441 s Remaining CPU time: 1780.56 s c Elapsed CPU time: 19.576 s Remaining CPU time: 1780.42 s c Elapsed CPU time: 19.714 s Remaining CPU time: 1780.29 s c Elapsed CPU time: 19.85 s Remaining CPU time: 1780.15 s c Elapsed CPU time: 19.987 s Remaining CPU time: 1780.01 s c Elapsed CPU time: 20.1229 s Remaining CPU time: 1779.88 s c Elapsed CPU time: 20.2589 s Remaining CPU time: 1779.74 s c Elapsed CPU time: 20.3939 s Remaining CPU time: 1779.61 s c Elapsed CPU time: 20.5269 s Remaining CPU time: 1779.47 s c Elapsed CPU time: 20.6639 s Remaining CPU time: 1779.34 s c Elapsed CPU time: 20.8018 s Remaining CPU time: 1779.2 s c Elapsed CPU time: 20.9388 s Remaining CPU time: 1779.06 s c Elapsed CPU time: 21.0758 s Remaining CPU time: 1778.92 s c Elapsed CPU time: 21.2088 s Remaining CPU time: 1778.79 s c Elapsed CPU time: 21.3458 s Remaining CPU time: 1778.65 s c Elapsed CPU time: 21.4807 s Remaining CPU time: 1778.52 s c Elapsed CPU time: 21.6187 s Remaining CPU time: 1778.38 s c Elapsed CPU time: 21.7537 s Remaining CPU time: 1778.25 s c Elapsed CPU time: 21.8927 s Remaining CPU time: 1778.11 s c Elapsed CPU time: 22.0297 s Remaining CPU time: 1777.97 s c Elapsed CPU time: 22.1686 s Remaining CPU time: 1777.83 s c Elapsed CPU time: 22.3056 s Remaining CPU time: 1777.69 s c Elapsed CPU time: 22.4436 s Remaining CPU time: 1777.56 s c Elapsed CPU time: 22.5786 s Remaining CPU time: 1777.42 s c Elapsed CPU time: 22.7165 s Remaining CPU time: 1777.28 s c Elapsed CPU time: 22.8535 s Remaining CPU time: 1777.15 s c Elapsed CPU time: 22.9895 s Remaining CPU time: 1777.01 s c Elapsed CPU time: 23.1285 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.2655 s Remaining CPU time: 1776.73 s c Elapsed CPU time: 23.4024 s Remaining CPU time: 1776.6 s c Elapsed CPU time: 23.5394 s Remaining CPU time: 1776.46 s c Elapsed CPU time: 23.6774 s Remaining CPU time: 1776.32 s c Elapsed CPU time: 23.8194 s Remaining CPU time: 1776.18 s c Elapsed CPU time: 23.9634 s Remaining CPU time: 1776.04 s c Elapsed CPU time: 24.1043 s Remaining CPU time: 1775.9 s c Elapsed CPU time: 24.2453 s Remaining CPU time: 1775.75 s c Elapsed CPU time: 24.3883 s Remaining CPU time: 1775.61 s c Elapsed CPU time: 24.5263 s Remaining CPU time: 1775.47 s c Elapsed CPU time: 24.6682 s Remaining CPU time: 1775.33 s c Elapsed CPU time: 24.8082 s Remaining CPU time: 1775.19 s c Elapsed CPU time: 24.9502 s Remaining CPU time: 1775.05 s c Elapsed CPU time: 25.0902 s Remaining CPU time: 1774.91 s c Elapsed CPU time: 25.2292 s Remaining CPU time: 1774.77 s c Elapsed CPU time: 25.3651 s Remaining CPU time: 1774.63 s c Elapsed CPU time: 25.5041 s Remaining CPU time: 1774.5 s c Elapsed CPU time: 25.6411 s Remaining CPU time: 1774.36 s c Elapsed CPU time: 25.7811 s Remaining CPU time: 1774.22 s c Elapsed CPU time: 25.9181 s Remaining CPU time: 1774.08 s c Elapsed CPU time: 26.056 s Remaining CPU time: 1773.94 s c Elapsed CPU time: 26.196 s Remaining CPU time: 1773.8 s c Elapsed CPU time: 26.335 s Remaining CPU time: 1773.67 s c Elapsed CPU time: 26.473 s Remaining CPU time: 1773.53 s c Elapsed CPU time: 26.612 s Remaining CPU time: 1773.39 s c Elapsed CPU time: 26.7499 s Remaining CPU time: 1773.25 s c Elapsed CPU time: 26.8899 s Remaining CPU time: 1773.11 s c Elapsed CPU time: 27.0299 s Remaining CPU time: 1772.97 s c Elapsed CPU time: 27.1699 s Remaining CPU time: 1772.83 s c Elapsed CPU time: 27.3118 s Remaining CPU time: 1772.69 s c Elapsed CPU time: 27.4528 s Remaining CPU time: 1772.55 s c Elapsed CPU time: 27.5958 s Remaining CPU time: 1772.4 s c Elapsed CPU time: 27.7368 s Remaining CPU time: 1772.26 s c Elapsed CPU time: 27.8788 s Remaining CPU time: 1772.12 s c Elapsed CPU time: 28.0207 s Remaining CPU time: 1771.98 s c Elapsed CPU time: 28.1617 s Remaining CPU time: 1771.84 s c Elapsed CPU time: 28.3027 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.5857 s Remaining CPU time: 1771.41 s c Elapsed CPU time: 28.7276 s Remaining CPU time: 1771.27 s c Elapsed CPU time: 28.8716 s Remaining CPU time: 1771.13 s c Elapsed CPU time: 29.0136 s Remaining CPU time: 1770.99 s c Elapsed CPU time: 29.1566 s Remaining CPU time: 1770.84 s c Elapsed CPU time: 29.3005 s Remaining CPU time: 1770.7 s c Elapsed CPU time: 29.4435 s Remaining CPU time: 1770.56 s c Elapsed CPU time: 29.5865 s Remaining CPU time: 1770.41 s c Elapsed CPU time: 29.7295 s Remaining CPU time: 1770.27 s c Elapsed CPU time: 29.8745 s Remaining CPU time: 1770.13 s c Elapsed CPU time: 30.0184 s Remaining CPU time: 1769.98 s c Elapsed CPU time: 30.1604 s Remaining CPU time: 1769.84 s c Elapsed CPU time: 30.3024 s Remaining CPU time: 1769.7 s c Elapsed CPU time: 30.4464 s Remaining CPU time: 1769.55 s c Elapsed CPU time: 30.5903 s Remaining CPU time: 1769.41 s c Elapsed CPU time: 30.7333 s Remaining CPU time: 1769.27 s c Elapsed CPU time: 30.8783 s Remaining CPU time: 1769.12 s c Elapsed CPU time: 31.0243 s Remaining CPU time: 1768.98 s c Elapsed CPU time: 31.1703 s Remaining CPU time: 1768.83 s c Elapsed CPU time: 31.3162 s Remaining CPU time: 1768.68 s c Elapsed CPU time: 31.4642 s Remaining CPU time: 1768.54 s c Elapsed CPU time: 31.6102 s Remaining CPU time: 1768.39 s c Elapsed CPU time: 31.7572 s Remaining CPU time: 1768.24 s c Elapsed CPU time: 31.9041 s Remaining CPU time: 1768.1 s c Elapsed CPU time: 32.0531 s Remaining CPU time: 1767.95 s c Elapsed CPU time: 32.2021 s Remaining CPU time: 1767.8 s c Elapsed CPU time: 32.3511 s Remaining CPU time: 1767.65 s c Elapsed CPU time: 32.5001 s Remaining CPU time: 1767.5 s c Elapsed CPU time: 32.649 s Remaining CPU time: 1767.35 s c Elapsed CPU time: 32.797 s Remaining CPU time: 1767.2 s c Elapsed CPU time: 32.946 s Remaining CPU time: 1767.05 s c Elapsed CPU time: 33.098 s Remaining CPU time: 1766.9 s c Elapsed CPU time: 33.2459 s Remaining CPU time: 1766.75 s c Elapsed CPU time: 33.3939 s Remaining CPU time: 1766.61 s c Elapsed CPU time: 33.5469 s Remaining CPU time: 1766.45 s c Elapsed CPU time: 33.6989 s Remaining CPU time: 1766.3 s c Elapsed CPU time: 33.8489 s Remaining CPU time: 1766.15 s c Elapsed CPU time: 33.9988 s Remaining CPU time: 1766 s c Elapsed CPU time: 34.1528 s Remaining CPU time: 1765.85 s c Elapsed CPU time: 34.3048 s Remaining CPU time: 1765.7 s c Elapsed CPU time: 34.4588 s Remaining CPU time: 1765.54 s c Elapsed CPU time: 34.6097 s Remaining CPU time: 1765.39 s c Elapsed CPU time: 34.7627 s Remaining CPU time: 1765.24 s c Elapsed CPU time: 34.9167 s Remaining CPU time: 1765.08 s c Elapsed CPU time: 35.0697 s Remaining CPU time: 1764.93 s c Elapsed CPU time: 35.2256 s Remaining CPU time: 1764.77 s c Elapsed CPU time: 35.3796 s Remaining CPU time: 1764.62 s c Elapsed CPU time: 35.5356 s Remaining CPU time: 1764.46 s c Elapsed CPU time: 35.6906 s Remaining CPU time: 1764.31 s c Elapsed CPU time: 35.8456 s Remaining CPU time: 1764.15 s c Elapsed CPU time: 36.0015 s Remaining CPU time: 1764 s c Elapsed CPU time: 36.1575 s Remaining CPU time: 1763.84 s c Elapsed CPU time: 36.3115 s Remaining CPU time: 1763.69 s c Elapsed CPU time: 36.4685 s Remaining CPU time: 1763.53 s c Elapsed CPU time: 36.6254 s Remaining CPU time: 1763.37 s c Elapsed CPU time: 36.7834 s Remaining CPU time: 1763.22 s c Elapsed CPU time: 36.9374 s Remaining CPU time: 1763.06 s c Elapsed CPU time: 37.0964 s Remaining CPU time: 1762.9 s c Elapsed CPU time: 37.2533 s Remaining CPU time: 1762.75 s c Elapsed CPU time: 37.4113 s Remaining CPU time: 1762.59 s c Elapsed CPU time: 37.5703 s Remaining CPU time: 1762.43 s c Elapsed CPU time: 37.7283 s Remaining CPU time: 1762.27 s c Elapsed CPU time: 37.8882 s Remaining CPU time: 1762.11 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12 113192 217800 | 37730 0 nan | 0.000 % | c =============================================================================== c Verified 113192 original clauses.