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.074988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.181972 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.512922 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.625904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.957854 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.06984 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.18182 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2938 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.40579 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.51777 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.62975 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.74174 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.85172 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.9637 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.07568 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.18667 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.29965 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.41063 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.52262 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6356 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.74758 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.86057 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.97455 s Remaining CPU time: 1797.03 s c Elapsed CPU time: 3.09053 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.20551 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.31949 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.43248 s Remaining CPU time: 1796.57 s c Elapsed CPU time: 3.54546 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.66044 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.77443 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.88841 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.00239 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.11537 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.46032 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.5733 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.68629 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.80127 s Remaining CPU time: 1795.2 s c Elapsed CPU time: 4.91725 s Remaining CPU time: 1795.08 s c Elapsed CPU time: 5.03223 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.14722 s Remaining CPU time: 1794.85 s c Elapsed CPU time: 5.2622 s Remaining CPU time: 1794.74 s c Elapsed CPU time: 5.37618 s Remaining CPU time: 1794.62 s c Elapsed CPU time: 5.49116 s Remaining CPU time: 1794.51 s c Elapsed CPU time: 5.60615 s Remaining CPU time: 1794.39 s c Elapsed CPU time: 5.72113 s Remaining CPU time: 1794.28 s c Elapsed CPU time: 5.83911 s Remaining CPU time: 1794.16 s c Elapsed CPU time: 5.95409 s Remaining CPU time: 1794.05 s c Elapsed CPU time: 6.07008 s Remaining CPU time: 1793.93 s c Elapsed CPU time: 6.18606 s Remaining CPU time: 1793.81 s c Elapsed CPU time: 6.30104 s Remaining CPU time: 1793.7 s c Elapsed CPU time: 6.41602 s Remaining CPU time: 1793.58 s c Elapsed CPU time: 6.53301 s Remaining CPU time: 1793.47 s c Elapsed CPU time: 6.64799 s Remaining CPU time: 1793.35 s c Elapsed CPU time: 6.76497 s Remaining CPU time: 1793.24 s c Elapsed CPU time: 6.87995 s Remaining CPU time: 1793.12 s c Elapsed CPU time: 6.99394 s Remaining CPU time: 1793.01 s c Elapsed CPU time: 7.10992 s Remaining CPU time: 1792.89 s c Elapsed CPU time: 7.2249 s Remaining CPU time: 1792.78 s c Elapsed CPU time: 7.34088 s Remaining CPU time: 1792.66 s c Elapsed CPU time: 7.45687 s Remaining CPU time: 1792.54 s c Elapsed CPU time: 7.57185 s Remaining CPU time: 1792.43 s c Elapsed CPU time: 7.68783 s Remaining CPU time: 1792.31 s c Elapsed CPU time: 7.80481 s Remaining CPU time: 1792.2 s c Elapsed CPU time: 7.92279 s Remaining CPU time: 1792.08 s c Elapsed CPU time: 8.03678 s Remaining CPU time: 1791.96 s c Elapsed CPU time: 8.15476 s Remaining CPU time: 1791.85 s c Elapsed CPU time: 8.27074 s Remaining CPU time: 1791.73 s c Elapsed CPU time: 8.38772 s Remaining CPU time: 1791.61 s c Elapsed CPU time: 8.50271 s Remaining CPU time: 1791.5 s c Elapsed CPU time: 8.61969 s Remaining CPU time: 1791.38 s c Elapsed CPU time: 8.73467 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.85065 s Remaining CPU time: 1791.15 s c Elapsed CPU time: 8.96564 s Remaining CPU time: 1791.03 s c Elapsed CPU time: 9.08162 s Remaining CPU time: 1790.92 s c Elapsed CPU time: 9.1966 s Remaining CPU time: 1790.8 s c Elapsed CPU time: 9.31258 s Remaining CPU time: 1790.69 s c Elapsed CPU time: 9.42757 s Remaining CPU time: 1790.57 s c Elapsed CPU time: 9.54355 s Remaining CPU time: 1790.46 s c Elapsed CPU time: 9.65953 s Remaining CPU time: 1790.34 s c Elapsed CPU time: 9.77651 s Remaining CPU time: 1790.22 s c Elapsed CPU time: 9.8925 s Remaining CPU time: 1790.11 s c Elapsed CPU time: 10.0065 s Remaining CPU time: 1789.99 s c Elapsed CPU time: 10.1215 s Remaining CPU time: 1789.88 s c Elapsed CPU time: 10.2374 s Remaining CPU time: 1789.76 s c Elapsed CPU time: 10.3524 s Remaining CPU time: 1789.65 s c Elapsed CPU time: 10.4674 s Remaining CPU time: 1789.53 s c Elapsed CPU time: 10.5834 s Remaining CPU time: 1789.42 s c Elapsed CPU time: 10.6964 s Remaining CPU time: 1789.3 s c Elapsed CPU time: 10.8124 s Remaining CPU time: 1789.19 s c Elapsed CPU time: 10.9283 s Remaining CPU time: 1789.07 s c Elapsed CPU time: 11.0453 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.1613 s Remaining CPU time: 1788.84 s c Elapsed CPU time: 11.2783 s Remaining CPU time: 1788.72 s c Elapsed CPU time: 11.3963 s Remaining CPU time: 1788.6 s c Elapsed CPU time: 11.5132 s Remaining CPU time: 1788.49 s c Elapsed CPU time: 11.6282 s Remaining CPU time: 1788.37 s c Elapsed CPU time: 11.7462 s Remaining CPU time: 1788.25 s c Elapsed CPU time: 11.8622 s Remaining CPU time: 1788.14 s c Elapsed CPU time: 11.9792 s Remaining CPU time: 1788.02 s c Elapsed CPU time: 12.0942 s Remaining CPU time: 1787.91 s c Elapsed CPU time: 12.2101 s Remaining CPU time: 1787.79 s c Elapsed CPU time: 12.3251 s Remaining CPU time: 1787.67 s c Elapsed CPU time: 12.4431 s Remaining CPU time: 1787.56 s c Elapsed CPU time: 12.5581 s Remaining CPU time: 1787.44 s c Elapsed CPU time: 12.6741 s Remaining CPU time: 1787.33 s c Elapsed CPU time: 12.7911 s Remaining CPU time: 1787.21 s c Elapsed CPU time: 12.906 s Remaining CPU time: 1787.09 s c Elapsed CPU time: 13.023 s Remaining CPU time: 1786.98 s c Elapsed CPU time: 13.137 s Remaining CPU time: 1786.86 s c Elapsed CPU time: 13.255 s Remaining CPU time: 1786.75 s c Elapsed CPU time: 13.373 s Remaining CPU time: 1786.63 s c Elapsed CPU time: 13.4889 s Remaining CPU time: 1786.51 s c Elapsed CPU time: 13.6069 s Remaining CPU time: 1786.39 s c Elapsed CPU time: 13.7219 s Remaining CPU time: 1786.28 s c Elapsed CPU time: 13.8399 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.9579 s Remaining CPU time: 1786.04 s c Elapsed CPU time: 14.0749 s Remaining CPU time: 1785.93 s c Elapsed CPU time: 14.1928 s Remaining CPU time: 1785.81 s c Elapsed CPU time: 14.3088 s Remaining CPU time: 1785.69 s c Elapsed CPU time: 14.4248 s Remaining CPU time: 1785.58 s c Elapsed CPU time: 14.5428 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.6598 s Remaining CPU time: 1785.34 s c Elapsed CPU time: 14.7778 s Remaining CPU time: 1785.22 s c Elapsed CPU time: 14.8947 s Remaining CPU time: 1785.11 s c Elapsed CPU time: 15.0127 s Remaining CPU time: 1784.99 s c Elapsed CPU time: 15.1307 s Remaining CPU time: 1784.87 s c Elapsed CPU time: 15.2487 s Remaining CPU time: 1784.75 s c Elapsed CPU time: 15.3677 s Remaining CPU time: 1784.63 s c Elapsed CPU time: 15.4856 s Remaining CPU time: 1784.51 s c Elapsed CPU time: 15.6026 s Remaining CPU time: 1784.4 s c Elapsed CPU time: 15.7196 s Remaining CPU time: 1784.28 s c Elapsed CPU time: 15.8376 s Remaining CPU time: 1784.16 s c Elapsed CPU time: 15.9576 s Remaining CPU time: 1784.04 s c Elapsed CPU time: 16.0756 s Remaining CPU time: 1783.92 s c Elapsed CPU time: 16.1945 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.3125 s Remaining CPU time: 1783.69 s c Elapsed CPU time: 16.4315 s Remaining CPU time: 1783.57 s c Elapsed CPU time: 16.5515 s Remaining CPU time: 1783.45 s c Elapsed CPU time: 16.6695 s Remaining CPU time: 1783.33 s c Elapsed CPU time: 16.7874 s Remaining CPU time: 1783.21 s c Elapsed CPU time: 16.9074 s Remaining CPU time: 1783.09 s c Elapsed CPU time: 17.0254 s Remaining CPU time: 1782.97 s c Elapsed CPU time: 17.1454 s Remaining CPU time: 1782.85 s c Elapsed CPU time: 17.2624 s Remaining CPU time: 1782.74 s c Elapsed CPU time: 17.3834 s Remaining CPU time: 1782.62 s c Elapsed CPU time: 17.5023 s Remaining CPU time: 1782.5 s c Elapsed CPU time: 17.6203 s Remaining CPU time: 1782.38 s c Elapsed CPU time: 17.7403 s Remaining CPU time: 1782.26 s c Elapsed CPU time: 17.8613 s Remaining CPU time: 1782.14 s c Elapsed CPU time: 17.9793 s Remaining CPU time: 1782.02 s c Elapsed CPU time: 18.0982 s Remaining CPU time: 1781.9 s c Elapsed CPU time: 18.2182 s Remaining CPU time: 1781.78 s c Elapsed CPU time: 18.3362 s Remaining CPU time: 1781.66 s c Elapsed CPU time: 18.4562 s Remaining CPU time: 1781.54 s c Elapsed CPU time: 18.5772 s Remaining CPU time: 1781.42 s c Elapsed CPU time: 18.6962 s Remaining CPU time: 1781.3 s c Elapsed CPU time: 18.8171 s Remaining CPU time: 1781.18 s c Elapsed CPU time: 18.9381 s Remaining CPU time: 1781.06 s c Elapsed CPU time: 19.0591 s Remaining CPU time: 1780.94 s c Elapsed CPU time: 19.1801 s Remaining CPU time: 1780.82 s c Elapsed CPU time: 19.3031 s Remaining CPU time: 1780.7 s c Elapsed CPU time: 19.424 s Remaining CPU time: 1780.58 s c Elapsed CPU time: 19.546 s Remaining CPU time: 1780.45 s c Elapsed CPU time: 19.666 s Remaining CPU time: 1780.33 s c Elapsed CPU time: 19.788 s Remaining CPU time: 1780.21 s c Elapsed CPU time: 19.909 s Remaining CPU time: 1780.09 s c Elapsed CPU time: 20.031 s Remaining CPU time: 1779.97 s c Elapsed CPU time: 20.1519 s Remaining CPU time: 1779.85 s c Elapsed CPU time: 20.2729 s Remaining CPU time: 1779.73 s c Elapsed CPU time: 20.3939 s Remaining CPU time: 1779.61 s c Elapsed CPU time: 20.5159 s Remaining CPU time: 1779.48 s c Elapsed CPU time: 20.6389 s Remaining CPU time: 1779.36 s c Elapsed CPU time: 20.7588 s Remaining CPU time: 1779.24 s c Elapsed CPU time: 20.8808 s Remaining CPU time: 1779.12 s c Elapsed CPU time: 21.0028 s Remaining CPU time: 1779 s c Elapsed CPU time: 21.1248 s Remaining CPU time: 1778.88 s c Elapsed CPU time: 21.2478 s Remaining CPU time: 1778.75 s c Elapsed CPU time: 21.3727 s Remaining CPU time: 1778.63 s c Elapsed CPU time: 21.4997 s Remaining CPU time: 1778.5 s c Elapsed CPU time: 21.6267 s Remaining CPU time: 1778.37 s c Elapsed CPU time: 21.7537 s Remaining CPU time: 1778.25 s c Elapsed CPU time: 21.8827 s Remaining CPU time: 1778.12 s c Elapsed CPU time: 22.0127 s Remaining CPU time: 1777.99 s c Elapsed CPU time: 22.1416 s Remaining CPU time: 1777.86 s c Elapsed CPU time: 22.2696 s Remaining CPU time: 1777.73 s c Elapsed CPU time: 22.3996 s Remaining CPU time: 1777.6 s c Elapsed CPU time: 22.5286 s Remaining CPU time: 1777.47 s c Elapsed CPU time: 22.6596 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.7885 s Remaining CPU time: 1777.21 s c Elapsed CPU time: 22.9195 s Remaining CPU time: 1777.08 s c Elapsed CPU time: 23.0485 s Remaining CPU time: 1776.95 s c Elapsed CPU time: 23.1795 s Remaining CPU time: 1776.82 s c Elapsed CPU time: 23.3105 s Remaining CPU time: 1776.69 s c Elapsed CPU time: 23.4404 s Remaining CPU time: 1776.56 s c Elapsed CPU time: 23.5694 s Remaining CPU time: 1776.43 s c Elapsed CPU time: 23.6994 s Remaining CPU time: 1776.3 s c Elapsed CPU time: 23.8304 s Remaining CPU time: 1776.17 s c Elapsed CPU time: 23.9624 s Remaining CPU time: 1776.04 s c Elapsed CPU time: 24.0933 s Remaining CPU time: 1775.91 s c Elapsed CPU time: 24.2253 s Remaining CPU time: 1775.77 s c Elapsed CPU time: 24.3533 s Remaining CPU time: 1775.65 s c Elapsed CPU time: 24.4853 s Remaining CPU time: 1775.51 s c Elapsed CPU time: 24.6163 s Remaining CPU time: 1775.38 s c Elapsed CPU time: 24.7482 s Remaining CPU time: 1775.25 s c Elapsed CPU time: 24.8802 s Remaining CPU time: 1775.12 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113056 217638 | 37685 0 nan | 0.000 % | c =============================================================================== c Verified 113056 original clauses.