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.079987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.639902 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.750885 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.861868 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.971852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.08384 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s c Elapsed CPU time: 1.3078 s Remaining CPU time: 1798.69 s c Elapsed CPU time: 1.42178 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.53377 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.64475 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.75673 s Remaining CPU time: 1798.24 s c Elapsed CPU time: 1.86871 s Remaining CPU time: 1798.13 s c Elapsed CPU time: 1.9787 s Remaining CPU time: 1798.02 s c Elapsed CPU time: 2.09068 s Remaining CPU time: 1797.91 s c Elapsed CPU time: 2.20267 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.31565 s Remaining CPU time: 1797.68 s c Elapsed CPU time: 2.43063 s Remaining CPU time: 1797.57 s c Elapsed CPU time: 2.54461 s Remaining CPU time: 1797.46 s c Elapsed CPU time: 2.65959 s Remaining CPU time: 1797.34 s c Elapsed CPU time: 2.77358 s Remaining CPU time: 1797.23 s c Elapsed CPU time: 2.88856 s Remaining CPU time: 1797.11 s c Elapsed CPU time: 3.00354 s Remaining CPU time: 1797 s c Elapsed CPU time: 3.11653 s Remaining CPU time: 1796.88 s c Elapsed CPU time: 3.23151 s Remaining CPU time: 1796.77 s c Elapsed CPU time: 3.34549 s Remaining CPU time: 1796.65 s c Elapsed CPU time: 3.46147 s Remaining CPU time: 1796.54 s c Elapsed CPU time: 3.57646 s Remaining CPU time: 1796.42 s c Elapsed CPU time: 3.69144 s Remaining CPU time: 1796.31 s c Elapsed CPU time: 3.80542 s Remaining CPU time: 1796.19 s c Elapsed CPU time: 3.9214 s Remaining CPU time: 1796.08 s c Elapsed CPU time: 4.03539 s Remaining CPU time: 1795.96 s c Elapsed CPU time: 4.14937 s Remaining CPU time: 1795.85 s c Elapsed CPU time: 4.26235 s Remaining CPU time: 1795.74 s c Elapsed CPU time: 4.37733 s Remaining CPU time: 1795.62 s c Elapsed CPU time: 4.49232 s Remaining CPU time: 1795.51 s c Elapsed CPU time: 4.6073 s Remaining CPU time: 1795.39 s c Elapsed CPU time: 4.72328 s Remaining CPU time: 1795.28 s c Elapsed CPU time: 4.84226 s Remaining CPU time: 1795.16 s c Elapsed CPU time: 4.95825 s Remaining CPU time: 1795.04 s c Elapsed CPU time: 5.07323 s Remaining CPU time: 1794.93 s c Elapsed CPU time: 5.19021 s Remaining CPU time: 1794.81 s c Elapsed CPU time: 5.30619 s Remaining CPU time: 1794.69 s c Elapsed CPU time: 5.42218 s Remaining CPU time: 1794.58 s c Elapsed CPU time: 5.53616 s Remaining CPU time: 1794.46 s c Elapsed CPU time: 5.65214 s Remaining CPU time: 1794.35 s c Elapsed CPU time: 5.76812 s Remaining CPU time: 1794.23 s c Elapsed CPU time: 5.88511 s Remaining CPU time: 1794.11 s c Elapsed CPU time: 6.00309 s Remaining CPU time: 1794 s c Elapsed CPU time: 6.12107 s Remaining CPU time: 1793.88 s c Elapsed CPU time: 6.24305 s Remaining CPU time: 1793.76 s c Elapsed CPU time: 6.36003 s Remaining CPU time: 1793.64 s c Elapsed CPU time: 6.48101 s Remaining CPU time: 1793.52 s c Elapsed CPU time: 6.6 s Remaining CPU time: 1793.4 s c Elapsed CPU time: 6.71998 s Remaining CPU time: 1793.28 s c Elapsed CPU time: 6.83696 s Remaining CPU time: 1793.16 s c Elapsed CPU time: 6.95794 s Remaining CPU time: 1793.04 s c Elapsed CPU time: 7.07392 s Remaining CPU time: 1792.93 s c Elapsed CPU time: 7.19591 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.31089 s Remaining CPU time: 1792.69 s c Elapsed CPU time: 7.43287 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.55085 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.67283 s Remaining CPU time: 1792.33 s c Elapsed CPU time: 7.79082 s Remaining CPU time: 1792.21 s c Elapsed CPU time: 7.9128 s Remaining CPU time: 1792.09 s c Elapsed CPU time: 8.03078 s Remaining CPU time: 1791.97 s c Elapsed CPU time: 8.15176 s Remaining CPU time: 1791.85 s c Elapsed CPU time: 8.26874 s Remaining CPU time: 1791.73 s c Elapsed CPU time: 8.38872 s Remaining CPU time: 1791.61 s c Elapsed CPU time: 8.50771 s Remaining CPU time: 1791.49 s c Elapsed CPU time: 8.62869 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.74467 s Remaining CPU time: 1791.26 s c Elapsed CPU time: 8.86665 s Remaining CPU time: 1791.13 s c Elapsed CPU time: 8.98563 s Remaining CPU time: 1791.01 s c Elapsed CPU time: 9.10761 s Remaining CPU time: 1790.89 s c Elapsed CPU time: 9.2266 s Remaining CPU time: 1790.77 s c Elapsed CPU time: 9.34858 s Remaining CPU time: 1790.65 s c Elapsed CPU time: 9.46956 s Remaining CPU time: 1790.53 s c Elapsed CPU time: 9.59254 s Remaining CPU time: 1790.41 s c Elapsed CPU time: 9.71252 s Remaining CPU time: 1790.29 s c Elapsed CPU time: 9.8325 s Remaining CPU time: 1790.17 s c Elapsed CPU time: 9.95149 s Remaining CPU time: 1790.05 s c Elapsed CPU time: 10.0735 s Remaining CPU time: 1789.93 s c Elapsed CPU time: 10.1914 s Remaining CPU time: 1789.81 s c Elapsed CPU time: 10.3144 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.4314 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.5534 s Remaining CPU time: 1789.45 s c Elapsed CPU time: 10.6714 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.7944 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.9143 s Remaining CPU time: 1789.09 s c Elapsed CPU time: 11.0383 s Remaining CPU time: 1788.96 s c Elapsed CPU time: 11.1583 s Remaining CPU time: 1788.84 s c Elapsed CPU time: 11.2823 s Remaining CPU time: 1788.72 s c Elapsed CPU time: 11.4013 s Remaining CPU time: 1788.6 s c Elapsed CPU time: 11.5222 s Remaining CPU time: 1788.48 s c Elapsed CPU time: 11.6392 s Remaining CPU time: 1788.36 s c Elapsed CPU time: 11.7632 s Remaining CPU time: 1788.24 s c Elapsed CPU time: 11.8812 s Remaining CPU time: 1788.12 s c Elapsed CPU time: 12.0032 s Remaining CPU time: 1788 s c Elapsed CPU time: 12.1222 s Remaining CPU time: 1787.88 s c Elapsed CPU time: 12.2401 s Remaining CPU time: 1787.76 s c Elapsed CPU time: 12.3601 s Remaining CPU time: 1787.64 s c Elapsed CPU time: 12.4811 s Remaining CPU time: 1787.52 s c Elapsed CPU time: 12.6001 s Remaining CPU time: 1787.4 s c Elapsed CPU time: 12.7181 s Remaining CPU time: 1787.28 s c Elapsed CPU time: 12.838 s Remaining CPU time: 1787.16 s c Elapsed CPU time: 12.957 s Remaining CPU time: 1787.04 s c Elapsed CPU time: 13.075 s Remaining CPU time: 1786.92 s c Elapsed CPU time: 13.194 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.311 s Remaining CPU time: 1786.69 s c Elapsed CPU time: 13.431 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.6699 s Remaining CPU time: 1786.33 s c Elapsed CPU time: 13.7889 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.9079 s Remaining CPU time: 1786.09 s c Elapsed CPU time: 14.0279 s Remaining CPU time: 1785.97 s c Elapsed CPU time: 14.1468 s Remaining CPU time: 1785.85 s c Elapsed CPU time: 14.2658 s Remaining CPU time: 1785.73 s c Elapsed CPU time: 14.3858 s Remaining CPU time: 1785.61 s c Elapsed CPU time: 14.5038 s Remaining CPU time: 1785.5 s c Elapsed CPU time: 14.6238 s Remaining CPU time: 1785.38 s c Elapsed CPU time: 14.7428 s Remaining CPU time: 1785.26 s c Elapsed CPU time: 14.8607 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.0997 s Remaining CPU time: 1784.9 s c Elapsed CPU time: 15.2187 s Remaining CPU time: 1784.78 s c Elapsed CPU time: 15.3387 s Remaining CPU time: 1784.66 s c Elapsed CPU time: 15.4557 s Remaining CPU time: 1784.54 s c Elapsed CPU time: 15.5746 s Remaining CPU time: 1784.43 s c Elapsed CPU time: 15.6926 s Remaining CPU time: 1784.31 s c Elapsed CPU time: 15.8116 s Remaining CPU time: 1784.19 s c Elapsed CPU time: 15.9296 s Remaining CPU time: 1784.07 s c Elapsed CPU time: 16.0506 s Remaining CPU time: 1783.95 s c Elapsed CPU time: 16.1715 s Remaining CPU time: 1783.83 s c Elapsed CPU time: 16.2915 s Remaining CPU time: 1783.71 s c Elapsed CPU time: 16.4095 s Remaining CPU time: 1783.59 s c Elapsed CPU time: 16.5275 s Remaining CPU time: 1783.47 s c Elapsed CPU time: 16.6465 s Remaining CPU time: 1783.35 s c Elapsed CPU time: 16.7655 s Remaining CPU time: 1783.23 s c Elapsed CPU time: 16.8854 s Remaining CPU time: 1783.11 s c Elapsed CPU time: 17.0064 s Remaining CPU time: 1782.99 s c Elapsed CPU time: 17.1284 s Remaining CPU time: 1782.87 s c Elapsed CPU time: 17.2484 s Remaining CPU time: 1782.75 s c Elapsed CPU time: 17.3694 s Remaining CPU time: 1782.63 s c Elapsed CPU time: 17.4893 s Remaining CPU time: 1782.51 s c Elapsed CPU time: 17.6073 s Remaining CPU time: 1782.39 s c Elapsed CPU time: 17.7263 s Remaining CPU time: 1782.27 s c Elapsed CPU time: 17.8453 s Remaining CPU time: 1782.15 s c Elapsed CPU time: 17.9633 s Remaining CPU time: 1782.04 s c Elapsed CPU time: 18.0832 s Remaining CPU time: 1781.92 s c Elapsed CPU time: 18.2052 s Remaining CPU time: 1781.79 s c Elapsed CPU time: 18.3262 s Remaining CPU time: 1781.67 s c Elapsed CPU time: 18.4462 s Remaining CPU time: 1781.55 s c Elapsed CPU time: 18.5652 s Remaining CPU time: 1781.43 s c Elapsed CPU time: 18.6842 s Remaining CPU time: 1781.32 s c Elapsed CPU time: 18.8051 s Remaining CPU time: 1781.19 s c Elapsed CPU time: 18.9271 s Remaining CPU time: 1781.07 s c Elapsed CPU time: 19.0471 s Remaining CPU time: 1780.95 s c Elapsed CPU time: 19.1681 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.413 s Remaining CPU time: 1780.59 s c Elapsed CPU time: 19.536 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.778 s Remaining CPU time: 1780.22 s c Elapsed CPU time: 19.897 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.1389 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.5049 s Remaining CPU time: 1779.5 s c Elapsed CPU time: 20.6279 s Remaining CPU time: 1779.37 s c Elapsed CPU time: 20.7498 s Remaining CPU time: 1779.25 s c Elapsed CPU time: 20.8708 s Remaining CPU time: 1779.13 s c Elapsed CPU time: 20.9918 s Remaining CPU time: 1779.01 s c Elapsed CPU time: 21.1118 s Remaining CPU time: 1778.89 s c Elapsed CPU time: 21.2328 s Remaining CPU time: 1778.77 s c Elapsed CPU time: 21.3548 s Remaining CPU time: 1778.65 s c Elapsed CPU time: 21.4757 s Remaining CPU time: 1778.52 s c Elapsed CPU time: 21.6007 s Remaining CPU time: 1778.4 s c Elapsed CPU time: 21.7267 s Remaining CPU time: 1778.27 s c Elapsed CPU time: 21.8537 s Remaining CPU time: 1778.15 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.2366 s Remaining CPU time: 1777.76 s c Elapsed CPU time: 22.3636 s Remaining CPU time: 1777.64 s c Elapsed CPU time: 22.4916 s Remaining CPU time: 1777.51 s c Elapsed CPU time: 22.6186 s Remaining CPU time: 1777.38 s c Elapsed CPU time: 22.7475 s Remaining CPU time: 1777.25 s c Elapsed CPU time: 22.8765 s Remaining CPU time: 1777.12 s c Elapsed CPU time: 23.0055 s Remaining CPU time: 1776.99 s c Elapsed CPU time: 23.1345 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.2665 s Remaining CPU time: 1776.73 s c Elapsed CPU time: 23.3984 s Remaining CPU time: 1776.6 s c Elapsed CPU time: 23.5284 s Remaining CPU time: 1776.47 s c Elapsed CPU time: 23.6594 s Remaining CPU time: 1776.34 s c Elapsed CPU time: 23.7934 s Remaining CPU time: 1776.21 s c Elapsed CPU time: 23.9234 s Remaining CPU time: 1776.08 s c Elapsed CPU time: 24.0553 s Remaining CPU time: 1775.94 s c Elapsed CPU time: 24.1863 s Remaining CPU time: 1775.81 s c Elapsed CPU time: 24.3173 s Remaining CPU time: 1775.68 s c Elapsed CPU time: 24.4503 s Remaining CPU time: 1775.55 s c Elapsed CPU time: 24.5823 s Remaining CPU time: 1775.42 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113046 217627 | 37682 0 nan | 0.000 % | c =============================================================================== c Verified 113046 original clauses.