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.077988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.406938 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.626904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.956854 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.06484 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.17582 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2858 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.39679 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.50677 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.73074 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.84172 s Remaining CPU time: 1798.16 s c Elapsed CPU time: 1.9517 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 2.06269 s Remaining CPU time: 1797.94 s c Elapsed CPU time: 2.17567 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.28865 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.40163 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.51362 s Remaining CPU time: 1797.49 s c Elapsed CPU time: 2.6246 s Remaining CPU time: 1797.38 s c Elapsed CPU time: 2.73658 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.85057 s Remaining CPU time: 1797.15 s c Elapsed CPU time: 2.96555 s Remaining CPU time: 1797.03 s c Elapsed CPU time: 3.07853 s Remaining CPU time: 1796.92 s c Elapsed CPU time: 3.19251 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.3045 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 3.41648 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.52746 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.64145 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.75543 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.86841 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.98239 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 4.09538 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.21036 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.32434 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.43733 s Remaining CPU time: 1795.56 s c Elapsed CPU time: 4.55131 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.66429 s Remaining CPU time: 1795.34 s c Elapsed CPU time: 4.77827 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.89226 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 5.00524 s Remaining CPU time: 1794.99 s c Elapsed CPU time: 5.11922 s Remaining CPU time: 1794.88 s c Elapsed CPU time: 5.2352 s Remaining CPU time: 1794.76 s c Elapsed CPU time: 5.35019 s Remaining CPU time: 1794.65 s c Elapsed CPU time: 5.46717 s Remaining CPU time: 1794.53 s c Elapsed CPU time: 5.58115 s Remaining CPU time: 1794.42 s c Elapsed CPU time: 5.69613 s Remaining CPU time: 1794.3 s c Elapsed CPU time: 5.81012 s Remaining CPU time: 1794.19 s c Elapsed CPU time: 5.9241 s Remaining CPU time: 1794.08 s c Elapsed CPU time: 6.03908 s Remaining CPU time: 1793.96 s c Elapsed CPU time: 6.15406 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.26905 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.38303 s Remaining CPU time: 1793.62 s c Elapsed CPU time: 6.49601 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.60999 s Remaining CPU time: 1793.39 s c Elapsed CPU time: 6.72298 s Remaining CPU time: 1793.28 s c Elapsed CPU time: 6.83496 s Remaining CPU time: 1793.17 s c Elapsed CPU time: 6.94794 s Remaining CPU time: 1793.05 s c Elapsed CPU time: 7.06293 s Remaining CPU time: 1792.94 s c Elapsed CPU time: 7.17891 s Remaining CPU time: 1792.82 s c Elapsed CPU time: 7.29389 s Remaining CPU time: 1792.71 s c Elapsed CPU time: 7.40787 s Remaining CPU time: 1792.59 s c Elapsed CPU time: 7.52286 s Remaining CPU time: 1792.48 s c Elapsed CPU time: 7.63884 s Remaining CPU time: 1792.36 s c Elapsed CPU time: 7.75382 s Remaining CPU time: 1792.25 s c Elapsed CPU time: 7.8698 s Remaining CPU time: 1792.13 s c Elapsed CPU time: 7.98379 s Remaining CPU time: 1792.02 s c Elapsed CPU time: 8.10177 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.33273 s Remaining CPU time: 1791.67 s c Elapsed CPU time: 8.44772 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.5647 s Remaining CPU time: 1791.44 s c Elapsed CPU time: 8.67968 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.91564 s Remaining CPU time: 1791.08 s c Elapsed CPU time: 9.03163 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.14661 s Remaining CPU time: 1790.85 s c Elapsed CPU time: 9.26259 s Remaining CPU time: 1790.74 s c Elapsed CPU time: 9.38057 s Remaining CPU time: 1790.62 s c Elapsed CPU time: 9.49656 s Remaining CPU time: 1790.5 s c Elapsed CPU time: 9.61254 s Remaining CPU time: 1790.39 s c Elapsed CPU time: 9.72952 s Remaining CPU time: 1790.27 s c Elapsed CPU time: 9.8445 s Remaining CPU time: 1790.16 s c Elapsed CPU time: 9.96049 s Remaining CPU time: 1790.04 s c Elapsed CPU time: 10.0775 s Remaining CPU time: 1789.92 s c Elapsed CPU time: 10.1935 s Remaining CPU time: 1789.81 s c Elapsed CPU time: 10.3104 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.4264 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.5444 s Remaining CPU time: 1789.46 s c Elapsed CPU time: 10.6604 s Remaining CPU time: 1789.34 s c Elapsed CPU time: 10.7784 s Remaining CPU time: 1789.22 s c Elapsed CPU time: 10.8953 s Remaining CPU time: 1789.1 s c Elapsed CPU time: 11.0143 s Remaining CPU time: 1788.99 s c Elapsed CPU time: 11.1313 s Remaining CPU time: 1788.87 s c Elapsed CPU time: 11.2483 s Remaining CPU time: 1788.75 s c Elapsed CPU time: 11.3663 s Remaining CPU time: 1788.63 s c Elapsed CPU time: 11.4843 s Remaining CPU time: 1788.52 s c Elapsed CPU time: 11.6012 s Remaining CPU time: 1788.4 s c Elapsed CPU time: 11.7192 s Remaining CPU time: 1788.28 s c Elapsed CPU time: 11.8372 s Remaining CPU time: 1788.16 s c Elapsed CPU time: 11.9532 s Remaining CPU time: 1788.05 s c Elapsed CPU time: 12.0712 s Remaining CPU time: 1787.93 s c Elapsed CPU time: 12.1901 s Remaining CPU time: 1787.81 s c Elapsed CPU time: 12.3081 s Remaining CPU time: 1787.69 s c Elapsed CPU time: 12.4261 s Remaining CPU time: 1787.57 s c Elapsed CPU time: 12.5431 s Remaining CPU time: 1787.46 s c Elapsed CPU time: 12.6611 s Remaining CPU time: 1787.34 s c Elapsed CPU time: 12.7791 s Remaining CPU time: 1787.22 s c Elapsed CPU time: 12.897 s Remaining CPU time: 1787.1 s c Elapsed CPU time: 13.014 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.133 s Remaining CPU time: 1786.87 s c Elapsed CPU time: 13.252 s Remaining CPU time: 1786.75 s c Elapsed CPU time: 13.37 s Remaining CPU time: 1786.63 s c Elapsed CPU time: 13.4879 s Remaining CPU time: 1786.51 s c Elapsed CPU time: 13.6079 s Remaining CPU time: 1786.39 s c Elapsed CPU time: 13.7259 s Remaining CPU time: 1786.27 s c Elapsed CPU time: 13.8439 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.9619 s Remaining CPU time: 1786.04 s c Elapsed CPU time: 14.0819 s Remaining CPU time: 1785.92 s c Elapsed CPU time: 14.2008 s Remaining CPU time: 1785.8 s c Elapsed CPU time: 14.3188 s Remaining CPU time: 1785.68 s c Elapsed CPU time: 14.4378 s Remaining CPU time: 1785.56 s c Elapsed CPU time: 14.5568 s Remaining CPU time: 1785.44 s c Elapsed CPU time: 14.6768 s Remaining CPU time: 1785.32 s c Elapsed CPU time: 14.7948 s Remaining CPU time: 1785.21 s c Elapsed CPU time: 14.9127 s Remaining CPU time: 1785.09 s c Elapsed CPU time: 15.0317 s Remaining CPU time: 1784.97 s c Elapsed CPU time: 15.1497 s Remaining CPU time: 1784.85 s c Elapsed CPU time: 15.2707 s Remaining CPU time: 1784.73 s c Elapsed CPU time: 15.3887 s Remaining CPU time: 1784.61 s c Elapsed CPU time: 15.5076 s Remaining CPU time: 1784.49 s c Elapsed CPU time: 15.6256 s Remaining CPU time: 1784.37 s c Elapsed CPU time: 15.7446 s Remaining CPU time: 1784.26 s c Elapsed CPU time: 15.8616 s Remaining CPU time: 1784.14 s c Elapsed CPU time: 15.9806 s Remaining CPU time: 1784.02 s c Elapsed CPU time: 16.0976 s Remaining CPU time: 1783.9 s c Elapsed CPU time: 16.2165 s Remaining CPU time: 1783.78 s c Elapsed CPU time: 16.3365 s Remaining CPU time: 1783.66 s c Elapsed CPU time: 16.4555 s Remaining CPU time: 1783.54 s c Elapsed CPU time: 16.5745 s Remaining CPU time: 1783.43 s c Elapsed CPU time: 16.6935 s Remaining CPU time: 1783.31 s c Elapsed CPU time: 16.8124 s Remaining CPU time: 1783.19 s c Elapsed CPU time: 16.9304 s Remaining CPU time: 1783.07 s c Elapsed CPU time: 17.0504 s Remaining CPU time: 1782.95 s c Elapsed CPU time: 17.1714 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.2884 s Remaining CPU time: 1782.71 s c Elapsed CPU time: 17.4074 s Remaining CPU time: 1782.59 s c Elapsed CPU time: 17.5253 s Remaining CPU time: 1782.47 s c Elapsed CPU time: 17.6433 s Remaining CPU time: 1782.36 s c Elapsed CPU time: 17.7613 s Remaining CPU time: 1782.24 s c Elapsed CPU time: 17.8793 s Remaining CPU time: 1782.12 s c Elapsed CPU time: 17.9993 s Remaining CPU time: 1782 s c Elapsed CPU time: 18.1182 s Remaining CPU time: 1781.88 s c Elapsed CPU time: 18.2382 s Remaining CPU time: 1781.76 s c Elapsed CPU time: 18.3562 s Remaining CPU time: 1781.64 s c Elapsed CPU time: 18.4752 s Remaining CPU time: 1781.52 s c Elapsed CPU time: 18.5952 s Remaining CPU time: 1781.4 s c Elapsed CPU time: 18.7132 s Remaining CPU time: 1781.29 s c Elapsed CPU time: 18.8331 s Remaining CPU time: 1781.17 s c Elapsed CPU time: 18.9521 s Remaining CPU time: 1781.05 s c Elapsed CPU time: 19.0721 s Remaining CPU time: 1780.93 s c Elapsed CPU time: 19.1921 s Remaining CPU time: 1780.81 s c Elapsed CPU time: 19.3121 s Remaining CPU time: 1780.69 s c Elapsed CPU time: 19.431 s Remaining CPU time: 1780.57 s c Elapsed CPU time: 19.551 s Remaining CPU time: 1780.45 s c Elapsed CPU time: 19.672 s Remaining CPU time: 1780.33 s c Elapsed CPU time: 19.792 s Remaining CPU time: 1780.21 s c Elapsed CPU time: 19.912 s Remaining CPU time: 1780.09 s c Elapsed CPU time: 20.033 s Remaining CPU time: 1779.97 s c Elapsed CPU time: 20.1529 s Remaining CPU time: 1779.85 s c Elapsed CPU time: 20.2729 s Remaining CPU time: 1779.73 s c Elapsed CPU time: 20.3929 s Remaining CPU time: 1779.61 s c Elapsed CPU time: 20.5139 s Remaining CPU time: 1779.49 s c Elapsed CPU time: 20.6359 s Remaining CPU time: 1779.36 s c Elapsed CPU time: 20.7568 s Remaining CPU time: 1779.24 s c Elapsed CPU time: 20.8768 s Remaining CPU time: 1779.12 s c Elapsed CPU time: 20.9968 s Remaining CPU time: 1779 s c Elapsed CPU time: 21.1178 s Remaining CPU time: 1778.88 s c Elapsed CPU time: 21.2408 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.3648 s Remaining CPU time: 1778.64 s c Elapsed CPU time: 21.4907 s Remaining CPU time: 1778.51 s c Elapsed CPU time: 21.6167 s Remaining CPU time: 1778.38 s c Elapsed CPU time: 21.7447 s Remaining CPU time: 1778.26 s c Elapsed CPU time: 21.8707 s Remaining CPU time: 1778.13 s c Elapsed CPU time: 21.9997 s Remaining CPU time: 1778 s c Elapsed CPU time: 22.1276 s Remaining CPU time: 1777.87 s c Elapsed CPU time: 22.2556 s Remaining CPU time: 1777.74 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.6406 s Remaining CPU time: 1777.36 s c Elapsed CPU time: 22.7685 s Remaining CPU time: 1777.23 s c Elapsed CPU time: 22.8965 s Remaining CPU time: 1777.1 s c Elapsed CPU time: 23.0265 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.2865 s Remaining CPU time: 1776.71 s c Elapsed CPU time: 23.4144 s Remaining CPU time: 1776.59 s c Elapsed CPU time: 23.5454 s Remaining CPU time: 1776.45 s c Elapsed CPU time: 23.6754 s Remaining CPU time: 1776.32 s c Elapsed CPU time: 23.8044 s Remaining CPU time: 1776.2 s c Elapsed CPU time: 23.9364 s Remaining CPU time: 1776.06 s c Elapsed CPU time: 24.0673 s Remaining CPU time: 1775.93 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113044 217623 | 37681 0 nan | 0.000 % | c =============================================================================== c Verified 113044 original clauses.