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.078987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.308953 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.420936 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.535918 s Remaining CPU time: 1799.46 s c Elapsed CPU time: 0.6549 s Remaining CPU time: 1799.35 s c Elapsed CPU time: 0.768883 s Remaining CPU time: 1799.23 s c Elapsed CPU time: 0.879866 s Remaining CPU time: 1799.12 s c Elapsed CPU time: 0.990849 s Remaining CPU time: 1799.01 s c Elapsed CPU time: 1.10383 s Remaining CPU time: 1798.9 s c Elapsed CPU time: 1.21781 s Remaining CPU time: 1798.78 s c Elapsed CPU time: 1.3318 s Remaining CPU time: 1798.67 s c Elapsed CPU time: 1.44578 s Remaining CPU time: 1798.55 s c Elapsed CPU time: 1.55976 s Remaining CPU time: 1798.44 s c Elapsed CPU time: 1.67274 s Remaining CPU time: 1798.33 s c Elapsed CPU time: 1.78573 s Remaining CPU time: 1798.21 s c Elapsed CPU time: 1.89871 s Remaining CPU time: 1798.1 s c Elapsed CPU time: 2.01169 s Remaining CPU time: 1797.99 s c Elapsed CPU time: 2.12668 s Remaining CPU time: 1797.87 s c Elapsed CPU time: 2.24066 s Remaining CPU time: 1797.76 s c Elapsed CPU time: 2.35564 s Remaining CPU time: 1797.64 s c Elapsed CPU time: 2.47062 s Remaining CPU time: 1797.53 s c Elapsed CPU time: 2.58361 s Remaining CPU time: 1797.42 s c Elapsed CPU time: 2.70159 s Remaining CPU time: 1797.3 s c Elapsed CPU time: 2.81857 s Remaining CPU time: 1797.18 s c Elapsed CPU time: 2.93555 s Remaining CPU time: 1797.06 s c Elapsed CPU time: 3.05253 s Remaining CPU time: 1796.95 s c Elapsed CPU time: 3.17052 s Remaining CPU time: 1796.83 s c Elapsed CPU time: 3.2885 s Remaining CPU time: 1796.71 s c Elapsed CPU time: 3.40548 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.52346 s Remaining CPU time: 1796.48 s c Elapsed CPU time: 3.63945 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.75743 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.87241 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.98739 s Remaining CPU time: 1796.01 s c Elapsed CPU time: 4.10338 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.22036 s Remaining CPU time: 1795.78 s c Elapsed CPU time: 4.33734 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.45532 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.5713 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.68829 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.80427 s Remaining CPU time: 1795.2 s c Elapsed CPU time: 4.92325 s Remaining CPU time: 1795.08 s c Elapsed CPU time: 5.04023 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.15921 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.2762 s Remaining CPU time: 1794.72 s c Elapsed CPU time: 5.39518 s Remaining CPU time: 1794.6 s c Elapsed CPU time: 5.51116 s Remaining CPU time: 1794.49 s c Elapsed CPU time: 5.63014 s Remaining CPU time: 1794.37 s c Elapsed CPU time: 5.74713 s Remaining CPU time: 1794.25 s c Elapsed CPU time: 5.86711 s Remaining CPU time: 1794.13 s c Elapsed CPU time: 5.98309 s Remaining CPU time: 1794.02 s c Elapsed CPU time: 6.10307 s Remaining CPU time: 1793.9 s c Elapsed CPU time: 6.22005 s Remaining CPU time: 1793.78 s c Elapsed CPU time: 6.34004 s Remaining CPU time: 1793.66 s c Elapsed CPU time: 6.45802 s Remaining CPU time: 1793.54 s c Elapsed CPU time: 6.577 s Remaining CPU time: 1793.42 s c Elapsed CPU time: 6.69298 s Remaining CPU time: 1793.31 s c Elapsed CPU time: 6.81096 s Remaining CPU time: 1793.19 s c Elapsed CPU time: 6.92795 s Remaining CPU time: 1793.07 s c Elapsed CPU time: 7.04693 s Remaining CPU time: 1792.95 s c Elapsed CPU time: 7.16291 s Remaining CPU time: 1792.84 s c Elapsed CPU time: 7.27889 s Remaining CPU time: 1792.72 s c Elapsed CPU time: 7.39588 s Remaining CPU time: 1792.6 s c Elapsed CPU time: 7.51286 s Remaining CPU time: 1792.49 s c Elapsed CPU time: 7.62984 s Remaining CPU time: 1792.37 s c Elapsed CPU time: 7.74782 s Remaining CPU time: 1792.25 s c Elapsed CPU time: 7.8638 s Remaining CPU time: 1792.14 s c Elapsed CPU time: 7.98179 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.21775 s Remaining CPU time: 1791.78 s c Elapsed CPU time: 8.33473 s Remaining CPU time: 1791.67 s c Elapsed CPU time: 8.45172 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.5687 s Remaining CPU time: 1791.43 s c Elapsed CPU time: 8.68668 s Remaining CPU time: 1791.31 s c Elapsed CPU time: 8.80366 s Remaining CPU time: 1791.2 s c Elapsed CPU time: 8.92164 s Remaining CPU time: 1791.08 s c Elapsed CPU time: 9.03862 s Remaining CPU time: 1790.96 s c Elapsed CPU time: 9.15761 s Remaining CPU time: 1790.84 s c Elapsed CPU time: 9.27359 s Remaining CPU time: 1790.73 s c Elapsed CPU time: 9.39257 s Remaining CPU time: 1790.61 s c Elapsed CPU time: 9.51055 s Remaining CPU time: 1790.49 s c Elapsed CPU time: 9.62854 s Remaining CPU time: 1790.37 s c Elapsed CPU time: 9.74652 s Remaining CPU time: 1790.25 s c Elapsed CPU time: 9.8645 s Remaining CPU time: 1790.14 s c Elapsed CPU time: 9.98348 s Remaining CPU time: 1790.02 s c Elapsed CPU time: 10.1025 s Remaining CPU time: 1789.9 s c Elapsed CPU time: 10.2184 s Remaining CPU time: 1789.78 s c Elapsed CPU time: 10.3374 s Remaining CPU time: 1789.66 s c Elapsed CPU time: 10.4554 s Remaining CPU time: 1789.54 s c Elapsed CPU time: 10.5744 s Remaining CPU time: 1789.43 s c Elapsed CPU time: 10.6934 s Remaining CPU time: 1789.31 s c Elapsed CPU time: 10.8124 s Remaining CPU time: 1789.19 s c Elapsed CPU time: 10.9293 s Remaining CPU time: 1789.07 s c Elapsed CPU time: 11.0483 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.1663 s Remaining CPU time: 1788.83 s c Elapsed CPU time: 11.2843 s Remaining CPU time: 1788.72 s c Elapsed CPU time: 11.4023 s Remaining CPU time: 1788.6 s c Elapsed CPU time: 11.5212 s Remaining CPU time: 1788.48 s c Elapsed CPU time: 11.6392 s Remaining CPU time: 1788.36 s c Elapsed CPU time: 11.7582 s Remaining CPU time: 1788.24 s c Elapsed CPU time: 11.8752 s Remaining CPU time: 1788.12 s c Elapsed CPU time: 11.9952 s Remaining CPU time: 1788 s c Elapsed CPU time: 12.1132 s Remaining CPU time: 1787.89 s c Elapsed CPU time: 12.2321 s Remaining CPU time: 1787.77 s c Elapsed CPU time: 12.3501 s Remaining CPU time: 1787.65 s c Elapsed CPU time: 12.4701 s Remaining CPU time: 1787.53 s c Elapsed CPU time: 12.5891 s Remaining CPU time: 1787.41 s c Elapsed CPU time: 12.7091 s Remaining CPU time: 1787.29 s c Elapsed CPU time: 12.828 s Remaining CPU time: 1787.17 s c Elapsed CPU time: 12.948 s Remaining CPU time: 1787.05 s c Elapsed CPU time: 13.067 s Remaining CPU time: 1786.93 s c Elapsed CPU time: 13.187 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.306 s Remaining CPU time: 1786.69 s c Elapsed CPU time: 13.427 s Remaining CPU time: 1786.57 s c Elapsed CPU time: 13.5469 s Remaining CPU time: 1786.45 s c Elapsed CPU time: 13.6679 s Remaining CPU time: 1786.33 s c Elapsed CPU time: 13.7879 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.9079 s Remaining CPU time: 1786.09 s c Elapsed CPU time: 14.0269 s Remaining CPU time: 1785.97 s c Elapsed CPU time: 14.1478 s Remaining CPU time: 1785.85 s c Elapsed CPU time: 14.2668 s Remaining CPU time: 1785.73 s c Elapsed CPU time: 14.3878 s Remaining CPU time: 1785.61 s c Elapsed CPU time: 14.5078 s Remaining CPU time: 1785.49 s c Elapsed CPU time: 14.6288 s Remaining CPU time: 1785.37 s c Elapsed CPU time: 14.7478 s Remaining CPU time: 1785.25 s c Elapsed CPU time: 14.8687 s Remaining CPU time: 1785.13 s c Elapsed CPU time: 14.9887 s Remaining CPU time: 1785.01 s c Elapsed CPU time: 15.1107 s Remaining CPU time: 1784.89 s c Elapsed CPU time: 15.2307 s Remaining CPU time: 1784.77 s c Elapsed CPU time: 15.3527 s Remaining CPU time: 1784.65 s c Elapsed CPU time: 15.4726 s Remaining CPU time: 1784.53 s c Elapsed CPU time: 15.5926 s Remaining CPU time: 1784.41 s c Elapsed CPU time: 15.7136 s Remaining CPU time: 1784.29 s c Elapsed CPU time: 15.8326 s Remaining CPU time: 1784.17 s c Elapsed CPU time: 15.9526 s Remaining CPU time: 1784.05 s c Elapsed CPU time: 16.0736 s Remaining CPU time: 1783.93 s c Elapsed CPU time: 16.1925 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.3145 s Remaining CPU time: 1783.69 s c Elapsed CPU time: 16.4345 s Remaining CPU time: 1783.57 s c Elapsed CPU time: 16.5555 s Remaining CPU time: 1783.44 s c Elapsed CPU time: 16.6775 s Remaining CPU time: 1783.32 s c Elapsed CPU time: 16.8004 s Remaining CPU time: 1783.2 s c Elapsed CPU time: 16.9224 s Remaining CPU time: 1783.08 s c Elapsed CPU time: 17.0454 s Remaining CPU time: 1782.95 s c Elapsed CPU time: 17.1674 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.2904 s Remaining CPU time: 1782.71 s c Elapsed CPU time: 17.4124 s Remaining CPU time: 1782.59 s c Elapsed CPU time: 17.5343 s Remaining CPU time: 1782.47 s c Elapsed CPU time: 17.6573 s Remaining CPU time: 1782.34 s c Elapsed CPU time: 17.7803 s Remaining CPU time: 1782.22 s c Elapsed CPU time: 17.9033 s Remaining CPU time: 1782.1 s c Elapsed CPU time: 18.0263 s Remaining CPU time: 1781.97 s c Elapsed CPU time: 18.1492 s Remaining CPU time: 1781.85 s c Elapsed CPU time: 18.2722 s Remaining CPU time: 1781.73 s c Elapsed CPU time: 18.3952 s Remaining CPU time: 1781.6 s c Elapsed CPU time: 18.5192 s Remaining CPU time: 1781.48 s c Elapsed CPU time: 18.6412 s Remaining CPU time: 1781.36 s c Elapsed CPU time: 18.7651 s Remaining CPU time: 1781.23 s c Elapsed CPU time: 18.8871 s Remaining CPU time: 1781.11 s c Elapsed CPU time: 19.0101 s Remaining CPU time: 1780.99 s c Elapsed CPU time: 19.1331 s Remaining CPU time: 1780.87 s c Elapsed CPU time: 19.2571 s Remaining CPU time: 1780.74 s c Elapsed CPU time: 19.3801 s Remaining CPU time: 1780.62 s c Elapsed CPU time: 19.504 s Remaining CPU time: 1780.5 s c Elapsed CPU time: 19.627 s Remaining CPU time: 1780.37 s c Elapsed CPU time: 19.752 s Remaining CPU time: 1780.25 s c Elapsed CPU time: 19.876 s Remaining CPU time: 1780.12 s c Elapsed CPU time: 20 s Remaining CPU time: 1780 s c Elapsed CPU time: 20.1239 s Remaining CPU time: 1779.88 s c Elapsed CPU time: 20.2479 s Remaining CPU time: 1779.75 s c Elapsed CPU time: 20.3709 s Remaining CPU time: 1779.63 s c Elapsed CPU time: 20.4969 s Remaining CPU time: 1779.5 s c Elapsed CPU time: 20.6189 s Remaining CPU time: 1779.38 s c Elapsed CPU time: 20.7448 s Remaining CPU time: 1779.26 s c Elapsed CPU time: 20.8668 s Remaining CPU time: 1779.13 s c Elapsed CPU time: 20.9938 s Remaining CPU time: 1779.01 s c Elapsed CPU time: 21.1178 s Remaining CPU time: 1778.88 s c Elapsed CPU time: 21.2438 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.3678 s Remaining CPU time: 1778.63 s c Elapsed CPU time: 21.4947 s Remaining CPU time: 1778.51 s c Elapsed CPU time: 21.6207 s Remaining CPU time: 1778.38 s c Elapsed CPU time: 21.7467 s Remaining CPU time: 1778.25 s c Elapsed CPU time: 21.8707 s Remaining CPU time: 1778.13 s c Elapsed CPU time: 21.9987 s Remaining CPU time: 1778 s c Elapsed CPU time: 22.1256 s Remaining CPU time: 1777.87 s c Elapsed CPU time: 22.2546 s Remaining CPU time: 1777.75 s c Elapsed CPU time: 22.3826 s Remaining CPU time: 1777.62 s c Elapsed CPU time: 22.5126 s Remaining CPU time: 1777.49 s c Elapsed CPU time: 22.6416 s Remaining CPU time: 1777.36 s c Elapsed CPU time: 22.7715 s Remaining CPU time: 1777.23 s c Elapsed CPU time: 22.9005 s Remaining CPU time: 1777.1 s c Elapsed CPU time: 23.0325 s Remaining CPU time: 1776.97 s c Elapsed CPU time: 23.1615 s Remaining CPU time: 1776.84 s c Elapsed CPU time: 23.2915 s Remaining CPU time: 1776.71 s c Elapsed CPU time: 23.4204 s Remaining CPU time: 1776.58 s c Elapsed CPU time: 23.5514 s Remaining CPU time: 1776.45 s c Elapsed CPU time: 23.6804 s Remaining CPU time: 1776.32 s c Elapsed CPU time: 23.8104 s Remaining CPU time: 1776.19 s c Elapsed CPU time: 23.9404 s Remaining CPU time: 1776.06 s c Elapsed CPU time: 24.0693 s Remaining CPU time: 1775.93 s c Elapsed CPU time: 24.2003 s Remaining CPU time: 1775.8 s c Elapsed CPU time: 24.3313 s Remaining CPU time: 1775.67 s c Elapsed CPU time: 24.4623 s Remaining CPU time: 1775.54 s c Elapsed CPU time: 24.5933 s Remaining CPU time: 1775.41 s c Elapsed CPU time: 24.7242 s Remaining CPU time: 1775.28 s c Elapsed CPU time: 24.8552 s Remaining CPU time: 1775.14 s c Elapsed CPU time: 24.9862 s Remaining CPU time: 1775.01 s c Elapsed CPU time: 25.1192 s Remaining CPU time: 1774.88 s c Elapsed CPU time: 25.2492 s Remaining CPU time: 1774.75 s c Elapsed CPU time: 25.3811 s Remaining CPU time: 1774.62 s c Elapsed CPU time: 25.5131 s Remaining CPU time: 1774.49 s c Elapsed CPU time: 25.6461 s Remaining CPU time: 1774.35 s c Elapsed CPU time: 25.7791 s Remaining CPU time: 1774.22 s c Elapsed CPU time: 25.9111 s Remaining CPU time: 1774.09 s c Elapsed CPU time: 26.043 s Remaining CPU time: 1773.96 s c Elapsed CPU time: 26.177 s Remaining CPU time: 1773.82 s c Elapsed CPU time: 26.308 s Remaining CPU time: 1773.69 s c Elapsed CPU time: 26.443 s Remaining CPU time: 1773.56 s c Elapsed CPU time: 26.574 s Remaining CPU time: 1773.43 s c Elapsed CPU time: 26.7079 s Remaining CPU time: 1773.29 s c Elapsed CPU time: 26.8389 s Remaining CPU time: 1773.16 s c Elapsed CPU time: 26.9709 s Remaining CPU time: 1773.03 s c Elapsed CPU time: 27.1029 s Remaining CPU time: 1772.9 s c Elapsed CPU time: 27.2349 s Remaining CPU time: 1772.77 s c Elapsed CPU time: 27.3668 s Remaining CPU time: 1772.63 s c Elapsed CPU time: 27.5008 s Remaining CPU time: 1772.5 s c Elapsed CPU time: 27.6338 s Remaining CPU time: 1772.37 s c Elapsed CPU time: 27.7678 s Remaining CPU time: 1772.23 s c Elapsed CPU time: 27.9028 s Remaining CPU time: 1772.1 s c Elapsed CPU time: 28.0357 s Remaining CPU time: 1771.96 s c Elapsed CPU time: 28.1677 s Remaining CPU time: 1771.83 s c Elapsed CPU time: 28.3007 s Remaining CPU time: 1771.7 s c Elapsed CPU time: 28.4337 s Remaining CPU time: 1771.57 s c Elapsed CPU time: 28.5667 s Remaining CPU time: 1771.43 s c Elapsed CPU time: 28.6996 s Remaining CPU time: 1771.3 s c Elapsed CPU time: 28.8356 s Remaining CPU time: 1771.16 s c Elapsed CPU time: 28.9676 s Remaining CPU time: 1771.03 s c Elapsed CPU time: 29.1036 s Remaining CPU time: 1770.9 s c Elapsed CPU time: 29.2386 s Remaining CPU time: 1770.76 s c Elapsed CPU time: 29.3745 s Remaining CPU time: 1770.63 s c Elapsed CPU time: 29.5105 s Remaining CPU time: 1770.49 s c Elapsed CPU time: 29.6445 s Remaining CPU time: 1770.36 s c Elapsed CPU time: 29.7825 s Remaining CPU time: 1770.22 s c Elapsed CPU time: 29.9215 s Remaining CPU time: 1770.08 s c Elapsed CPU time: 30.0574 s Remaining CPU time: 1769.94 s c Elapsed CPU time: 30.1954 s Remaining CPU time: 1769.8 s c Elapsed CPU time: 30.3324 s Remaining CPU time: 1769.67 s c Elapsed CPU time: 30.4714 s Remaining CPU time: 1769.53 s c Elapsed CPU time: 30.6073 s Remaining CPU time: 1769.39 s c Elapsed CPU time: 30.7463 s Remaining CPU time: 1769.25 s c Elapsed CPU time: 30.8843 s Remaining CPU time: 1769.12 s c Elapsed CPU time: 31.0233 s Remaining CPU time: 1768.98 s c Elapsed CPU time: 31.1613 s Remaining CPU time: 1768.84 s c Elapsed CPU time: 31.2992 s Remaining CPU time: 1768.7 s c Elapsed CPU time: 31.4382 s Remaining CPU time: 1768.56 s c Elapsed CPU time: 31.5772 s Remaining CPU time: 1768.42 s c Elapsed CPU time: 31.7162 s Remaining CPU time: 1768.28 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11 113150 217750 | 37716 0 nan | 0.000 % | c =============================================================================== c Verified 113150 original clauses.