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.072988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.437933 s Remaining CPU time: 1799.56 s c Elapsed CPU time: 0.557915 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.677896 s Remaining CPU time: 1799.32 s c Elapsed CPU time: 0.798878 s Remaining CPU time: 1799.2 s c Elapsed CPU time: 0.91986 s Remaining CPU time: 1799.08 s c Elapsed CPU time: 1.04284 s Remaining CPU time: 1798.96 s c Elapsed CPU time: 1.16782 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2938 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.41478 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.53677 s Remaining CPU time: 1798.46 s c Elapsed CPU time: 1.65775 s Remaining CPU time: 1798.34 s c Elapsed CPU time: 1.77973 s Remaining CPU time: 1798.22 s c Elapsed CPU time: 1.90171 s Remaining CPU time: 1798.1 s c Elapsed CPU time: 2.02169 s Remaining CPU time: 1797.98 s c Elapsed CPU time: 2.14467 s Remaining CPU time: 1797.86 s c Elapsed CPU time: 2.26465 s Remaining CPU time: 1797.74 s c Elapsed CPU time: 2.38764 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.50962 s Remaining CPU time: 1797.49 s c Elapsed CPU time: 2.6346 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.76058 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.01154 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.2595 s Remaining CPU time: 1796.74 s c Elapsed CPU time: 3.38449 s Remaining CPU time: 1796.62 s c Elapsed CPU time: 3.50947 s Remaining CPU time: 1796.49 s c Elapsed CPU time: 3.63345 s Remaining CPU time: 1796.37 s c Elapsed CPU time: 3.75843 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.88341 s Remaining CPU time: 1796.12 s c Elapsed CPU time: 4.00939 s Remaining CPU time: 1795.99 s c Elapsed CPU time: 4.13637 s Remaining CPU time: 1795.86 s c Elapsed CPU time: 4.26235 s Remaining CPU time: 1795.74 s c Elapsed CPU time: 4.38833 s Remaining CPU time: 1795.61 s c Elapsed CPU time: 4.51431 s Remaining CPU time: 1795.49 s c Elapsed CPU time: 4.63929 s Remaining CPU time: 1795.36 s c Elapsed CPU time: 4.76527 s Remaining CPU time: 1795.23 s c Elapsed CPU time: 4.89026 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 5.01324 s Remaining CPU time: 1794.99 s c Elapsed CPU time: 5.13822 s Remaining CPU time: 1794.86 s c Elapsed CPU time: 5.2632 s Remaining CPU time: 1794.74 s c Elapsed CPU time: 5.38818 s Remaining CPU time: 1794.61 s c Elapsed CPU time: 5.51516 s Remaining CPU time: 1794.48 s c Elapsed CPU time: 5.64314 s Remaining CPU time: 1794.36 s c Elapsed CPU time: 5.77212 s Remaining CPU time: 1794.23 s c Elapsed CPU time: 5.8991 s Remaining CPU time: 1794.1 s c Elapsed CPU time: 6.02808 s Remaining CPU time: 1793.97 s c Elapsed CPU time: 6.15306 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.28104 s Remaining CPU time: 1793.72 s c Elapsed CPU time: 6.40902 s Remaining CPU time: 1793.59 s c Elapsed CPU time: 6.53601 s Remaining CPU time: 1793.46 s c Elapsed CPU time: 6.66299 s Remaining CPU time: 1793.34 s c Elapsed CPU time: 6.78997 s Remaining CPU time: 1793.21 s c Elapsed CPU time: 6.92295 s Remaining CPU time: 1793.08 s c Elapsed CPU time: 7.05293 s Remaining CPU time: 1792.95 s c Elapsed CPU time: 7.18091 s Remaining CPU time: 1792.82 s c Elapsed CPU time: 7.30789 s Remaining CPU time: 1792.69 s c Elapsed CPU time: 7.43587 s Remaining CPU time: 1792.56 s c Elapsed CPU time: 7.56385 s Remaining CPU time: 1792.44 s c Elapsed CPU time: 7.69283 s Remaining CPU time: 1792.31 s c Elapsed CPU time: 7.82281 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.95179 s Remaining CPU time: 1792.05 s c Elapsed CPU time: 8.08077 s Remaining CPU time: 1791.92 s c Elapsed CPU time: 8.21375 s Remaining CPU time: 1791.79 s c Elapsed CPU time: 8.34473 s Remaining CPU time: 1791.66 s c Elapsed CPU time: 8.47471 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.60369 s Remaining CPU time: 1791.4 s c Elapsed CPU time: 8.73267 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.86265 s Remaining CPU time: 1791.14 s c Elapsed CPU time: 8.99063 s Remaining CPU time: 1791.01 s c Elapsed CPU time: 9.11961 s Remaining CPU time: 1790.88 s c Elapsed CPU time: 9.24959 s Remaining CPU time: 1790.75 s c Elapsed CPU time: 9.37957 s Remaining CPU time: 1790.62 s c Elapsed CPU time: 9.50955 s Remaining CPU time: 1790.49 s c Elapsed CPU time: 9.64053 s Remaining CPU time: 1790.36 s c Elapsed CPU time: 9.76951 s Remaining CPU time: 1790.23 s c Elapsed CPU time: 9.89949 s Remaining CPU time: 1790.1 s c Elapsed CPU time: 10.0285 s Remaining CPU time: 1789.97 s c Elapsed CPU time: 10.1565 s Remaining CPU time: 1789.84 s c Elapsed CPU time: 10.2854 s Remaining CPU time: 1789.71 s c Elapsed CPU time: 10.4154 s Remaining CPU time: 1789.58 s c Elapsed CPU time: 10.5454 s Remaining CPU time: 1789.45 s c Elapsed CPU time: 10.6784 s Remaining CPU time: 1789.32 s c Elapsed CPU time: 10.8084 s Remaining CPU time: 1789.19 s c Elapsed CPU time: 10.9393 s Remaining CPU time: 1789.06 s c Elapsed CPU time: 11.0683 s Remaining CPU time: 1788.93 s c Elapsed CPU time: 11.1993 s Remaining CPU time: 1788.8 s c Elapsed CPU time: 11.3283 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.4573 s Remaining CPU time: 1788.54 s c Elapsed CPU time: 11.5872 s Remaining CPU time: 1788.41 s c Elapsed CPU time: 11.7192 s Remaining CPU time: 1788.28 s c Elapsed CPU time: 11.8512 s Remaining CPU time: 1788.15 s c Elapsed CPU time: 11.9842 s Remaining CPU time: 1788.02 s c Elapsed CPU time: 12.1152 s Remaining CPU time: 1787.88 s c Elapsed CPU time: 12.2461 s Remaining CPU time: 1787.75 s c Elapsed CPU time: 12.3741 s Remaining CPU time: 1787.63 s c Elapsed CPU time: 12.5051 s Remaining CPU time: 1787.49 s c Elapsed CPU time: 12.6331 s Remaining CPU time: 1787.37 s c Elapsed CPU time: 12.7631 s Remaining CPU time: 1787.24 s c Elapsed CPU time: 12.894 s Remaining CPU time: 1787.11 s c Elapsed CPU time: 13.027 s Remaining CPU time: 1786.97 s c Elapsed CPU time: 13.16 s Remaining CPU time: 1786.84 s c Elapsed CPU time: 13.293 s Remaining CPU time: 1786.71 s c Elapsed CPU time: 13.424 s Remaining CPU time: 1786.58 s c Elapsed CPU time: 13.5549 s Remaining CPU time: 1786.45 s c Elapsed CPU time: 13.6859 s Remaining CPU time: 1786.31 s c Elapsed CPU time: 13.8149 s Remaining CPU time: 1786.19 s c Elapsed CPU time: 13.9459 s Remaining CPU time: 1786.05 s c Elapsed CPU time: 14.0769 s Remaining CPU time: 1785.92 s c Elapsed CPU time: 14.2078 s Remaining CPU time: 1785.79 s c Elapsed CPU time: 14.3388 s Remaining CPU time: 1785.66 s c Elapsed CPU time: 14.4728 s Remaining CPU time: 1785.53 s c Elapsed CPU time: 14.6048 s Remaining CPU time: 1785.4 s c Elapsed CPU time: 14.7358 s Remaining CPU time: 1785.26 s c Elapsed CPU time: 14.8687 s Remaining CPU time: 1785.13 s c Elapsed CPU time: 14.9997 s Remaining CPU time: 1785 s c Elapsed CPU time: 15.1307 s Remaining CPU time: 1784.87 s c Elapsed CPU time: 15.2617 s Remaining CPU time: 1784.74 s c Elapsed CPU time: 15.3947 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.6616 s Remaining CPU time: 1784.34 s c Elapsed CPU time: 15.7956 s Remaining CPU time: 1784.2 s c Elapsed CPU time: 15.9286 s Remaining CPU time: 1784.07 s c Elapsed CPU time: 16.0606 s Remaining CPU time: 1783.94 s c Elapsed CPU time: 16.1935 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.3245 s Remaining CPU time: 1783.68 s c Elapsed CPU time: 16.4545 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5835 s Remaining CPU time: 1783.42 s c Elapsed CPU time: 16.7165 s Remaining CPU time: 1783.28 s c Elapsed CPU time: 16.8474 s Remaining CPU time: 1783.15 s c Elapsed CPU time: 16.9794 s Remaining CPU time: 1783.02 s c Elapsed CPU time: 17.1104 s Remaining CPU time: 1782.89 s c Elapsed CPU time: 17.2404 s Remaining CPU time: 1782.76 s c Elapsed CPU time: 17.3744 s Remaining CPU time: 1782.63 s c Elapsed CPU time: 17.5073 s Remaining CPU time: 1782.49 s c Elapsed CPU time: 17.6383 s Remaining CPU time: 1782.36 s c Elapsed CPU time: 17.7683 s Remaining CPU time: 1782.23 s c Elapsed CPU time: 17.9003 s Remaining CPU time: 1782.1 s c Elapsed CPU time: 18.0303 s Remaining CPU time: 1781.97 s c Elapsed CPU time: 18.1612 s Remaining CPU time: 1781.84 s c Elapsed CPU time: 18.2922 s Remaining CPU time: 1781.71 s c Elapsed CPU time: 18.4252 s Remaining CPU time: 1781.57 s c Elapsed CPU time: 18.5582 s Remaining CPU time: 1781.44 s c Elapsed CPU time: 18.6912 s Remaining CPU time: 1781.31 s c Elapsed CPU time: 18.8261 s Remaining CPU time: 1781.17 s c Elapsed CPU time: 18.9611 s Remaining CPU time: 1781.04 s c Elapsed CPU time: 19.0941 s Remaining CPU time: 1780.91 s c Elapsed CPU time: 19.2271 s Remaining CPU time: 1780.77 s c Elapsed CPU time: 19.3591 s Remaining CPU time: 1780.64 s c Elapsed CPU time: 19.492 s Remaining CPU time: 1780.51 s c Elapsed CPU time: 19.623 s Remaining CPU time: 1780.38 s c Elapsed CPU time: 19.755 s Remaining CPU time: 1780.25 s c Elapsed CPU time: 19.887 s Remaining CPU time: 1780.11 s c Elapsed CPU time: 20.021 s Remaining CPU time: 1779.98 s c Elapsed CPU time: 20.1539 s Remaining CPU time: 1779.85 s c Elapsed CPU time: 20.2889 s Remaining CPU time: 1779.71 s c Elapsed CPU time: 20.4239 s Remaining CPU time: 1779.58 s c Elapsed CPU time: 20.5609 s Remaining CPU time: 1779.44 s c Elapsed CPU time: 20.6969 s Remaining CPU time: 1779.3 s c Elapsed CPU time: 20.8348 s Remaining CPU time: 1779.17 s c Elapsed CPU time: 20.9688 s Remaining CPU time: 1779.03 s c Elapsed CPU time: 21.1038 s Remaining CPU time: 1778.9 s c Elapsed CPU time: 21.2388 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.3747 s Remaining CPU time: 1778.63 s c Elapsed CPU time: 21.5077 s Remaining CPU time: 1778.49 s c Elapsed CPU time: 21.6427 s Remaining CPU time: 1778.36 s c Elapsed CPU time: 21.7767 s Remaining CPU time: 1778.22 s c Elapsed CPU time: 21.9117 s Remaining CPU time: 1778.09 s c Elapsed CPU time: 22.0436 s Remaining CPU time: 1777.96 s c Elapsed CPU time: 22.1796 s Remaining CPU time: 1777.82 s c Elapsed CPU time: 22.3166 s Remaining CPU time: 1777.68 s c Elapsed CPU time: 22.4546 s Remaining CPU time: 1777.55 s c Elapsed CPU time: 22.5916 s Remaining CPU time: 1777.41 s c Elapsed CPU time: 22.7295 s Remaining CPU time: 1777.27 s c Elapsed CPU time: 22.8655 s Remaining CPU time: 1777.13 s c Elapsed CPU time: 23.0025 s Remaining CPU time: 1777 s c Elapsed CPU time: 23.1385 s Remaining CPU time: 1776.86 s c Elapsed CPU time: 23.2745 s Remaining CPU time: 1776.73 s c Elapsed CPU time: 23.4084 s Remaining CPU time: 1776.59 s c Elapsed CPU time: 23.5454 s Remaining CPU time: 1776.45 s c Elapsed CPU time: 23.6804 s Remaining CPU time: 1776.32 s c Elapsed CPU time: 23.8154 s Remaining CPU time: 1776.18 s c Elapsed CPU time: 23.9514 s Remaining CPU time: 1776.05 s c Elapsed CPU time: 24.0883 s Remaining CPU time: 1775.91 s c Elapsed CPU time: 24.2273 s Remaining CPU time: 1775.77 s c Elapsed CPU time: 24.3683 s Remaining CPU time: 1775.63 s c Elapsed CPU time: 24.5083 s Remaining CPU time: 1775.49 s c Elapsed CPU time: 24.6493 s Remaining CPU time: 1775.35 s c Elapsed CPU time: 24.7932 s Remaining CPU time: 1775.21 s c Elapsed CPU time: 24.9372 s Remaining CPU time: 1775.06 s c Elapsed CPU time: 25.0822 s Remaining CPU time: 1774.92 s c Elapsed CPU time: 25.2302 s Remaining CPU time: 1774.77 s c Elapsed CPU time: 25.3781 s Remaining CPU time: 1774.62 s c Elapsed CPU time: 25.5231 s Remaining CPU time: 1774.48 s c Elapsed CPU time: 25.6681 s Remaining CPU time: 1774.33 s c Elapsed CPU time: 25.8141 s Remaining CPU time: 1774.19 s c Elapsed CPU time: 25.9601 s Remaining CPU time: 1774.04 s c Elapsed CPU time: 26.107 s Remaining CPU time: 1773.89 s c Elapsed CPU time: 26.256 s Remaining CPU time: 1773.74 s c Elapsed CPU time: 26.406 s Remaining CPU time: 1773.59 s c Elapsed CPU time: 26.557 s Remaining CPU time: 1773.44 s c Elapsed CPU time: 26.7099 s Remaining CPU time: 1773.29 s c Elapsed CPU time: 26.8589 s Remaining CPU time: 1773.14 s c Elapsed CPU time: 27.0089 s Remaining CPU time: 1772.99 s c Elapsed CPU time: 27.1609 s Remaining CPU time: 1772.84 s c Elapsed CPU time: 27.3118 s Remaining CPU time: 1772.69 s c Elapsed CPU time: 27.4618 s Remaining CPU time: 1772.54 s c Elapsed CPU time: 27.6108 s Remaining CPU time: 1772.39 s c Elapsed CPU time: 27.7598 s Remaining CPU time: 1772.24 s c Elapsed CPU time: 27.9068 s Remaining CPU time: 1772.09 s c Elapsed CPU time: 28.0547 s Remaining CPU time: 1771.95 s c Elapsed CPU time: 28.2037 s Remaining CPU time: 1771.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32 113062 217698 | 37687 0 nan | 0.000 % | c =============================================================================== c Verified 113062 original clauses.