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.071989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.518921 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.740887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.85087 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.07284 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.18482 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2988 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.52377 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63775 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.74873 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.86072 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9717 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.08368 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.19467 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.30965 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.42063 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.53161 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6426 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.75558 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.86856 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.98255 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.09553 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.20951 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.3215 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.43648 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.77543 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.88941 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.00139 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.11637 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.22936 s Remaining CPU time: 1795.77 s c Elapsed CPU time: 4.34434 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.45732 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.57031 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.68429 s Remaining CPU time: 1795.32 s c Elapsed CPU time: 4.79627 s Remaining CPU time: 1795.2 s c Elapsed CPU time: 4.91125 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 5.02623 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.14022 s Remaining CPU time: 1794.86 s c Elapsed CPU time: 5.2532 s Remaining CPU time: 1794.75 s c Elapsed CPU time: 5.36618 s Remaining CPU time: 1794.63 s c Elapsed CPU time: 5.47917 s Remaining CPU time: 1794.52 s c Elapsed CPU time: 5.59215 s Remaining CPU time: 1794.41 s c Elapsed CPU time: 5.70713 s Remaining CPU time: 1794.29 s c Elapsed CPU time: 5.82012 s Remaining CPU time: 1794.18 s c Elapsed CPU time: 5.9361 s Remaining CPU time: 1794.06 s c Elapsed CPU time: 6.05208 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.16806 s Remaining CPU time: 1793.83 s c Elapsed CPU time: 6.28304 s Remaining CPU time: 1793.72 s c Elapsed CPU time: 6.39703 s Remaining CPU time: 1793.6 s c Elapsed CPU time: 6.51101 s Remaining CPU time: 1793.49 s c Elapsed CPU time: 6.62299 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.73698 s Remaining CPU time: 1793.26 s c Elapsed CPU time: 6.85196 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.96694 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 7.07992 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.19491 s Remaining CPU time: 1792.81 s c Elapsed CPU time: 7.30889 s Remaining CPU time: 1792.69 s c Elapsed CPU time: 7.42387 s Remaining CPU time: 1792.58 s c Elapsed CPU time: 7.53885 s Remaining CPU time: 1792.46 s c Elapsed CPU time: 7.65284 s Remaining CPU time: 1792.35 s c Elapsed CPU time: 7.76782 s Remaining CPU time: 1792.23 s c Elapsed CPU time: 7.8828 s Remaining CPU time: 1792.12 s c Elapsed CPU time: 7.99678 s Remaining CPU time: 1792 s c Elapsed CPU time: 8.11177 s Remaining CPU time: 1791.89 s c Elapsed CPU time: 8.22675 s Remaining CPU time: 1791.77 s c Elapsed CPU time: 8.33973 s Remaining CPU time: 1791.66 s c Elapsed CPU time: 8.45371 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.5697 s Remaining CPU time: 1791.43 s c Elapsed CPU time: 8.68368 s Remaining CPU time: 1791.32 s c Elapsed CPU time: 8.80066 s Remaining CPU time: 1791.2 s c Elapsed CPU time: 8.91464 s Remaining CPU time: 1791.09 s c Elapsed CPU time: 9.02963 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.14561 s Remaining CPU time: 1790.85 s c Elapsed CPU time: 9.26359 s Remaining CPU time: 1790.74 s c Elapsed CPU time: 9.37857 s Remaining CPU time: 1790.62 s c Elapsed CPU time: 9.49456 s Remaining CPU time: 1790.51 s c Elapsed CPU time: 9.60954 s Remaining CPU time: 1790.39 s c Elapsed CPU time: 9.72552 s Remaining CPU time: 1790.27 s c Elapsed CPU time: 9.8405 s Remaining CPU time: 1790.16 s c Elapsed CPU time: 9.95649 s Remaining CPU time: 1790.04 s c Elapsed CPU time: 10.0735 s Remaining CPU time: 1789.93 s c Elapsed CPU time: 10.1895 s Remaining CPU time: 1789.81 s c Elapsed CPU time: 10.3044 s Remaining CPU time: 1789.7 s c Elapsed CPU time: 10.4214 s Remaining CPU time: 1789.58 s c Elapsed CPU time: 10.5384 s Remaining CPU time: 1789.46 s c Elapsed CPU time: 10.6544 s Remaining CPU time: 1789.35 s c Elapsed CPU time: 10.7704 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.3553 s Remaining CPU time: 1788.64 s c Elapsed CPU time: 11.4703 s Remaining CPU time: 1788.53 s c Elapsed CPU time: 11.5882 s Remaining CPU time: 1788.41 s c Elapsed CPU time: 11.7072 s Remaining CPU time: 1788.29 s c Elapsed CPU time: 11.8242 s Remaining CPU time: 1788.18 s c Elapsed CPU time: 11.9412 s Remaining CPU time: 1788.06 s c Elapsed CPU time: 12.0592 s Remaining CPU time: 1787.94 s c Elapsed CPU time: 12.1751 s Remaining CPU time: 1787.82 s c Elapsed CPU time: 12.2941 s Remaining CPU time: 1787.71 s c Elapsed CPU time: 12.4141 s Remaining CPU time: 1787.59 s c Elapsed CPU time: 12.5331 s Remaining CPU time: 1787.47 s c Elapsed CPU time: 12.6521 s Remaining CPU time: 1787.35 s c Elapsed CPU time: 12.7701 s Remaining CPU time: 1787.23 s c Elapsed CPU time: 12.888 s Remaining CPU time: 1787.11 s c Elapsed CPU time: 13.006 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.126 s Remaining CPU time: 1786.87 s c Elapsed CPU time: 13.243 s Remaining CPU time: 1786.76 s c Elapsed CPU time: 13.361 s Remaining CPU time: 1786.64 s c Elapsed CPU time: 13.4789 s Remaining CPU time: 1786.52 s c Elapsed CPU time: 13.5969 s Remaining CPU time: 1786.4 s c Elapsed CPU time: 13.7149 s Remaining CPU time: 1786.29 s c Elapsed CPU time: 13.8309 s Remaining CPU time: 1786.17 s c Elapsed CPU time: 13.9499 s Remaining CPU time: 1786.05 s c Elapsed CPU time: 14.0679 s Remaining CPU time: 1785.93 s c Elapsed CPU time: 14.1878 s Remaining CPU time: 1785.81 s c Elapsed CPU time: 14.3078 s Remaining CPU time: 1785.69 s c Elapsed CPU time: 14.4278 s Remaining CPU time: 1785.57 s c Elapsed CPU time: 14.5448 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.6638 s Remaining CPU time: 1785.34 s c Elapsed CPU time: 14.7828 s Remaining CPU time: 1785.22 s c Elapsed CPU time: 14.9017 s Remaining CPU time: 1785.1 s c Elapsed CPU time: 15.0197 s Remaining CPU time: 1784.98 s c Elapsed CPU time: 15.1397 s Remaining CPU time: 1784.86 s c Elapsed CPU time: 15.2557 s Remaining CPU time: 1784.74 s c Elapsed CPU time: 15.3757 s Remaining CPU time: 1784.62 s c Elapsed CPU time: 15.4936 s Remaining CPU time: 1784.51 s c Elapsed CPU time: 15.6146 s Remaining CPU time: 1784.39 s c Elapsed CPU time: 15.7346 s Remaining CPU time: 1784.27 s c Elapsed CPU time: 15.8546 s Remaining CPU time: 1784.15 s c Elapsed CPU time: 15.9746 s Remaining CPU time: 1784.03 s c Elapsed CPU time: 16.0946 s Remaining CPU time: 1783.91 s c Elapsed CPU time: 16.2125 s Remaining CPU time: 1783.79 s c Elapsed CPU time: 16.3325 s Remaining CPU time: 1783.67 s c Elapsed CPU time: 16.4525 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5735 s Remaining CPU time: 1783.43 s c Elapsed CPU time: 16.6935 s Remaining CPU time: 1783.31 s c Elapsed CPU time: 16.8124 s Remaining CPU time: 1783.19 s c Elapsed CPU time: 16.9314 s Remaining CPU time: 1783.07 s c Elapsed CPU time: 17.0524 s Remaining CPU time: 1782.95 s c Elapsed CPU time: 17.1704 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.2904 s Remaining CPU time: 1782.71 s c Elapsed CPU time: 17.4104 s Remaining CPU time: 1782.59 s c Elapsed CPU time: 17.5303 s Remaining CPU time: 1782.47 s c Elapsed CPU time: 17.6503 s Remaining CPU time: 1782.35 s c Elapsed CPU time: 17.7693 s Remaining CPU time: 1782.23 s c Elapsed CPU time: 17.8893 s Remaining CPU time: 1782.11 s c Elapsed CPU time: 18.0103 s Remaining CPU time: 1781.99 s c Elapsed CPU time: 18.1292 s Remaining CPU time: 1781.87 s c Elapsed CPU time: 18.2502 s Remaining CPU time: 1781.75 s c Elapsed CPU time: 18.3712 s Remaining CPU time: 1781.63 s c Elapsed CPU time: 18.4922 s Remaining CPU time: 1781.51 s c Elapsed CPU time: 18.6132 s Remaining CPU time: 1781.39 s c Elapsed CPU time: 18.7342 s Remaining CPU time: 1781.27 s c Elapsed CPU time: 18.8561 s Remaining CPU time: 1781.14 s c Elapsed CPU time: 18.9771 s Remaining CPU time: 1781.02 s c Elapsed CPU time: 19.0971 s Remaining CPU time: 1780.9 s c Elapsed CPU time: 19.2191 s Remaining CPU time: 1780.78 s c Elapsed CPU time: 19.3401 s Remaining CPU time: 1780.66 s c Elapsed CPU time: 19.46 s Remaining CPU time: 1780.54 s c Elapsed CPU time: 19.582 s Remaining CPU time: 1780.42 s c Elapsed CPU time: 19.704 s Remaining CPU time: 1780.3 s c Elapsed CPU time: 19.825 s Remaining CPU time: 1780.18 s c Elapsed CPU time: 19.946 s Remaining CPU time: 1780.05 s c Elapsed CPU time: 20.0699 s Remaining CPU time: 1779.93 s c Elapsed CPU time: 20.1919 s Remaining CPU time: 1779.81 s c Elapsed CPU time: 20.3129 s Remaining CPU time: 1779.69 s c Elapsed CPU time: 20.4349 s Remaining CPU time: 1779.57 s c Elapsed CPU time: 20.5569 s Remaining CPU time: 1779.44 s c Elapsed CPU time: 20.6769 s Remaining CPU time: 1779.32 s c Elapsed CPU time: 20.7988 s Remaining CPU time: 1779.2 s c Elapsed CPU time: 20.9218 s Remaining CPU time: 1779.08 s c Elapsed CPU time: 21.0438 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.4137 s Remaining CPU time: 1778.59 s c Elapsed CPU time: 21.5407 s Remaining CPU time: 1778.46 s c Elapsed CPU time: 21.6667 s Remaining CPU time: 1778.33 s c Elapsed CPU time: 21.7937 s Remaining CPU time: 1778.21 s c Elapsed CPU time: 21.9237 s Remaining CPU time: 1778.08 s c Elapsed CPU time: 22.0536 s Remaining CPU time: 1777.95 s c Elapsed CPU time: 22.1826 s Remaining CPU time: 1777.82 s c Elapsed CPU time: 22.3076 s Remaining CPU time: 1777.69 s c Elapsed CPU time: 22.4356 s Remaining CPU time: 1777.56 s c Elapsed CPU time: 22.5656 s Remaining CPU time: 1777.43 s c Elapsed CPU time: 22.6926 s Remaining CPU time: 1777.31 s c Elapsed CPU time: 22.8215 s Remaining CPU time: 1777.18 s c Elapsed CPU time: 22.9505 s Remaining CPU time: 1777.05 s c Elapsed CPU time: 23.0795 s Remaining CPU time: 1776.92 s c Elapsed CPU time: 23.2075 s Remaining CPU time: 1776.79 s c Elapsed CPU time: 23.3375 s Remaining CPU time: 1776.66 s c Elapsed CPU time: 23.4714 s Remaining CPU time: 1776.53 s c Elapsed CPU time: 23.6034 s Remaining CPU time: 1776.4 s c Elapsed CPU time: 23.7364 s Remaining CPU time: 1776.26 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113038 217614 | 37679 0 nan | 0.000 % | c =============================================================================== c Verified 113038 original clauses.