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.071989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 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.735888 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.955854 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.06584 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.17582 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2878 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.39779 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.51077 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.73574 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.84672 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.9587 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.06968 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.18167 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.29265 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.40563 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.51862 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6316 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.74458 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.85857 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.97255 s Remaining CPU time: 1797.03 s c Elapsed CPU time: 3.08753 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.20251 s Remaining CPU time: 1796.8 s c Elapsed CPU time: 3.3145 s Remaining CPU time: 1796.69 s c Elapsed CPU time: 3.42948 s Remaining CPU time: 1796.57 s c Elapsed CPU time: 3.54346 s Remaining CPU time: 1796.46 s c Elapsed CPU time: 3.65644 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.77043 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.88641 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.00139 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.11737 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.23136 s Remaining CPU time: 1795.77 s c Elapsed CPU time: 4.34734 s Remaining CPU time: 1795.65 s c Elapsed CPU time: 4.46232 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.5763 s Remaining CPU time: 1795.42 s c Elapsed CPU time: 4.69129 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.80827 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.92325 s Remaining CPU time: 1795.08 s c Elapsed CPU time: 5.03823 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.15422 s Remaining CPU time: 1794.85 s c Elapsed CPU time: 5.2682 s Remaining CPU time: 1794.73 s c Elapsed CPU time: 5.38318 s Remaining CPU time: 1794.62 s c Elapsed CPU time: 5.49916 s Remaining CPU time: 1794.5 s c Elapsed CPU time: 5.61515 s Remaining CPU time: 1794.38 s c Elapsed CPU time: 5.73013 s Remaining CPU time: 1794.27 s c Elapsed CPU time: 5.84511 s Remaining CPU time: 1794.15 s c Elapsed CPU time: 5.96009 s Remaining CPU time: 1794.04 s c Elapsed CPU time: 6.07508 s Remaining CPU time: 1793.92 s c Elapsed CPU time: 6.19006 s Remaining CPU time: 1793.81 s c Elapsed CPU time: 6.30704 s Remaining CPU time: 1793.69 s c Elapsed CPU time: 6.42302 s Remaining CPU time: 1793.58 s c Elapsed CPU time: 6.539 s Remaining CPU time: 1793.46 s c Elapsed CPU time: 6.65399 s Remaining CPU time: 1793.35 s c Elapsed CPU time: 6.76897 s Remaining CPU time: 1793.23 s c Elapsed CPU time: 6.88495 s Remaining CPU time: 1793.12 s c Elapsed CPU time: 6.99993 s Remaining CPU time: 1793 s c Elapsed CPU time: 7.11592 s Remaining CPU time: 1792.88 s c Elapsed CPU time: 7.2329 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.34788 s Remaining CPU time: 1792.65 s c Elapsed CPU time: 7.46486 s Remaining CPU time: 1792.54 s c Elapsed CPU time: 7.58085 s Remaining CPU time: 1792.42 s c Elapsed CPU time: 7.69883 s Remaining CPU time: 1792.3 s c Elapsed CPU time: 7.81581 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.92979 s Remaining CPU time: 1792.07 s c Elapsed CPU time: 8.04678 s Remaining CPU time: 1791.95 s c Elapsed CPU time: 8.16276 s Remaining CPU time: 1791.84 s c Elapsed CPU time: 8.27874 s Remaining CPU time: 1791.72 s c Elapsed CPU time: 8.39672 s Remaining CPU time: 1791.6 s c Elapsed CPU time: 8.5137 s Remaining CPU time: 1791.49 s c Elapsed CPU time: 8.63069 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.74667 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.86465 s Remaining CPU time: 1791.14 s c Elapsed CPU time: 8.98263 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 9.10162 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.2186 s Remaining CPU time: 1790.78 s c Elapsed CPU time: 9.33858 s Remaining CPU time: 1790.66 s c Elapsed CPU time: 9.45656 s Remaining CPU time: 1790.54 s c Elapsed CPU time: 9.57454 s Remaining CPU time: 1790.43 s c Elapsed CPU time: 9.69253 s Remaining CPU time: 1790.31 s c Elapsed CPU time: 9.81051 s Remaining CPU time: 1790.19 s c Elapsed CPU time: 9.92849 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.1655 s Remaining CPU time: 1789.83 s c Elapsed CPU time: 10.2844 s Remaining CPU time: 1789.72 s c Elapsed CPU time: 10.4014 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.6374 s Remaining CPU time: 1789.36 s c Elapsed CPU time: 10.7574 s Remaining CPU time: 1789.24 s c Elapsed CPU time: 10.8763 s Remaining CPU time: 1789.12 s c Elapsed CPU time: 10.9963 s Remaining CPU time: 1789 s c Elapsed CPU time: 11.1143 s Remaining CPU time: 1788.89 s c Elapsed CPU time: 11.2333 s Remaining CPU time: 1788.77 s c Elapsed CPU time: 11.3533 s Remaining CPU time: 1788.65 s c Elapsed CPU time: 11.4733 s Remaining CPU time: 1788.53 s c Elapsed CPU time: 11.5932 s Remaining CPU time: 1788.41 s c Elapsed CPU time: 11.7132 s Remaining CPU time: 1788.29 s c Elapsed CPU time: 11.8332 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.9512 s Remaining CPU time: 1788.05 s c Elapsed CPU time: 12.0682 s Remaining CPU time: 1787.93 s c Elapsed CPU time: 12.1871 s Remaining CPU time: 1787.81 s c Elapsed CPU time: 12.3061 s Remaining CPU time: 1787.69 s c Elapsed CPU time: 12.4271 s Remaining CPU time: 1787.57 s c Elapsed CPU time: 12.5471 s Remaining CPU time: 1787.45 s c Elapsed CPU time: 12.6681 s Remaining CPU time: 1787.33 s c Elapsed CPU time: 12.7861 s Remaining CPU time: 1787.21 s c Elapsed CPU time: 12.907 s Remaining CPU time: 1787.09 s c Elapsed CPU time: 13.027 s Remaining CPU time: 1786.97 s c Elapsed CPU time: 13.146 s Remaining CPU time: 1786.85 s c Elapsed CPU time: 13.264 s Remaining CPU time: 1786.74 s c Elapsed CPU time: 13.385 s Remaining CPU time: 1786.62 s c Elapsed CPU time: 13.5049 s Remaining CPU time: 1786.5 s c Elapsed CPU time: 13.6239 s Remaining CPU time: 1786.38 s c Elapsed CPU time: 13.7449 s Remaining CPU time: 1786.26 s c Elapsed CPU time: 13.8639 s Remaining CPU time: 1786.14 s c Elapsed CPU time: 13.9829 s Remaining CPU time: 1786.02 s c Elapsed CPU time: 14.1019 s Remaining CPU time: 1785.9 s c Elapsed CPU time: 14.2218 s Remaining CPU time: 1785.78 s c Elapsed CPU time: 14.3438 s Remaining CPU time: 1785.66 s c Elapsed CPU time: 14.4628 s Remaining CPU time: 1785.54 s c Elapsed CPU time: 14.5828 s Remaining CPU time: 1785.42 s c Elapsed CPU time: 14.7028 s Remaining CPU time: 1785.3 s c Elapsed CPU time: 14.8247 s Remaining CPU time: 1785.18 s c Elapsed CPU time: 14.9447 s Remaining CPU time: 1785.06 s c Elapsed CPU time: 15.0637 s Remaining CPU time: 1784.94 s c Elapsed CPU time: 15.1837 s Remaining CPU time: 1784.82 s c Elapsed CPU time: 15.3027 s Remaining CPU time: 1784.7 s c Elapsed CPU time: 15.4227 s Remaining CPU time: 1784.58 s c Elapsed CPU time: 15.5436 s Remaining CPU time: 1784.46 s c Elapsed CPU time: 15.6636 s Remaining CPU time: 1784.34 s c Elapsed CPU time: 15.7836 s Remaining CPU time: 1784.22 s c Elapsed CPU time: 15.9036 s Remaining CPU time: 1784.1 s c Elapsed CPU time: 16.0236 s Remaining CPU time: 1783.98 s c Elapsed CPU time: 16.1455 s Remaining CPU time: 1783.85 s c Elapsed CPU time: 16.2675 s Remaining CPU time: 1783.73 s c Elapsed CPU time: 16.3865 s Remaining CPU time: 1783.61 s c Elapsed CPU time: 16.5065 s Remaining CPU time: 1783.49 s c Elapsed CPU time: 16.6275 s Remaining CPU time: 1783.37 s c Elapsed CPU time: 16.7495 s Remaining CPU time: 1783.25 s c Elapsed CPU time: 16.8684 s Remaining CPU time: 1783.13 s c Elapsed CPU time: 16.9904 s Remaining CPU time: 1783.01 s c Elapsed CPU time: 17.1114 s Remaining CPU time: 1782.89 s c Elapsed CPU time: 17.2324 s Remaining CPU time: 1782.77 s c Elapsed CPU time: 17.3534 s Remaining CPU time: 1782.65 s c Elapsed CPU time: 17.4743 s Remaining CPU time: 1782.53 s c Elapsed CPU time: 17.5963 s Remaining CPU time: 1782.4 s c Elapsed CPU time: 17.7193 s Remaining CPU time: 1782.28 s c Elapsed CPU time: 17.8403 s Remaining CPU time: 1782.16 s c Elapsed CPU time: 17.9613 s Remaining CPU time: 1782.04 s c Elapsed CPU time: 18.0843 s Remaining CPU time: 1781.92 s c Elapsed CPU time: 18.2062 s Remaining CPU time: 1781.79 s c Elapsed CPU time: 18.3272 s Remaining CPU time: 1781.67 s c Elapsed CPU time: 18.4482 s Remaining CPU time: 1781.55 s c Elapsed CPU time: 18.5702 s Remaining CPU time: 1781.43 s c Elapsed CPU time: 18.6942 s Remaining CPU time: 1781.31 s c Elapsed CPU time: 18.8171 s Remaining CPU time: 1781.18 s c Elapsed CPU time: 18.9371 s Remaining CPU time: 1781.06 s c Elapsed CPU time: 19.0591 s Remaining CPU time: 1780.94 s c Elapsed CPU time: 19.1801 s Remaining CPU time: 1780.82 s c Elapsed CPU time: 19.3011 s Remaining CPU time: 1780.7 s c Elapsed CPU time: 19.422 s Remaining CPU time: 1780.58 s c Elapsed CPU time: 19.543 s Remaining CPU time: 1780.46 s c Elapsed CPU time: 19.663 s Remaining CPU time: 1780.34 s c Elapsed CPU time: 19.785 s Remaining CPU time: 1780.22 s c Elapsed CPU time: 19.907 s Remaining CPU time: 1780.09 s c Elapsed CPU time: 20.029 s Remaining CPU time: 1779.97 s c Elapsed CPU time: 20.1509 s Remaining CPU time: 1779.85 s c Elapsed CPU time: 20.2749 s Remaining CPU time: 1779.73 s c Elapsed CPU time: 20.3999 s Remaining CPU time: 1779.6 s c Elapsed CPU time: 20.5219 s Remaining CPU time: 1779.48 s c Elapsed CPU time: 20.6439 s Remaining CPU time: 1779.36 s c Elapsed CPU time: 20.7668 s Remaining CPU time: 1779.23 s c Elapsed CPU time: 20.8868 s Remaining CPU time: 1779.11 s c Elapsed CPU time: 21.0098 s Remaining CPU time: 1778.99 s c Elapsed CPU time: 21.1308 s Remaining CPU time: 1778.87 s c Elapsed CPU time: 21.2508 s Remaining CPU time: 1778.75 s c Elapsed CPU time: 21.3747 s Remaining CPU time: 1778.63 s c Elapsed CPU time: 21.4977 s Remaining CPU time: 1778.5 s c Elapsed CPU time: 21.6197 s Remaining CPU time: 1778.38 s c Elapsed CPU time: 21.7437 s Remaining CPU time: 1778.26 s c Elapsed CPU time: 21.8677 s Remaining CPU time: 1778.13 s c Elapsed CPU time: 21.9927 s Remaining CPU time: 1778.01 s c Elapsed CPU time: 22.1166 s Remaining CPU time: 1777.88 s c Elapsed CPU time: 22.2416 s Remaining CPU time: 1777.76 s c Elapsed CPU time: 22.3656 s Remaining CPU time: 1777.63 s c Elapsed CPU time: 22.4916 s Remaining CPU time: 1777.51 s c Elapsed CPU time: 22.6166 s Remaining CPU time: 1777.38 s c Elapsed CPU time: 22.7425 s Remaining CPU time: 1777.26 s c Elapsed CPU time: 22.8685 s Remaining CPU time: 1777.13 s c Elapsed CPU time: 22.9935 s Remaining CPU time: 1777.01 s c Elapsed CPU time: 23.1195 s Remaining CPU time: 1776.88 s c Elapsed CPU time: 23.2445 s Remaining CPU time: 1776.76 s c Elapsed CPU time: 23.3704 s Remaining CPU time: 1776.63 s c Elapsed CPU time: 23.4944 s Remaining CPU time: 1776.51 s c Elapsed CPU time: 23.6214 s Remaining CPU time: 1776.38 s c Elapsed CPU time: 23.7474 s Remaining CPU time: 1776.25 s c Elapsed CPU time: 23.8754 s Remaining CPU time: 1776.12 s c Elapsed CPU time: 24.0004 s Remaining CPU time: 1776 s c Elapsed CPU time: 24.1273 s Remaining CPU time: 1775.87 s c Elapsed CPU time: 24.2543 s Remaining CPU time: 1775.75 s c Elapsed CPU time: 24.3833 s Remaining CPU time: 1775.62 s c Elapsed CPU time: 24.5113 s Remaining CPU time: 1775.49 s c Elapsed CPU time: 24.6393 s Remaining CPU time: 1775.36 s c Elapsed CPU time: 24.7672 s Remaining CPU time: 1775.23 s c Elapsed CPU time: 24.8942 s Remaining CPU time: 1775.11 s c Elapsed CPU time: 25.0242 s Remaining CPU time: 1774.98 s c Elapsed CPU time: 25.1552 s Remaining CPU time: 1774.84 s c Elapsed CPU time: 25.2842 s Remaining CPU time: 1774.72 s c Elapsed CPU time: 25.4151 s Remaining CPU time: 1774.58 s c Elapsed CPU time: 25.5441 s Remaining CPU time: 1774.46 s c Elapsed CPU time: 25.6731 s Remaining CPU time: 1774.33 s c Elapsed CPU time: 25.8041 s Remaining CPU time: 1774.2 s c Elapsed CPU time: 25.9341 s Remaining CPU time: 1774.07 s c Elapsed CPU time: 26.067 s Remaining CPU time: 1773.93 s c Elapsed CPU time: 26.195 s Remaining CPU time: 1773.8 s c Elapsed CPU time: 26.328 s Remaining CPU time: 1773.67 s c Elapsed CPU time: 26.456 s Remaining CPU time: 1773.54 s c Elapsed CPU time: 26.588 s Remaining CPU time: 1773.41 s c Elapsed CPU time: 26.7189 s Remaining CPU time: 1773.28 s c Elapsed CPU time: 26.8499 s Remaining CPU time: 1773.15 s c Elapsed CPU time: 26.9809 s Remaining CPU time: 1773.02 s c Elapsed CPU time: 27.1139 s Remaining CPU time: 1772.89 s c Elapsed CPU time: 27.2449 s Remaining CPU time: 1772.76 s c Elapsed CPU time: 27.3768 s Remaining CPU time: 1772.62 s c Elapsed CPU time: 27.5078 s Remaining CPU time: 1772.49 s c Elapsed CPU time: 27.6398 s Remaining CPU time: 1772.36 s c Elapsed CPU time: 27.7708 s Remaining CPU time: 1772.23 s c Elapsed CPU time: 27.9038 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.1707 s Remaining CPU time: 1771.83 s c Elapsed CPU time: 28.3037 s Remaining CPU time: 1771.7 s c Elapsed CPU time: 28.4367 s Remaining CPU time: 1771.56 s c Elapsed CPU time: 28.5697 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.8346 s Remaining CPU time: 1771.17 s c Elapsed CPU time: 28.9696 s Remaining CPU time: 1771.03 s c Elapsed CPU time: 29.1046 s Remaining CPU time: 1770.9 s c Elapsed CPU time: 29.2406 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.9175 s Remaining CPU time: 1770.08 s c Elapsed CPU time: 30.0544 s Remaining CPU time: 1769.95 s c Elapsed CPU time: 30.1904 s Remaining CPU time: 1769.81 s c Elapsed CPU time: 30.3284 s Remaining CPU time: 1769.67 s c Elapsed CPU time: 30.4644 s Remaining CPU time: 1769.54 s c Elapsed CPU time: 30.6013 s Remaining CPU time: 1769.4 s c Elapsed CPU time: 30.7373 s Remaining CPU time: 1769.26 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7 113143 217740 | 37714 0 nan | 0.000 % | c =============================================================================== c Verified 113143 original clauses.