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.076988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.301954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.413937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.636903 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.747886 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.857869 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.07883 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.2968 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.51777 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.62775 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.73874 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.84872 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.9577 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.06868 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.17867 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.29065 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.40063 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.51062 s Remaining CPU time: 1797.49 s c Elapsed CPU time: 2.6226 s Remaining CPU time: 1797.38 s c Elapsed CPU time: 2.73458 s Remaining CPU time: 1797.27 s c Elapsed CPU time: 2.84757 s Remaining CPU time: 1797.15 s c Elapsed CPU time: 2.96155 s Remaining CPU time: 1797.04 s c Elapsed CPU time: 3.07353 s Remaining CPU time: 1796.93 s c Elapsed CPU time: 3.18751 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.2995 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 3.41348 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.52646 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.63945 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.75243 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.86741 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.9794 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 4.09238 s Remaining CPU time: 1795.91 s c Elapsed CPU time: 4.20636 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.32134 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.43333 s Remaining CPU time: 1795.57 s c Elapsed CPU time: 4.54831 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.66129 s Remaining CPU time: 1795.34 s c Elapsed CPU time: 4.77327 s Remaining CPU time: 1795.23 s c Elapsed CPU time: 4.88626 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 5.00024 s Remaining CPU time: 1795 s c Elapsed CPU time: 5.11222 s Remaining CPU time: 1794.89 s c Elapsed CPU time: 5.22921 s Remaining CPU time: 1794.77 s c Elapsed CPU time: 5.34219 s Remaining CPU time: 1794.66 s c Elapsed CPU time: 5.45717 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.56915 s Remaining CPU time: 1794.43 s c Elapsed CPU time: 5.68214 s Remaining CPU time: 1794.32 s c Elapsed CPU time: 5.79512 s Remaining CPU time: 1794.2 s c Elapsed CPU time: 5.9081 s Remaining CPU time: 1794.09 s c Elapsed CPU time: 6.02308 s Remaining CPU time: 1793.98 s c Elapsed CPU time: 6.13707 s Remaining CPU time: 1793.86 s c Elapsed CPU time: 6.25005 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.36503 s Remaining CPU time: 1793.63 s c Elapsed CPU time: 6.47902 s Remaining CPU time: 1793.52 s c Elapsed CPU time: 6.593 s Remaining CPU time: 1793.41 s c Elapsed CPU time: 6.70498 s Remaining CPU time: 1793.3 s c Elapsed CPU time: 6.81996 s Remaining CPU time: 1793.18 s c Elapsed CPU time: 6.93394 s Remaining CPU time: 1793.07 s c Elapsed CPU time: 7.04793 s Remaining CPU time: 1792.95 s c Elapsed CPU time: 7.16291 s Remaining CPU time: 1792.84 s c Elapsed CPU time: 7.27689 s Remaining CPU time: 1792.72 s c Elapsed CPU time: 7.39288 s Remaining CPU time: 1792.61 s c Elapsed CPU time: 7.50786 s Remaining CPU time: 1792.49 s c Elapsed CPU time: 7.62284 s Remaining CPU time: 1792.38 s c Elapsed CPU time: 7.73682 s Remaining CPU time: 1792.26 s c Elapsed CPU time: 7.85081 s Remaining CPU time: 1792.15 s c Elapsed CPU time: 7.96579 s Remaining CPU time: 1792.03 s c Elapsed CPU time: 8.08177 s Remaining CPU time: 1791.92 s c Elapsed CPU time: 8.19575 s Remaining CPU time: 1791.8 s c Elapsed CPU time: 8.31074 s Remaining CPU time: 1791.69 s c Elapsed CPU time: 8.42372 s Remaining CPU time: 1791.58 s c Elapsed CPU time: 8.5407 s Remaining CPU time: 1791.46 s c Elapsed CPU time: 8.65568 s Remaining CPU time: 1791.34 s c Elapsed CPU time: 8.76867 s Remaining CPU time: 1791.23 s c Elapsed CPU time: 8.88365 s Remaining CPU time: 1791.12 s c Elapsed CPU time: 8.99963 s Remaining CPU time: 1791 s c Elapsed CPU time: 9.11461 s Remaining CPU time: 1790.89 s c Elapsed CPU time: 9.2296 s Remaining CPU time: 1790.77 s c Elapsed CPU time: 9.34558 s Remaining CPU time: 1790.65 s c Elapsed CPU time: 9.46056 s Remaining CPU time: 1790.54 s c Elapsed CPU time: 9.57654 s Remaining CPU time: 1790.42 s c Elapsed CPU time: 9.69053 s Remaining CPU time: 1790.31 s c Elapsed CPU time: 9.80851 s Remaining CPU time: 1790.19 s c Elapsed CPU time: 9.92249 s Remaining CPU time: 1790.08 s c Elapsed CPU time: 10.0405 s Remaining CPU time: 1789.96 s c Elapsed CPU time: 10.1555 s Remaining CPU time: 1789.84 s c Elapsed CPU time: 10.2694 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.6184 s Remaining CPU time: 1789.38 s c Elapsed CPU time: 10.7334 s Remaining CPU time: 1789.27 s c Elapsed CPU time: 10.8493 s Remaining CPU time: 1789.15 s c Elapsed CPU time: 10.9653 s Remaining CPU time: 1789.03 s c Elapsed CPU time: 11.0813 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.1983 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.4333 s Remaining CPU time: 1788.57 s c Elapsed CPU time: 11.5492 s Remaining CPU time: 1788.45 s c Elapsed CPU time: 11.6682 s Remaining CPU time: 1788.33 s c Elapsed CPU time: 11.7852 s Remaining CPU time: 1788.21 s c Elapsed CPU time: 11.9022 s Remaining CPU time: 1788.1 s c Elapsed CPU time: 12.0202 s Remaining CPU time: 1787.98 s c Elapsed CPU time: 12.1382 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.3731 s Remaining CPU time: 1787.63 s c Elapsed CPU time: 12.4911 s Remaining CPU time: 1787.51 s c Elapsed CPU time: 12.6091 s Remaining CPU time: 1787.39 s c Elapsed CPU time: 12.7271 s Remaining CPU time: 1787.27 s c Elapsed CPU time: 12.846 s Remaining CPU time: 1787.15 s c Elapsed CPU time: 12.964 s Remaining CPU time: 1787.04 s c Elapsed CPU time: 13.081 s Remaining CPU time: 1786.92 s c Elapsed CPU time: 13.198 s Remaining CPU time: 1786.8 s c Elapsed CPU time: 13.316 s Remaining CPU time: 1786.68 s c Elapsed CPU time: 13.432 s Remaining CPU time: 1786.57 s c Elapsed CPU time: 13.5499 s Remaining CPU time: 1786.45 s c Elapsed CPU time: 13.6689 s Remaining CPU time: 1786.33 s c Elapsed CPU time: 13.7879 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.9049 s Remaining CPU time: 1786.1 s c Elapsed CPU time: 14.0239 s Remaining CPU time: 1785.98 s c Elapsed CPU time: 14.1428 s Remaining CPU time: 1785.86 s c Elapsed CPU time: 14.2618 s Remaining CPU time: 1785.74 s c Elapsed CPU time: 14.3798 s Remaining CPU time: 1785.62 s c Elapsed CPU time: 14.4978 s Remaining CPU time: 1785.5 s c Elapsed CPU time: 14.6158 s Remaining CPU time: 1785.38 s c Elapsed CPU time: 14.7348 s Remaining CPU time: 1785.27 s c Elapsed CPU time: 14.8537 s Remaining CPU time: 1785.15 s c Elapsed CPU time: 14.9717 s Remaining CPU time: 1785.03 s c Elapsed CPU time: 15.0897 s Remaining CPU time: 1784.91 s c Elapsed CPU time: 15.2067 s Remaining CPU time: 1784.79 s c Elapsed CPU time: 15.3267 s Remaining CPU time: 1784.67 s c Elapsed CPU time: 15.4447 s Remaining CPU time: 1784.56 s c Elapsed CPU time: 15.5636 s Remaining CPU time: 1784.44 s c Elapsed CPU time: 15.6826 s Remaining CPU time: 1784.32 s c Elapsed CPU time: 15.8016 s Remaining CPU time: 1784.2 s c Elapsed CPU time: 15.9216 s Remaining CPU time: 1784.08 s c Elapsed CPU time: 16.0416 s Remaining CPU time: 1783.96 s c Elapsed CPU time: 16.1625 s Remaining CPU time: 1783.84 s c Elapsed CPU time: 16.2805 s Remaining CPU time: 1783.72 s c Elapsed CPU time: 16.4005 s Remaining CPU time: 1783.6 s c Elapsed CPU time: 16.5205 s Remaining CPU time: 1783.48 s c Elapsed CPU time: 16.6405 s Remaining CPU time: 1783.36 s c Elapsed CPU time: 16.7605 s Remaining CPU time: 1783.24 s c Elapsed CPU time: 16.8804 s Remaining CPU time: 1783.12 s c Elapsed CPU time: 17.0004 s Remaining CPU time: 1783 s c Elapsed CPU time: 17.1204 s Remaining CPU time: 1782.88 s c Elapsed CPU time: 17.2384 s Remaining CPU time: 1782.76 s c Elapsed CPU time: 17.3604 s Remaining CPU time: 1782.64 s c Elapsed CPU time: 17.4793 s Remaining CPU time: 1782.52 s c Elapsed CPU time: 17.6013 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.8383 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.0793 s Remaining CPU time: 1781.92 s c Elapsed CPU time: 18.2002 s Remaining CPU time: 1781.8 s c Elapsed CPU time: 18.3222 s Remaining CPU time: 1781.68 s c Elapsed CPU time: 18.4432 s Remaining CPU time: 1781.56 s c Elapsed CPU time: 18.5642 s Remaining CPU time: 1781.44 s c Elapsed CPU time: 18.6862 s Remaining CPU time: 1781.31 s c Elapsed CPU time: 18.8081 s Remaining CPU time: 1781.19 s c Elapsed CPU time: 18.9281 s Remaining CPU time: 1781.07 s c Elapsed CPU time: 19.0481 s Remaining CPU time: 1780.95 s c Elapsed CPU time: 19.1691 s Remaining CPU time: 1780.83 s c Elapsed CPU time: 19.2901 s Remaining CPU time: 1780.71 s c Elapsed CPU time: 19.412 s Remaining CPU time: 1780.59 s c Elapsed CPU time: 19.532 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.775 s Remaining CPU time: 1780.23 s c Elapsed CPU time: 19.896 s Remaining CPU time: 1780.1 s c Elapsed CPU time: 20.018 s Remaining CPU time: 1779.98 s c Elapsed CPU time: 20.1399 s Remaining CPU time: 1779.86 s c Elapsed CPU time: 20.2599 s Remaining CPU time: 1779.74 s c Elapsed CPU time: 20.3819 s Remaining CPU time: 1779.62 s c Elapsed CPU time: 20.5039 s Remaining CPU time: 1779.5 s c Elapsed CPU time: 20.6269 s Remaining CPU time: 1779.37 s c Elapsed CPU time: 20.7488 s Remaining CPU time: 1779.25 s c Elapsed CPU time: 20.8728 s Remaining CPU time: 1779.13 s c Elapsed CPU time: 20.9948 s Remaining CPU time: 1779.01 s c Elapsed CPU time: 21.1168 s Remaining CPU time: 1778.88 s c Elapsed CPU time: 21.2368 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.3608 s Remaining CPU time: 1778.64 s c Elapsed CPU time: 21.4837 s Remaining CPU time: 1778.52 s c Elapsed CPU time: 21.6097 s Remaining CPU time: 1778.39 s c Elapsed CPU time: 21.7337 s Remaining CPU time: 1778.27 s c Elapsed CPU time: 21.8577 s Remaining CPU time: 1778.14 s c Elapsed CPU time: 21.9817 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.2336 s Remaining CPU time: 1777.77 s c Elapsed CPU time: 22.3596 s Remaining CPU time: 1777.64 s c Elapsed CPU time: 22.4846 s Remaining CPU time: 1777.52 s c Elapsed CPU time: 22.6126 s Remaining CPU time: 1777.39 s c Elapsed CPU time: 22.7395 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.9955 s Remaining CPU time: 1777 s c Elapsed CPU time: 23.1235 s Remaining CPU time: 1776.88 s c Elapsed CPU time: 23.2505 s Remaining CPU time: 1776.75 s c Elapsed CPU time: 23.3804 s Remaining CPU time: 1776.62 s c Elapsed CPU time: 23.5084 s Remaining CPU time: 1776.49 s c Elapsed CPU time: 23.6394 s Remaining CPU time: 1776.36 s c Elapsed CPU time: 23.7664 s Remaining CPU time: 1776.23 s c Elapsed CPU time: 23.8974 s Remaining CPU time: 1776.1 s c Elapsed CPU time: 24.0263 s Remaining CPU time: 1775.97 s c Elapsed CPU time: 24.1573 s Remaining CPU time: 1775.84 s c Elapsed CPU time: 24.2873 s Remaining CPU time: 1775.71 s c Elapsed CPU time: 24.4183 s Remaining CPU time: 1775.58 s c Elapsed CPU time: 24.5483 s Remaining CPU time: 1775.45 s c Elapsed CPU time: 24.6802 s Remaining CPU time: 1775.32 s c Elapsed CPU time: 24.8102 s Remaining CPU time: 1775.19 s c Elapsed CPU time: 24.9422 s Remaining CPU time: 1775.06 s c Elapsed CPU time: 25.0712 s Remaining CPU time: 1774.93 s c Elapsed CPU time: 25.2052 s Remaining CPU time: 1774.79 s c Elapsed CPU time: 25.3361 s Remaining CPU time: 1774.66 s c Elapsed CPU time: 25.4661 s Remaining CPU time: 1774.53 s c Elapsed CPU time: 25.5971 s Remaining CPU time: 1774.4 s c Elapsed CPU time: 25.7281 s Remaining CPU time: 1774.27 s c Elapsed CPU time: 25.8581 s Remaining CPU time: 1774.14 s c Elapsed CPU time: 25.989 s Remaining CPU time: 1774.01 s c Elapsed CPU time: 26.12 s Remaining CPU time: 1773.88 s c Elapsed CPU time: 26.252 s Remaining CPU time: 1773.75 s c Elapsed CPU time: 26.385 s Remaining CPU time: 1773.62 s c Elapsed CPU time: 26.52 s Remaining CPU time: 1773.48 s c Elapsed CPU time: 26.6509 s Remaining CPU time: 1773.35 s c Elapsed CPU time: 26.7839 s Remaining CPU time: 1773.22 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10 113086 217691 | 37695 0 nan | 0.000 % | c =============================================================================== c Verified 113086 original clauses.