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.067989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.513921 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.622905 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.733888 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.843871 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.955854 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.06584 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.17782 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2888 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.40179 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.51477 s Remaining CPU time: 1798.49 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.84972 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.9607 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.07168 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.18367 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.40863 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.52162 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6366 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.86656 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.98055 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.09453 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.20951 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.32249 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.43548 s Remaining CPU time: 1796.56 s c Elapsed CPU time: 3.54946 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.66444 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.77942 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.89341 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.00839 s Remaining CPU time: 1795.99 s c Elapsed CPU time: 4.12337 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.23735 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 4.35234 s Remaining CPU time: 1795.65 s c Elapsed CPU time: 4.46832 s Remaining CPU time: 1795.53 s c Elapsed CPU time: 4.5843 s Remaining CPU time: 1795.42 s c Elapsed CPU time: 4.69728 s Remaining CPU time: 1795.3 s c Elapsed CPU time: 4.81127 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.92625 s Remaining CPU time: 1795.07 s c Elapsed CPU time: 5.04223 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.15721 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.2732 s Remaining CPU time: 1794.73 s c Elapsed CPU time: 5.38918 s Remaining CPU time: 1794.61 s c Elapsed CPU time: 5.50616 s Remaining CPU time: 1794.49 s c Elapsed CPU time: 5.62214 s Remaining CPU time: 1794.38 s c Elapsed CPU time: 5.73613 s Remaining CPU time: 1794.26 s c Elapsed CPU time: 5.85111 s Remaining CPU time: 1794.15 s c Elapsed CPU time: 5.96709 s Remaining CPU time: 1794.03 s c Elapsed CPU time: 6.08207 s Remaining CPU time: 1793.92 s c Elapsed CPU time: 6.19606 s Remaining CPU time: 1793.8 s c Elapsed CPU time: 6.31304 s Remaining CPU time: 1793.69 s c Elapsed CPU time: 6.42702 s Remaining CPU time: 1793.57 s c Elapsed CPU time: 6.543 s Remaining CPU time: 1793.46 s c Elapsed CPU time: 6.65799 s Remaining CPU time: 1793.34 s c Elapsed CPU time: 6.77397 s Remaining CPU time: 1793.23 s c Elapsed CPU time: 6.88995 s Remaining CPU time: 1793.11 s c Elapsed CPU time: 7.00394 s Remaining CPU time: 1793 s c Elapsed CPU time: 7.12092 s Remaining CPU time: 1792.88 s c Elapsed CPU time: 7.2359 s Remaining CPU time: 1792.76 s c Elapsed CPU time: 7.35088 s Remaining CPU time: 1792.65 s c Elapsed CPU time: 7.46686 s Remaining CPU time: 1792.53 s c Elapsed CPU time: 7.58285 s Remaining CPU time: 1792.42 s c Elapsed CPU time: 7.69883 s Remaining CPU time: 1792.3 s c Elapsed CPU time: 7.81381 s Remaining CPU time: 1792.19 s c Elapsed CPU time: 7.93079 s Remaining CPU time: 1792.07 s c Elapsed CPU time: 8.04678 s Remaining CPU time: 1791.95 s c Elapsed CPU time: 8.16276 s Remaining CPU time: 1791.84 s c Elapsed CPU time: 8.27774 s Remaining CPU time: 1791.72 s c Elapsed CPU time: 8.39372 s Remaining CPU time: 1791.61 s c Elapsed CPU time: 8.50871 s Remaining CPU time: 1791.49 s c Elapsed CPU time: 8.62569 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.74067 s Remaining CPU time: 1791.26 s c Elapsed CPU time: 8.85765 s Remaining CPU time: 1791.14 s c Elapsed CPU time: 8.97363 s Remaining CPU time: 1791.03 s c Elapsed CPU time: 9.08862 s Remaining CPU time: 1790.91 s c Elapsed CPU time: 9.2056 s Remaining CPU time: 1790.79 s c Elapsed CPU time: 9.32158 s Remaining CPU time: 1790.68 s c Elapsed CPU time: 9.43956 s Remaining CPU time: 1790.56 s c Elapsed CPU time: 9.55455 s Remaining CPU time: 1790.45 s c Elapsed CPU time: 9.67053 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.78651 s Remaining CPU time: 1790.21 s c Elapsed CPU time: 9.90249 s Remaining CPU time: 1790.1 s c Elapsed CPU time: 10.0175 s Remaining CPU time: 1789.98 s c Elapsed CPU time: 10.1315 s Remaining CPU time: 1789.87 s c Elapsed CPU time: 10.2474 s Remaining CPU time: 1789.75 s c Elapsed CPU time: 10.3634 s Remaining CPU time: 1789.64 s c Elapsed CPU time: 10.4794 s Remaining CPU time: 1789.52 s c Elapsed CPU time: 10.5954 s Remaining CPU time: 1789.4 s c Elapsed CPU time: 10.7114 s Remaining CPU time: 1789.29 s c Elapsed CPU time: 10.8294 s Remaining CPU time: 1789.17 s c Elapsed CPU time: 10.9443 s Remaining CPU time: 1789.06 s c Elapsed CPU time: 11.0613 s Remaining CPU time: 1788.94 s c Elapsed CPU time: 11.1763 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.2933 s Remaining CPU time: 1788.71 s c Elapsed CPU time: 11.4103 s Remaining CPU time: 1788.59 s c Elapsed CPU time: 11.5262 s Remaining CPU time: 1788.47 s c Elapsed CPU time: 11.6432 s Remaining CPU time: 1788.36 s c Elapsed CPU time: 11.7582 s Remaining CPU time: 1788.24 s c Elapsed CPU time: 11.8762 s Remaining CPU time: 1788.12 s c Elapsed CPU time: 11.9942 s Remaining CPU time: 1788.01 s c Elapsed CPU time: 12.1102 s Remaining CPU time: 1787.89 s c Elapsed CPU time: 12.2271 s Remaining CPU time: 1787.77 s c Elapsed CPU time: 12.3441 s Remaining CPU time: 1787.66 s c Elapsed CPU time: 12.4581 s Remaining CPU time: 1787.54 s c Elapsed CPU time: 12.5761 s Remaining CPU time: 1787.42 s c Elapsed CPU time: 12.6921 s Remaining CPU time: 1787.31 s c Elapsed CPU time: 12.8101 s Remaining CPU time: 1787.19 s c Elapsed CPU time: 12.926 s Remaining CPU time: 1787.07 s c Elapsed CPU time: 13.043 s Remaining CPU time: 1786.96 s c Elapsed CPU time: 13.16 s Remaining CPU time: 1786.84 s c Elapsed CPU time: 13.276 s Remaining CPU time: 1786.72 s c Elapsed CPU time: 13.393 s Remaining CPU time: 1786.61 s c Elapsed CPU time: 13.5099 s Remaining CPU time: 1786.49 s c Elapsed CPU time: 13.6269 s Remaining CPU time: 1786.37 s c Elapsed CPU time: 13.7439 s Remaining CPU time: 1786.26 s c Elapsed CPU time: 13.8609 s Remaining CPU time: 1786.14 s c Elapsed CPU time: 13.9789 s Remaining CPU time: 1786.02 s c Elapsed CPU time: 14.0959 s Remaining CPU time: 1785.9 s c Elapsed CPU time: 14.2138 s Remaining CPU time: 1785.79 s c Elapsed CPU time: 14.3318 s Remaining CPU time: 1785.67 s c Elapsed CPU time: 14.4508 s Remaining CPU time: 1785.55 s c Elapsed CPU time: 14.5658 s Remaining CPU time: 1785.43 s c Elapsed CPU time: 14.6838 s Remaining CPU time: 1785.32 s c Elapsed CPU time: 14.8007 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.0367 s Remaining CPU time: 1784.96 s c Elapsed CPU time: 15.1547 s Remaining CPU time: 1784.85 s c Elapsed CPU time: 15.2717 s Remaining CPU time: 1784.73 s c Elapsed CPU time: 15.3897 s Remaining CPU time: 1784.61 s c Elapsed CPU time: 15.5076 s Remaining CPU time: 1784.49 s c Elapsed CPU time: 15.6256 s Remaining CPU time: 1784.37 s c Elapsed CPU time: 15.7436 s Remaining CPU time: 1784.26 s c Elapsed CPU time: 15.8616 s Remaining CPU time: 1784.14 s c Elapsed CPU time: 15.9806 s Remaining CPU time: 1784.02 s c Elapsed CPU time: 16.0976 s Remaining CPU time: 1783.9 s c Elapsed CPU time: 16.2155 s Remaining CPU time: 1783.78 s c Elapsed CPU time: 16.3335 s Remaining CPU time: 1783.67 s c Elapsed CPU time: 16.4515 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5685 s Remaining CPU time: 1783.43 s c Elapsed CPU time: 16.6875 s Remaining CPU time: 1783.31 s c Elapsed CPU time: 16.8054 s Remaining CPU time: 1783.19 s c Elapsed CPU time: 16.9244 s Remaining CPU time: 1783.08 s c Elapsed CPU time: 17.0444 s Remaining CPU time: 1782.96 s c Elapsed CPU time: 17.1614 s Remaining CPU time: 1782.84 s c Elapsed CPU time: 17.2804 s Remaining CPU time: 1782.72 s c Elapsed CPU time: 17.3994 s Remaining CPU time: 1782.6 s c Elapsed CPU time: 17.5153 s Remaining CPU time: 1782.48 s c Elapsed CPU time: 17.6353 s Remaining CPU time: 1782.36 s c Elapsed CPU time: 17.7533 s Remaining CPU time: 1782.25 s c Elapsed CPU time: 17.8723 s Remaining CPU time: 1782.13 s c Elapsed CPU time: 17.9903 s Remaining CPU time: 1782.01 s c Elapsed CPU time: 18.1102 s Remaining CPU time: 1781.89 s c Elapsed CPU time: 18.2282 s Remaining CPU time: 1781.77 s c Elapsed CPU time: 18.3462 s Remaining CPU time: 1781.65 s c Elapsed CPU time: 18.4652 s Remaining CPU time: 1781.53 s c Elapsed CPU time: 18.5852 s Remaining CPU time: 1781.41 s c Elapsed CPU time: 18.7042 s Remaining CPU time: 1781.3 s c Elapsed CPU time: 18.8241 s Remaining CPU time: 1781.18 s c Elapsed CPU time: 18.9431 s Remaining CPU time: 1781.06 s c Elapsed CPU time: 19.0631 s Remaining CPU time: 1780.94 s c Elapsed CPU time: 19.1811 s Remaining CPU time: 1780.82 s c Elapsed CPU time: 19.3011 s Remaining CPU time: 1780.7 s c Elapsed CPU time: 19.42 s Remaining CPU time: 1780.58 s c Elapsed CPU time: 19.538 s Remaining CPU time: 1780.46 s c Elapsed CPU time: 19.657 s Remaining CPU time: 1780.34 s c Elapsed CPU time: 19.776 s Remaining CPU time: 1780.22 s c Elapsed CPU time: 19.895 s Remaining CPU time: 1780.11 s c Elapsed CPU time: 20.016 s Remaining CPU time: 1779.98 s c Elapsed CPU time: 20.1369 s Remaining CPU time: 1779.86 s c Elapsed CPU time: 20.2589 s Remaining CPU time: 1779.74 s c Elapsed CPU time: 20.3809 s Remaining CPU time: 1779.62 s c Elapsed CPU time: 20.5029 s Remaining CPU time: 1779.5 s c Elapsed CPU time: 20.6259 s Remaining CPU time: 1779.37 s c Elapsed CPU time: 20.7478 s Remaining CPU time: 1779.25 s c Elapsed CPU time: 20.8688 s Remaining CPU time: 1779.13 s c Elapsed CPU time: 20.9878 s Remaining CPU time: 1779.01 s c Elapsed CPU time: 21.1088 s Remaining CPU time: 1778.89 s c Elapsed CPU time: 21.2318 s Remaining CPU time: 1778.77 s c Elapsed CPU time: 21.3568 s Remaining CPU time: 1778.64 s c Elapsed CPU time: 21.4797 s Remaining CPU time: 1778.52 s c Elapsed CPU time: 21.6067 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.8627 s Remaining CPU time: 1778.14 s c Elapsed CPU time: 21.9897 s Remaining CPU time: 1778.01 s c Elapsed CPU time: 22.1196 s Remaining CPU time: 1777.88 s c Elapsed CPU time: 22.2496 s Remaining CPU time: 1777.75 s c Elapsed CPU time: 22.3786 s Remaining CPU time: 1777.62 s c Elapsed CPU time: 22.5076 s Remaining CPU time: 1777.49 s c Elapsed CPU time: 22.6386 s Remaining CPU time: 1777.36 s c Elapsed CPU time: 22.7685 s Remaining CPU time: 1777.23 s c Elapsed CPU time: 22.8985 s Remaining CPU time: 1777.1 s c Elapsed CPU time: 23.0305 s Remaining CPU time: 1776.97 s c Elapsed CPU time: 23.1615 s Remaining CPU time: 1776.84 s c Elapsed CPU time: 23.2935 s Remaining CPU time: 1776.71 s c Elapsed CPU time: 23.4244 s Remaining CPU time: 1776.58 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113034 217615 | 37678 0 nan | 0.000 % | c =============================================================================== c Verified 113034 original clauses.