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.075988 s Remaining CPU time: 1799.92 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.410937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.51992 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.738887 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.07883 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.18882 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.3018 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.52677 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.63975 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.74973 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.9727 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.08268 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.30665 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.41863 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.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.86956 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.98155 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.3215 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.43348 s Remaining CPU time: 1796.57 s c Elapsed CPU time: 3.54846 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.00039 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.11437 s Remaining CPU time: 1795.89 s c Elapsed CPU time: 4.23036 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.5743 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.69029 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.80427 s Remaining CPU time: 1795.2 s c Elapsed CPU time: 4.91925 s Remaining CPU time: 1795.08 s c Elapsed CPU time: 5.03323 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.14922 s Remaining CPU time: 1794.85 s c Elapsed CPU time: 5.2642 s Remaining CPU time: 1794.74 s c Elapsed CPU time: 5.38618 s Remaining CPU time: 1794.61 s c Elapsed CPU time: 5.50116 s Remaining CPU time: 1794.5 s c Elapsed CPU time: 5.61715 s Remaining CPU time: 1794.38 s c Elapsed CPU time: 5.73213 s Remaining CPU time: 1794.27 s c Elapsed CPU time: 5.85611 s Remaining CPU time: 1794.14 s c Elapsed CPU time: 5.97109 s Remaining CPU time: 1794.03 s c Elapsed CPU time: 6.08707 s Remaining CPU time: 1793.91 s c Elapsed CPU time: 6.20306 s Remaining CPU time: 1793.8 s c Elapsed CPU time: 6.32704 s Remaining CPU time: 1793.67 s c Elapsed CPU time: 6.44102 s Remaining CPU time: 1793.56 s c Elapsed CPU time: 6.557 s Remaining CPU time: 1793.44 s c Elapsed CPU time: 6.67298 s Remaining CPU time: 1793.33 s c Elapsed CPU time: 6.79597 s Remaining CPU time: 1793.2 s c Elapsed CPU time: 6.91195 s Remaining CPU time: 1793.09 s c Elapsed CPU time: 7.02693 s Remaining CPU time: 1792.97 s c Elapsed CPU time: 7.14291 s Remaining CPU time: 1792.86 s c Elapsed CPU time: 7.2589 s Remaining CPU time: 1792.74 s c Elapsed CPU time: 7.37588 s Remaining CPU time: 1792.62 s c Elapsed CPU time: 7.49086 s Remaining CPU time: 1792.51 s c Elapsed CPU time: 7.60884 s Remaining CPU time: 1792.39 s c Elapsed CPU time: 7.72382 s Remaining CPU time: 1792.28 s c Elapsed CPU time: 7.83981 s Remaining CPU time: 1792.16 s c Elapsed CPU time: 7.95679 s Remaining CPU time: 1792.04 s c Elapsed CPU time: 8.07377 s Remaining CPU time: 1791.93 s c Elapsed CPU time: 8.19075 s Remaining CPU time: 1791.81 s c Elapsed CPU time: 8.30774 s Remaining CPU time: 1791.69 s c Elapsed CPU time: 8.42572 s Remaining CPU time: 1791.57 s c Elapsed CPU time: 8.5407 s Remaining CPU time: 1791.46 s c Elapsed CPU time: 8.65768 s Remaining CPU time: 1791.34 s c Elapsed CPU time: 8.77467 s Remaining CPU time: 1791.23 s c Elapsed CPU time: 8.89165 s Remaining CPU time: 1791.11 s c Elapsed CPU time: 9.00863 s Remaining CPU time: 1790.99 s c Elapsed CPU time: 9.12861 s Remaining CPU time: 1790.87 s c Elapsed CPU time: 9.24559 s Remaining CPU time: 1790.75 s c Elapsed CPU time: 9.36558 s Remaining CPU time: 1790.63 s c Elapsed CPU time: 9.48356 s Remaining CPU time: 1790.52 s c Elapsed CPU time: 9.60254 s Remaining CPU time: 1790.4 s c Elapsed CPU time: 9.72052 s Remaining CPU time: 1790.28 s c Elapsed CPU time: 9.8395 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.0755 s Remaining CPU time: 1789.92 s c Elapsed CPU time: 10.1925 s Remaining CPU time: 1789.81 s c Elapsed CPU time: 10.3104 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.4284 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.5484 s Remaining CPU time: 1789.45 s c Elapsed CPU time: 10.6664 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.7864 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.9043 s Remaining CPU time: 1789.1 s c Elapsed CPU time: 11.0233 s Remaining CPU time: 1788.98 s c Elapsed CPU time: 11.1393 s Remaining CPU time: 1788.86 s c Elapsed CPU time: 11.2583 s Remaining CPU time: 1788.74 s c Elapsed CPU time: 11.3763 s Remaining CPU time: 1788.62 s c Elapsed CPU time: 11.4943 s Remaining CPU time: 1788.51 s c Elapsed CPU time: 11.6112 s Remaining CPU time: 1788.39 s c Elapsed CPU time: 11.7302 s Remaining CPU time: 1788.27 s c Elapsed CPU time: 11.8492 s Remaining CPU time: 1788.15 s c Elapsed CPU time: 11.9672 s Remaining CPU time: 1788.03 s c Elapsed CPU time: 12.0842 s Remaining CPU time: 1787.92 s c Elapsed CPU time: 12.2021 s Remaining CPU time: 1787.8 s c Elapsed CPU time: 12.3201 s Remaining CPU time: 1787.68 s c Elapsed CPU time: 12.4391 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.7921 s Remaining CPU time: 1787.21 s c Elapsed CPU time: 12.911 s Remaining CPU time: 1787.09 s c Elapsed CPU time: 13.029 s Remaining CPU time: 1786.97 s c Elapsed CPU time: 13.149 s Remaining CPU time: 1786.85 s c Elapsed CPU time: 13.266 s Remaining CPU time: 1786.73 s c Elapsed CPU time: 13.381 s Remaining CPU time: 1786.62 s c Elapsed CPU time: 13.4979 s Remaining CPU time: 1786.5 s c Elapsed CPU time: 13.6159 s Remaining CPU time: 1786.38 s c Elapsed CPU time: 13.7329 s Remaining CPU time: 1786.27 s c Elapsed CPU time: 13.8499 s Remaining CPU time: 1786.15 s c Elapsed CPU time: 13.9679 s Remaining CPU time: 1786.03 s c Elapsed CPU time: 14.0859 s Remaining CPU time: 1785.91 s c Elapsed CPU time: 14.2028 s Remaining CPU time: 1785.8 s c Elapsed CPU time: 14.3198 s Remaining CPU time: 1785.68 s c Elapsed CPU time: 14.4358 s Remaining CPU time: 1785.56 s c Elapsed CPU time: 14.5528 s Remaining CPU time: 1785.45 s c Elapsed CPU time: 14.6688 s Remaining CPU time: 1785.33 s c Elapsed CPU time: 14.7858 s Remaining CPU time: 1785.21 s c Elapsed CPU time: 14.9017 s Remaining CPU time: 1785.1 s c Elapsed CPU time: 15.0187 s Remaining CPU time: 1784.98 s c Elapsed CPU time: 15.1367 s Remaining CPU time: 1784.86 s c Elapsed CPU time: 15.2547 s Remaining CPU time: 1784.75 s c Elapsed CPU time: 15.3727 s Remaining CPU time: 1784.63 s c Elapsed CPU time: 15.4896 s Remaining CPU time: 1784.51 s c Elapsed CPU time: 15.6076 s Remaining CPU time: 1784.39 s c Elapsed CPU time: 15.7236 s Remaining CPU time: 1784.28 s c Elapsed CPU time: 15.8416 s Remaining CPU time: 1784.16 s c Elapsed CPU time: 15.9586 s Remaining CPU time: 1784.04 s c Elapsed CPU time: 16.0776 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.4305 s Remaining CPU time: 1783.57 s c Elapsed CPU time: 16.5495 s Remaining CPU time: 1783.45 s c Elapsed CPU time: 16.6675 s Remaining CPU time: 1783.33 s c Elapsed CPU time: 16.7864 s Remaining CPU time: 1783.21 s c Elapsed CPU time: 16.9034 s Remaining CPU time: 1783.1 s c Elapsed CPU time: 17.0224 s Remaining CPU time: 1782.98 s c Elapsed CPU time: 17.1404 s Remaining CPU time: 1782.86 s c Elapsed CPU time: 17.2594 s Remaining CPU time: 1782.74 s c Elapsed CPU time: 17.3764 s Remaining CPU time: 1782.62 s c Elapsed CPU time: 17.4953 s Remaining CPU time: 1782.5 s c Elapsed CPU time: 17.6123 s Remaining CPU time: 1782.39 s c Elapsed CPU time: 17.7313 s Remaining CPU time: 1782.27 s c Elapsed CPU time: 17.8483 s Remaining CPU time: 1782.15 s c Elapsed CPU time: 17.9683 s Remaining CPU time: 1782.03 s c Elapsed CPU time: 18.0862 s Remaining CPU time: 1781.91 s c Elapsed CPU time: 18.2062 s Remaining CPU time: 1781.79 s c Elapsed CPU time: 18.3252 s Remaining CPU time: 1781.67 s c Elapsed CPU time: 18.4422 s Remaining CPU time: 1781.56 s c Elapsed CPU time: 18.5602 s Remaining CPU time: 1781.44 s c Elapsed CPU time: 18.6792 s Remaining CPU time: 1781.32 s c Elapsed CPU time: 18.7971 s Remaining CPU time: 1781.2 s c Elapsed CPU time: 18.9161 s Remaining CPU time: 1781.08 s c Elapsed CPU time: 19.0351 s Remaining CPU time: 1780.96 s c Elapsed CPU time: 19.1551 s Remaining CPU time: 1780.84 s c Elapsed CPU time: 19.2731 s Remaining CPU time: 1780.73 s c Elapsed CPU time: 19.3911 s Remaining CPU time: 1780.61 s c Elapsed CPU time: 19.509 s Remaining CPU time: 1780.49 s c Elapsed CPU time: 19.629 s Remaining CPU time: 1780.37 s c Elapsed CPU time: 19.748 s Remaining CPU time: 1780.25 s c Elapsed CPU time: 19.867 s Remaining CPU time: 1780.13 s c Elapsed CPU time: 19.986 s Remaining CPU time: 1780.01 s c Elapsed CPU time: 20.1079 s Remaining CPU time: 1779.89 s c Elapsed CPU time: 20.2279 s Remaining CPU time: 1779.77 s c Elapsed CPU time: 20.3479 s Remaining CPU time: 1779.65 s c Elapsed CPU time: 20.4669 s Remaining CPU time: 1779.53 s c Elapsed CPU time: 20.5869 s Remaining CPU time: 1779.41 s c Elapsed CPU time: 20.7059 s Remaining CPU time: 1779.29 s c Elapsed CPU time: 20.8268 s Remaining CPU time: 1779.17 s c Elapsed CPU time: 20.9448 s Remaining CPU time: 1779.06 s c Elapsed CPU time: 21.0658 s Remaining CPU time: 1778.93 s c Elapsed CPU time: 21.1868 s Remaining CPU time: 1778.81 s c Elapsed CPU time: 21.3088 s Remaining CPU time: 1778.69 s c Elapsed CPU time: 21.4297 s Remaining CPU time: 1778.57 s c Elapsed CPU time: 21.5547 s Remaining CPU time: 1778.45 s c Elapsed CPU time: 21.6777 s Remaining CPU time: 1778.32 s c Elapsed CPU time: 21.8027 s Remaining CPU time: 1778.2 s c Elapsed CPU time: 21.9247 s Remaining CPU time: 1778.08 s c Elapsed CPU time: 22.0496 s Remaining CPU time: 1777.95 s c Elapsed CPU time: 22.1726 s Remaining CPU time: 1777.83 s c Elapsed CPU time: 22.3006 s Remaining CPU time: 1777.7 s c Elapsed CPU time: 22.4266 s Remaining CPU time: 1777.57 s c Elapsed CPU time: 22.5546 s Remaining CPU time: 1777.45 s c Elapsed CPU time: 22.6806 s Remaining CPU time: 1777.32 s c Elapsed CPU time: 22.8075 s Remaining CPU time: 1777.19 s c Elapsed CPU time: 22.9345 s Remaining CPU time: 1777.07 s c Elapsed CPU time: 23.0615 s Remaining CPU time: 1776.94 s c Elapsed CPU time: 23.1885 s Remaining CPU time: 1776.81 s c Elapsed CPU time: 23.3175 s Remaining CPU time: 1776.68 s c Elapsed CPU time: 23.4444 s Remaining CPU time: 1776.56 s c Elapsed CPU time: 23.5714 s Remaining CPU time: 1776.43 s c Elapsed CPU time: 23.7004 s Remaining CPU time: 1776.3 s c Elapsed CPU time: 23.8284 s Remaining CPU time: 1776.17 s c Elapsed CPU time: 23.9584 s Remaining CPU time: 1776.04 s c Elapsed CPU time: 24.0883 s Remaining CPU time: 1775.91 s c Elapsed CPU time: 24.2163 s Remaining CPU time: 1775.78 s c Elapsed CPU time: 24.3473 s Remaining CPU time: 1775.65 s c Elapsed CPU time: 24.4763 s Remaining CPU time: 1775.52 s c Elapsed CPU time: 24.6083 s Remaining CPU time: 1775.39 s c Elapsed CPU time: 24.7392 s Remaining CPU time: 1775.26 s c Elapsed CPU time: 24.8712 s Remaining CPU time: 1775.13 s c Elapsed CPU time: 25.0002 s Remaining CPU time: 1775 s c Elapsed CPU time: 25.1312 s Remaining CPU time: 1774.87 s c Elapsed CPU time: 25.2612 s Remaining CPU time: 1774.74 s c Elapsed CPU time: 25.3911 s Remaining CPU time: 1774.61 s c Elapsed CPU time: 25.5201 s Remaining CPU time: 1774.48 s c Elapsed CPU time: 25.6501 s Remaining CPU time: 1774.35 s c Elapsed CPU time: 25.7811 s Remaining CPU time: 1774.22 s c Elapsed CPU time: 25.9111 s Remaining CPU time: 1774.09 s c Elapsed CPU time: 26.044 s Remaining CPU time: 1773.96 s c Elapsed CPU time: 26.175 s Remaining CPU time: 1773.82 s c Elapsed CPU time: 26.306 s Remaining CPU time: 1773.69 s c Elapsed CPU time: 26.438 s Remaining CPU time: 1773.56 s c Elapsed CPU time: 26.569 s Remaining CPU time: 1773.43 s c Elapsed CPU time: 26.6979 s Remaining CPU time: 1773.3 s c Elapsed CPU time: 26.8299 s Remaining CPU time: 1773.17 s c Elapsed CPU time: 26.9619 s Remaining CPU time: 1773.04 s c Elapsed CPU time: 27.0949 s Remaining CPU time: 1772.91 s c Elapsed CPU time: 27.2269 s Remaining CPU time: 1772.77 s c Elapsed CPU time: 27.3578 s Remaining CPU time: 1772.64 s c Elapsed CPU time: 27.4928 s Remaining CPU time: 1772.51 s c Elapsed CPU time: 27.6278 s Remaining CPU time: 1772.37 s c Elapsed CPU time: 27.7598 s Remaining CPU time: 1772.24 s c Elapsed CPU time: 27.8938 s Remaining CPU time: 1772.11 s c Elapsed CPU time: 28.0277 s Remaining CPU time: 1771.97 s c Elapsed CPU time: 28.1637 s Remaining CPU time: 1771.84 s c Elapsed CPU time: 28.2977 s Remaining CPU time: 1771.7 s c Elapsed CPU time: 28.4317 s Remaining CPU time: 1771.57 s c Elapsed CPU time: 28.5657 s Remaining CPU time: 1771.43 s c Elapsed CPU time: 28.6986 s Remaining CPU time: 1771.3 s c Elapsed CPU time: 28.8296 s Remaining CPU time: 1771.17 s c Elapsed CPU time: 28.9656 s Remaining CPU time: 1771.03 s c Elapsed CPU time: 29.1016 s Remaining CPU time: 1770.9 s c Elapsed CPU time: 29.2366 s Remaining CPU time: 1770.76 s c Elapsed CPU time: 29.3725 s Remaining CPU time: 1770.63 s c Elapsed CPU time: 29.5075 s Remaining CPU time: 1770.49 s c Elapsed CPU time: 29.6415 s Remaining CPU time: 1770.36 s c Elapsed CPU time: 29.7775 s Remaining CPU time: 1770.22 s c Elapsed CPU time: 29.9135 s Remaining CPU time: 1770.09 s c Elapsed CPU time: 30.0484 s Remaining CPU time: 1769.95 s c Elapsed CPU time: 30.1864 s Remaining CPU time: 1769.81 s c Elapsed CPU time: 30.3224 s Remaining CPU time: 1769.68 s c Elapsed CPU time: 30.4584 s Remaining CPU time: 1769.54 s c Elapsed CPU time: 30.5973 s Remaining CPU time: 1769.4 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113142 217728 | 37714 0 nan | 0.000 % | c =============================================================================== c Verified 113142 original clauses.