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.073988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.409937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.52192 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.631903 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.741887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.85287 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.963853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.07484 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.18582 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.2968 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.40979 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.52177 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63275 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.74473 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.85772 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9697 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.08168 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.19367 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.30465 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.41763 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.52961 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6416 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.75358 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.87056 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.98455 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.09953 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.21351 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.32849 s Remaining CPU time: 1796.67 s c Elapsed CPU time: 3.44048 s Remaining CPU time: 1796.56 s c Elapsed CPU time: 3.55446 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.66744 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.78143 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.89341 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.00539 s Remaining CPU time: 1795.99 s c Elapsed CPU time: 4.11937 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.23236 s Remaining CPU time: 1795.77 s c Elapsed CPU time: 4.34634 s Remaining CPU time: 1795.65 s c Elapsed CPU time: 4.46032 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.5723 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.68729 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.80127 s Remaining CPU time: 1795.2 s c Elapsed CPU time: 4.91325 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 5.02623 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.13822 s Remaining CPU time: 1794.86 s c Elapsed CPU time: 5.2532 s Remaining CPU time: 1794.75 s c Elapsed CPU time: 5.36718 s Remaining CPU time: 1794.63 s c Elapsed CPU time: 5.48317 s Remaining CPU time: 1794.52 s c Elapsed CPU time: 5.59615 s Remaining CPU time: 1794.4 s c Elapsed CPU time: 5.70913 s Remaining CPU time: 1794.29 s c Elapsed CPU time: 5.82211 s Remaining CPU time: 1794.18 s c Elapsed CPU time: 5.9351 s Remaining CPU time: 1794.06 s c Elapsed CPU time: 6.05008 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.16306 s Remaining CPU time: 1793.84 s c Elapsed CPU time: 6.27705 s Remaining CPU time: 1793.72 s c Elapsed CPU time: 6.39203 s Remaining CPU time: 1793.61 s c Elapsed CPU time: 6.50601 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.96494 s Remaining CPU time: 1793.04 s c Elapsed CPU time: 7.07892 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.19491 s Remaining CPU time: 1792.81 s c Elapsed CPU time: 7.30989 s Remaining CPU time: 1792.69 s c Elapsed CPU time: 7.42587 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.54185 s Remaining CPU time: 1792.46 s c Elapsed CPU time: 7.65784 s Remaining CPU time: 1792.34 s c Elapsed CPU time: 7.77082 s Remaining CPU time: 1792.23 s c Elapsed CPU time: 7.8848 s Remaining CPU time: 1792.12 s c Elapsed CPU time: 7.99878 s Remaining CPU time: 1792 s c Elapsed CPU time: 8.11277 s Remaining CPU time: 1791.89 s c Elapsed CPU time: 8.22775 s Remaining CPU time: 1791.77 s c Elapsed CPU time: 8.34173 s Remaining CPU time: 1791.66 s c Elapsed CPU time: 8.45571 s Remaining CPU time: 1791.54 s c Elapsed CPU time: 8.5697 s Remaining CPU time: 1791.43 s c Elapsed CPU time: 8.68468 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.91464 s Remaining CPU time: 1791.09 s c Elapsed CPU time: 9.02963 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.14461 s Remaining CPU time: 1790.86 s c Elapsed CPU time: 9.25959 s Remaining CPU time: 1790.74 s c Elapsed CPU time: 9.37358 s Remaining CPU time: 1790.63 s c Elapsed CPU time: 9.48656 s Remaining CPU time: 1790.51 s c Elapsed CPU time: 9.60054 s Remaining CPU time: 1790.4 s c Elapsed CPU time: 9.71452 s Remaining CPU time: 1790.29 s c Elapsed CPU time: 9.8295 s Remaining CPU time: 1790.17 s c Elapsed CPU time: 9.94249 s Remaining CPU time: 1790.06 s c Elapsed CPU time: 10.0575 s Remaining CPU time: 1789.94 s c Elapsed CPU time: 10.1715 s Remaining CPU time: 1789.83 s c Elapsed CPU time: 10.2864 s Remaining CPU time: 1789.71 s c Elapsed CPU time: 10.4024 s Remaining CPU time: 1789.6 s c Elapsed CPU time: 10.5194 s Remaining CPU time: 1789.48 s c Elapsed CPU time: 10.6334 s Remaining CPU time: 1789.37 s c Elapsed CPU time: 10.7484 s Remaining CPU time: 1789.25 s c Elapsed CPU time: 10.8623 s Remaining CPU time: 1789.14 s c Elapsed CPU time: 10.9783 s Remaining CPU time: 1789.02 s c Elapsed CPU time: 11.0943 s Remaining CPU time: 1788.91 s c Elapsed CPU time: 11.2103 s Remaining CPU time: 1788.79 s c Elapsed CPU time: 11.3253 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.4403 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.5552 s Remaining CPU time: 1788.44 s c Elapsed CPU time: 11.6702 s Remaining CPU time: 1788.33 s c Elapsed CPU time: 11.7882 s Remaining CPU time: 1788.21 s c Elapsed CPU time: 11.9042 s Remaining CPU time: 1788.1 s c Elapsed CPU time: 12.0222 s Remaining CPU time: 1787.98 s c Elapsed CPU time: 12.1392 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.2541 s Remaining CPU time: 1787.75 s c Elapsed CPU time: 12.3701 s Remaining CPU time: 1787.63 s c Elapsed CPU time: 12.4901 s Remaining CPU time: 1787.51 s c Elapsed CPU time: 12.6061 s Remaining CPU time: 1787.39 s c Elapsed CPU time: 12.7251 s Remaining CPU time: 1787.27 s c Elapsed CPU time: 12.842 s Remaining CPU time: 1787.16 s c Elapsed CPU time: 12.959 s Remaining CPU time: 1787.04 s c Elapsed CPU time: 13.075 s Remaining CPU time: 1786.92 s c Elapsed CPU time: 13.192 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.309 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.5439 s Remaining CPU time: 1786.46 s c Elapsed CPU time: 13.6619 s Remaining CPU time: 1786.34 s c Elapsed CPU time: 13.7799 s Remaining CPU time: 1786.22 s c Elapsed CPU time: 13.8999 s Remaining CPU time: 1786.1 s c Elapsed CPU time: 14.0179 s Remaining CPU time: 1785.98 s c Elapsed CPU time: 14.1379 s Remaining CPU time: 1785.86 s c Elapsed CPU time: 14.2558 s Remaining CPU time: 1785.74 s c Elapsed CPU time: 14.3738 s Remaining CPU time: 1785.63 s c Elapsed CPU time: 14.4918 s Remaining CPU time: 1785.51 s c Elapsed CPU time: 14.6108 s Remaining CPU time: 1785.39 s c Elapsed CPU time: 14.7278 s Remaining CPU time: 1785.27 s c Elapsed CPU time: 14.8477 s Remaining CPU time: 1785.15 s c Elapsed CPU time: 14.9647 s Remaining CPU time: 1785.04 s c Elapsed CPU time: 15.0847 s Remaining CPU time: 1784.92 s c Elapsed CPU time: 15.2027 s Remaining CPU time: 1784.8 s c Elapsed CPU time: 15.3217 s Remaining CPU time: 1784.68 s c Elapsed CPU time: 15.4407 s Remaining CPU time: 1784.56 s c Elapsed CPU time: 15.5606 s Remaining CPU time: 1784.44 s c Elapsed CPU time: 15.6786 s Remaining CPU time: 1784.32 s c Elapsed CPU time: 15.7996 s Remaining CPU time: 1784.2 s c Elapsed CPU time: 15.9196 s Remaining CPU time: 1784.08 s c Elapsed CPU time: 16.0406 s Remaining CPU time: 1783.96 s c Elapsed CPU time: 16.1595 s Remaining CPU time: 1783.84 s c Elapsed CPU time: 16.2775 s Remaining CPU time: 1783.72 s c Elapsed CPU time: 16.3975 s Remaining CPU time: 1783.6 s c Elapsed CPU time: 16.5165 s Remaining CPU time: 1783.48 s c Elapsed CPU time: 16.6355 s Remaining CPU time: 1783.36 s c Elapsed CPU time: 16.7565 s Remaining CPU time: 1783.24 s c Elapsed CPU time: 16.8764 s Remaining CPU time: 1783.12 s c Elapsed CPU time: 16.9964 s Remaining CPU time: 1783 s c Elapsed CPU time: 17.1154 s Remaining CPU time: 1782.88 s c Elapsed CPU time: 17.2354 s Remaining CPU time: 1782.76 s c Elapsed CPU time: 17.3544 s Remaining CPU time: 1782.65 s c Elapsed CPU time: 17.4763 s Remaining CPU time: 1782.52 s c Elapsed CPU time: 17.5963 s Remaining CPU time: 1782.4 s c Elapsed CPU time: 17.7163 s Remaining CPU time: 1782.28 s c Elapsed CPU time: 17.8363 s Remaining CPU time: 1782.16 s c Elapsed CPU time: 17.9583 s Remaining CPU time: 1782.04 s c Elapsed CPU time: 18.0783 s Remaining CPU time: 1781.92 s c Elapsed CPU time: 18.1972 s Remaining CPU time: 1781.8 s c Elapsed CPU time: 18.3172 s Remaining CPU time: 1781.68 s c Elapsed CPU time: 18.4392 s Remaining CPU time: 1781.56 s c Elapsed CPU time: 18.5592 s Remaining CPU time: 1781.44 s c Elapsed CPU time: 18.6822 s Remaining CPU time: 1781.32 s c Elapsed CPU time: 18.8021 s Remaining CPU time: 1781.2 s c Elapsed CPU time: 18.9221 s Remaining CPU time: 1781.08 s c Elapsed CPU time: 19.0431 s Remaining CPU time: 1780.96 s c Elapsed CPU time: 19.1611 s Remaining CPU time: 1780.84 s c Elapsed CPU time: 19.2811 s Remaining CPU time: 1780.72 s c Elapsed CPU time: 19.4011 s Remaining CPU time: 1780.6 s c Elapsed CPU time: 19.52 s Remaining CPU time: 1780.48 s c Elapsed CPU time: 19.642 s Remaining CPU time: 1780.36 s c Elapsed CPU time: 19.763 s Remaining CPU time: 1780.24 s c Elapsed CPU time: 19.885 s Remaining CPU time: 1780.12 s c Elapsed CPU time: 20.005 s Remaining CPU time: 1780 s c Elapsed CPU time: 20.1259 s Remaining CPU time: 1779.87 s c Elapsed CPU time: 20.2469 s Remaining CPU time: 1779.75 s c Elapsed CPU time: 20.3679 s Remaining CPU time: 1779.63 s c Elapsed CPU time: 20.4879 s Remaining CPU time: 1779.51 s c Elapsed CPU time: 20.6099 s Remaining CPU time: 1779.39 s c Elapsed CPU time: 20.7298 s Remaining CPU time: 1779.27 s c Elapsed CPU time: 20.8538 s Remaining CPU time: 1779.15 s c Elapsed CPU time: 20.9738 s Remaining CPU time: 1779.03 s c Elapsed CPU time: 21.0958 s Remaining CPU time: 1778.9 s c Elapsed CPU time: 21.2178 s Remaining CPU time: 1778.78 s c Elapsed CPU time: 21.3428 s Remaining CPU time: 1778.66 s c Elapsed CPU time: 21.4657 s Remaining CPU time: 1778.53 s c Elapsed CPU time: 21.5947 s Remaining CPU time: 1778.41 s c Elapsed CPU time: 21.7227 s Remaining CPU time: 1778.28 s c Elapsed CPU time: 21.8517 s Remaining CPU time: 1778.15 s c Elapsed CPU time: 21.9777 s Remaining CPU time: 1778.02 s c Elapsed CPU time: 22.1086 s Remaining CPU time: 1777.89 s c Elapsed CPU time: 22.2376 s Remaining CPU time: 1777.76 s c Elapsed CPU time: 22.3636 s Remaining CPU time: 1777.64 s c Elapsed CPU time: 22.4916 s Remaining CPU time: 1777.51 s c Elapsed CPU time: 22.6226 s Remaining CPU time: 1777.38 s c Elapsed CPU time: 22.7525 s Remaining CPU time: 1777.25 s c Elapsed CPU time: 22.8785 s Remaining CPU time: 1777.12 s c Elapsed CPU time: 23.0045 s Remaining CPU time: 1777 s c Elapsed CPU time: 23.1315 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.2585 s Remaining CPU time: 1776.74 s c Elapsed CPU time: 23.3854 s Remaining CPU time: 1776.61 s c Elapsed CPU time: 23.5104 s Remaining CPU time: 1776.49 s c Elapsed CPU time: 23.6354 s Remaining CPU time: 1776.36 s c Elapsed CPU time: 23.7584 s Remaining CPU time: 1776.24 s c Elapsed CPU time: 23.8854 s Remaining CPU time: 1776.11 s c Elapsed CPU time: 24.0094 s Remaining CPU time: 1775.99 s c Elapsed CPU time: 24.1363 s Remaining CPU time: 1775.86 s c Elapsed CPU time: 24.2613 s Remaining CPU time: 1775.74 s c Elapsed CPU time: 24.3863 s Remaining CPU time: 1775.61 s c Elapsed CPU time: 24.5123 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.7602 s Remaining CPU time: 1775.24 s c Elapsed CPU time: 24.8862 s Remaining CPU time: 1775.11 s c Elapsed CPU time: 25.0122 s Remaining CPU time: 1774.99 s c Elapsed CPU time: 25.1352 s Remaining CPU time: 1774.86 s c Elapsed CPU time: 25.2622 s Remaining CPU time: 1774.74 s c Elapsed CPU time: 25.3881 s Remaining CPU time: 1774.61 s c Elapsed CPU time: 25.5131 s Remaining CPU time: 1774.49 s c Elapsed CPU time: 25.6401 s Remaining CPU time: 1774.36 s c Elapsed CPU time: 25.7691 s Remaining CPU time: 1774.23 s c Elapsed CPU time: 25.8951 s Remaining CPU time: 1774.1 s c Elapsed CPU time: 26.021 s Remaining CPU time: 1773.98 s c Elapsed CPU time: 26.149 s Remaining CPU time: 1773.85 s c Elapsed CPU time: 26.277 s Remaining CPU time: 1773.72 s c Elapsed CPU time: 26.405 s Remaining CPU time: 1773.6 s c Elapsed CPU time: 26.535 s Remaining CPU time: 1773.47 s c Elapsed CPU time: 26.6649 s Remaining CPU time: 1773.34 s c Elapsed CPU time: 26.7949 s Remaining CPU time: 1773.21 s c Elapsed CPU time: 26.9249 s Remaining CPU time: 1773.08 s c Elapsed CPU time: 27.0579 s Remaining CPU time: 1772.94 s c Elapsed CPU time: 27.1899 s Remaining CPU time: 1772.81 s c Elapsed CPU time: 27.3208 s Remaining CPU time: 1772.68 s c Elapsed CPU time: 27.4528 s Remaining CPU time: 1772.55 s c Elapsed CPU time: 27.5848 s Remaining CPU time: 1772.42 s c Elapsed CPU time: 27.7158 s Remaining CPU time: 1772.28 s c Elapsed CPU time: 27.8468 s Remaining CPU time: 1772.15 s c Elapsed CPU time: 27.9797 s Remaining CPU time: 1772.02 s c Elapsed CPU time: 28.1137 s Remaining CPU time: 1771.89 s c Elapsed CPU time: 28.2467 s Remaining CPU time: 1771.75 s c Elapsed CPU time: 28.3797 s Remaining CPU time: 1771.62 s c Elapsed CPU time: 28.5127 s Remaining CPU time: 1771.49 s c Elapsed CPU time: 28.6426 s Remaining CPU time: 1771.36 s c Elapsed CPU time: 28.7756 s Remaining CPU time: 1771.22 s c Elapsed CPU time: 28.9086 s Remaining CPU time: 1771.09 s c Elapsed CPU time: 29.0426 s Remaining CPU time: 1770.96 s c Elapsed CPU time: 29.1776 s Remaining CPU time: 1770.82 s c Elapsed CPU time: 29.3105 s Remaining CPU time: 1770.69 s c Elapsed CPU time: 29.4435 s Remaining CPU time: 1770.56 s c Elapsed CPU time: 29.5765 s Remaining CPU time: 1770.42 s c Elapsed CPU time: 29.7115 s Remaining CPU time: 1770.29 s c Elapsed CPU time: 29.8455 s Remaining CPU time: 1770.15 s c Elapsed CPU time: 29.9784 s Remaining CPU time: 1770.02 s c Elapsed CPU time: 30.1124 s Remaining CPU time: 1769.89 s c Elapsed CPU time: 30.2474 s Remaining CPU time: 1769.75 s c Elapsed CPU time: 30.3824 s Remaining CPU time: 1769.62 s c Elapsed CPU time: 30.5174 s Remaining CPU time: 1769.48 s c Elapsed CPU time: 30.6513 s Remaining CPU time: 1769.35 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113146 217725 | 37715 0 nan | 0.000 % | c =============================================================================== c Verified 113146 original clauses.