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.301954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.52092 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.737887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.845871 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.955854 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.06684 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.39879 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.50977 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.62075 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.73174 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.84272 s Remaining CPU time: 1798.16 s c Elapsed CPU time: 1.9547 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 2.06469 s Remaining CPU time: 1797.94 s c Elapsed CPU time: 2.17567 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.28765 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.40063 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.51162 s Remaining CPU time: 1797.49 s c Elapsed CPU time: 2.6256 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.73758 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.85157 s Remaining CPU time: 1797.15 s c Elapsed CPU time: 2.96655 s Remaining CPU time: 1797.03 s c Elapsed CPU time: 3.07853 s Remaining CPU time: 1796.92 s c Elapsed CPU time: 3.19051 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.3025 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 3.41448 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.52646 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.64145 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.75343 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.86641 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.9794 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 4.09338 s Remaining CPU time: 1795.91 s c Elapsed CPU time: 4.20536 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.31934 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.43333 s Remaining CPU time: 1795.57 s c Elapsed CPU time: 4.54631 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.66029 s Remaining CPU time: 1795.34 s c Elapsed CPU time: 4.77527 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.88826 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 5.00224 s Remaining CPU time: 1795 s c Elapsed CPU time: 5.11622 s Remaining CPU time: 1794.88 s c Elapsed CPU time: 5.2312 s Remaining CPU time: 1794.77 s c Elapsed CPU time: 5.34519 s Remaining CPU time: 1794.65 s c Elapsed CPU time: 5.46017 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.57515 s Remaining CPU time: 1794.42 s c Elapsed CPU time: 5.68813 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.80212 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.03308 s Remaining CPU time: 1793.97 s c Elapsed CPU time: 6.14806 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.26105 s Remaining CPU time: 1793.74 s c Elapsed CPU time: 6.37603 s Remaining CPU time: 1793.62 s c Elapsed CPU time: 6.49101 s Remaining CPU time: 1793.51 s c Elapsed CPU time: 6.60699 s Remaining CPU time: 1793.39 s c Elapsed CPU time: 6.72198 s Remaining CPU time: 1793.28 s c Elapsed CPU time: 6.83796 s Remaining CPU time: 1793.16 s c Elapsed CPU time: 6.95194 s Remaining CPU time: 1793.05 s c Elapsed CPU time: 7.06893 s Remaining CPU time: 1792.93 s c Elapsed CPU time: 7.18491 s Remaining CPU time: 1792.82 s c Elapsed CPU time: 7.30089 s Remaining CPU time: 1792.7 s c Elapsed CPU time: 7.41587 s Remaining CPU time: 1792.58 s c Elapsed CPU time: 7.53385 s Remaining CPU time: 1792.47 s c Elapsed CPU time: 7.64984 s Remaining CPU time: 1792.35 s c Elapsed CPU time: 7.76582 s Remaining CPU time: 1792.23 s c Elapsed CPU time: 7.8808 s Remaining CPU time: 1792.12 s c Elapsed CPU time: 7.99578 s Remaining CPU time: 1792 s c Elapsed CPU time: 8.11077 s Remaining CPU time: 1791.89 s c Elapsed CPU time: 8.22775 s Remaining CPU time: 1791.77 s c Elapsed CPU time: 8.34373 s Remaining CPU time: 1791.66 s c Elapsed CPU time: 8.45971 s Remaining CPU time: 1791.54 s c Elapsed CPU time: 8.5747 s Remaining CPU time: 1791.43 s c Elapsed CPU time: 8.69068 s Remaining CPU time: 1791.31 s c Elapsed CPU time: 8.80666 s Remaining CPU time: 1791.19 s c Elapsed CPU time: 8.92164 s Remaining CPU time: 1791.08 s c Elapsed CPU time: 9.03763 s Remaining CPU time: 1790.96 s c Elapsed CPU time: 9.15261 s Remaining CPU time: 1790.85 s c Elapsed CPU time: 9.26859 s Remaining CPU time: 1790.73 s c Elapsed CPU time: 9.38557 s Remaining CPU time: 1790.61 s c Elapsed CPU time: 9.50155 s Remaining CPU time: 1790.5 s c Elapsed CPU time: 9.62054 s Remaining CPU time: 1790.38 s c Elapsed CPU time: 9.73552 s Remaining CPU time: 1790.26 s c Elapsed CPU time: 9.8525 s Remaining CPU time: 1790.15 s c Elapsed CPU time: 9.96948 s Remaining CPU time: 1790.03 s c Elapsed CPU time: 10.0865 s Remaining CPU time: 1789.91 s c Elapsed CPU time: 10.2024 s Remaining CPU time: 1789.8 s c Elapsed CPU time: 10.3214 s Remaining CPU time: 1789.68 s c Elapsed CPU time: 10.4384 s Remaining CPU time: 1789.56 s c Elapsed CPU time: 10.5564 s Remaining CPU time: 1789.44 s c Elapsed CPU time: 10.6734 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.7904 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.9083 s Remaining CPU time: 1789.09 s c Elapsed CPU time: 11.0253 s Remaining CPU time: 1788.97 s c Elapsed CPU time: 11.1423 s Remaining CPU time: 1788.86 s c Elapsed CPU time: 11.2633 s Remaining CPU time: 1788.74 s c Elapsed CPU time: 11.3793 s Remaining CPU time: 1788.62 s c Elapsed CPU time: 11.4983 s Remaining CPU time: 1788.5 s c Elapsed CPU time: 11.6162 s Remaining CPU time: 1788.38 s c Elapsed CPU time: 11.7342 s Remaining CPU time: 1788.27 s c Elapsed CPU time: 11.8522 s Remaining CPU time: 1788.15 s c Elapsed CPU time: 11.9702 s Remaining CPU time: 1788.03 s c Elapsed CPU time: 12.0882 s Remaining CPU time: 1787.91 s c Elapsed CPU time: 12.2071 s Remaining CPU time: 1787.79 s c Elapsed CPU time: 12.3241 s Remaining CPU time: 1787.68 s c Elapsed CPU time: 12.4431 s Remaining CPU time: 1787.56 s c Elapsed CPU time: 12.5611 s Remaining CPU time: 1787.44 s c Elapsed CPU time: 12.6791 s Remaining CPU time: 1787.32 s c Elapsed CPU time: 12.7961 s Remaining CPU time: 1787.2 s c Elapsed CPU time: 12.915 s Remaining CPU time: 1787.08 s c Elapsed CPU time: 13.032 s Remaining CPU time: 1786.97 s c Elapsed CPU time: 13.151 s Remaining CPU time: 1786.85 s c Elapsed CPU time: 13.268 s Remaining CPU time: 1786.73 s c Elapsed CPU time: 13.387 s Remaining CPU time: 1786.61 s c Elapsed CPU time: 13.5049 s Remaining CPU time: 1786.5 s c Elapsed CPU time: 13.6239 s Remaining CPU time: 1786.38 s c Elapsed CPU time: 13.7419 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.0969 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.3298 s Remaining CPU time: 1785.67 s c Elapsed CPU time: 14.4478 s Remaining CPU time: 1785.55 s c Elapsed CPU time: 14.5638 s Remaining CPU time: 1785.44 s c Elapsed CPU time: 14.6828 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.9197 s Remaining CPU time: 1785.08 s c Elapsed CPU time: 15.0387 s Remaining CPU time: 1784.96 s c Elapsed CPU time: 15.1557 s Remaining CPU time: 1784.84 s c Elapsed CPU time: 15.2767 s Remaining CPU time: 1784.72 s c Elapsed CPU time: 15.3957 s Remaining CPU time: 1784.6 s c Elapsed CPU time: 15.5136 s Remaining CPU time: 1784.49 s c Elapsed CPU time: 15.6326 s Remaining CPU time: 1784.37 s c Elapsed CPU time: 15.7516 s Remaining CPU time: 1784.25 s c Elapsed CPU time: 15.8696 s Remaining CPU time: 1784.13 s c Elapsed CPU time: 15.9896 s Remaining CPU time: 1784.01 s c Elapsed CPU time: 16.1086 s Remaining CPU time: 1783.89 s c Elapsed CPU time: 16.2275 s Remaining CPU time: 1783.77 s c Elapsed CPU time: 16.3465 s Remaining CPU time: 1783.65 s c Elapsed CPU time: 16.4645 s Remaining CPU time: 1783.54 s c Elapsed CPU time: 16.5835 s Remaining CPU time: 1783.42 s c Elapsed CPU time: 16.7035 s Remaining CPU time: 1783.3 s c Elapsed CPU time: 16.8214 s Remaining CPU time: 1783.18 s c Elapsed CPU time: 16.9424 s Remaining CPU time: 1783.06 s c Elapsed CPU time: 17.0624 s Remaining CPU time: 1782.94 s c Elapsed CPU time: 17.1814 s Remaining CPU time: 1782.82 s c Elapsed CPU time: 17.3014 s Remaining CPU time: 1782.7 s c Elapsed CPU time: 17.4214 s Remaining CPU time: 1782.58 s c Elapsed CPU time: 17.5413 s Remaining CPU time: 1782.46 s c Elapsed CPU time: 17.6593 s Remaining CPU time: 1782.34 s c Elapsed CPU time: 17.7803 s Remaining CPU time: 1782.22 s c Elapsed CPU time: 17.9003 s Remaining CPU time: 1782.1 s c Elapsed CPU time: 18.0193 s Remaining CPU time: 1781.98 s c Elapsed CPU time: 18.1392 s Remaining CPU time: 1781.86 s c Elapsed CPU time: 18.2582 s Remaining CPU time: 1781.74 s c Elapsed CPU time: 18.3792 s Remaining CPU time: 1781.62 s c Elapsed CPU time: 18.4992 s Remaining CPU time: 1781.5 s c Elapsed CPU time: 18.6212 s Remaining CPU time: 1781.38 s c Elapsed CPU time: 18.7402 s Remaining CPU time: 1781.26 s c Elapsed CPU time: 18.8611 s Remaining CPU time: 1781.14 s c Elapsed CPU time: 18.9811 s Remaining CPU time: 1781.02 s c Elapsed CPU time: 19.1031 s Remaining CPU time: 1780.9 s c Elapsed CPU time: 19.2241 s Remaining CPU time: 1780.78 s c Elapsed CPU time: 19.3451 s Remaining CPU time: 1780.65 s c Elapsed CPU time: 19.466 s Remaining CPU time: 1780.53 s c Elapsed CPU time: 19.587 s Remaining CPU time: 1780.41 s c Elapsed CPU time: 19.708 s Remaining CPU time: 1780.29 s c Elapsed CPU time: 19.829 s Remaining CPU time: 1780.17 s c Elapsed CPU time: 19.95 s Remaining CPU time: 1780.05 s c Elapsed CPU time: 20.0719 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.4319 s Remaining CPU time: 1779.57 s c Elapsed CPU time: 20.5549 s Remaining CPU time: 1779.45 s c Elapsed CPU time: 20.6749 s Remaining CPU time: 1779.33 s c Elapsed CPU time: 20.7948 s Remaining CPU time: 1779.21 s c Elapsed CPU time: 20.9148 s Remaining CPU time: 1779.09 s c Elapsed CPU time: 21.0358 s Remaining CPU time: 1778.96 s c Elapsed CPU time: 21.1558 s Remaining CPU time: 1778.84 s c Elapsed CPU time: 21.2828 s Remaining CPU time: 1778.72 s c Elapsed CPU time: 21.4077 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.6627 s Remaining CPU time: 1778.34 s c Elapsed CPU time: 21.7907 s Remaining CPU time: 1778.21 s c Elapsed CPU time: 21.9177 s Remaining CPU time: 1778.08 s c Elapsed CPU time: 22.0466 s Remaining CPU time: 1777.95 s c Elapsed CPU time: 22.1736 s Remaining CPU time: 1777.83 s c Elapsed CPU time: 22.3026 s Remaining CPU time: 1777.7 s c Elapsed CPU time: 22.4286 s Remaining CPU time: 1777.57 s c Elapsed CPU time: 22.5566 s Remaining CPU time: 1777.44 s c Elapsed CPU time: 22.6846 s Remaining CPU time: 1777.32 s c Elapsed CPU time: 22.8125 s Remaining CPU time: 1777.19 s c Elapsed CPU time: 22.9425 s Remaining CPU time: 1777.06 s c Elapsed CPU time: 23.0745 s Remaining CPU time: 1776.93 s c Elapsed CPU time: 23.2045 s Remaining CPU time: 1776.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113030 217611 | 37676 0 nan | 0.000 % | c =============================================================================== c Verified 113030 original clauses.