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.187971 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.409937 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.631903 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.742887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.85387 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.965853 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.07883 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.19082 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.41379 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.52477 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63675 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.9737 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.08568 s Remaining CPU time: 1797.91 s c Elapsed CPU time: 2.19667 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.30865 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.41963 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.53261 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6456 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.75958 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.87356 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.98754 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 3.10153 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.21551 s Remaining CPU time: 1796.78 s c Elapsed CPU time: 3.33049 s Remaining CPU time: 1796.67 s c Elapsed CPU time: 3.44548 s Remaining CPU time: 1796.55 s c Elapsed CPU time: 3.55946 s Remaining CPU time: 1796.44 s c Elapsed CPU time: 3.67444 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.78942 s Remaining CPU time: 1796.21 s c Elapsed CPU time: 3.90541 s Remaining CPU time: 1796.09 s c Elapsed CPU time: 4.02039 s Remaining CPU time: 1795.98 s c Elapsed CPU time: 4.13537 s Remaining CPU time: 1795.86 s c Elapsed CPU time: 4.25235 s Remaining CPU time: 1795.75 s c Elapsed CPU time: 4.36734 s Remaining CPU time: 1795.63 s c Elapsed CPU time: 4.48132 s Remaining CPU time: 1795.52 s c Elapsed CPU time: 4.5963 s Remaining CPU time: 1795.4 s c Elapsed CPU time: 4.71328 s Remaining CPU time: 1795.29 s c Elapsed CPU time: 4.82727 s Remaining CPU time: 1795.17 s c Elapsed CPU time: 4.94325 s Remaining CPU time: 1795.06 s c Elapsed CPU time: 5.05823 s Remaining CPU time: 1794.94 s c Elapsed CPU time: 5.17221 s Remaining CPU time: 1794.83 s c Elapsed CPU time: 5.2872 s Remaining CPU time: 1794.71 s c Elapsed CPU time: 5.40518 s Remaining CPU time: 1794.59 s c Elapsed CPU time: 5.51816 s Remaining CPU time: 1794.48 s c Elapsed CPU time: 5.63514 s Remaining CPU time: 1794.36 s c Elapsed CPU time: 5.75213 s Remaining CPU time: 1794.25 s c Elapsed CPU time: 5.86911 s Remaining CPU time: 1794.13 s c Elapsed CPU time: 5.98509 s Remaining CPU time: 1794.01 s c Elapsed CPU time: 6.09607 s Remaining CPU time: 1793.9 s c Elapsed CPU time: 6.21206 s Remaining CPU time: 1793.79 s c Elapsed CPU time: 6.32704 s Remaining CPU time: 1793.67 s c Elapsed CPU time: 6.44202 s Remaining CPU time: 1793.56 s c Elapsed CPU time: 6.555 s Remaining CPU time: 1793.44 s c Elapsed CPU time: 6.67098 s Remaining CPU time: 1793.33 s c Elapsed CPU time: 6.78597 s Remaining CPU time: 1793.21 s c Elapsed CPU time: 6.90195 s Remaining CPU time: 1793.1 s c Elapsed CPU time: 7.01793 s Remaining CPU time: 1792.98 s c Elapsed CPU time: 7.13291 s Remaining CPU time: 1792.87 s c Elapsed CPU time: 7.2489 s Remaining CPU time: 1792.75 s c Elapsed CPU time: 7.36288 s Remaining CPU time: 1792.64 s c Elapsed CPU time: 7.47686 s Remaining CPU time: 1792.52 s c Elapsed CPU time: 7.59085 s Remaining CPU time: 1792.41 s c Elapsed CPU time: 7.70783 s Remaining CPU time: 1792.29 s c Elapsed CPU time: 7.82281 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.93979 s Remaining CPU time: 1792.06 s c Elapsed CPU time: 8.05477 s Remaining CPU time: 1791.95 s c Elapsed CPU time: 8.17076 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.28574 s Remaining CPU time: 1791.71 s c Elapsed CPU time: 8.40172 s Remaining CPU time: 1791.6 s c Elapsed CPU time: 8.5177 s Remaining CPU time: 1791.48 s c Elapsed CPU time: 8.63269 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.74767 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.86365 s Remaining CPU time: 1791.14 s c Elapsed CPU time: 8.97963 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 9.09462 s Remaining CPU time: 1790.91 s c Elapsed CPU time: 9.2106 s Remaining CPU time: 1790.79 s c Elapsed CPU time: 9.32258 s Remaining CPU time: 1790.68 s c Elapsed CPU time: 9.43756 s Remaining CPU time: 1790.56 s c Elapsed CPU time: 9.55355 s Remaining CPU time: 1790.45 s c Elapsed CPU time: 9.66953 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.78651 s Remaining CPU time: 1790.21 s c Elapsed CPU time: 9.90049 s Remaining CPU time: 1790.1 s c Elapsed CPU time: 10.0155 s Remaining CPU time: 1789.98 s c Elapsed CPU time: 10.1305 s Remaining CPU time: 1789.87 s c Elapsed CPU time: 10.2474 s Remaining CPU time: 1789.75 s c Elapsed CPU time: 10.3614 s Remaining CPU time: 1789.64 s c Elapsed CPU time: 10.4784 s Remaining CPU time: 1789.52 s c Elapsed CPU time: 10.5934 s Remaining CPU time: 1789.41 s c Elapsed CPU time: 10.7094 s Remaining CPU time: 1789.29 s c Elapsed CPU time: 10.8264 s Remaining CPU time: 1789.17 s c Elapsed CPU time: 10.9433 s Remaining CPU time: 1789.06 s c Elapsed CPU time: 11.0603 s Remaining CPU time: 1788.94 s c Elapsed CPU time: 11.1783 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.2923 s Remaining CPU time: 1788.71 s c Elapsed CPU time: 11.4093 s Remaining CPU time: 1788.59 s c Elapsed CPU time: 11.5262 s Remaining CPU time: 1788.47 s c Elapsed CPU time: 11.6412 s Remaining CPU time: 1788.36 s c Elapsed CPU time: 11.7582 s Remaining CPU time: 1788.24 s c Elapsed CPU time: 11.8752 s Remaining CPU time: 1788.12 s c Elapsed CPU time: 11.9912 s Remaining CPU time: 1788.01 s c Elapsed CPU time: 12.1072 s Remaining CPU time: 1787.89 s c Elapsed CPU time: 12.2251 s Remaining CPU time: 1787.77 s c Elapsed CPU time: 12.3411 s Remaining CPU time: 1787.66 s c Elapsed CPU time: 12.4581 s Remaining CPU time: 1787.54 s c Elapsed CPU time: 12.5751 s Remaining CPU time: 1787.42 s c Elapsed CPU time: 12.6921 s Remaining CPU time: 1787.31 s c Elapsed CPU time: 12.8091 s Remaining CPU time: 1787.19 s c Elapsed CPU time: 12.926 s Remaining CPU time: 1787.07 s c Elapsed CPU time: 13.044 s Remaining CPU time: 1786.96 s c Elapsed CPU time: 13.16 s Remaining CPU time: 1786.84 s c Elapsed CPU time: 13.277 s Remaining CPU time: 1786.72 s c Elapsed CPU time: 13.393 s Remaining CPU time: 1786.61 s c Elapsed CPU time: 13.5089 s Remaining CPU time: 1786.49 s c Elapsed CPU time: 13.6249 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.8599 s Remaining CPU time: 1786.14 s c Elapsed CPU time: 13.9749 s Remaining CPU time: 1786.03 s c Elapsed CPU time: 14.0919 s Remaining CPU time: 1785.91 s c Elapsed CPU time: 14.2088 s Remaining CPU time: 1785.79 s c Elapsed CPU time: 14.3258 s Remaining CPU time: 1785.67 s c Elapsed CPU time: 14.4438 s Remaining CPU time: 1785.56 s c Elapsed CPU time: 14.5618 s Remaining CPU time: 1785.44 s c Elapsed CPU time: 14.6788 s Remaining CPU time: 1785.32 s c Elapsed CPU time: 14.7957 s Remaining CPU time: 1785.2 s c Elapsed CPU time: 14.9117 s Remaining CPU time: 1785.09 s c Elapsed CPU time: 15.0317 s Remaining CPU time: 1784.97 s c Elapsed CPU time: 15.1477 s Remaining CPU time: 1784.85 s c Elapsed CPU time: 15.2647 s Remaining CPU time: 1784.74 s c Elapsed CPU time: 15.3827 s Remaining CPU time: 1784.62 s c Elapsed CPU time: 15.5026 s Remaining CPU time: 1784.5 s c Elapsed CPU time: 15.6186 s Remaining CPU time: 1784.38 s c Elapsed CPU time: 15.7356 s Remaining CPU time: 1784.26 s c Elapsed CPU time: 15.8536 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.0936 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.3315 s Remaining CPU time: 1783.67 s c Elapsed CPU time: 16.4515 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5715 s Remaining CPU time: 1783.43 s c Elapsed CPU time: 16.6905 s Remaining CPU time: 1783.31 s c Elapsed CPU time: 16.8104 s Remaining CPU time: 1783.19 s c Elapsed CPU time: 16.9304 s Remaining CPU time: 1783.07 s c Elapsed CPU time: 17.0494 s Remaining CPU time: 1782.95 s c Elapsed CPU time: 17.1674 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.2894 s Remaining CPU time: 1782.71 s c Elapsed CPU time: 17.4094 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.6483 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.8933 s Remaining CPU time: 1782.11 s c Elapsed CPU time: 18.0173 s Remaining CPU time: 1781.98 s c Elapsed CPU time: 18.1402 s Remaining CPU time: 1781.86 s c Elapsed CPU time: 18.2642 s Remaining CPU time: 1781.74 s c Elapsed CPU time: 18.3892 s Remaining CPU time: 1781.61 s c Elapsed CPU time: 18.5142 s Remaining CPU time: 1781.49 s c Elapsed CPU time: 18.6372 s Remaining CPU time: 1781.36 s c Elapsed CPU time: 18.7611 s Remaining CPU time: 1781.24 s c Elapsed CPU time: 18.8841 s Remaining CPU time: 1781.12 s c Elapsed CPU time: 19.0091 s Remaining CPU time: 1780.99 s c Elapsed CPU time: 19.1351 s Remaining CPU time: 1780.86 s c Elapsed CPU time: 19.2591 s Remaining CPU time: 1780.74 s c Elapsed CPU time: 19.3841 s Remaining CPU time: 1780.62 s c Elapsed CPU time: 19.506 s Remaining CPU time: 1780.49 s c Elapsed CPU time: 19.63 s Remaining CPU time: 1780.37 s c Elapsed CPU time: 19.753 s Remaining CPU time: 1780.25 s c Elapsed CPU time: 19.875 s Remaining CPU time: 1780.13 s c Elapsed CPU time: 19.996 s Remaining CPU time: 1780 s c Elapsed CPU time: 20.1169 s Remaining CPU time: 1779.88 s c Elapsed CPU time: 20.2389 s Remaining CPU time: 1779.76 s c Elapsed CPU time: 20.3619 s Remaining CPU time: 1779.64 s c Elapsed CPU time: 20.4829 s Remaining CPU time: 1779.52 s c Elapsed CPU time: 20.6039 s Remaining CPU time: 1779.4 s c Elapsed CPU time: 20.7258 s Remaining CPU time: 1779.27 s c Elapsed CPU time: 20.8468 s Remaining CPU time: 1779.15 s c Elapsed CPU time: 20.9698 s Remaining CPU time: 1779.03 s c Elapsed CPU time: 21.0898 s Remaining CPU time: 1778.91 s c Elapsed CPU time: 21.2098 s Remaining CPU time: 1778.79 s c Elapsed CPU time: 21.3328 s Remaining CPU time: 1778.67 s c Elapsed CPU time: 21.4557 s Remaining CPU time: 1778.54 s c Elapsed CPU time: 21.5817 s Remaining CPU time: 1778.42 s c Elapsed CPU time: 21.7087 s Remaining CPU time: 1778.29 s c Elapsed CPU time: 21.8377 s Remaining CPU time: 1778.16 s c Elapsed CPU time: 21.9657 s Remaining CPU time: 1778.03 s c Elapsed CPU time: 22.0946 s Remaining CPU time: 1777.91 s c Elapsed CPU time: 22.2216 s Remaining CPU time: 1777.78 s c Elapsed CPU time: 22.3526 s Remaining CPU time: 1777.65 s c Elapsed CPU time: 22.4816 s Remaining CPU time: 1777.52 s c Elapsed CPU time: 22.6136 s Remaining CPU time: 1777.39 s c Elapsed CPU time: 22.7415 s Remaining CPU time: 1777.26 s c Elapsed CPU time: 22.8725 s Remaining CPU time: 1777.13 s c Elapsed CPU time: 23.0045 s Remaining CPU time: 1777 s c Elapsed CPU time: 23.1355 s Remaining CPU time: 1776.86 s c Elapsed CPU time: 23.2665 s Remaining CPU time: 1776.73 s c Elapsed CPU time: 23.3984 s Remaining CPU time: 1776.6 s c Elapsed CPU time: 23.5304 s Remaining CPU time: 1776.47 s c Elapsed CPU time: 23.6624 s Remaining CPU time: 1776.34 s c Elapsed CPU time: 23.7924 s Remaining CPU time: 1776.21 s c Elapsed CPU time: 23.9244 s Remaining CPU time: 1776.08 s c Elapsed CPU time: 24.0543 s Remaining CPU time: 1775.95 s c Elapsed CPU time: 24.1853 s Remaining CPU time: 1775.81 s c Elapsed CPU time: 24.3173 s Remaining CPU time: 1775.68 s c Elapsed CPU time: 24.4503 s Remaining CPU time: 1775.55 s c Elapsed CPU time: 24.5833 s Remaining CPU time: 1775.42 s c Elapsed CPU time: 24.7162 s Remaining CPU time: 1775.28 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11 113052 217647 | 37684 0 nan | 0.000 % | c =============================================================================== c Verified 113052 original clauses.