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.077988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.408937 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.632903 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.741887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.85287 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.964853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.07584 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.18682 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.2988 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41078 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.52277 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63475 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.74673 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.85872 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9707 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.08068 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.19267 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.41763 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.52961 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6416 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.86956 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.09453 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.20651 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.31849 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.65844 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.77043 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.88441 s Remaining CPU time: 1796.12 s c Elapsed CPU time: 3.99639 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.11137 s Remaining CPU time: 1795.89 s c Elapsed CPU time: 4.22336 s Remaining CPU time: 1795.78 s c Elapsed CPU time: 4.33834 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.45132 s Remaining CPU time: 1795.55 s c Elapsed CPU time: 4.5663 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.67829 s Remaining CPU time: 1795.32 s c Elapsed CPU time: 4.79227 s Remaining CPU time: 1795.21 s c Elapsed CPU time: 4.90525 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 5.01924 s Remaining CPU time: 1794.98 s c Elapsed CPU time: 5.13222 s Remaining CPU time: 1794.87 s c Elapsed CPU time: 5.2462 s Remaining CPU time: 1794.75 s c Elapsed CPU time: 5.36218 s Remaining CPU time: 1794.64 s c Elapsed CPU time: 5.47617 s Remaining CPU time: 1794.52 s c Elapsed CPU time: 5.59115 s Remaining CPU time: 1794.41 s c Elapsed CPU time: 5.70613 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.05108 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.16606 s Remaining CPU time: 1793.83 s c Elapsed CPU time: 6.27904 s Remaining CPU time: 1793.72 s c Elapsed CPU time: 6.39303 s Remaining CPU time: 1793.61 s c Elapsed CPU time: 6.50801 s Remaining CPU time: 1793.49 s c Elapsed CPU time: 6.62399 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.74097 s Remaining CPU time: 1793.26 s c Elapsed CPU time: 6.85496 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.96994 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 7.08392 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.2009 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.31589 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.43087 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.54585 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.66083 s Remaining CPU time: 1792.34 s c Elapsed CPU time: 7.77682 s Remaining CPU time: 1792.22 s c Elapsed CPU time: 7.8918 s Remaining CPU time: 1792.11 s c Elapsed CPU time: 8.00678 s Remaining CPU time: 1791.99 s c Elapsed CPU time: 8.12077 s Remaining CPU time: 1791.88 s c Elapsed CPU time: 8.23575 s Remaining CPU time: 1791.76 s c Elapsed CPU time: 8.35073 s Remaining CPU time: 1791.65 s c Elapsed CPU time: 8.46671 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.58169 s Remaining CPU time: 1791.42 s c Elapsed CPU time: 8.69768 s Remaining CPU time: 1791.3 s c Elapsed CPU time: 8.81366 s Remaining CPU time: 1791.19 s c Elapsed CPU time: 8.92864 s Remaining CPU time: 1791.07 s c Elapsed CPU time: 9.04363 s Remaining CPU time: 1790.96 s c Elapsed CPU time: 9.15961 s Remaining CPU time: 1790.84 s c Elapsed CPU time: 9.27459 s Remaining CPU time: 1790.73 s c Elapsed CPU time: 9.39057 s Remaining CPU time: 1790.61 s c Elapsed CPU time: 9.50655 s Remaining CPU time: 1790.49 s c Elapsed CPU time: 9.62254 s Remaining CPU time: 1790.38 s c Elapsed CPU time: 9.73752 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.96748 s Remaining CPU time: 1790.03 s c Elapsed CPU time: 10.0835 s Remaining CPU time: 1789.92 s c Elapsed CPU time: 10.1984 s Remaining CPU time: 1789.8 s c Elapsed CPU time: 10.3154 s Remaining CPU time: 1789.68 s c Elapsed CPU time: 10.4314 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.5474 s Remaining CPU time: 1789.45 s c Elapsed CPU time: 10.6624 s Remaining CPU time: 1789.34 s c Elapsed CPU time: 10.7794 s Remaining CPU time: 1789.22 s c Elapsed CPU time: 10.8963 s Remaining CPU time: 1789.1 s c Elapsed CPU time: 11.0133 s Remaining CPU time: 1788.99 s c Elapsed CPU time: 11.1303 s Remaining CPU time: 1788.87 s c Elapsed CPU time: 11.2463 s Remaining CPU time: 1788.75 s c Elapsed CPU time: 11.3623 s Remaining CPU time: 1788.64 s c Elapsed CPU time: 11.4793 s Remaining CPU time: 1788.52 s c Elapsed CPU time: 11.5952 s Remaining CPU time: 1788.4 s c Elapsed CPU time: 11.7102 s Remaining CPU time: 1788.29 s c Elapsed CPU time: 11.8272 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.9432 s Remaining CPU time: 1788.06 s c Elapsed CPU time: 12.0612 s Remaining CPU time: 1787.94 s c Elapsed CPU time: 12.1781 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.4121 s Remaining CPU time: 1787.59 s c Elapsed CPU time: 12.5271 s Remaining CPU time: 1787.47 s c Elapsed CPU time: 12.6441 s Remaining CPU time: 1787.36 s c Elapsed CPU time: 12.7601 s Remaining CPU time: 1787.24 s c Elapsed CPU time: 12.878 s Remaining CPU time: 1787.12 s c Elapsed CPU time: 12.996 s Remaining CPU time: 1787 s c Elapsed CPU time: 13.112 s Remaining CPU time: 1786.89 s c Elapsed CPU time: 13.229 s Remaining CPU time: 1786.77 s c Elapsed CPU time: 13.345 s Remaining CPU time: 1786.66 s c Elapsed CPU time: 13.462 s Remaining CPU time: 1786.54 s c Elapsed CPU time: 13.5799 s Remaining CPU time: 1786.42 s c Elapsed CPU time: 13.6979 s Remaining CPU time: 1786.3 s c Elapsed CPU time: 13.8169 s Remaining CPU time: 1786.18 s c Elapsed CPU time: 13.9359 s Remaining CPU time: 1786.06 s c Elapsed CPU time: 14.0539 s Remaining CPU time: 1785.95 s c Elapsed CPU time: 14.1728 s Remaining CPU time: 1785.83 s c Elapsed CPU time: 14.2928 s Remaining CPU time: 1785.71 s c Elapsed CPU time: 14.4108 s Remaining CPU time: 1785.59 s c Elapsed CPU time: 14.5288 s Remaining CPU time: 1785.47 s c Elapsed CPU time: 14.6478 s Remaining CPU time: 1785.35 s c Elapsed CPU time: 14.7678 s Remaining CPU time: 1785.23 s c Elapsed CPU time: 14.8857 s Remaining CPU time: 1785.11 s c Elapsed CPU time: 15.0037 s Remaining CPU time: 1785 s c Elapsed CPU time: 15.1217 s Remaining CPU time: 1784.88 s c Elapsed CPU time: 15.2407 s Remaining CPU time: 1784.76 s c Elapsed CPU time: 15.3587 s Remaining CPU time: 1784.64 s c Elapsed CPU time: 15.4786 s Remaining CPU time: 1784.52 s c Elapsed CPU time: 15.5966 s Remaining CPU time: 1784.4 s c Elapsed CPU time: 15.7156 s Remaining CPU time: 1784.28 s c Elapsed CPU time: 15.8356 s Remaining CPU time: 1784.16 s c Elapsed CPU time: 15.9556 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.1965 s Remaining CPU time: 1783.8 s c Elapsed CPU time: 16.3145 s Remaining CPU time: 1783.69 s c Elapsed CPU time: 16.4335 s Remaining CPU time: 1783.57 s c Elapsed CPU time: 16.5555 s Remaining CPU time: 1783.44 s c Elapsed CPU time: 16.6755 s Remaining CPU time: 1783.32 s c Elapsed CPU time: 16.7954 s Remaining CPU time: 1783.2 s c Elapsed CPU time: 16.9164 s Remaining CPU time: 1783.08 s c Elapsed CPU time: 17.0364 s Remaining CPU time: 1782.96 s c Elapsed CPU time: 17.1574 s Remaining CPU time: 1782.84 s c Elapsed CPU time: 17.2784 s Remaining CPU time: 1782.72 s c Elapsed CPU time: 17.3974 s Remaining CPU time: 1782.6 s c Elapsed CPU time: 17.5173 s Remaining CPU time: 1782.48 s c Elapsed CPU time: 17.6383 s Remaining CPU time: 1782.36 s c Elapsed CPU time: 17.7613 s Remaining CPU time: 1782.24 s c Elapsed CPU time: 17.8813 s Remaining CPU time: 1782.12 s c Elapsed CPU time: 18.0023 s Remaining CPU time: 1782 s c Elapsed CPU time: 18.1212 s Remaining CPU time: 1781.88 s c Elapsed CPU time: 18.2402 s Remaining CPU time: 1781.76 s c Elapsed CPU time: 18.3602 s Remaining CPU time: 1781.64 s c Elapsed CPU time: 18.4802 s Remaining CPU time: 1781.52 s c Elapsed CPU time: 18.6002 s Remaining CPU time: 1781.4 s c Elapsed CPU time: 18.7222 s Remaining CPU time: 1781.28 s c Elapsed CPU time: 18.8421 s Remaining CPU time: 1781.16 s c Elapsed CPU time: 18.9641 s Remaining CPU time: 1781.04 s c Elapsed CPU time: 19.0861 s Remaining CPU time: 1780.91 s c Elapsed CPU time: 19.2081 s Remaining CPU time: 1780.79 s c Elapsed CPU time: 19.3271 s Remaining CPU time: 1780.67 s c Elapsed CPU time: 19.45 s Remaining CPU time: 1780.55 s c Elapsed CPU time: 19.572 s Remaining CPU time: 1780.43 s c Elapsed CPU time: 19.693 s Remaining CPU time: 1780.31 s c Elapsed CPU time: 19.815 s Remaining CPU time: 1780.19 s c Elapsed CPU time: 19.937 s Remaining CPU time: 1780.06 s c Elapsed CPU time: 20.06 s Remaining CPU time: 1779.94 s c Elapsed CPU time: 20.1819 s Remaining CPU time: 1779.82 s c Elapsed CPU time: 20.3029 s Remaining CPU time: 1779.7 s c Elapsed CPU time: 20.4259 s Remaining CPU time: 1779.57 s c Elapsed CPU time: 20.5489 s Remaining CPU time: 1779.45 s c Elapsed CPU time: 20.6699 s Remaining CPU time: 1779.33 s c Elapsed CPU time: 20.7928 s Remaining CPU time: 1779.21 s c Elapsed CPU time: 20.9178 s Remaining CPU time: 1779.08 s c Elapsed CPU time: 21.0398 s Remaining CPU time: 1778.96 s c Elapsed CPU time: 21.1618 s Remaining CPU time: 1778.84 s c Elapsed CPU time: 21.2848 s Remaining CPU time: 1778.72 s c Elapsed CPU time: 21.4087 s Remaining CPU time: 1778.59 s c Elapsed CPU time: 21.5317 s Remaining CPU time: 1778.47 s c Elapsed CPU time: 21.6537 s Remaining CPU time: 1778.35 s c Elapsed CPU time: 21.7777 s Remaining CPU time: 1778.22 s c Elapsed CPU time: 21.9027 s Remaining CPU time: 1778.1 s c Elapsed CPU time: 22.0277 s Remaining CPU time: 1777.97 s c Elapsed CPU time: 22.1516 s Remaining CPU time: 1777.85 s c Elapsed CPU time: 22.2796 s Remaining CPU time: 1777.72 s c Elapsed CPU time: 22.4076 s Remaining CPU time: 1777.59 s c Elapsed CPU time: 22.5346 s Remaining CPU time: 1777.47 s c Elapsed CPU time: 22.6606 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.7865 s Remaining CPU time: 1777.21 s c Elapsed CPU time: 22.9155 s Remaining CPU time: 1777.08 s c Elapsed CPU time: 23.0425 s Remaining CPU time: 1776.96 s c Elapsed CPU time: 23.1695 s Remaining CPU time: 1776.83 s c Elapsed CPU time: 23.2955 s Remaining CPU time: 1776.7 s c Elapsed CPU time: 23.4224 s Remaining CPU time: 1776.58 s c Elapsed CPU time: 23.5474 s Remaining CPU time: 1776.45 s c Elapsed CPU time: 23.6754 s Remaining CPU time: 1776.32 s c Elapsed CPU time: 23.8044 s Remaining CPU time: 1776.2 s c Elapsed CPU time: 23.9344 s Remaining CPU time: 1776.07 s c Elapsed CPU time: 24.0633 s Remaining CPU time: 1775.94 s c Elapsed CPU time: 24.1933 s Remaining CPU time: 1775.81 s c Elapsed CPU time: 24.3233 s Remaining CPU time: 1775.68 s c Elapsed CPU time: 24.4523 s Remaining CPU time: 1775.55 s c Elapsed CPU time: 24.5813 s Remaining CPU time: 1775.42 s c Elapsed CPU time: 24.7112 s Remaining CPU time: 1775.29 s c Elapsed CPU time: 24.8412 s Remaining CPU time: 1775.16 s c Elapsed CPU time: 24.9702 s Remaining CPU time: 1775.03 s c Elapsed CPU time: 25.1012 s Remaining CPU time: 1774.9 s c Elapsed CPU time: 25.2312 s Remaining CPU time: 1774.77 s c Elapsed CPU time: 25.3621 s Remaining CPU time: 1774.64 s c Elapsed CPU time: 25.4931 s Remaining CPU time: 1774.51 s c Elapsed CPU time: 25.6241 s Remaining CPU time: 1774.38 s c Elapsed CPU time: 25.7591 s Remaining CPU time: 1774.24 s c Elapsed CPU time: 25.8901 s Remaining CPU time: 1774.11 s c Elapsed CPU time: 26.021 s Remaining CPU time: 1773.98 s c Elapsed CPU time: 26.154 s Remaining CPU time: 1773.85 s c Elapsed CPU time: 26.29 s Remaining CPU time: 1773.71 s c Elapsed CPU time: 26.424 s Remaining CPU time: 1773.58 s c Elapsed CPU time: 26.558 s Remaining CPU time: 1773.44 s c Elapsed CPU time: 26.6909 s Remaining CPU time: 1773.31 s c Elapsed CPU time: 26.8229 s Remaining CPU time: 1773.18 s c Elapsed CPU time: 26.9559 s Remaining CPU time: 1773.04 s c Elapsed CPU time: 27.0879 s Remaining CPU time: 1772.91 s c Elapsed CPU time: 27.2189 s Remaining CPU time: 1772.78 s c Elapsed CPU time: 27.3528 s Remaining CPU time: 1772.65 s c Elapsed CPU time: 27.4858 s Remaining CPU time: 1772.51 s c Elapsed CPU time: 27.6178 s Remaining CPU time: 1772.38 s c Elapsed CPU time: 27.7528 s Remaining CPU time: 1772.25 s c Elapsed CPU time: 27.8888 s Remaining CPU time: 1772.11 s c Elapsed CPU time: 28.0237 s Remaining CPU time: 1771.98 s c Elapsed CPU time: 28.1577 s Remaining CPU time: 1771.84 s c Elapsed CPU time: 28.2927 s Remaining CPU time: 1771.71 s c Elapsed CPU time: 28.4267 s Remaining CPU time: 1771.57 s c Elapsed CPU time: 28.5627 s Remaining CPU time: 1771.44 s c Elapsed CPU time: 28.6966 s Remaining CPU time: 1771.3 s c Elapsed CPU time: 28.8326 s Remaining CPU time: 1771.17 s c Elapsed CPU time: 28.9696 s Remaining CPU time: 1771.03 s c Elapsed CPU time: 29.1056 s Remaining CPU time: 1770.89 s c Elapsed CPU time: 29.2426 s Remaining CPU time: 1770.76 s c Elapsed CPU time: 29.3785 s Remaining CPU time: 1770.62 s c Elapsed CPU time: 29.5155 s Remaining CPU time: 1770.48 s c Elapsed CPU time: 29.6515 s Remaining CPU time: 1770.35 s c Elapsed CPU time: 29.7895 s Remaining CPU time: 1770.21 s c Elapsed CPU time: 29.9264 s Remaining CPU time: 1770.07 s c Elapsed CPU time: 30.0624 s Remaining CPU time: 1769.94 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15 113133 217738 | 37711 0 nan | 0.000 % | c =============================================================================== c Verified 113133 original clauses.