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.080987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s c Elapsed CPU time: 0.568913 s Remaining CPU time: 1799.43 s c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.810876 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.931858 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 1.05384 s Remaining CPU time: 1798.95 s c Elapsed CPU time: 1.17482 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2988 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.42478 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.54776 s Remaining CPU time: 1798.45 s c Elapsed CPU time: 1.67274 s Remaining CPU time: 1798.33 s c Elapsed CPU time: 1.79273 s Remaining CPU time: 1798.21 s c Elapsed CPU time: 1.91271 s Remaining CPU time: 1798.09 s c Elapsed CPU time: 2.03369 s Remaining CPU time: 1797.97 s c Elapsed CPU time: 2.15367 s Remaining CPU time: 1797.85 s c Elapsed CPU time: 2.27465 s Remaining CPU time: 1797.73 s c Elapsed CPU time: 2.39764 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.51962 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6416 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.76358 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.88656 s Remaining CPU time: 1797.11 s c Elapsed CPU time: 3.00954 s Remaining CPU time: 1796.99 s c Elapsed CPU time: 3.13552 s Remaining CPU time: 1796.86 s c Elapsed CPU time: 3.2635 s Remaining CPU time: 1796.74 s c Elapsed CPU time: 3.38848 s Remaining CPU time: 1796.61 s c Elapsed CPU time: 3.51446 s Remaining CPU time: 1796.49 s c Elapsed CPU time: 3.64045 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.76543 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.89141 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.01739 s Remaining CPU time: 1795.98 s c Elapsed CPU time: 4.14137 s Remaining CPU time: 1795.86 s c Elapsed CPU time: 4.27035 s Remaining CPU time: 1795.73 s c Elapsed CPU time: 4.39433 s Remaining CPU time: 1795.61 s c Elapsed CPU time: 4.52231 s Remaining CPU time: 1795.48 s c Elapsed CPU time: 4.64929 s Remaining CPU time: 1795.35 s c Elapsed CPU time: 4.77827 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.90325 s Remaining CPU time: 1795.1 s c Elapsed CPU time: 5.03024 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.15422 s Remaining CPU time: 1794.85 s c Elapsed CPU time: 5.2802 s Remaining CPU time: 1794.72 s c Elapsed CPU time: 5.40618 s Remaining CPU time: 1794.59 s c Elapsed CPU time: 5.53116 s Remaining CPU time: 1794.47 s c Elapsed CPU time: 5.65614 s Remaining CPU time: 1794.34 s c Elapsed CPU time: 5.78312 s Remaining CPU time: 1794.22 s c Elapsed CPU time: 5.9101 s Remaining CPU time: 1794.09 s c Elapsed CPU time: 6.04008 s Remaining CPU time: 1793.96 s c Elapsed CPU time: 6.17006 s Remaining CPU time: 1793.83 s c Elapsed CPU time: 6.29904 s Remaining CPU time: 1793.7 s c Elapsed CPU time: 6.42802 s Remaining CPU time: 1793.57 s c Elapsed CPU time: 6.554 s Remaining CPU time: 1793.45 s c Elapsed CPU time: 6.68198 s Remaining CPU time: 1793.32 s c Elapsed CPU time: 6.80896 s Remaining CPU time: 1793.19 s c Elapsed CPU time: 6.93595 s Remaining CPU time: 1793.06 s c Elapsed CPU time: 7.06193 s Remaining CPU time: 1792.94 s c Elapsed CPU time: 7.18891 s Remaining CPU time: 1792.81 s c Elapsed CPU time: 7.31689 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.44487 s Remaining CPU time: 1792.56 s c Elapsed CPU time: 7.57385 s Remaining CPU time: 1792.43 s c Elapsed CPU time: 7.70283 s Remaining CPU time: 1792.3 s c Elapsed CPU time: 7.83081 s Remaining CPU time: 1792.17 s c Elapsed CPU time: 7.95979 s Remaining CPU time: 1792.04 s c Elapsed CPU time: 8.08777 s Remaining CPU time: 1791.91 s c Elapsed CPU time: 8.21575 s Remaining CPU time: 1791.78 s c Elapsed CPU time: 8.34373 s Remaining CPU time: 1791.66 s c Elapsed CPU time: 8.47071 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.59769 s Remaining CPU time: 1791.4 s c Elapsed CPU time: 8.72567 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.85465 s Remaining CPU time: 1791.15 s c Elapsed CPU time: 8.98263 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 9.11161 s Remaining CPU time: 1790.89 s c Elapsed CPU time: 9.24259 s Remaining CPU time: 1790.76 s c Elapsed CPU time: 9.37358 s Remaining CPU time: 1790.63 s c Elapsed CPU time: 9.50155 s Remaining CPU time: 1790.5 s c Elapsed CPU time: 9.62854 s Remaining CPU time: 1790.37 s c Elapsed CPU time: 9.75552 s Remaining CPU time: 1790.24 s c Elapsed CPU time: 9.8825 s Remaining CPU time: 1790.12 s c Elapsed CPU time: 10.0105 s Remaining CPU time: 1789.99 s c Elapsed CPU time: 10.1385 s Remaining CPU time: 1789.86 s c Elapsed CPU time: 10.2674 s Remaining CPU time: 1789.73 s c Elapsed CPU time: 10.3964 s Remaining CPU time: 1789.6 s c Elapsed CPU time: 10.5244 s Remaining CPU time: 1789.48 s c Elapsed CPU time: 10.6554 s Remaining CPU time: 1789.34 s c Elapsed CPU time: 10.7874 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.9173 s Remaining CPU time: 1789.08 s c Elapsed CPU time: 11.0483 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.1773 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.3073 s Remaining CPU time: 1788.69 s c Elapsed CPU time: 11.4373 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.5672 s Remaining CPU time: 1788.43 s c Elapsed CPU time: 11.6972 s Remaining CPU time: 1788.3 s c Elapsed CPU time: 11.8302 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.9622 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 12.0942 s Remaining CPU time: 1787.91 s c Elapsed CPU time: 12.2251 s Remaining CPU time: 1787.77 s c Elapsed CPU time: 12.3571 s Remaining CPU time: 1787.64 s c Elapsed CPU time: 12.4871 s Remaining CPU time: 1787.51 s c Elapsed CPU time: 12.6191 s Remaining CPU time: 1787.38 s c Elapsed CPU time: 12.7491 s Remaining CPU time: 1787.25 s c Elapsed CPU time: 12.88 s Remaining CPU time: 1787.12 s c Elapsed CPU time: 13.012 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.145 s Remaining CPU time: 1786.85 s c Elapsed CPU time: 13.28 s Remaining CPU time: 1786.72 s c Elapsed CPU time: 13.412 s Remaining CPU time: 1786.59 s c Elapsed CPU time: 13.5429 s Remaining CPU time: 1786.46 s c Elapsed CPU time: 13.6759 s Remaining CPU time: 1786.32 s c Elapsed CPU time: 13.8069 s Remaining CPU time: 1786.19 s c Elapsed CPU time: 13.9389 s Remaining CPU time: 1786.06 s c Elapsed CPU time: 14.0699 s Remaining CPU time: 1785.93 s c Elapsed CPU time: 14.1998 s Remaining CPU time: 1785.8 s c Elapsed CPU time: 14.3318 s Remaining CPU time: 1785.67 s c Elapsed CPU time: 14.4648 s Remaining CPU time: 1785.54 s c Elapsed CPU time: 14.5988 s Remaining CPU time: 1785.4 s c Elapsed CPU time: 14.7318 s Remaining CPU time: 1785.27 s c Elapsed CPU time: 14.8637 s Remaining CPU time: 1785.14 s c Elapsed CPU time: 14.9957 s Remaining CPU time: 1785 s c Elapsed CPU time: 15.1277 s Remaining CPU time: 1784.87 s c Elapsed CPU time: 15.2587 s Remaining CPU time: 1784.74 s c Elapsed CPU time: 15.3917 s Remaining CPU time: 1784.61 s c Elapsed CPU time: 15.5266 s Remaining CPU time: 1784.47 s c Elapsed CPU time: 15.6606 s Remaining CPU time: 1784.34 s c Elapsed CPU time: 15.7946 s Remaining CPU time: 1784.21 s c Elapsed CPU time: 15.9266 s Remaining CPU time: 1784.07 s c Elapsed CPU time: 16.0596 s Remaining CPU time: 1783.94 s c Elapsed CPU time: 16.1915 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.3235 s Remaining CPU time: 1783.68 s c Elapsed CPU time: 16.4565 s Remaining CPU time: 1783.54 s c Elapsed CPU time: 16.5885 s Remaining CPU time: 1783.41 s c Elapsed CPU time: 16.7215 s Remaining CPU time: 1783.28 s c Elapsed CPU time: 16.8574 s Remaining CPU time: 1783.14 s c Elapsed CPU time: 16.9924 s Remaining CPU time: 1783.01 s c Elapsed CPU time: 17.1274 s Remaining CPU time: 1782.87 s c Elapsed CPU time: 17.2594 s Remaining CPU time: 1782.74 s c Elapsed CPU time: 17.3924 s Remaining CPU time: 1782.61 s c Elapsed CPU time: 17.5253 s Remaining CPU time: 1782.47 s c Elapsed CPU time: 17.6583 s Remaining CPU time: 1782.34 s c Elapsed CPU time: 17.7893 s Remaining CPU time: 1782.21 s c Elapsed CPU time: 17.9233 s Remaining CPU time: 1782.08 s c Elapsed CPU time: 18.0583 s Remaining CPU time: 1781.94 s c Elapsed CPU time: 18.1952 s Remaining CPU time: 1781.8 s c Elapsed CPU time: 18.3302 s Remaining CPU time: 1781.67 s c Elapsed CPU time: 18.4632 s Remaining CPU time: 1781.54 s c Elapsed CPU time: 18.5972 s Remaining CPU time: 1781.4 s c Elapsed CPU time: 18.7302 s Remaining CPU time: 1781.27 s c Elapsed CPU time: 18.8631 s Remaining CPU time: 1781.14 s c Elapsed CPU time: 18.9951 s Remaining CPU time: 1781 s c Elapsed CPU time: 19.1311 s Remaining CPU time: 1780.87 s c Elapsed CPU time: 19.2671 s Remaining CPU time: 1780.73 s c Elapsed CPU time: 19.4041 s Remaining CPU time: 1780.6 s c Elapsed CPU time: 19.54 s Remaining CPU time: 1780.46 s c Elapsed CPU time: 19.675 s Remaining CPU time: 1780.32 s c Elapsed CPU time: 19.81 s Remaining CPU time: 1780.19 s c Elapsed CPU time: 19.945 s Remaining CPU time: 1780.06 s c Elapsed CPU time: 20.0779 s Remaining CPU time: 1779.92 s c Elapsed CPU time: 20.2139 s Remaining CPU time: 1779.79 s c Elapsed CPU time: 20.3479 s Remaining CPU time: 1779.65 s c Elapsed CPU time: 20.4849 s Remaining CPU time: 1779.52 s c Elapsed CPU time: 20.6219 s Remaining CPU time: 1779.38 s c Elapsed CPU time: 20.7588 s Remaining CPU time: 1779.24 s c Elapsed CPU time: 20.8938 s Remaining CPU time: 1779.11 s c Elapsed CPU time: 21.0298 s Remaining CPU time: 1778.97 s c Elapsed CPU time: 21.1638 s Remaining CPU time: 1778.84 s c Elapsed CPU time: 21.2988 s Remaining CPU time: 1778.7 s c Elapsed CPU time: 21.4307 s Remaining CPU time: 1778.57 s c Elapsed CPU time: 21.5677 s Remaining CPU time: 1778.43 s c Elapsed CPU time: 21.7017 s Remaining CPU time: 1778.3 s c Elapsed CPU time: 21.8387 s Remaining CPU time: 1778.16 s c Elapsed CPU time: 21.9747 s Remaining CPU time: 1778.03 s c Elapsed CPU time: 22.1136 s Remaining CPU time: 1777.89 s c Elapsed CPU time: 22.2526 s Remaining CPU time: 1777.75 s c Elapsed CPU time: 22.3886 s Remaining CPU time: 1777.61 s c Elapsed CPU time: 22.5256 s Remaining CPU time: 1777.47 s c Elapsed CPU time: 22.6626 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.7985 s Remaining CPU time: 1777.2 s c Elapsed CPU time: 22.9345 s Remaining CPU time: 1777.07 s c Elapsed CPU time: 23.0705 s Remaining CPU time: 1776.93 s c Elapsed CPU time: 23.2075 s Remaining CPU time: 1776.79 s c Elapsed CPU time: 23.3454 s Remaining CPU time: 1776.65 s c Elapsed CPU time: 23.4794 s Remaining CPU time: 1776.52 s c Elapsed CPU time: 23.6154 s Remaining CPU time: 1776.38 s c Elapsed CPU time: 23.7524 s Remaining CPU time: 1776.25 s c Elapsed CPU time: 23.8894 s Remaining CPU time: 1776.11 s c Elapsed CPU time: 24.0253 s Remaining CPU time: 1775.97 s c Elapsed CPU time: 24.1613 s Remaining CPU time: 1775.84 s c Elapsed CPU time: 24.3013 s Remaining CPU time: 1775.7 s c Elapsed CPU time: 24.4403 s Remaining CPU time: 1775.56 s c Elapsed CPU time: 24.5793 s Remaining CPU time: 1775.42 s c Elapsed CPU time: 24.7212 s Remaining CPU time: 1775.28 s c Elapsed CPU time: 24.8622 s Remaining CPU time: 1775.14 s c Elapsed CPU time: 25.0072 s Remaining CPU time: 1774.99 s c Elapsed CPU time: 25.1502 s Remaining CPU time: 1774.85 s c Elapsed CPU time: 25.2872 s Remaining CPU time: 1774.71 s c Elapsed CPU time: 25.4271 s Remaining CPU time: 1774.57 s c Elapsed CPU time: 25.5671 s Remaining CPU time: 1774.43 s c Elapsed CPU time: 25.7061 s Remaining CPU time: 1774.29 s c Elapsed CPU time: 25.8441 s Remaining CPU time: 1774.16 s c Elapsed CPU time: 25.986 s Remaining CPU time: 1774.01 s c Elapsed CPU time: 26.126 s Remaining CPU time: 1773.87 s c Elapsed CPU time: 26.267 s Remaining CPU time: 1773.73 s c Elapsed CPU time: 26.408 s Remaining CPU time: 1773.59 s c Elapsed CPU time: 26.549 s Remaining CPU time: 1773.45 s c Elapsed CPU time: 26.6909 s Remaining CPU time: 1773.31 s c Elapsed CPU time: 26.8309 s Remaining CPU time: 1773.17 s c Elapsed CPU time: 26.9729 s Remaining CPU time: 1773.03 s c Elapsed CPU time: 27.1129 s Remaining CPU time: 1772.89 s c Elapsed CPU time: 27.2549 s Remaining CPU time: 1772.75 s c Elapsed CPU time: 27.3988 s Remaining CPU time: 1772.6 s c Elapsed CPU time: 27.5428 s Remaining CPU time: 1772.46 s c Elapsed CPU time: 27.6848 s Remaining CPU time: 1772.32 s c Elapsed CPU time: 27.8268 s Remaining CPU time: 1772.17 s c Elapsed CPU time: 27.9687 s Remaining CPU time: 1772.03 s c Elapsed CPU time: 28.1117 s Remaining CPU time: 1771.89 s c Elapsed CPU time: 28.2567 s Remaining CPU time: 1771.74 s c Elapsed CPU time: 28.4017 s Remaining CPU time: 1771.6 s c Elapsed CPU time: 28.5477 s Remaining CPU time: 1771.45 s c Elapsed CPU time: 28.6906 s Remaining CPU time: 1771.31 s c Elapsed CPU time: 28.8386 s Remaining CPU time: 1771.16 s c Elapsed CPU time: 28.9856 s Remaining CPU time: 1771.01 s c Elapsed CPU time: 29.1306 s Remaining CPU time: 1770.87 s c Elapsed CPU time: 29.2785 s Remaining CPU time: 1770.72 s c Elapsed CPU time: 29.4115 s Remaining CPU time: 1770.59 s c Elapsed CPU time: 29.5555 s Remaining CPU time: 1770.44 s c Elapsed CPU time: 29.7015 s Remaining CPU time: 1770.3 s c Elapsed CPU time: 29.8465 s Remaining CPU time: 1770.15 s c Elapsed CPU time: 29.9914 s Remaining CPU time: 1770.01 s c Elapsed CPU time: 30.1374 s Remaining CPU time: 1769.86 s c Elapsed CPU time: 30.2874 s Remaining CPU time: 1769.71 s c Elapsed CPU time: 30.4354 s Remaining CPU time: 1769.56 s c Elapsed CPU time: 30.5844 s Remaining CPU time: 1769.42 s c Elapsed CPU time: 30.7333 s Remaining CPU time: 1769.27 s c Elapsed CPU time: 30.8833 s Remaining CPU time: 1769.12 s c Elapsed CPU time: 31.0313 s Remaining CPU time: 1768.97 s c Elapsed CPU time: 31.1833 s Remaining CPU time: 1768.82 s c Elapsed CPU time: 31.3362 s Remaining CPU time: 1768.66 s c Elapsed CPU time: 31.4902 s Remaining CPU time: 1768.51 s c Elapsed CPU time: 31.6422 s Remaining CPU time: 1768.36 s c Elapsed CPU time: 31.8002 s Remaining CPU time: 1768.2 s c Elapsed CPU time: 31.9531 s Remaining CPU time: 1768.05 s c Elapsed CPU time: 32.1081 s Remaining CPU time: 1767.89 s c Elapsed CPU time: 32.2651 s Remaining CPU time: 1767.73 s c Elapsed CPU time: 32.4211 s Remaining CPU time: 1767.58 s c Elapsed CPU time: 32.58 s Remaining CPU time: 1767.42 s c Elapsed CPU time: 32.735 s Remaining CPU time: 1767.26 s c Elapsed CPU time: 32.891 s Remaining CPU time: 1767.11 s c Elapsed CPU time: 33.049 s Remaining CPU time: 1766.95 s c Elapsed CPU time: 33.206 s Remaining CPU time: 1766.79 s c Elapsed CPU time: 33.3639 s Remaining CPU time: 1766.64 s c Elapsed CPU time: 33.5219 s Remaining CPU time: 1766.48 s c Elapsed CPU time: 33.6789 s Remaining CPU time: 1766.32 s c Elapsed CPU time: 33.8369 s Remaining CPU time: 1766.16 s c Elapsed CPU time: 33.9928 s Remaining CPU time: 1766.01 s c Elapsed CPU time: 34.1508 s Remaining CPU time: 1765.85 s c Elapsed CPU time: 34.3108 s Remaining CPU time: 1765.69 s c Elapsed CPU time: 34.4678 s Remaining CPU time: 1765.53 s c Elapsed CPU time: 34.6277 s Remaining CPU time: 1765.37 s c Elapsed CPU time: 34.7857 s Remaining CPU time: 1765.21 s c Elapsed CPU time: 34.9447 s Remaining CPU time: 1765.06 s c Elapsed CPU time: 35.1027 s Remaining CPU time: 1764.9 s c Elapsed CPU time: 35.2626 s Remaining CPU time: 1764.74 s c Elapsed CPU time: 35.4246 s Remaining CPU time: 1764.58 s c Elapsed CPU time: 35.5846 s Remaining CPU time: 1764.42 s c Elapsed CPU time: 35.7436 s Remaining CPU time: 1764.26 s c Elapsed CPU time: 35.9045 s Remaining CPU time: 1764.1 s c Elapsed CPU time: 36.0625 s Remaining CPU time: 1763.94 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11 113166 217764 | 37722 0 nan | 0.000 % | c =============================================================================== c Verified 113166 original clauses.