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.19197 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.52292 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.632903 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.742887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.85487 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.965853 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.07784 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.18782 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.3008 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.52377 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63475 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.74573 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.85672 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9687 s Remaining CPU time: 1798.03 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.30165 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.52761 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6396 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.75158 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.86256 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.97555 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.08853 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.20351 s Remaining CPU time: 1796.8 s c Elapsed CPU time: 3.3175 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.43048 s Remaining CPU time: 1796.57 s c Elapsed CPU time: 3.54646 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.66044 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.77443 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.88841 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.00239 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.11537 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.22936 s Remaining CPU time: 1795.77 s c Elapsed CPU time: 4.34234 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.45632 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.5693 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.68229 s Remaining CPU time: 1795.32 s c Elapsed CPU time: 4.79427 s Remaining CPU time: 1795.21 s c Elapsed CPU time: 4.90825 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 5.02324 s Remaining CPU time: 1794.98 s c Elapsed CPU time: 5.13722 s Remaining CPU time: 1794.86 s c Elapsed CPU time: 5.2512 s Remaining CPU time: 1794.75 s c Elapsed CPU time: 5.36418 s Remaining CPU time: 1794.64 s c Elapsed CPU time: 5.47717 s Remaining CPU time: 1794.52 s c Elapsed CPU time: 5.59215 s Remaining CPU time: 1794.41 s c Elapsed CPU time: 5.70413 s Remaining CPU time: 1794.3 s c Elapsed CPU time: 5.81912 s Remaining CPU time: 1794.18 s c Elapsed CPU time: 5.9321 s Remaining CPU time: 1794.07 s c Elapsed CPU time: 6.04708 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.16006 s Remaining CPU time: 1793.84 s c Elapsed CPU time: 6.27405 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.38903 s Remaining CPU time: 1793.61 s c Elapsed CPU time: 6.50401 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.61999 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.73398 s Remaining CPU time: 1793.27 s c Elapsed CPU time: 6.84796 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.95994 s Remaining CPU time: 1793.04 s c Elapsed CPU time: 7.07592 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.18991 s Remaining CPU time: 1792.81 s c Elapsed CPU time: 7.30489 s Remaining CPU time: 1792.7 s c Elapsed CPU time: 7.41887 s Remaining CPU time: 1792.58 s c Elapsed CPU time: 7.53385 s Remaining CPU time: 1792.47 s c Elapsed CPU time: 7.64784 s Remaining CPU time: 1792.35 s c Elapsed CPU time: 7.76182 s Remaining CPU time: 1792.24 s c Elapsed CPU time: 7.8768 s Remaining CPU time: 1792.12 s c Elapsed CPU time: 7.98879 s Remaining CPU time: 1792.01 s c Elapsed CPU time: 8.10377 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.44572 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.5587 s Remaining CPU time: 1791.44 s c Elapsed CPU time: 8.67568 s Remaining CPU time: 1791.32 s c Elapsed CPU time: 8.78966 s Remaining CPU time: 1791.21 s c Elapsed CPU time: 8.90365 s Remaining CPU time: 1791.1 s c Elapsed CPU time: 9.01663 s Remaining CPU time: 1790.98 s c Elapsed CPU time: 9.13161 s Remaining CPU time: 1790.87 s c Elapsed CPU time: 9.24559 s Remaining CPU time: 1790.75 s c Elapsed CPU time: 9.35958 s Remaining CPU time: 1790.64 s c Elapsed CPU time: 9.47556 s Remaining CPU time: 1790.52 s c Elapsed CPU time: 9.59054 s Remaining CPU time: 1790.41 s c Elapsed CPU time: 9.70452 s Remaining CPU time: 1790.3 s c Elapsed CPU time: 9.81851 s Remaining CPU time: 1790.18 s c Elapsed CPU time: 9.93349 s Remaining CPU time: 1790.07 s c Elapsed CPU time: 10.0485 s Remaining CPU time: 1789.95 s c Elapsed CPU time: 10.1635 s Remaining CPU time: 1789.84 s c Elapsed CPU time: 10.2784 s Remaining CPU time: 1789.72 s c Elapsed CPU time: 10.3934 s Remaining CPU time: 1789.61 s c Elapsed CPU time: 10.5074 s Remaining CPU time: 1789.49 s c Elapsed CPU time: 10.6224 s Remaining CPU time: 1789.38 s c Elapsed CPU time: 10.7384 s Remaining CPU time: 1789.26 s c Elapsed CPU time: 10.8543 s Remaining CPU time: 1789.15 s c Elapsed CPU time: 10.9703 s Remaining CPU time: 1789.03 s c Elapsed CPU time: 11.0843 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.2013 s Remaining CPU time: 1788.8 s c Elapsed CPU time: 11.3153 s Remaining CPU time: 1788.68 s c Elapsed CPU time: 11.4303 s Remaining CPU time: 1788.57 s c Elapsed CPU time: 11.5462 s Remaining CPU time: 1788.45 s c Elapsed CPU time: 11.6622 s Remaining CPU time: 1788.34 s c Elapsed CPU time: 11.7782 s Remaining CPU time: 1788.22 s c Elapsed CPU time: 11.8942 s Remaining CPU time: 1788.11 s c Elapsed CPU time: 12.0092 s Remaining CPU time: 1787.99 s c Elapsed CPU time: 12.1252 s Remaining CPU time: 1787.87 s c Elapsed CPU time: 12.2421 s Remaining CPU time: 1787.76 s c Elapsed CPU time: 12.3581 s Remaining CPU time: 1787.64 s c Elapsed CPU time: 12.4761 s Remaining CPU time: 1787.52 s c Elapsed CPU time: 12.5921 s Remaining CPU time: 1787.41 s c Elapsed CPU time: 12.7081 s Remaining CPU time: 1787.29 s c Elapsed CPU time: 12.824 s Remaining CPU time: 1787.18 s c Elapsed CPU time: 12.94 s Remaining CPU time: 1787.06 s c Elapsed CPU time: 13.055 s Remaining CPU time: 1786.94 s c Elapsed CPU time: 13.171 s Remaining CPU time: 1786.83 s c Elapsed CPU time: 13.288 s Remaining CPU time: 1786.71 s c Elapsed CPU time: 13.404 s Remaining CPU time: 1786.6 s c Elapsed CPU time: 13.5209 s Remaining CPU time: 1786.48 s c Elapsed CPU time: 13.6369 s Remaining CPU time: 1786.36 s c Elapsed CPU time: 13.7529 s Remaining CPU time: 1786.25 s c Elapsed CPU time: 13.8699 s Remaining CPU time: 1786.13 s c Elapsed CPU time: 13.9869 s Remaining CPU time: 1786.01 s c Elapsed CPU time: 14.1029 s Remaining CPU time: 1785.9 s c Elapsed CPU time: 14.2178 s Remaining CPU time: 1785.78 s c Elapsed CPU time: 14.3358 s Remaining CPU time: 1785.66 s c Elapsed CPU time: 14.4518 s Remaining CPU time: 1785.55 s c Elapsed CPU time: 14.5698 s Remaining CPU time: 1785.43 s c Elapsed CPU time: 14.6858 s Remaining CPU time: 1785.31 s c Elapsed CPU time: 14.8027 s Remaining CPU time: 1785.2 s c Elapsed CPU time: 14.9187 s Remaining CPU time: 1785.08 s c Elapsed CPU time: 15.0357 s Remaining CPU time: 1784.96 s c Elapsed CPU time: 15.1527 s Remaining CPU time: 1784.85 s c Elapsed CPU time: 15.2687 s Remaining CPU time: 1784.73 s c Elapsed CPU time: 15.3857 s Remaining CPU time: 1784.61 s c Elapsed CPU time: 15.5026 s Remaining CPU time: 1784.5 s c Elapsed CPU time: 15.6206 s Remaining CPU time: 1784.38 s c Elapsed CPU time: 15.7376 s Remaining CPU time: 1784.26 s c Elapsed CPU time: 15.8546 s Remaining CPU time: 1784.15 s c Elapsed CPU time: 15.9736 s Remaining CPU time: 1784.03 s c Elapsed CPU time: 16.0916 s Remaining CPU time: 1783.91 s c Elapsed CPU time: 16.2095 s Remaining CPU time: 1783.79 s c Elapsed CPU time: 16.3275 s Remaining CPU time: 1783.67 s c Elapsed CPU time: 16.4465 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5645 s Remaining CPU time: 1783.44 s c Elapsed CPU time: 16.6845 s Remaining CPU time: 1783.32 s c Elapsed CPU time: 16.8044 s Remaining CPU time: 1783.2 s c Elapsed CPU time: 16.9254 s Remaining CPU time: 1783.07 s c Elapsed CPU time: 17.0444 s Remaining CPU time: 1782.96 s c Elapsed CPU time: 17.1654 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.2844 s Remaining CPU time: 1782.72 s c Elapsed CPU time: 17.4044 s Remaining CPU time: 1782.6 s c Elapsed CPU time: 17.5243 s Remaining CPU time: 1782.48 s c Elapsed CPU time: 17.6473 s Remaining CPU time: 1782.35 s c Elapsed CPU time: 17.7683 s Remaining CPU time: 1782.23 s c Elapsed CPU time: 17.8883 s Remaining CPU time: 1782.11 s c Elapsed CPU time: 18.0093 s Remaining CPU time: 1781.99 s c Elapsed CPU time: 18.1302 s Remaining CPU time: 1781.87 s c Elapsed CPU time: 18.2512 s Remaining CPU time: 1781.75 s c Elapsed CPU time: 18.3702 s Remaining CPU time: 1781.63 s c Elapsed CPU time: 18.4902 s Remaining CPU time: 1781.51 s c Elapsed CPU time: 18.6102 s Remaining CPU time: 1781.39 s c Elapsed CPU time: 18.7292 s Remaining CPU time: 1781.27 s c Elapsed CPU time: 18.8501 s Remaining CPU time: 1781.15 s c Elapsed CPU time: 18.9711 s Remaining CPU time: 1781.03 s c Elapsed CPU time: 19.0931 s Remaining CPU time: 1780.91 s c Elapsed CPU time: 19.2141 s Remaining CPU time: 1780.79 s c Elapsed CPU time: 19.3351 s Remaining CPU time: 1780.66 s c Elapsed CPU time: 19.456 s Remaining CPU time: 1780.54 s c Elapsed CPU time: 19.579 s Remaining CPU time: 1780.42 s c Elapsed CPU time: 19.701 s Remaining CPU time: 1780.3 s c Elapsed CPU time: 19.822 s Remaining CPU time: 1780.18 s c Elapsed CPU time: 19.942 s Remaining CPU time: 1780.06 s c Elapsed CPU time: 20.0659 s Remaining CPU time: 1779.93 s c Elapsed CPU time: 20.1869 s Remaining CPU time: 1779.81 s c Elapsed CPU time: 20.3079 s Remaining CPU time: 1779.69 s c Elapsed CPU time: 20.4279 s Remaining CPU time: 1779.57 s c Elapsed CPU time: 20.5499 s Remaining CPU time: 1779.45 s c Elapsed CPU time: 20.6729 s Remaining CPU time: 1779.33 s c Elapsed CPU time: 20.7958 s Remaining CPU time: 1779.2 s c Elapsed CPU time: 20.9168 s Remaining CPU time: 1779.08 s c Elapsed CPU time: 21.0408 s Remaining CPU time: 1778.96 s c Elapsed CPU time: 21.1628 s Remaining CPU time: 1778.84 s c Elapsed CPU time: 21.2878 s Remaining CPU time: 1778.71 s c Elapsed CPU time: 21.4107 s Remaining CPU time: 1778.59 s c Elapsed CPU time: 21.5347 s Remaining CPU time: 1778.47 s c Elapsed CPU time: 21.6577 s Remaining CPU time: 1778.34 s c Elapsed CPU time: 21.7807 s Remaining CPU time: 1778.22 s c Elapsed CPU time: 21.9037 s Remaining CPU time: 1778.1 s c Elapsed CPU time: 22.0277 s Remaining CPU time: 1777.97 s c Elapsed CPU time: 22.1516 s Remaining CPU time: 1777.85 s c Elapsed CPU time: 22.2776 s Remaining CPU time: 1777.72 s c Elapsed CPU time: 22.4036 s Remaining CPU time: 1777.6 s c Elapsed CPU time: 22.5306 s Remaining CPU time: 1777.47 s c Elapsed CPU time: 22.6586 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.7865 s Remaining CPU time: 1777.21 s c Elapsed CPU time: 22.9115 s Remaining CPU time: 1777.09 s c Elapsed CPU time: 23.0375 s Remaining CPU time: 1776.96 s c Elapsed CPU time: 23.1635 s Remaining CPU time: 1776.84 s c Elapsed CPU time: 23.2925 s Remaining CPU time: 1776.71 s c Elapsed CPU time: 23.4184 s Remaining CPU time: 1776.58 s c Elapsed CPU time: 23.5484 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.8054 s Remaining CPU time: 1776.19 s c Elapsed CPU time: 23.9324 s Remaining CPU time: 1776.07 s c Elapsed CPU time: 24.0633 s Remaining CPU time: 1775.94 s c Elapsed CPU time: 24.1923 s Remaining CPU time: 1775.81 s c Elapsed CPU time: 24.3203 s Remaining CPU time: 1775.68 s c Elapsed CPU time: 24.4503 s Remaining CPU time: 1775.55 s c Elapsed CPU time: 24.5813 s Remaining CPU time: 1775.42 s c Elapsed CPU time: 24.7112 s Remaining CPU time: 1775.29 s c Elapsed CPU time: 24.8422 s Remaining CPU time: 1775.16 s c Elapsed CPU time: 24.9722 s Remaining CPU time: 1775.03 s c Elapsed CPU time: 25.1042 s Remaining CPU time: 1774.9 s c Elapsed CPU time: 25.2342 s Remaining CPU time: 1774.77 s c Elapsed CPU time: 25.3681 s Remaining CPU time: 1774.63 s c Elapsed CPU time: 25.4981 s Remaining CPU time: 1774.5 s c Elapsed CPU time: 25.6311 s Remaining CPU time: 1774.37 s c Elapsed CPU time: 25.7621 s Remaining CPU time: 1774.24 s c Elapsed CPU time: 25.8931 s Remaining CPU time: 1774.11 s c Elapsed CPU time: 26.026 s Remaining CPU time: 1773.97 s c Elapsed CPU time: 26.158 s Remaining CPU time: 1773.84 s c Elapsed CPU time: 26.291 s Remaining CPU time: 1773.71 s c Elapsed CPU time: 26.424 s Remaining CPU time: 1773.58 s c Elapsed CPU time: 26.556 s Remaining CPU time: 1773.44 s c Elapsed CPU time: 26.6909 s Remaining CPU time: 1773.31 s c Elapsed CPU time: 26.8249 s Remaining CPU time: 1773.18 s c Elapsed CPU time: 26.9599 s Remaining CPU time: 1773.04 s c Elapsed CPU time: 27.0929 s Remaining CPU time: 1772.91 s c Elapsed CPU time: 27.2279 s Remaining CPU time: 1772.77 s c Elapsed CPU time: 27.3608 s Remaining CPU time: 1772.64 s c Elapsed CPU time: 27.4988 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.7698 s Remaining CPU time: 1772.23 s c Elapsed CPU time: 27.9008 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.3017 s Remaining CPU time: 1771.7 s c Elapsed CPU time: 28.4347 s Remaining CPU time: 1771.57 s c Elapsed CPU time: 28.5687 s Remaining CPU time: 1771.43 s c Elapsed CPU time: 28.7006 s Remaining CPU time: 1771.3 s c Elapsed CPU time: 28.8316 s Remaining CPU time: 1771.17 s c Elapsed CPU time: 28.9636 s Remaining CPU time: 1771.04 s c Elapsed CPU time: 29.0976 s Remaining CPU time: 1770.9 s c Elapsed CPU time: 29.2326 s Remaining CPU time: 1770.77 s c Elapsed CPU time: 29.3655 s Remaining CPU time: 1770.63 s c Elapsed CPU time: 29.5005 s Remaining CPU time: 1770.5 s c Elapsed CPU time: 29.6355 s Remaining CPU time: 1770.36 s c Elapsed CPU time: 29.7695 s Remaining CPU time: 1770.23 s c Elapsed CPU time: 29.9045 s Remaining CPU time: 1770.1 s c Elapsed CPU time: 30.0394 s Remaining CPU time: 1769.96 s c Elapsed CPU time: 30.1754 s Remaining CPU time: 1769.82 s c Elapsed CPU time: 30.3104 s Remaining CPU time: 1769.69 s c Elapsed CPU time: 30.4464 s Remaining CPU time: 1769.55 s c Elapsed CPU time: 30.5804 s Remaining CPU time: 1769.42 s c Elapsed CPU time: 30.7153 s Remaining CPU time: 1769.28 s c Elapsed CPU time: 30.8503 s Remaining CPU time: 1769.15 s c Elapsed CPU time: 30.9853 s Remaining CPU time: 1769.01 s c Elapsed CPU time: 31.1193 s Remaining CPU time: 1768.88 s c Elapsed CPU time: 31.2562 s Remaining CPU time: 1768.74 s c Elapsed CPU time: 31.3922 s Remaining CPU time: 1768.61 s c Elapsed CPU time: 31.5272 s Remaining CPU time: 1768.47 s c Elapsed CPU time: 31.6622 s Remaining CPU time: 1768.34 s c Elapsed CPU time: 31.7992 s Remaining CPU time: 1768.2 s c Elapsed CPU time: 31.9351 s Remaining CPU time: 1768.06 s c Elapsed CPU time: 32.0701 s Remaining CPU time: 1767.93 s c Elapsed CPU time: 32.2081 s Remaining CPU time: 1767.79 s c Elapsed CPU time: 32.3441 s Remaining CPU time: 1767.66 s c Elapsed CPU time: 32.4811 s Remaining CPU time: 1767.52 s c Elapsed CPU time: 32.619 s Remaining CPU time: 1767.38 s c Elapsed CPU time: 32.755 s Remaining CPU time: 1767.24 s c Elapsed CPU time: 32.893 s Remaining CPU time: 1767.11 s c Elapsed CPU time: 33.03 s Remaining CPU time: 1766.97 s c Elapsed CPU time: 33.167 s Remaining CPU time: 1766.83 s c Elapsed CPU time: 33.3069 s Remaining CPU time: 1766.69 s c Elapsed CPU time: 33.4459 s Remaining CPU time: 1766.55 s c Elapsed CPU time: 33.5849 s Remaining CPU time: 1766.42 s c Elapsed CPU time: 33.7259 s Remaining CPU time: 1766.27 s c Elapsed CPU time: 33.8649 s Remaining CPU time: 1766.14 s c Elapsed CPU time: 34.0038 s Remaining CPU time: 1766 s c Elapsed CPU time: 34.1428 s Remaining CPU time: 1765.86 s c Elapsed CPU time: 34.2788 s Remaining CPU time: 1765.72 s c Elapsed CPU time: 34.4168 s Remaining CPU time: 1765.58 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7 113200 217789 | 37733 0 nan | 0.000 % | c =============================================================================== c Verified 113200 original clauses.