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.070989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.507922 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.726889 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.837872 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.947855 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 1.05884 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.16882 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2788 s Remaining CPU time: 1798.72 s c Elapsed CPU time: 1.38879 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.49877 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.60976 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.82872 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.93871 s Remaining CPU time: 1798.06 s c Elapsed CPU time: 2.04969 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.27165 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.49662 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.82857 s Remaining CPU time: 1797.17 s c Elapsed CPU time: 2.94155 s Remaining CPU time: 1797.06 s c Elapsed CPU time: 3.05553 s Remaining CPU time: 1796.94 s c Elapsed CPU time: 3.16752 s Remaining CPU time: 1796.83 s c Elapsed CPU time: 3.2815 s Remaining CPU time: 1796.72 s c Elapsed CPU time: 3.39448 s Remaining CPU time: 1796.61 s c Elapsed CPU time: 3.50847 s Remaining CPU time: 1796.49 s c Elapsed CPU time: 3.62145 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.84841 s Remaining CPU time: 1796.15 s c Elapsed CPU time: 3.9624 s Remaining CPU time: 1796.04 s c Elapsed CPU time: 4.07538 s Remaining CPU time: 1795.92 s c Elapsed CPU time: 4.18936 s Remaining CPU time: 1795.81 s c Elapsed CPU time: 4.30335 s Remaining CPU time: 1795.7 s c Elapsed CPU time: 4.41833 s Remaining CPU time: 1795.58 s c Elapsed CPU time: 4.53331 s Remaining CPU time: 1795.47 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.87626 s Remaining CPU time: 1795.12 s c Elapsed CPU time: 4.98924 s Remaining CPU time: 1795.01 s c Elapsed CPU time: 5.10422 s Remaining CPU time: 1794.9 s c Elapsed CPU time: 5.21921 s Remaining CPU time: 1794.78 s c Elapsed CPU time: 5.33419 s Remaining CPU time: 1794.67 s c Elapsed CPU time: 5.44917 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.56315 s Remaining CPU time: 1794.44 s c Elapsed CPU time: 5.67814 s Remaining CPU time: 1794.32 s c Elapsed CPU time: 5.79312 s Remaining CPU time: 1794.21 s c Elapsed CPU time: 5.9081 s Remaining CPU time: 1794.09 s c Elapsed CPU time: 6.02208 s Remaining CPU time: 1793.98 s c Elapsed CPU time: 6.13607 s Remaining CPU time: 1793.86 s c Elapsed CPU time: 6.25105 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.36403 s Remaining CPU time: 1793.64 s c Elapsed CPU time: 6.47902 s Remaining CPU time: 1793.52 s c Elapsed CPU time: 6.594 s Remaining CPU time: 1793.41 s c Elapsed CPU time: 6.70898 s Remaining CPU time: 1793.29 s c Elapsed CPU time: 6.82396 s Remaining CPU time: 1793.18 s c Elapsed CPU time: 6.93895 s Remaining CPU time: 1793.06 s c Elapsed CPU time: 7.05393 s Remaining CPU time: 1792.95 s c Elapsed CPU time: 7.16891 s Remaining CPU time: 1792.83 s c Elapsed CPU time: 7.28289 s Remaining CPU time: 1792.72 s c Elapsed CPU time: 7.39787 s Remaining CPU time: 1792.6 s c Elapsed CPU time: 7.51386 s Remaining CPU time: 1792.49 s c Elapsed CPU time: 7.62884 s Remaining CPU time: 1792.37 s c Elapsed CPU time: 7.74382 s Remaining CPU time: 1792.26 s c Elapsed CPU time: 7.8598 s Remaining CPU time: 1792.14 s c Elapsed CPU time: 7.97479 s Remaining CPU time: 1792.03 s c Elapsed CPU time: 8.08977 s Remaining CPU time: 1791.91 s c Elapsed CPU time: 8.20475 s Remaining CPU time: 1791.8 s c Elapsed CPU time: 8.32073 s Remaining CPU time: 1791.68 s c Elapsed CPU time: 8.43572 s Remaining CPU time: 1791.56 s c Elapsed CPU time: 8.5517 s Remaining CPU time: 1791.45 s c Elapsed CPU time: 8.66668 s Remaining CPU time: 1791.33 s c Elapsed CPU time: 8.78266 s Remaining CPU time: 1791.22 s c Elapsed CPU time: 8.89665 s Remaining CPU time: 1791.1 s c Elapsed CPU time: 9.01163 s Remaining CPU time: 1790.99 s c Elapsed CPU time: 9.12761 s Remaining CPU time: 1790.87 s c Elapsed CPU time: 9.24359 s Remaining CPU time: 1790.76 s c Elapsed CPU time: 9.35858 s Remaining CPU time: 1790.64 s c Elapsed CPU time: 9.47156 s Remaining CPU time: 1790.53 s c Elapsed CPU time: 9.58754 s Remaining CPU time: 1790.41 s c Elapsed CPU time: 9.70352 s Remaining CPU time: 1790.3 s c Elapsed CPU time: 9.81951 s Remaining CPU time: 1790.18 s c Elapsed CPU time: 9.93449 s Remaining CPU time: 1790.07 s c Elapsed CPU time: 10.0475 s Remaining CPU time: 1789.95 s c Elapsed CPU time: 10.1615 s Remaining CPU time: 1789.84 s c Elapsed CPU time: 10.2764 s Remaining CPU time: 1789.72 s c Elapsed CPU time: 10.3904 s Remaining CPU time: 1789.61 s c Elapsed CPU time: 10.5054 s Remaining CPU time: 1789.49 s c Elapsed CPU time: 10.6204 s Remaining CPU time: 1789.38 s c Elapsed CPU time: 10.7354 s Remaining CPU time: 1789.26 s c Elapsed CPU time: 10.8493 s Remaining CPU time: 1789.15 s c Elapsed CPU time: 10.9633 s Remaining CPU time: 1789.04 s c Elapsed CPU time: 11.0783 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.1933 s Remaining CPU time: 1788.81 s c Elapsed CPU time: 11.3083 s Remaining CPU time: 1788.69 s c Elapsed CPU time: 11.4243 s Remaining CPU time: 1788.58 s c Elapsed CPU time: 11.5392 s Remaining CPU time: 1788.46 s c Elapsed CPU time: 11.6522 s Remaining CPU time: 1788.35 s c Elapsed CPU time: 11.7672 s Remaining CPU time: 1788.23 s c Elapsed CPU time: 11.8832 s Remaining CPU time: 1788.12 s c Elapsed CPU time: 11.9982 s Remaining CPU time: 1788 s c Elapsed CPU time: 12.1122 s Remaining CPU time: 1787.89 s c Elapsed CPU time: 12.2271 s Remaining CPU time: 1787.77 s c Elapsed CPU time: 12.3421 s Remaining CPU time: 1787.66 s c Elapsed CPU time: 12.4581 s Remaining CPU time: 1787.54 s c Elapsed CPU time: 12.5741 s Remaining CPU time: 1787.43 s c Elapsed CPU time: 12.6891 s Remaining CPU time: 1787.31 s c Elapsed CPU time: 12.8051 s Remaining CPU time: 1787.19 s c Elapsed CPU time: 12.922 s Remaining CPU time: 1787.08 s c Elapsed CPU time: 13.037 s Remaining CPU time: 1786.96 s c Elapsed CPU time: 13.153 s Remaining CPU time: 1786.85 s c Elapsed CPU time: 13.268 s Remaining CPU time: 1786.73 s c Elapsed CPU time: 13.385 s Remaining CPU time: 1786.62 s c Elapsed CPU time: 13.5009 s Remaining CPU time: 1786.5 s c Elapsed CPU time: 13.6169 s Remaining CPU time: 1786.38 s c Elapsed CPU time: 13.7319 s Remaining CPU time: 1786.27 s c Elapsed CPU time: 13.8489 s Remaining CPU time: 1786.15 s c Elapsed CPU time: 13.9649 s Remaining CPU time: 1786.04 s c Elapsed CPU time: 14.0799 s Remaining CPU time: 1785.92 s c Elapsed CPU time: 14.1968 s Remaining CPU time: 1785.8 s c Elapsed CPU time: 14.3108 s Remaining CPU time: 1785.69 s c Elapsed CPU time: 14.4258 s Remaining CPU time: 1785.57 s c Elapsed CPU time: 14.5438 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.6608 s Remaining CPU time: 1785.34 s c Elapsed CPU time: 14.7778 s Remaining CPU time: 1785.22 s c Elapsed CPU time: 14.8947 s Remaining CPU time: 1785.11 s c Elapsed CPU time: 15.0117 s Remaining CPU time: 1784.99 s c Elapsed CPU time: 15.1267 s Remaining CPU time: 1784.87 s c Elapsed CPU time: 15.2447 s Remaining CPU time: 1784.76 s c Elapsed CPU time: 15.3617 s Remaining CPU time: 1784.64 s c Elapsed CPU time: 15.4766 s Remaining CPU time: 1784.52 s c Elapsed CPU time: 15.5936 s Remaining CPU time: 1784.41 s c Elapsed CPU time: 15.7106 s Remaining CPU time: 1784.29 s c Elapsed CPU time: 15.8276 s Remaining CPU time: 1784.17 s c Elapsed CPU time: 15.9436 s Remaining CPU time: 1784.06 s c Elapsed CPU time: 16.0606 s Remaining CPU time: 1783.94 s c Elapsed CPU time: 16.1775 s Remaining CPU time: 1783.82 s c Elapsed CPU time: 16.2945 s Remaining CPU time: 1783.71 s c Elapsed CPU time: 16.4105 s Remaining CPU time: 1783.59 s c Elapsed CPU time: 16.5295 s Remaining CPU time: 1783.47 s c Elapsed CPU time: 16.6455 s Remaining CPU time: 1783.35 s c Elapsed CPU time: 16.7625 s Remaining CPU time: 1783.24 s c Elapsed CPU time: 16.8804 s Remaining CPU time: 1783.12 s c Elapsed CPU time: 16.9984 s Remaining CPU time: 1783 s c Elapsed CPU time: 17.1124 s Remaining CPU time: 1782.89 s c Elapsed CPU time: 17.2284 s Remaining CPU time: 1782.77 s c Elapsed CPU time: 17.3444 s Remaining CPU time: 1782.66 s c Elapsed CPU time: 17.4643 s Remaining CPU time: 1782.54 s c Elapsed CPU time: 17.5823 s Remaining CPU time: 1782.42 s c Elapsed CPU time: 17.7003 s Remaining CPU time: 1782.3 s c Elapsed CPU time: 17.8173 s Remaining CPU time: 1782.18 s c Elapsed CPU time: 17.9343 s Remaining CPU time: 1782.07 s c Elapsed CPU time: 18.0523 s Remaining CPU time: 1781.95 s c Elapsed CPU time: 18.1702 s Remaining CPU time: 1781.83 s c Elapsed CPU time: 18.2872 s Remaining CPU time: 1781.71 s c Elapsed CPU time: 18.4072 s Remaining CPU time: 1781.59 s c Elapsed CPU time: 18.5262 s Remaining CPU time: 1781.47 s c Elapsed CPU time: 18.6432 s Remaining CPU time: 1781.36 s c Elapsed CPU time: 18.7601 s Remaining CPU time: 1781.24 s c Elapsed CPU time: 18.8791 s Remaining CPU time: 1781.12 s c Elapsed CPU time: 18.9981 s Remaining CPU time: 1781 s c Elapsed CPU time: 19.1161 s Remaining CPU time: 1780.88 s c Elapsed CPU time: 19.2351 s Remaining CPU time: 1780.76 s c Elapsed CPU time: 19.3561 s Remaining CPU time: 1780.64 s c Elapsed CPU time: 19.475 s Remaining CPU time: 1780.52 s c Elapsed CPU time: 19.596 s Remaining CPU time: 1780.4 s c Elapsed CPU time: 19.716 s Remaining CPU time: 1780.28 s c Elapsed CPU time: 19.836 s Remaining CPU time: 1780.16 s c Elapsed CPU time: 19.957 s Remaining CPU time: 1780.04 s c Elapsed CPU time: 20.0769 s Remaining CPU time: 1779.92 s c Elapsed CPU time: 20.1959 s Remaining CPU time: 1779.8 s c Elapsed CPU time: 20.3179 s Remaining CPU time: 1779.68 s c Elapsed CPU time: 20.4389 s Remaining CPU time: 1779.56 s c Elapsed CPU time: 20.5629 s Remaining CPU time: 1779.44 s c Elapsed CPU time: 20.6829 s Remaining CPU time: 1779.32 s c Elapsed CPU time: 20.8038 s Remaining CPU time: 1779.2 s c Elapsed CPU time: 20.9248 s Remaining CPU time: 1779.08 s c Elapsed CPU time: 21.0458 s Remaining CPU time: 1778.95 s c Elapsed CPU time: 21.1678 s Remaining CPU time: 1778.83 s c Elapsed CPU time: 21.2908 s Remaining CPU time: 1778.71 s c Elapsed CPU time: 21.4147 s Remaining CPU time: 1778.59 s c Elapsed CPU time: 21.5387 s Remaining CPU time: 1778.46 s c Elapsed CPU time: 21.6617 s Remaining CPU time: 1778.34 s c Elapsed CPU time: 21.7857 s Remaining CPU time: 1778.21 s c Elapsed CPU time: 21.9097 s Remaining CPU time: 1778.09 s c Elapsed CPU time: 22.0346 s Remaining CPU time: 1777.97 s c Elapsed CPU time: 22.1586 s Remaining CPU time: 1777.84 s c Elapsed CPU time: 22.2826 s Remaining CPU time: 1777.72 s c Elapsed CPU time: 22.4066 s Remaining CPU time: 1777.59 s c Elapsed CPU time: 22.5326 s Remaining CPU time: 1777.47 s c Elapsed CPU time: 22.6566 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.7815 s Remaining CPU time: 1777.22 s c Elapsed CPU time: 22.9045 s Remaining CPU time: 1777.1 s c Elapsed CPU time: 23.0305 s Remaining CPU time: 1776.97 s c Elapsed CPU time: 23.1555 s Remaining CPU time: 1776.84 s c Elapsed CPU time: 23.2815 s Remaining CPU time: 1776.72 s c Elapsed CPU time: 23.4064 s Remaining CPU time: 1776.59 s c Elapsed CPU time: 23.5324 s Remaining CPU time: 1776.47 s c Elapsed CPU time: 23.6584 s Remaining CPU time: 1776.34 s c Elapsed CPU time: 23.7854 s Remaining CPU time: 1776.21 s c Elapsed CPU time: 23.9104 s Remaining CPU time: 1776.09 s c Elapsed CPU time: 24.0373 s Remaining CPU time: 1775.96 s c Elapsed CPU time: 24.1613 s Remaining CPU time: 1775.84 s c Elapsed CPU time: 24.2883 s Remaining CPU time: 1775.71 s c Elapsed CPU time: 24.4143 s Remaining CPU time: 1775.59 s c Elapsed CPU time: 24.5423 s Remaining CPU time: 1775.46 s c Elapsed CPU time: 24.6672 s Remaining CPU time: 1775.33 s c Elapsed CPU time: 24.7952 s Remaining CPU time: 1775.2 s c Elapsed CPU time: 24.9232 s Remaining CPU time: 1775.08 s c Elapsed CPU time: 25.0522 s Remaining CPU time: 1774.95 s c Elapsed CPU time: 25.1792 s Remaining CPU time: 1774.82 s c Elapsed CPU time: 25.3102 s Remaining CPU time: 1774.69 s c Elapsed CPU time: 25.4381 s Remaining CPU time: 1774.56 s c Elapsed CPU time: 25.5661 s Remaining CPU time: 1774.43 s c Elapsed CPU time: 25.6961 s Remaining CPU time: 1774.3 s c Elapsed CPU time: 25.8261 s Remaining CPU time: 1774.17 s c Elapsed CPU time: 25.9561 s Remaining CPU time: 1774.04 s c Elapsed CPU time: 26.084 s Remaining CPU time: 1773.92 s c Elapsed CPU time: 26.214 s Remaining CPU time: 1773.79 s c Elapsed CPU time: 26.344 s Remaining CPU time: 1773.66 s c Elapsed CPU time: 26.474 s Remaining CPU time: 1773.53 s c Elapsed CPU time: 26.604 s Remaining CPU time: 1773.4 s c Elapsed CPU time: 26.7329 s Remaining CPU time: 1773.27 s c Elapsed CPU time: 26.8629 s Remaining CPU time: 1773.14 s c Elapsed CPU time: 26.9939 s Remaining CPU time: 1773.01 s c Elapsed CPU time: 27.1269 s Remaining CPU time: 1772.87 s c Elapsed CPU time: 27.2589 s Remaining CPU time: 1772.74 s c Elapsed CPU time: 27.3888 s Remaining CPU time: 1772.61 s c Elapsed CPU time: 27.5198 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.7848 s Remaining CPU time: 1772.22 s c Elapsed CPU time: 27.9168 s Remaining CPU time: 1772.08 s c Elapsed CPU time: 28.0467 s Remaining CPU time: 1771.95 s c Elapsed CPU time: 28.1787 s Remaining CPU time: 1771.82 s c Elapsed CPU time: 28.3087 s Remaining CPU time: 1771.69 s c Elapsed CPU time: 28.4397 s Remaining CPU time: 1771.56 s c Elapsed CPU time: 28.5707 s Remaining CPU time: 1771.43 s c Elapsed CPU time: 28.7016 s Remaining CPU time: 1771.3 s c Elapsed CPU time: 28.8326 s Remaining CPU time: 1771.17 s c Elapsed CPU time: 28.9646 s Remaining CPU time: 1771.04 s c Elapsed CPU time: 29.0976 s Remaining CPU time: 1770.9 s c Elapsed CPU time: 29.2276 s Remaining CPU time: 1770.77 s c Elapsed CPU time: 29.3605 s Remaining CPU time: 1770.64 s c Elapsed CPU time: 29.4915 s Remaining CPU time: 1770.51 s c Elapsed CPU time: 29.6235 s Remaining CPU time: 1770.38 s c Elapsed CPU time: 29.7555 s Remaining CPU time: 1770.24 s c Elapsed CPU time: 29.8905 s Remaining CPU time: 1770.11 s c Elapsed CPU time: 30.0224 s Remaining CPU time: 1769.98 s c Elapsed CPU time: 30.1544 s Remaining CPU time: 1769.85 s c Elapsed CPU time: 30.2884 s Remaining CPU time: 1769.71 s c Elapsed CPU time: 30.4194 s Remaining CPU time: 1769.58 s c Elapsed CPU time: 30.5524 s Remaining CPU time: 1769.45 s c Elapsed CPU time: 30.6873 s Remaining CPU time: 1769.31 s c Elapsed CPU time: 30.8193 s Remaining CPU time: 1769.18 s c Elapsed CPU time: 30.9533 s Remaining CPU time: 1769.05 s c Elapsed CPU time: 31.0863 s Remaining CPU time: 1768.91 s c Elapsed CPU time: 31.2183 s Remaining CPU time: 1768.78 s c Elapsed CPU time: 31.3522 s Remaining CPU time: 1768.65 s c Elapsed CPU time: 31.4862 s Remaining CPU time: 1768.51 s c Elapsed CPU time: 31.6202 s Remaining CPU time: 1768.38 s c Elapsed CPU time: 31.7532 s Remaining CPU time: 1768.25 s c Elapsed CPU time: 31.8882 s Remaining CPU time: 1768.11 s c Elapsed CPU time: 32.0221 s Remaining CPU time: 1767.98 s c Elapsed CPU time: 32.1561 s Remaining CPU time: 1767.84 s c Elapsed CPU time: 32.2921 s Remaining CPU time: 1767.71 s c Elapsed CPU time: 32.4261 s Remaining CPU time: 1767.57 s c Elapsed CPU time: 32.565 s Remaining CPU time: 1767.43 s c Elapsed CPU time: 32.699 s Remaining CPU time: 1767.3 s c Elapsed CPU time: 32.837 s Remaining CPU time: 1767.16 s c Elapsed CPU time: 32.971 s Remaining CPU time: 1767.03 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 39 113184 217819 | 37728 0 nan | 0.000 % | c =============================================================================== c Verified 113184 original clauses.