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.075988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.298954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.516921 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.626904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.734888 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.951855 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 1.06184 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.17282 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2828 s Remaining CPU time: 1798.72 s c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.50377 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.61275 s Remaining CPU time: 1798.39 s c Elapsed CPU time: 1.72474 s Remaining CPU time: 1798.28 s c Elapsed CPU time: 1.83372 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.9427 s Remaining CPU time: 1798.06 s c Elapsed CPU time: 2.05269 s Remaining CPU time: 1797.95 s c Elapsed CPU time: 2.16467 s Remaining CPU time: 1797.84 s c Elapsed CPU time: 2.27465 s Remaining CPU time: 1797.73 s c Elapsed CPU time: 2.38664 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.49762 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.6076 s Remaining CPU time: 1797.39 s c Elapsed CPU time: 2.71959 s Remaining CPU time: 1797.28 s c Elapsed CPU time: 2.83257 s Remaining CPU time: 1797.17 s c Elapsed CPU time: 2.94555 s Remaining CPU time: 1797.05 s c Elapsed CPU time: 3.05953 s Remaining CPU time: 1796.94 s c Elapsed CPU time: 3.17252 s Remaining CPU time: 1796.83 s c Elapsed CPU time: 3.2865 s Remaining CPU time: 1796.71 s c Elapsed CPU time: 3.39948 s Remaining CPU time: 1796.6 s c Elapsed CPU time: 3.51347 s Remaining CPU time: 1796.49 s c Elapsed CPU time: 3.62845 s Remaining CPU time: 1796.37 s c Elapsed CPU time: 3.74243 s Remaining CPU time: 1796.26 s c Elapsed CPU time: 3.85541 s Remaining CPU time: 1796.14 s c Elapsed CPU time: 3.9704 s Remaining CPU time: 1796.03 s c Elapsed CPU time: 4.08438 s Remaining CPU time: 1795.92 s c Elapsed CPU time: 4.19736 s Remaining CPU time: 1795.8 s c Elapsed CPU time: 4.31034 s Remaining CPU time: 1795.69 s c Elapsed CPU time: 4.42533 s Remaining CPU time: 1795.57 s c Elapsed CPU time: 4.53931 s Remaining CPU time: 1795.46 s c Elapsed CPU time: 4.65429 s Remaining CPU time: 1795.35 s c Elapsed CPU time: 4.76927 s Remaining CPU time: 1795.23 s c Elapsed CPU time: 4.88426 s Remaining CPU time: 1795.12 s c Elapsed CPU time: 4.99824 s Remaining CPU time: 1795 s c Elapsed CPU time: 5.11122 s Remaining CPU time: 1794.89 s c Elapsed CPU time: 5.2252 s Remaining CPU time: 1794.77 s c Elapsed CPU time: 5.34119 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.57215 s Remaining CPU time: 1794.43 s c Elapsed CPU time: 5.68713 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.80312 s Remaining CPU time: 1794.2 s c Elapsed CPU time: 5.9181 s Remaining CPU time: 1794.08 s c Elapsed CPU time: 6.03408 s Remaining CPU time: 1793.97 s c Elapsed CPU time: 6.15006 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.26505 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.38003 s Remaining CPU time: 1793.62 s c Elapsed CPU time: 6.49501 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.60799 s Remaining CPU time: 1793.39 s c Elapsed CPU time: 6.72398 s Remaining CPU time: 1793.28 s c Elapsed CPU time: 6.83896 s Remaining CPU time: 1793.16 s c Elapsed CPU time: 6.95294 s Remaining CPU time: 1793.05 s c Elapsed CPU time: 7.06792 s Remaining CPU time: 1792.93 s c Elapsed CPU time: 7.18191 s Remaining CPU time: 1792.82 s c Elapsed CPU time: 7.29689 s Remaining CPU time: 1792.7 s c Elapsed CPU time: 7.41187 s Remaining CPU time: 1792.59 s c Elapsed CPU time: 7.52785 s Remaining CPU time: 1792.47 s c Elapsed CPU time: 7.64484 s Remaining CPU time: 1792.36 s c Elapsed CPU time: 7.75982 s Remaining CPU time: 1792.24 s c Elapsed CPU time: 7.8748 s Remaining CPU time: 1792.13 s c Elapsed CPU time: 7.98979 s Remaining CPU time: 1792.01 s c Elapsed CPU time: 8.10477 s Remaining CPU time: 1791.9 s c Elapsed CPU time: 8.21975 s Remaining CPU time: 1791.78 s c Elapsed CPU time: 8.33473 s Remaining CPU time: 1791.67 s c Elapsed CPU time: 8.45072 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.5677 s Remaining CPU time: 1791.43 s c Elapsed CPU time: 8.68168 s Remaining CPU time: 1791.32 s c Elapsed CPU time: 8.79666 s Remaining CPU time: 1791.2 s c Elapsed CPU time: 8.91065 s Remaining CPU time: 1791.09 s c Elapsed CPU time: 9.02663 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.14261 s Remaining CPU time: 1790.86 s c Elapsed CPU time: 9.25859 s Remaining CPU time: 1790.74 s c Elapsed CPU time: 9.37358 s Remaining CPU time: 1790.63 s c Elapsed CPU time: 9.48956 s Remaining CPU time: 1790.51 s c Elapsed CPU time: 9.60554 s Remaining CPU time: 1790.39 s c Elapsed CPU time: 9.72252 s Remaining CPU time: 1790.28 s c Elapsed CPU time: 9.8385 s Remaining CPU time: 1790.16 s c Elapsed CPU time: 9.95449 s Remaining CPU time: 1790.05 s c Elapsed CPU time: 10.0695 s Remaining CPU time: 1789.93 s c Elapsed CPU time: 10.1865 s Remaining CPU time: 1789.81 s c Elapsed CPU time: 10.3034 s Remaining CPU time: 1789.7 s c Elapsed CPU time: 10.4204 s Remaining CPU time: 1789.58 s c Elapsed CPU time: 10.5374 s Remaining CPU time: 1789.46 s c Elapsed CPU time: 10.6534 s Remaining CPU time: 1789.35 s c Elapsed CPU time: 10.7694 s Remaining CPU time: 1789.23 s c Elapsed CPU time: 10.8873 s Remaining CPU time: 1789.11 s c Elapsed CPU time: 11.0043 s Remaining CPU time: 1789 s c Elapsed CPU time: 11.1213 s Remaining CPU time: 1788.88 s c Elapsed CPU time: 11.2373 s Remaining CPU time: 1788.76 s c Elapsed CPU time: 11.3543 s Remaining CPU time: 1788.65 s c Elapsed CPU time: 11.4703 s Remaining CPU time: 1788.53 s c Elapsed CPU time: 11.5872 s Remaining CPU time: 1788.41 s c Elapsed CPU time: 11.7052 s Remaining CPU time: 1788.29 s c Elapsed CPU time: 11.8222 s Remaining CPU time: 1788.18 s c Elapsed CPU time: 11.9382 s Remaining CPU time: 1788.06 s c Elapsed CPU time: 12.0562 s Remaining CPU time: 1787.94 s c Elapsed CPU time: 12.1721 s Remaining CPU time: 1787.83 s c Elapsed CPU time: 12.2911 s Remaining CPU time: 1787.71 s c Elapsed CPU time: 12.4071 s Remaining CPU time: 1787.59 s c Elapsed CPU time: 12.5251 s Remaining CPU time: 1787.47 s c Elapsed CPU time: 12.6431 s Remaining CPU time: 1787.36 s c Elapsed CPU time: 12.7591 s Remaining CPU time: 1787.24 s c Elapsed CPU time: 12.877 s Remaining CPU time: 1787.12 s c Elapsed CPU time: 12.994 s Remaining CPU time: 1787.01 s c Elapsed CPU time: 13.113 s Remaining CPU time: 1786.89 s c Elapsed CPU time: 13.23 s Remaining CPU time: 1786.77 s c Elapsed CPU time: 13.346 s Remaining CPU time: 1786.65 s c Elapsed CPU time: 13.463 s Remaining CPU time: 1786.54 s c Elapsed CPU time: 13.5789 s Remaining CPU time: 1786.42 s c Elapsed CPU time: 13.6949 s Remaining CPU time: 1786.31 s c Elapsed CPU time: 13.8109 s Remaining CPU time: 1786.19 s c Elapsed CPU time: 13.9279 s Remaining CPU time: 1786.07 s c Elapsed CPU time: 14.0459 s Remaining CPU time: 1785.95 s c Elapsed CPU time: 14.1628 s Remaining CPU time: 1785.84 s c Elapsed CPU time: 14.2788 s Remaining CPU time: 1785.72 s c Elapsed CPU time: 14.3958 s Remaining CPU time: 1785.6 s c Elapsed CPU time: 14.5138 s Remaining CPU time: 1785.49 s c Elapsed CPU time: 14.6298 s Remaining CPU time: 1785.37 s c Elapsed CPU time: 14.7468 s Remaining CPU time: 1785.25 s c Elapsed CPU time: 14.8627 s Remaining CPU time: 1785.14 s c Elapsed CPU time: 14.9797 s Remaining CPU time: 1785.02 s c Elapsed CPU time: 15.0967 s Remaining CPU time: 1784.9 s c Elapsed CPU time: 15.2137 s Remaining CPU time: 1784.79 s c Elapsed CPU time: 15.3297 s Remaining CPU time: 1784.67 s c Elapsed CPU time: 15.4477 s Remaining CPU time: 1784.55 s c Elapsed CPU time: 15.5646 s Remaining CPU time: 1784.44 s c Elapsed CPU time: 15.6816 s Remaining CPU time: 1784.32 s c Elapsed CPU time: 15.7976 s Remaining CPU time: 1784.2 s c Elapsed CPU time: 15.9156 s Remaining CPU time: 1784.08 s c Elapsed CPU time: 16.0356 s Remaining CPU time: 1783.96 s c Elapsed CPU time: 16.1535 s Remaining CPU time: 1783.85 s c Elapsed CPU time: 16.2715 s Remaining CPU time: 1783.73 s c Elapsed CPU time: 16.3905 s Remaining CPU time: 1783.61 s c Elapsed CPU time: 16.5075 s Remaining CPU time: 1783.49 s c Elapsed CPU time: 16.6265 s Remaining CPU time: 1783.37 s c Elapsed CPU time: 16.7455 s Remaining CPU time: 1783.25 s c Elapsed CPU time: 16.8654 s Remaining CPU time: 1783.13 s c Elapsed CPU time: 16.9834 s Remaining CPU time: 1783.02 s c Elapsed CPU time: 17.1024 s Remaining CPU time: 1782.9 s c Elapsed CPU time: 17.2204 s Remaining CPU time: 1782.78 s c Elapsed CPU time: 17.3394 s Remaining CPU time: 1782.66 s c Elapsed CPU time: 17.4573 s Remaining CPU time: 1782.54 s c Elapsed CPU time: 17.5763 s Remaining CPU time: 1782.42 s c Elapsed CPU time: 17.6943 s Remaining CPU time: 1782.31 s c Elapsed CPU time: 17.8133 s Remaining CPU time: 1782.19 s c Elapsed CPU time: 17.9323 s Remaining CPU time: 1782.07 s c Elapsed CPU time: 18.0523 s Remaining CPU time: 1781.95 s c Elapsed CPU time: 18.1712 s Remaining CPU time: 1781.83 s c Elapsed CPU time: 18.2902 s Remaining CPU time: 1781.71 s c Elapsed CPU time: 18.4092 s Remaining CPU time: 1781.59 s c Elapsed CPU time: 18.5292 s Remaining CPU time: 1781.47 s c Elapsed CPU time: 18.6482 s Remaining CPU time: 1781.35 s c Elapsed CPU time: 18.7681 s Remaining CPU time: 1781.23 s c Elapsed CPU time: 18.8881 s Remaining CPU time: 1781.11 s c Elapsed CPU time: 19.0071 s Remaining CPU time: 1780.99 s c Elapsed CPU time: 19.1261 s Remaining CPU time: 1780.87 s c Elapsed CPU time: 19.2461 s Remaining CPU time: 1780.75 s c Elapsed CPU time: 19.3651 s Remaining CPU time: 1780.63 s c Elapsed CPU time: 19.482 s Remaining CPU time: 1780.52 s c Elapsed CPU time: 19.602 s Remaining CPU time: 1780.4 s c Elapsed CPU time: 19.723 s Remaining CPU time: 1780.28 s c Elapsed CPU time: 19.844 s Remaining CPU time: 1780.16 s c Elapsed CPU time: 19.964 s Remaining CPU time: 1780.04 s c Elapsed CPU time: 20.0839 s Remaining CPU time: 1779.92 s c Elapsed CPU time: 20.2029 s Remaining CPU time: 1779.8 s c Elapsed CPU time: 20.3229 s Remaining CPU time: 1779.68 s c Elapsed CPU time: 20.4429 s Remaining CPU time: 1779.56 s c Elapsed CPU time: 20.5629 s Remaining CPU time: 1779.44 s c Elapsed CPU time: 20.6809 s Remaining CPU time: 1779.32 s c Elapsed CPU time: 20.8008 s Remaining CPU time: 1779.2 s c Elapsed CPU time: 20.9228 s Remaining CPU time: 1779.08 s c Elapsed CPU time: 21.0448 s Remaining CPU time: 1778.96 s c Elapsed CPU time: 21.1668 s Remaining CPU time: 1778.83 s c Elapsed CPU time: 21.2898 s Remaining CPU time: 1778.71 s c Elapsed CPU time: 21.4127 s Remaining CPU time: 1778.59 s c Elapsed CPU time: 21.5367 s Remaining CPU time: 1778.46 s c Elapsed CPU time: 21.6597 s Remaining CPU time: 1778.34 s c Elapsed CPU time: 21.7837 s Remaining CPU time: 1778.22 s c Elapsed CPU time: 21.9077 s Remaining CPU time: 1778.09 s c Elapsed CPU time: 22.0337 s Remaining CPU time: 1777.97 s c Elapsed CPU time: 22.1566 s Remaining CPU time: 1777.84 s c Elapsed CPU time: 22.2816 s Remaining CPU time: 1777.72 s c Elapsed CPU time: 22.4066 s Remaining CPU time: 1777.59 s c Elapsed CPU time: 22.5296 s Remaining CPU time: 1777.47 s c Elapsed CPU time: 22.6556 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.7795 s Remaining CPU time: 1777.22 s c Elapsed CPU time: 22.9065 s Remaining CPU time: 1777.09 s c Elapsed CPU time: 23.0305 s Remaining CPU time: 1776.97 s c Elapsed CPU time: 23.1565 s Remaining CPU time: 1776.84 s c Elapsed CPU time: 23.2815 s Remaining CPU time: 1776.72 s c Elapsed CPU time: 23.4094 s Remaining CPU time: 1776.59 s c Elapsed CPU time: 23.5354 s Remaining CPU time: 1776.46 s c Elapsed CPU time: 23.6654 s Remaining CPU time: 1776.33 s c Elapsed CPU time: 23.7934 s Remaining CPU time: 1776.21 s c Elapsed CPU time: 23.9244 s Remaining CPU time: 1776.08 s c Elapsed CPU time: 24.0523 s Remaining CPU time: 1775.95 s c Elapsed CPU time: 24.1813 s Remaining CPU time: 1775.82 s c Elapsed CPU time: 24.3103 s Remaining CPU time: 1775.69 s c Elapsed CPU time: 24.4383 s Remaining CPU time: 1775.56 s c Elapsed CPU time: 24.5683 s Remaining CPU time: 1775.43 s c Elapsed CPU time: 24.6982 s Remaining CPU time: 1775.3 s c Elapsed CPU time: 24.8282 s Remaining CPU time: 1775.17 s c Elapsed CPU time: 24.9592 s Remaining CPU time: 1775.04 s c Elapsed CPU time: 25.0912 s Remaining CPU time: 1774.91 s c Elapsed CPU time: 25.2222 s Remaining CPU time: 1774.78 s c Elapsed CPU time: 25.3521 s Remaining CPU time: 1774.65 s c Elapsed CPU time: 25.4831 s Remaining CPU time: 1774.52 s c Elapsed CPU time: 25.6161 s Remaining CPU time: 1774.38 s c Elapsed CPU time: 25.7481 s Remaining CPU time: 1774.25 s c Elapsed CPU time: 25.8781 s Remaining CPU time: 1774.12 s c Elapsed CPU time: 26.01 s Remaining CPU time: 1773.99 s c Elapsed CPU time: 26.142 s Remaining CPU time: 1773.86 s c Elapsed CPU time: 26.274 s Remaining CPU time: 1773.73 s c Elapsed CPU time: 26.405 s Remaining CPU time: 1773.6 s c Elapsed CPU time: 26.537 s Remaining CPU time: 1773.46 s c Elapsed CPU time: 26.6709 s Remaining CPU time: 1773.33 s c Elapsed CPU time: 26.8049 s Remaining CPU time: 1773.2 s c Elapsed CPU time: 26.9399 s Remaining CPU time: 1773.06 s c Elapsed CPU time: 27.0739 s Remaining CPU time: 1772.93 s c Elapsed CPU time: 27.2059 s Remaining CPU time: 1772.79 s c Elapsed CPU time: 27.3388 s Remaining CPU time: 1772.66 s c Elapsed CPU time: 27.4748 s Remaining CPU time: 1772.53 s c Elapsed CPU time: 27.6088 s Remaining CPU time: 1772.39 s c Elapsed CPU time: 27.7438 s Remaining CPU time: 1772.26 s c Elapsed CPU time: 27.8768 s Remaining CPU time: 1772.12 s c Elapsed CPU time: 28.0117 s Remaining CPU time: 1771.99 s c Elapsed CPU time: 28.1467 s Remaining CPU time: 1771.85 s c Elapsed CPU time: 28.2837 s Remaining CPU time: 1771.72 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9 113110 217716 | 37703 0 nan | 0.000 % | c =============================================================================== c Verified 113110 original clauses.