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.184971 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.405938 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.515921 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.624905 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.840872 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.951855 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 1.06284 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.17182 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.28181 s Remaining CPU time: 1798.72 s c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.50277 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.61175 s Remaining CPU time: 1798.39 s c Elapsed CPU time: 1.72074 s Remaining CPU time: 1798.28 s c Elapsed CPU time: 1.82972 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.9407 s Remaining CPU time: 1798.06 s c Elapsed CPU time: 2.05069 s Remaining CPU time: 1797.95 s c Elapsed CPU time: 2.16167 s Remaining CPU time: 1797.84 s c Elapsed CPU time: 2.27365 s Remaining CPU time: 1797.73 s c Elapsed CPU time: 2.38464 s Remaining CPU time: 1797.62 s c Elapsed CPU time: 2.49562 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.6066 s Remaining CPU time: 1797.39 s c Elapsed CPU time: 2.71659 s Remaining CPU time: 1797.28 s c Elapsed CPU time: 2.82957 s Remaining CPU time: 1797.17 s c Elapsed CPU time: 2.94055 s Remaining CPU time: 1797.06 s c Elapsed CPU time: 3.05454 s Remaining CPU time: 1796.95 s c Elapsed CPU time: 3.16652 s Remaining CPU time: 1796.83 s c Elapsed CPU time: 3.2795 s Remaining CPU time: 1796.72 s c Elapsed CPU time: 3.39248 s Remaining CPU time: 1796.61 s c Elapsed CPU time: 3.50547 s Remaining CPU time: 1796.49 s c Elapsed CPU time: 3.62045 s Remaining CPU time: 1796.38 s c Elapsed CPU time: 3.73443 s Remaining CPU time: 1796.27 s c Elapsed CPU time: 3.84941 s Remaining CPU time: 1796.15 s c Elapsed CPU time: 3.9634 s Remaining CPU time: 1796.04 s c Elapsed CPU time: 4.07938 s Remaining CPU time: 1795.92 s c Elapsed CPU time: 4.19436 s Remaining CPU time: 1795.81 s c Elapsed CPU time: 4.30835 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.53831 s Remaining CPU time: 1795.46 s c Elapsed CPU time: 4.65329 s Remaining CPU time: 1795.35 s c Elapsed CPU time: 4.77127 s Remaining CPU time: 1795.23 s c Elapsed CPU time: 4.88526 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 5.00224 s Remaining CPU time: 1795 s c Elapsed CPU time: 5.11722 s Remaining CPU time: 1794.88 s c Elapsed CPU time: 5.2322 s Remaining CPU time: 1794.77 s c Elapsed CPU time: 5.34619 s Remaining CPU time: 1794.65 s c Elapsed CPU time: 5.46217 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.57715 s Remaining CPU time: 1794.42 s c Elapsed CPU time: 5.69213 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.80912 s Remaining CPU time: 1794.19 s c Elapsed CPU time: 5.9251 s Remaining CPU time: 1794.07 s c Elapsed CPU time: 6.04108 s Remaining CPU time: 1793.96 s c Elapsed CPU time: 6.15606 s Remaining CPU time: 1793.84 s c Elapsed CPU time: 6.27305 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.38803 s Remaining CPU time: 1793.61 s c Elapsed CPU time: 6.50501 s Remaining CPU time: 1793.49 s c Elapsed CPU time: 6.62099 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.73597 s Remaining CPU time: 1793.26 s c Elapsed CPU time: 6.85096 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.96694 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 7.08292 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.19991 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.31689 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.54785 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.66583 s Remaining CPU time: 1792.33 s c Elapsed CPU time: 7.78182 s Remaining CPU time: 1792.22 s c Elapsed CPU time: 7.8988 s Remaining CPU time: 1792.1 s c Elapsed CPU time: 8.01478 s Remaining CPU time: 1791.99 s c Elapsed CPU time: 8.12976 s Remaining CPU time: 1791.87 s c Elapsed CPU time: 8.24675 s Remaining CPU time: 1791.75 s c Elapsed CPU time: 8.36473 s Remaining CPU time: 1791.64 s c Elapsed CPU time: 8.47971 s Remaining CPU time: 1791.52 s c Elapsed CPU time: 8.59669 s Remaining CPU time: 1791.4 s c Elapsed CPU time: 8.71268 s Remaining CPU time: 1791.29 s c Elapsed CPU time: 8.82866 s Remaining CPU time: 1791.17 s c Elapsed CPU time: 8.94664 s Remaining CPU time: 1791.05 s c Elapsed CPU time: 9.06362 s Remaining CPU time: 1790.94 s c Elapsed CPU time: 9.1806 s Remaining CPU time: 1790.82 s c Elapsed CPU time: 9.30059 s Remaining CPU time: 1790.7 s c Elapsed CPU time: 9.41757 s Remaining CPU time: 1790.58 s c Elapsed CPU time: 9.53555 s Remaining CPU time: 1790.46 s c Elapsed CPU time: 9.65253 s Remaining CPU time: 1790.35 s c Elapsed CPU time: 9.77051 s Remaining CPU time: 1790.23 s c Elapsed CPU time: 9.8885 s Remaining CPU time: 1790.11 s c Elapsed CPU time: 10.0065 s Remaining CPU time: 1789.99 s c Elapsed CPU time: 10.1235 s Remaining CPU time: 1789.88 s c Elapsed CPU time: 10.2424 s Remaining CPU time: 1789.76 s c Elapsed CPU time: 10.3594 s Remaining CPU time: 1789.64 s c Elapsed CPU time: 10.4774 s Remaining CPU time: 1789.52 s c Elapsed CPU time: 10.5934 s Remaining CPU time: 1789.41 s c Elapsed CPU time: 10.7104 s Remaining CPU time: 1789.29 s c Elapsed CPU time: 10.8284 s Remaining CPU time: 1789.17 s c Elapsed CPU time: 10.9453 s Remaining CPU time: 1789.05 s c Elapsed CPU time: 11.0623 s Remaining CPU time: 1788.94 s c Elapsed CPU time: 11.1813 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.2993 s Remaining CPU time: 1788.7 s c Elapsed CPU time: 11.4163 s Remaining CPU time: 1788.58 s c Elapsed CPU time: 11.5342 s Remaining CPU time: 1788.47 s c Elapsed CPU time: 11.6522 s Remaining CPU time: 1788.35 s c Elapsed CPU time: 11.7712 s Remaining CPU time: 1788.23 s c Elapsed CPU time: 11.8882 s Remaining CPU time: 1788.11 s c Elapsed CPU time: 12.0062 s Remaining CPU time: 1787.99 s c Elapsed CPU time: 12.1262 s Remaining CPU time: 1787.87 s c Elapsed CPU time: 12.2441 s Remaining CPU time: 1787.76 s c Elapsed CPU time: 12.3631 s Remaining CPU time: 1787.64 s c Elapsed CPU time: 12.4811 s Remaining CPU time: 1787.52 s c Elapsed CPU time: 12.5991 s Remaining CPU time: 1787.4 s c Elapsed CPU time: 12.7171 s Remaining CPU time: 1787.28 s c Elapsed CPU time: 12.835 s Remaining CPU time: 1787.16 s c Elapsed CPU time: 12.953 s Remaining CPU time: 1787.05 s c Elapsed CPU time: 13.072 s Remaining CPU time: 1786.93 s c Elapsed CPU time: 13.19 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.311 s Remaining CPU time: 1786.69 s c Elapsed CPU time: 13.43 s Remaining CPU time: 1786.57 s c Elapsed CPU time: 13.5459 s Remaining CPU time: 1786.45 s c Elapsed CPU time: 13.6629 s Remaining CPU time: 1786.34 s c Elapsed CPU time: 13.7809 s Remaining CPU time: 1786.22 s c Elapsed CPU time: 13.8979 s Remaining CPU time: 1786.1 s c Elapsed CPU time: 14.0159 s Remaining CPU time: 1785.98 s c Elapsed CPU time: 14.1319 s Remaining CPU time: 1785.87 s c Elapsed CPU time: 14.2498 s Remaining CPU time: 1785.75 s c Elapsed CPU time: 14.3668 s Remaining CPU time: 1785.63 s c Elapsed CPU time: 14.4848 s Remaining CPU time: 1785.52 s c Elapsed CPU time: 14.6018 s Remaining CPU time: 1785.4 s c Elapsed CPU time: 14.7208 s Remaining CPU time: 1785.28 s c Elapsed CPU time: 14.8367 s Remaining CPU time: 1785.16 s c Elapsed CPU time: 14.9557 s Remaining CPU time: 1785.04 s c Elapsed CPU time: 15.0737 s Remaining CPU time: 1784.93 s c Elapsed CPU time: 15.1907 s Remaining CPU time: 1784.81 s c Elapsed CPU time: 15.3087 s Remaining CPU time: 1784.69 s c Elapsed CPU time: 15.4267 s Remaining CPU time: 1784.57 s c Elapsed CPU time: 15.5436 s Remaining CPU time: 1784.46 s c Elapsed CPU time: 15.6636 s Remaining CPU time: 1784.34 s c Elapsed CPU time: 15.7806 s Remaining CPU time: 1784.22 s c Elapsed CPU time: 15.9006 s Remaining CPU time: 1784.1 s c Elapsed CPU time: 16.0186 s Remaining CPU time: 1783.98 s c Elapsed CPU time: 16.1375 s Remaining CPU time: 1783.86 s c Elapsed CPU time: 16.2555 s Remaining CPU time: 1783.74 s c Elapsed CPU time: 16.3745 s Remaining CPU time: 1783.63 s c Elapsed CPU time: 16.4935 s Remaining CPU time: 1783.51 s c Elapsed CPU time: 16.6125 s Remaining CPU time: 1783.39 s c Elapsed CPU time: 16.7295 s Remaining CPU time: 1783.27 s c Elapsed CPU time: 16.8484 s Remaining CPU time: 1783.15 s c Elapsed CPU time: 16.9654 s Remaining CPU time: 1783.03 s c Elapsed CPU time: 17.0834 s Remaining CPU time: 1782.92 s c Elapsed CPU time: 17.1994 s Remaining CPU time: 1782.8 s c Elapsed CPU time: 17.3184 s Remaining CPU time: 1782.68 s c Elapsed CPU time: 17.4363 s Remaining CPU time: 1782.56 s c Elapsed CPU time: 17.5553 s Remaining CPU time: 1782.44 s c Elapsed CPU time: 17.6723 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.0283 s Remaining CPU time: 1781.97 s c Elapsed CPU time: 18.1462 s Remaining CPU time: 1781.85 s c Elapsed CPU time: 18.2652 s Remaining CPU time: 1781.73 s c Elapsed CPU time: 18.3832 s Remaining CPU time: 1781.62 s c Elapsed CPU time: 18.5002 s Remaining CPU time: 1781.5 s c Elapsed CPU time: 18.6192 s Remaining CPU time: 1781.38 s c Elapsed CPU time: 18.7392 s Remaining CPU time: 1781.26 s c Elapsed CPU time: 18.8561 s Remaining CPU time: 1781.14 s c Elapsed CPU time: 18.9761 s Remaining CPU time: 1781.02 s c Elapsed CPU time: 19.0941 s Remaining CPU time: 1780.91 s c Elapsed CPU time: 19.2141 s Remaining CPU time: 1780.79 s c Elapsed CPU time: 19.3331 s Remaining CPU time: 1780.67 s c Elapsed CPU time: 19.451 s Remaining CPU time: 1780.55 s c Elapsed CPU time: 19.57 s Remaining CPU time: 1780.43 s c Elapsed CPU time: 19.69 s Remaining CPU time: 1780.31 s c Elapsed CPU time: 19.808 s Remaining CPU time: 1780.19 s c Elapsed CPU time: 19.929 s Remaining CPU time: 1780.07 s c Elapsed CPU time: 20.047 s Remaining CPU time: 1779.95 s c Elapsed CPU time: 20.1679 s Remaining CPU time: 1779.83 s c Elapsed CPU time: 20.2869 s Remaining CPU time: 1779.71 s c Elapsed CPU time: 20.4079 s Remaining CPU time: 1779.59 s c Elapsed CPU time: 20.5269 s Remaining CPU time: 1779.47 s c Elapsed CPU time: 20.6469 s Remaining CPU time: 1779.35 s c Elapsed CPU time: 20.7668 s Remaining CPU time: 1779.23 s c Elapsed CPU time: 20.8888 s Remaining CPU time: 1779.11 s c Elapsed CPU time: 21.0088 s Remaining CPU time: 1778.99 s c Elapsed CPU time: 21.1298 s Remaining CPU time: 1778.87 s c Elapsed CPU time: 21.2498 s Remaining CPU time: 1778.75 s c Elapsed CPU time: 21.3718 s Remaining CPU time: 1778.63 s c Elapsed CPU time: 21.4927 s Remaining CPU time: 1778.51 s c Elapsed CPU time: 21.6157 s Remaining CPU time: 1778.38 s c Elapsed CPU time: 21.7377 s Remaining CPU time: 1778.26 s c Elapsed CPU time: 21.8627 s Remaining CPU time: 1778.14 s c Elapsed CPU time: 21.9847 s Remaining CPU time: 1778.02 s c Elapsed CPU time: 22.1076 s Remaining CPU time: 1777.89 s c Elapsed CPU time: 22.2306 s Remaining CPU time: 1777.77 s c Elapsed CPU time: 22.3546 s Remaining CPU time: 1777.65 s c Elapsed CPU time: 22.4766 s Remaining CPU time: 1777.52 s c Elapsed CPU time: 22.6016 s Remaining CPU time: 1777.4 s c Elapsed CPU time: 22.7265 s Remaining CPU time: 1777.27 s c Elapsed CPU time: 22.8505 s Remaining CPU time: 1777.15 s c Elapsed CPU time: 22.9745 s Remaining CPU time: 1777.03 s c Elapsed CPU time: 23.1005 s Remaining CPU time: 1776.9 s c Elapsed CPU time: 23.2265 s Remaining CPU time: 1776.77 s c Elapsed CPU time: 23.3524 s Remaining CPU time: 1776.65 s c Elapsed CPU time: 23.4794 s Remaining CPU time: 1776.52 s c Elapsed CPU time: 23.6064 s Remaining CPU time: 1776.39 s c Elapsed CPU time: 23.7334 s Remaining CPU time: 1776.27 s c Elapsed CPU time: 23.8604 s Remaining CPU time: 1776.14 s c Elapsed CPU time: 23.9884 s Remaining CPU time: 1776.01 s c Elapsed CPU time: 24.1163 s Remaining CPU time: 1775.88 s c Elapsed CPU time: 24.2453 s Remaining CPU time: 1775.75 s c Elapsed CPU time: 24.3753 s Remaining CPU time: 1775.62 s c Elapsed CPU time: 24.5053 s Remaining CPU time: 1775.49 s c Elapsed CPU time: 24.6353 s Remaining CPU time: 1775.36 s c Elapsed CPU time: 24.7652 s Remaining CPU time: 1775.23 s c Elapsed CPU time: 24.8952 s Remaining CPU time: 1775.1 s c Elapsed CPU time: 25.0242 s Remaining CPU time: 1774.98 s c Elapsed CPU time: 25.1542 s Remaining CPU time: 1774.85 s c Elapsed CPU time: 25.2832 s Remaining CPU time: 1774.72 s c Elapsed CPU time: 25.4141 s Remaining CPU time: 1774.59 s c Elapsed CPU time: 25.5401 s Remaining CPU time: 1774.46 s c Elapsed CPU time: 25.6701 s Remaining CPU time: 1774.33 s c Elapsed CPU time: 25.8001 s Remaining CPU time: 1774.2 s c Elapsed CPU time: 25.9311 s Remaining CPU time: 1774.07 s c Elapsed CPU time: 26.064 s Remaining CPU time: 1773.94 s c Elapsed CPU time: 26.195 s Remaining CPU time: 1773.8 s c Elapsed CPU time: 26.326 s Remaining CPU time: 1773.67 s c Elapsed CPU time: 26.458 s Remaining CPU time: 1773.54 s c Elapsed CPU time: 26.587 s Remaining CPU time: 1773.41 s c Elapsed CPU time: 26.7219 s Remaining CPU time: 1773.28 s c Elapsed CPU time: 26.8559 s Remaining CPU time: 1773.14 s c Elapsed CPU time: 26.9879 s Remaining CPU time: 1773.01 s c Elapsed CPU time: 27.1199 s Remaining CPU time: 1772.88 s c Elapsed CPU time: 27.2529 s Remaining CPU time: 1772.75 s c Elapsed CPU time: 27.3878 s Remaining CPU time: 1772.61 s c Elapsed CPU time: 27.5208 s Remaining CPU time: 1772.48 s c Elapsed CPU time: 27.6528 s Remaining CPU time: 1772.35 s c Elapsed CPU time: 27.7858 s Remaining CPU time: 1772.21 s c Elapsed CPU time: 27.9188 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.1857 s Remaining CPU time: 1771.81 s c Elapsed CPU time: 28.3197 s Remaining CPU time: 1771.68 s c Elapsed CPU time: 28.4537 s Remaining CPU time: 1771.55 s c Elapsed CPU time: 28.5877 s Remaining CPU time: 1771.41 s c Elapsed CPU time: 28.7216 s Remaining CPU time: 1771.28 s c Elapsed CPU time: 28.8566 s Remaining CPU time: 1771.14 s c Elapsed CPU time: 28.9916 s Remaining CPU time: 1771.01 s c Elapsed CPU time: 29.1266 s Remaining CPU time: 1770.87 s c Elapsed CPU time: 29.2626 s Remaining CPU time: 1770.74 s c Elapsed CPU time: 29.3965 s Remaining CPU time: 1770.6 s c Elapsed CPU time: 29.5315 s Remaining CPU time: 1770.47 s c Elapsed CPU time: 29.6655 s Remaining CPU time: 1770.33 s c Elapsed CPU time: 29.8005 s Remaining CPU time: 1770.2 s c Elapsed CPU time: 29.9354 s Remaining CPU time: 1770.06 s c Elapsed CPU time: 30.0704 s Remaining CPU time: 1769.93 s c Elapsed CPU time: 30.2064 s Remaining CPU time: 1769.79 s c Elapsed CPU time: 30.3414 s Remaining CPU time: 1769.66 s c Elapsed CPU time: 30.4774 s Remaining CPU time: 1769.52 s c Elapsed CPU time: 30.6133 s Remaining CPU time: 1769.39 s c Elapsed CPU time: 30.7473 s Remaining CPU time: 1769.25 s c Elapsed CPU time: 30.8833 s Remaining CPU time: 1769.12 s c Elapsed CPU time: 31.0193 s Remaining CPU time: 1768.98 s c Elapsed CPU time: 31.1573 s Remaining CPU time: 1768.84 s c Elapsed CPU time: 31.2942 s Remaining CPU time: 1768.71 s c Elapsed CPU time: 31.4312 s Remaining CPU time: 1768.57 s c Elapsed CPU time: 31.5692 s Remaining CPU time: 1768.43 s c Elapsed CPU time: 31.7062 s Remaining CPU time: 1768.29 s c Elapsed CPU time: 31.8442 s Remaining CPU time: 1768.16 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 45 113162 217796 | 37720 0 nan | 0.000 % | c =============================================================================== c Verified 113162 original clauses.