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.075988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 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.514921 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.625904 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.847871 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.960853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.07284 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.18482 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2958 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.40679 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.51877 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63175 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.74274 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.85372 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.9647 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.07868 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.19067 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.30265 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.41563 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.52861 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6386 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.75058 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.86656 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.98255 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.09553 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.21051 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.32649 s Remaining CPU time: 1796.67 s c Elapsed CPU time: 3.44348 s Remaining CPU time: 1796.56 s c Elapsed CPU time: 3.55946 s Remaining CPU time: 1796.44 s c Elapsed CPU time: 3.67744 s Remaining CPU time: 1796.32 s c Elapsed CPU time: 3.79042 s Remaining CPU time: 1796.21 s c Elapsed CPU time: 3.90541 s Remaining CPU time: 1796.09 s c Elapsed CPU time: 4.01939 s Remaining CPU time: 1795.98 s c Elapsed CPU time: 4.13437 s Remaining CPU time: 1795.87 s c Elapsed CPU time: 4.24835 s Remaining CPU time: 1795.75 s c Elapsed CPU time: 4.36334 s Remaining CPU time: 1795.64 s c Elapsed CPU time: 4.47632 s Remaining CPU time: 1795.52 s c Elapsed CPU time: 4.5933 s Remaining CPU time: 1795.41 s c Elapsed CPU time: 4.70828 s Remaining CPU time: 1795.29 s c Elapsed CPU time: 4.82527 s Remaining CPU time: 1795.17 s c Elapsed CPU time: 4.93925 s Remaining CPU time: 1795.06 s c Elapsed CPU time: 5.05423 s Remaining CPU time: 1794.95 s c Elapsed CPU time: 5.16721 s Remaining CPU time: 1794.83 s c Elapsed CPU time: 5.2822 s Remaining CPU time: 1794.72 s c Elapsed CPU time: 5.39818 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.62814 s Remaining CPU time: 1794.37 s c Elapsed CPU time: 5.74313 s Remaining CPU time: 1794.26 s c Elapsed CPU time: 5.86011 s Remaining CPU time: 1794.14 s c Elapsed CPU time: 5.97609 s Remaining CPU time: 1794.02 s c Elapsed CPU time: 6.09207 s Remaining CPU time: 1793.91 s c Elapsed CPU time: 6.20906 s Remaining CPU time: 1793.79 s c Elapsed CPU time: 6.32304 s Remaining CPU time: 1793.68 s c Elapsed CPU time: 6.43702 s Remaining CPU time: 1793.56 s c Elapsed CPU time: 6.551 s Remaining CPU time: 1793.45 s c Elapsed CPU time: 6.66399 s Remaining CPU time: 1793.34 s c Elapsed CPU time: 6.77997 s Remaining CPU time: 1793.22 s c Elapsed CPU time: 6.89495 s Remaining CPU time: 1793.11 s c Elapsed CPU time: 7.01193 s Remaining CPU time: 1792.99 s c Elapsed CPU time: 7.12892 s Remaining CPU time: 1792.87 s c Elapsed CPU time: 7.2459 s Remaining CPU time: 1792.75 s c Elapsed CPU time: 7.36288 s Remaining CPU time: 1792.64 s c Elapsed CPU time: 7.47786 s Remaining CPU time: 1792.52 s c Elapsed CPU time: 7.59284 s Remaining CPU time: 1792.41 s c Elapsed CPU time: 7.70783 s Remaining CPU time: 1792.29 s c Elapsed CPU time: 7.82381 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.93979 s Remaining CPU time: 1792.06 s c Elapsed CPU time: 8.05377 s Remaining CPU time: 1791.95 s c Elapsed CPU time: 8.16976 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.28674 s Remaining CPU time: 1791.71 s c Elapsed CPU time: 8.40272 s Remaining CPU time: 1791.6 s c Elapsed CPU time: 8.5197 s Remaining CPU time: 1791.48 s c Elapsed CPU time: 8.63569 s Remaining CPU time: 1791.36 s c Elapsed CPU time: 8.75167 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.86765 s Remaining CPU time: 1791.13 s c Elapsed CPU time: 8.98363 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 9.09762 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.2146 s Remaining CPU time: 1790.79 s c Elapsed CPU time: 9.33258 s Remaining CPU time: 1790.67 s c Elapsed CPU time: 9.45056 s Remaining CPU time: 1790.55 s c Elapsed CPU time: 9.56754 s Remaining CPU time: 1790.43 s c Elapsed CPU time: 9.68353 s Remaining CPU time: 1790.32 s c Elapsed CPU time: 9.79951 s Remaining CPU time: 1790.2 s c Elapsed CPU time: 9.91549 s Remaining CPU time: 1790.08 s c Elapsed CPU time: 10.0335 s Remaining CPU time: 1789.97 s c Elapsed CPU time: 10.1495 s Remaining CPU time: 1789.85 s c Elapsed CPU time: 10.2664 s Remaining CPU time: 1789.73 s c Elapsed CPU time: 10.3854 s Remaining CPU time: 1789.61 s c Elapsed CPU time: 10.5014 s Remaining CPU time: 1789.5 s c Elapsed CPU time: 10.6214 s Remaining CPU time: 1789.38 s c Elapsed CPU time: 10.7424 s Remaining CPU time: 1789.26 s c Elapsed CPU time: 10.8633 s Remaining CPU time: 1789.14 s c Elapsed CPU time: 10.9833 s Remaining CPU time: 1789.02 s c Elapsed CPU time: 11.1023 s Remaining CPU time: 1788.9 s c Elapsed CPU time: 11.2213 s Remaining CPU time: 1788.78 s c Elapsed CPU time: 11.3403 s Remaining CPU time: 1788.66 s c Elapsed CPU time: 11.4613 s Remaining CPU time: 1788.54 s c Elapsed CPU time: 11.5792 s Remaining CPU time: 1788.42 s c Elapsed CPU time: 11.6982 s Remaining CPU time: 1788.3 s c Elapsed CPU time: 11.8182 s Remaining CPU time: 1788.18 s c Elapsed CPU time: 11.9362 s Remaining CPU time: 1788.06 s c Elapsed CPU time: 12.0542 s Remaining CPU time: 1787.95 s c Elapsed CPU time: 12.1741 s Remaining CPU time: 1787.83 s c Elapsed CPU time: 12.2931 s Remaining CPU time: 1787.71 s c Elapsed CPU time: 12.4111 s Remaining CPU time: 1787.59 s c Elapsed CPU time: 12.5331 s Remaining CPU time: 1787.47 s c Elapsed CPU time: 12.6541 s Remaining CPU time: 1787.35 s c Elapsed CPU time: 12.7761 s Remaining CPU time: 1787.22 s c Elapsed CPU time: 12.895 s Remaining CPU time: 1787.1 s c Elapsed CPU time: 13.013 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.132 s Remaining CPU time: 1786.87 s c Elapsed CPU time: 13.25 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.4889 s Remaining CPU time: 1786.51 s c Elapsed CPU time: 13.6069 s Remaining CPU time: 1786.39 s c Elapsed CPU time: 13.7239 s Remaining CPU time: 1786.28 s c Elapsed CPU time: 13.8439 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.9659 s Remaining CPU time: 1786.03 s c Elapsed CPU time: 14.0869 s Remaining CPU time: 1785.91 s c Elapsed CPU time: 14.2078 s Remaining CPU time: 1785.79 s c Elapsed CPU time: 14.3288 s Remaining CPU time: 1785.67 s c Elapsed CPU time: 14.4488 s Remaining CPU time: 1785.55 s c Elapsed CPU time: 14.5678 s Remaining CPU time: 1785.43 s c Elapsed CPU time: 14.6868 s Remaining CPU time: 1785.31 s c Elapsed CPU time: 14.8057 s Remaining CPU time: 1785.19 s c Elapsed CPU time: 14.9247 s Remaining CPU time: 1785.08 s c Elapsed CPU time: 15.0427 s Remaining CPU time: 1784.96 s c Elapsed CPU time: 15.1607 s Remaining CPU time: 1784.84 s c Elapsed CPU time: 15.2817 s Remaining CPU time: 1784.72 s c Elapsed CPU time: 15.4037 s Remaining CPU time: 1784.6 s c Elapsed CPU time: 15.5236 s Remaining CPU time: 1784.48 s c Elapsed CPU time: 15.6446 s Remaining CPU time: 1784.36 s c Elapsed CPU time: 15.7656 s Remaining CPU time: 1784.23 s c Elapsed CPU time: 15.8846 s Remaining CPU time: 1784.12 s c Elapsed CPU time: 16.0046 s Remaining CPU time: 1784 s c Elapsed CPU time: 16.1235 s Remaining CPU time: 1783.88 s c Elapsed CPU time: 16.2445 s Remaining CPU time: 1783.76 s c Elapsed CPU time: 16.3635 s Remaining CPU time: 1783.64 s c Elapsed CPU time: 16.4845 s Remaining CPU time: 1783.52 s c Elapsed CPU time: 16.6045 s Remaining CPU time: 1783.4 s c Elapsed CPU time: 16.7285 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.9734 s Remaining CPU time: 1783.03 s c Elapsed CPU time: 17.0954 s Remaining CPU time: 1782.9 s c Elapsed CPU time: 17.2194 s Remaining CPU time: 1782.78 s c Elapsed CPU time: 17.3394 s Remaining CPU time: 1782.66 s c Elapsed CPU time: 17.4623 s Remaining CPU time: 1782.54 s c Elapsed CPU time: 17.5813 s Remaining CPU time: 1782.42 s c Elapsed CPU time: 17.7033 s Remaining CPU time: 1782.3 s c Elapsed CPU time: 17.8223 s Remaining CPU time: 1782.18 s c Elapsed CPU time: 17.9443 s Remaining CPU time: 1782.06 s c Elapsed CPU time: 18.0653 s Remaining CPU time: 1781.93 s c Elapsed CPU time: 18.1862 s Remaining CPU time: 1781.81 s c Elapsed CPU time: 18.3062 s Remaining CPU time: 1781.69 s c Elapsed CPU time: 18.4292 s Remaining CPU time: 1781.57 s c Elapsed CPU time: 18.5522 s Remaining CPU time: 1781.45 s c Elapsed CPU time: 18.6752 s Remaining CPU time: 1781.32 s c Elapsed CPU time: 18.7991 s Remaining CPU time: 1781.2 s c Elapsed CPU time: 18.9211 s Remaining CPU time: 1781.08 s c Elapsed CPU time: 19.0421 s Remaining CPU time: 1780.96 s c Elapsed CPU time: 19.1641 s Remaining CPU time: 1780.84 s c Elapsed CPU time: 19.2871 s Remaining CPU time: 1780.71 s c Elapsed CPU time: 19.409 s Remaining CPU time: 1780.59 s c Elapsed CPU time: 19.533 s Remaining CPU time: 1780.47 s c Elapsed CPU time: 19.655 s Remaining CPU time: 1780.34 s c Elapsed CPU time: 19.777 s Remaining CPU time: 1780.22 s c Elapsed CPU time: 19.9 s Remaining CPU time: 1780.1 s c Elapsed CPU time: 20.023 s Remaining CPU time: 1779.98 s c Elapsed CPU time: 20.1469 s Remaining CPU time: 1779.85 s c Elapsed CPU time: 20.2699 s Remaining CPU time: 1779.73 s c Elapsed CPU time: 20.3919 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.6349 s Remaining CPU time: 1779.37 s c Elapsed CPU time: 20.7568 s Remaining CPU time: 1779.24 s c Elapsed CPU time: 20.8788 s Remaining CPU time: 1779.12 s c Elapsed CPU time: 20.9998 s Remaining CPU time: 1779 s c Elapsed CPU time: 21.1228 s Remaining CPU time: 1778.88 s c Elapsed CPU time: 21.2478 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.4957 s Remaining CPU time: 1778.5 s c Elapsed CPU time: 21.6227 s Remaining CPU time: 1778.38 s c Elapsed CPU time: 21.7517 s Remaining CPU time: 1778.25 s c Elapsed CPU time: 21.8787 s Remaining CPU time: 1778.12 s c Elapsed CPU time: 22.0047 s Remaining CPU time: 1778 s c Elapsed CPU time: 22.1336 s Remaining CPU time: 1777.87 s c Elapsed CPU time: 22.2616 s Remaining CPU time: 1777.74 s c Elapsed CPU time: 22.3896 s Remaining CPU time: 1777.61 s c Elapsed CPU time: 22.5166 s Remaining CPU time: 1777.48 s c Elapsed CPU time: 22.6446 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.9025 s Remaining CPU time: 1777.1 s c Elapsed CPU time: 23.0335 s Remaining CPU time: 1776.97 s c Elapsed CPU time: 23.1655 s Remaining CPU time: 1776.83 s c Elapsed CPU time: 23.2955 s Remaining CPU time: 1776.7 s c Elapsed CPU time: 23.4254 s Remaining CPU time: 1776.57 s c Elapsed CPU time: 23.5564 s Remaining CPU time: 1776.44 s c Elapsed CPU time: 23.6884 s Remaining CPU time: 1776.31 s c Elapsed CPU time: 23.8204 s Remaining CPU time: 1776.18 s c Elapsed CPU time: 23.9504 s Remaining CPU time: 1776.05 s c Elapsed CPU time: 24.0813 s Remaining CPU time: 1775.92 s c Elapsed CPU time: 24.2113 s Remaining CPU time: 1775.79 s c Elapsed CPU time: 24.3413 s Remaining CPU time: 1775.66 s c Elapsed CPU time: 24.4733 s Remaining CPU time: 1775.53 s c Elapsed CPU time: 24.6033 s Remaining CPU time: 1775.4 s c Elapsed CPU time: 24.7342 s Remaining CPU time: 1775.27 s c Elapsed CPU time: 24.8652 s Remaining CPU time: 1775.13 s c Elapsed CPU time: 24.9982 s Remaining CPU time: 1775 s c Elapsed CPU time: 25.1302 s Remaining CPU time: 1774.87 s c Elapsed CPU time: 25.2632 s Remaining CPU time: 1774.74 s c Elapsed CPU time: 25.3961 s Remaining CPU time: 1774.6 s c Elapsed CPU time: 25.5301 s Remaining CPU time: 1774.47 s c Elapsed CPU time: 25.6631 s Remaining CPU time: 1774.34 s c Elapsed CPU time: 25.7961 s Remaining CPU time: 1774.2 s c Elapsed CPU time: 25.9291 s Remaining CPU time: 1774.07 s c Elapsed CPU time: 26.063 s Remaining CPU time: 1773.94 s c Elapsed CPU time: 26.2 s Remaining CPU time: 1773.8 s c Elapsed CPU time: 26.337 s Remaining CPU time: 1773.66 s c Elapsed CPU time: 26.47 s Remaining CPU time: 1773.53 s c Elapsed CPU time: 26.606 s Remaining CPU time: 1773.39 s c Elapsed CPU time: 26.7429 s Remaining CPU time: 1773.26 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113080 217659 | 37693 0 nan | 0.000 % | c =============================================================================== c Verified 113080 original clauses.