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.072988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.184971 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.405938 s Remaining CPU time: 1799.59 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.842871 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.954854 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 1.06484 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.17382 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2858 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.39579 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.50777 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.61875 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.72874 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.83872 s Remaining CPU time: 1798.16 s c Elapsed CPU time: 1.9477 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 2.05869 s Remaining CPU time: 1797.94 s c Elapsed CPU time: 2.16967 s Remaining CPU time: 1797.83 s c Elapsed CPU time: 2.28265 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.39264 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.50262 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.6136 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.83857 s Remaining CPU time: 1797.16 s c Elapsed CPU time: 2.95255 s Remaining CPU time: 1797.05 s c Elapsed CPU time: 3.06753 s Remaining CPU time: 1796.93 s c Elapsed CPU time: 3.18152 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.41048 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.52246 s Remaining CPU time: 1796.48 s c Elapsed CPU time: 3.63645 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.74743 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.86141 s Remaining CPU time: 1796.14 s c Elapsed CPU time: 3.97439 s Remaining CPU time: 1796.03 s c Elapsed CPU time: 4.08638 s Remaining CPU time: 1795.91 s c Elapsed CPU time: 4.19836 s Remaining CPU time: 1795.8 s c Elapsed CPU time: 4.30934 s Remaining CPU time: 1795.69 s c Elapsed CPU time: 4.42233 s Remaining CPU time: 1795.58 s c Elapsed CPU time: 4.53531 s Remaining CPU time: 1795.46 s c Elapsed CPU time: 4.64829 s Remaining CPU time: 1795.35 s c Elapsed CPU time: 4.76228 s Remaining CPU time: 1795.24 s c Elapsed CPU time: 4.87526 s Remaining CPU time: 1795.12 s c Elapsed CPU time: 4.99024 s Remaining CPU time: 1795.01 s c Elapsed CPU time: 5.10522 s Remaining CPU time: 1794.89 s c Elapsed CPU time: 5.21821 s Remaining CPU time: 1794.78 s c Elapsed CPU time: 5.33319 s Remaining CPU time: 1794.67 s c Elapsed CPU time: 5.44717 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.56115 s Remaining CPU time: 1794.44 s c Elapsed CPU time: 5.67614 s Remaining CPU time: 1794.32 s c Elapsed CPU time: 5.79112 s Remaining CPU time: 1794.21 s c Elapsed CPU time: 5.9061 s Remaining CPU time: 1794.09 s c Elapsed CPU time: 6.02008 s Remaining CPU time: 1793.98 s c Elapsed CPU time: 6.13507 s Remaining CPU time: 1793.86 s c Elapsed CPU time: 6.24905 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.36603 s Remaining CPU time: 1793.63 s c Elapsed CPU time: 6.48101 s Remaining CPU time: 1793.52 s c Elapsed CPU time: 6.597 s Remaining CPU time: 1793.4 s c Elapsed CPU time: 6.71098 s Remaining CPU time: 1793.29 s c Elapsed CPU time: 6.82596 s Remaining CPU time: 1793.17 s c Elapsed CPU time: 6.94094 s Remaining CPU time: 1793.06 s c Elapsed CPU time: 7.05693 s Remaining CPU time: 1792.94 s c Elapsed CPU time: 7.17291 s Remaining CPU time: 1792.83 s c Elapsed CPU time: 7.28589 s Remaining CPU time: 1792.71 s c Elapsed CPU time: 7.40087 s Remaining CPU time: 1792.6 s c Elapsed CPU time: 7.51686 s Remaining CPU time: 1792.48 s c Elapsed CPU time: 7.63384 s Remaining CPU time: 1792.37 s c Elapsed CPU time: 7.75082 s Remaining CPU time: 1792.25 s c Elapsed CPU time: 7.8668 s Remaining CPU time: 1792.13 s c Elapsed CPU time: 7.98279 s Remaining CPU time: 1792.02 s c Elapsed CPU time: 8.09977 s Remaining CPU time: 1791.9 s c Elapsed CPU time: 8.21575 s Remaining CPU time: 1791.78 s c Elapsed CPU time: 8.33273 s Remaining CPU time: 1791.67 s c Elapsed CPU time: 8.44971 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.5657 s Remaining CPU time: 1791.43 s c Elapsed CPU time: 8.68368 s Remaining CPU time: 1791.32 s c Elapsed CPU time: 8.79966 s Remaining CPU time: 1791.2 s c Elapsed CPU time: 8.91664 s Remaining CPU time: 1791.08 s c Elapsed CPU time: 9.03363 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.15061 s Remaining CPU time: 1790.85 s c Elapsed CPU time: 9.26759 s Remaining CPU time: 1790.73 s c Elapsed CPU time: 9.38357 s Remaining CPU time: 1790.62 s c Elapsed CPU time: 9.49956 s Remaining CPU time: 1790.5 s c Elapsed CPU time: 9.61754 s Remaining CPU time: 1790.38 s c Elapsed CPU time: 9.73452 s Remaining CPU time: 1790.27 s c Elapsed CPU time: 9.8515 s Remaining CPU time: 1790.15 s c Elapsed CPU time: 9.96848 s Remaining CPU time: 1790.03 s c Elapsed CPU time: 10.0865 s Remaining CPU time: 1789.91 s c Elapsed CPU time: 10.2024 s Remaining CPU time: 1789.8 s c Elapsed CPU time: 10.3204 s Remaining CPU time: 1789.68 s c Elapsed CPU time: 10.4374 s Remaining CPU time: 1789.56 s c Elapsed CPU time: 10.5544 s Remaining CPU time: 1789.45 s c Elapsed CPU time: 10.6714 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.7894 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.9073 s Remaining CPU time: 1789.09 s c Elapsed CPU time: 11.0233 s Remaining CPU time: 1788.98 s c Elapsed CPU time: 11.1403 s Remaining CPU time: 1788.86 s c Elapsed CPU time: 11.2583 s Remaining CPU time: 1788.74 s c Elapsed CPU time: 11.3753 s Remaining CPU time: 1788.62 s c Elapsed CPU time: 11.4903 s Remaining CPU time: 1788.51 s c Elapsed CPU time: 11.6072 s Remaining CPU time: 1788.39 s c Elapsed CPU time: 11.7252 s Remaining CPU time: 1788.27 s c Elapsed CPU time: 11.8412 s Remaining CPU time: 1788.16 s c Elapsed CPU time: 11.9592 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 12.0742 s Remaining CPU time: 1787.93 s c Elapsed CPU time: 12.1891 s Remaining CPU time: 1787.81 s c Elapsed CPU time: 12.3051 s Remaining CPU time: 1787.69 s c Elapsed CPU time: 12.4231 s Remaining CPU time: 1787.58 s c Elapsed CPU time: 12.5391 s Remaining CPU time: 1787.46 s c Elapsed CPU time: 12.6581 s Remaining CPU time: 1787.34 s c Elapsed CPU time: 12.7741 s Remaining CPU time: 1787.23 s c Elapsed CPU time: 12.893 s Remaining CPU time: 1787.11 s c Elapsed CPU time: 13.011 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.129 s Remaining CPU time: 1786.87 s c Elapsed CPU time: 13.246 s Remaining CPU time: 1786.75 s c Elapsed CPU time: 13.364 s Remaining CPU time: 1786.64 s c Elapsed CPU time: 13.4809 s Remaining CPU time: 1786.52 s c Elapsed CPU time: 13.6009 s Remaining CPU time: 1786.4 s c Elapsed CPU time: 13.7189 s Remaining CPU time: 1786.28 s c Elapsed CPU time: 13.8389 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.9559 s Remaining CPU time: 1786.04 s c Elapsed CPU time: 14.0759 s Remaining CPU time: 1785.92 s c Elapsed CPU time: 14.1938 s Remaining CPU time: 1785.81 s c Elapsed CPU time: 14.3118 s Remaining CPU time: 1785.69 s c Elapsed CPU time: 14.4298 s Remaining CPU time: 1785.57 s c Elapsed CPU time: 14.5488 s Remaining CPU time: 1785.45 s c Elapsed CPU time: 14.6668 s Remaining CPU time: 1785.33 s c Elapsed CPU time: 14.7878 s Remaining CPU time: 1785.21 s c Elapsed CPU time: 14.9067 s Remaining CPU time: 1785.09 s c Elapsed CPU time: 15.0247 s Remaining CPU time: 1784.98 s c Elapsed CPU time: 15.1407 s Remaining CPU time: 1784.86 s c Elapsed CPU time: 15.2597 s Remaining CPU time: 1784.74 s c Elapsed CPU time: 15.3787 s Remaining CPU time: 1784.62 s c Elapsed CPU time: 15.4956 s Remaining CPU time: 1784.5 s c Elapsed CPU time: 15.6156 s Remaining CPU time: 1784.38 s c Elapsed CPU time: 15.7346 s Remaining CPU time: 1784.27 s c Elapsed CPU time: 15.8566 s Remaining CPU time: 1784.14 s c Elapsed CPU time: 15.9746 s Remaining CPU time: 1784.03 s c Elapsed CPU time: 16.0946 s Remaining CPU time: 1783.91 s c Elapsed CPU time: 16.2125 s Remaining CPU time: 1783.79 s c Elapsed CPU time: 16.3325 s Remaining CPU time: 1783.67 s c Elapsed CPU time: 16.4525 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5715 s Remaining CPU time: 1783.43 s c Elapsed CPU time: 16.6885 s Remaining CPU time: 1783.31 s c Elapsed CPU time: 16.8064 s Remaining CPU time: 1783.19 s c Elapsed CPU time: 16.9244 s Remaining CPU time: 1783.08 s c Elapsed CPU time: 17.0444 s Remaining CPU time: 1782.96 s c Elapsed CPU time: 17.1624 s Remaining CPU time: 1782.84 s c Elapsed CPU time: 17.2814 s Remaining CPU time: 1782.72 s c Elapsed CPU time: 17.3994 s Remaining CPU time: 1782.6 s c Elapsed CPU time: 17.5193 s Remaining CPU time: 1782.48 s c Elapsed CPU time: 17.6373 s Remaining CPU time: 1782.36 s c Elapsed CPU time: 17.7563 s Remaining CPU time: 1782.24 s c Elapsed CPU time: 17.8753 s Remaining CPU time: 1782.12 s c Elapsed CPU time: 17.9933 s Remaining CPU time: 1782.01 s c Elapsed CPU time: 18.1102 s Remaining CPU time: 1781.89 s c Elapsed CPU time: 18.2292 s Remaining CPU time: 1781.77 s c Elapsed CPU time: 18.3472 s Remaining CPU time: 1781.65 s c Elapsed CPU time: 18.4642 s Remaining CPU time: 1781.54 s c Elapsed CPU time: 18.5832 s Remaining CPU time: 1781.42 s c Elapsed CPU time: 18.7032 s Remaining CPU time: 1781.3 s c Elapsed CPU time: 18.8221 s Remaining CPU time: 1781.18 s c Elapsed CPU time: 18.9421 s Remaining CPU time: 1781.06 s c Elapsed CPU time: 19.0601 s Remaining CPU time: 1780.94 s c Elapsed CPU time: 19.1801 s Remaining CPU time: 1780.82 s c Elapsed CPU time: 19.2981 s Remaining CPU time: 1780.7 s c Elapsed CPU time: 19.416 s Remaining CPU time: 1780.58 s c Elapsed CPU time: 19.534 s Remaining CPU time: 1780.47 s c Elapsed CPU time: 19.653 s Remaining CPU time: 1780.35 s c Elapsed CPU time: 19.772 s Remaining CPU time: 1780.23 s c Elapsed CPU time: 19.892 s Remaining CPU time: 1780.11 s c Elapsed CPU time: 20.014 s Remaining CPU time: 1779.99 s c Elapsed CPU time: 20.1329 s Remaining CPU time: 1779.87 s c Elapsed CPU time: 20.2519 s Remaining CPU time: 1779.75 s c Elapsed CPU time: 20.3699 s Remaining CPU time: 1779.63 s c Elapsed CPU time: 20.4889 s Remaining CPU time: 1779.51 s c Elapsed CPU time: 20.6089 s Remaining CPU time: 1779.39 s c Elapsed CPU time: 20.7298 s Remaining CPU time: 1779.27 s c Elapsed CPU time: 20.8498 s Remaining CPU time: 1779.15 s c Elapsed CPU time: 20.9728 s Remaining CPU time: 1779.03 s c Elapsed CPU time: 21.0918 s Remaining CPU time: 1778.91 s c Elapsed CPU time: 21.2128 s Remaining CPU time: 1778.79 s c Elapsed CPU time: 21.3348 s Remaining CPU time: 1778.67 s c Elapsed CPU time: 21.4537 s Remaining CPU time: 1778.55 s c Elapsed CPU time: 21.5777 s Remaining CPU time: 1778.42 s c Elapsed CPU time: 21.6997 s Remaining CPU time: 1778.3 s c Elapsed CPU time: 21.8217 s Remaining CPU time: 1778.18 s c Elapsed CPU time: 21.9457 s Remaining CPU time: 1778.05 s c Elapsed CPU time: 22.0696 s Remaining CPU time: 1777.93 s c Elapsed CPU time: 22.1926 s Remaining CPU time: 1777.81 s c Elapsed CPU time: 22.3156 s Remaining CPU time: 1777.68 s c Elapsed CPU time: 22.4376 s Remaining CPU time: 1777.56 s c Elapsed CPU time: 22.5606 s Remaining CPU time: 1777.44 s c Elapsed CPU time: 22.6836 s Remaining CPU time: 1777.32 s c Elapsed CPU time: 22.8075 s Remaining CPU time: 1777.19 s c Elapsed CPU time: 22.9315 s Remaining CPU time: 1777.07 s c Elapsed CPU time: 23.0525 s Remaining CPU time: 1776.95 s c Elapsed CPU time: 23.1755 s Remaining CPU time: 1776.82 s c Elapsed CPU time: 23.2995 s Remaining CPU time: 1776.7 s c Elapsed CPU time: 23.4224 s Remaining CPU time: 1776.58 s c Elapsed CPU time: 23.5454 s Remaining CPU time: 1776.45 s c Elapsed CPU time: 23.6694 s Remaining CPU time: 1776.33 s c Elapsed CPU time: 23.7954 s Remaining CPU time: 1776.2 s c Elapsed CPU time: 23.9194 s Remaining CPU time: 1776.08 s c Elapsed CPU time: 24.0443 s Remaining CPU time: 1775.96 s c Elapsed CPU time: 24.1713 s Remaining CPU time: 1775.83 s c Elapsed CPU time: 24.2963 s Remaining CPU time: 1775.7 s c Elapsed CPU time: 24.4233 s Remaining CPU time: 1775.58 s c Elapsed CPU time: 24.5483 s Remaining CPU time: 1775.45 s c Elapsed CPU time: 24.6752 s Remaining CPU time: 1775.32 s c Elapsed CPU time: 24.8032 s Remaining CPU time: 1775.2 s c Elapsed CPU time: 24.9302 s Remaining CPU time: 1775.07 s c Elapsed CPU time: 25.0562 s Remaining CPU time: 1774.94 s c Elapsed CPU time: 25.1852 s Remaining CPU time: 1774.81 s c Elapsed CPU time: 25.3132 s Remaining CPU time: 1774.69 s c Elapsed CPU time: 25.4401 s Remaining CPU time: 1774.56 s c Elapsed CPU time: 25.5691 s Remaining CPU time: 1774.43 s c Elapsed CPU time: 25.6991 s Remaining CPU time: 1774.3 s c Elapsed CPU time: 25.8301 s Remaining CPU time: 1774.17 s c Elapsed CPU time: 25.9601 s Remaining CPU time: 1774.04 s c Elapsed CPU time: 26.089 s Remaining CPU time: 1773.91 s c Elapsed CPU time: 26.218 s Remaining CPU time: 1773.78 s c Elapsed CPU time: 26.347 s Remaining CPU time: 1773.65 s c Elapsed CPU time: 26.478 s Remaining CPU time: 1773.52 s c Elapsed CPU time: 26.609 s Remaining CPU time: 1773.39 s c Elapsed CPU time: 26.7399 s Remaining CPU time: 1773.26 s c Elapsed CPU time: 26.8729 s Remaining CPU time: 1773.13 s c Elapsed CPU time: 27.0019 s Remaining CPU time: 1773 s c Elapsed CPU time: 27.1329 s Remaining CPU time: 1772.87 s c Elapsed CPU time: 27.2639 s Remaining CPU time: 1772.74 s c Elapsed CPU time: 27.3928 s Remaining CPU time: 1772.61 s c Elapsed CPU time: 27.5258 s Remaining CPU time: 1772.47 s c Elapsed CPU time: 27.6568 s Remaining CPU time: 1772.34 s c Elapsed CPU time: 27.7898 s Remaining CPU time: 1772.21 s c Elapsed CPU time: 27.9198 s Remaining CPU time: 1772.08 s c Elapsed CPU time: 28.0527 s Remaining CPU time: 1771.95 s c Elapsed CPU time: 28.1837 s Remaining CPU time: 1771.82 s c Elapsed CPU time: 28.3147 s Remaining CPU time: 1771.69 s c Elapsed CPU time: 28.4457 s Remaining CPU time: 1771.55 s c Elapsed CPU time: 28.5787 s Remaining CPU time: 1771.42 s c Elapsed CPU time: 28.7116 s Remaining CPU time: 1771.29 s c Elapsed CPU time: 28.8456 s Remaining CPU time: 1771.15 s c Elapsed CPU time: 28.9796 s Remaining CPU time: 1771.02 s c Elapsed CPU time: 29.1136 s Remaining CPU time: 1770.89 s c Elapsed CPU time: 29.2486 s Remaining CPU time: 1770.75 s c Elapsed CPU time: 29.3835 s Remaining CPU time: 1770.62 s c Elapsed CPU time: 29.5195 s Remaining CPU time: 1770.48 s c Elapsed CPU time: 29.6525 s Remaining CPU time: 1770.35 s c Elapsed CPU time: 29.7875 s Remaining CPU time: 1770.21 s c Elapsed CPU time: 29.9215 s Remaining CPU time: 1770.08 s c Elapsed CPU time: 30.0564 s Remaining CPU time: 1769.94 s c Elapsed CPU time: 30.1924 s Remaining CPU time: 1769.81 s c Elapsed CPU time: 30.3264 s Remaining CPU time: 1769.67 s c Elapsed CPU time: 30.4604 s Remaining CPU time: 1769.54 s c Elapsed CPU time: 30.5943 s Remaining CPU time: 1769.41 s c Elapsed CPU time: 30.7303 s Remaining CPU time: 1769.27 s c Elapsed CPU time: 30.8653 s Remaining CPU time: 1769.13 s c Elapsed CPU time: 30.9993 s Remaining CPU time: 1769 s c Elapsed CPU time: 31.1363 s Remaining CPU time: 1768.86 s c Elapsed CPU time: 31.2722 s Remaining CPU time: 1768.73 s c Elapsed CPU time: 31.4082 s Remaining CPU time: 1768.59 s c Elapsed CPU time: 31.5472 s Remaining CPU time: 1768.45 s c Elapsed CPU time: 31.6862 s Remaining CPU time: 1768.31 s c Elapsed CPU time: 31.8232 s Remaining CPU time: 1768.18 s c Elapsed CPU time: 31.9611 s Remaining CPU time: 1768.04 s c Elapsed CPU time: 32.0981 s Remaining CPU time: 1767.9 s c Elapsed CPU time: 32.2341 s Remaining CPU time: 1767.77 s c Elapsed CPU time: 32.3711 s Remaining CPU time: 1767.63 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 22 113172 217779 | 37724 0 nan | 0.000 % | c =============================================================================== c Verified 113172 original clauses.