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.080987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.32695 s Remaining CPU time: 1799.67 s c Elapsed CPU time: 0.445932 s Remaining CPU time: 1799.55 s c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s c Elapsed CPU time: 0.689895 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.811876 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.934857 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 1.05684 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.18282 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.3058 s Remaining CPU time: 1798.69 s c Elapsed CPU time: 1.42878 s Remaining CPU time: 1798.57 s c Elapsed CPU time: 1.55376 s Remaining CPU time: 1798.45 s c Elapsed CPU time: 1.67575 s Remaining CPU time: 1798.32 s c Elapsed CPU time: 1.79873 s Remaining CPU time: 1798.2 s c Elapsed CPU time: 1.91871 s Remaining CPU time: 1798.08 s c Elapsed CPU time: 2.04169 s Remaining CPU time: 1797.96 s c Elapsed CPU time: 2.16567 s Remaining CPU time: 1797.83 s c Elapsed CPU time: 2.29065 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.41663 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.54261 s Remaining CPU time: 1797.46 s c Elapsed CPU time: 2.66759 s Remaining CPU time: 1797.33 s c Elapsed CPU time: 2.79258 s Remaining CPU time: 1797.21 s c Elapsed CPU time: 2.91756 s Remaining CPU time: 1797.08 s c Elapsed CPU time: 3.04054 s Remaining CPU time: 1796.96 s c Elapsed CPU time: 3.16452 s Remaining CPU time: 1796.84 s c Elapsed CPU time: 3.2915 s Remaining CPU time: 1796.71 s c Elapsed CPU time: 3.42048 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.54846 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.67844 s Remaining CPU time: 1796.32 s c Elapsed CPU time: 3.80642 s Remaining CPU time: 1796.19 s c Elapsed CPU time: 3.9324 s Remaining CPU time: 1796.07 s c Elapsed CPU time: 4.05838 s Remaining CPU time: 1795.94 s c Elapsed CPU time: 4.18436 s Remaining CPU time: 1795.82 s c Elapsed CPU time: 4.30835 s Remaining CPU time: 1795.69 s c Elapsed CPU time: 4.43433 s Remaining CPU time: 1795.57 s c Elapsed CPU time: 4.56131 s Remaining CPU time: 1795.44 s c Elapsed CPU time: 4.68829 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.81627 s Remaining CPU time: 1795.18 s c Elapsed CPU time: 4.94425 s Remaining CPU time: 1795.06 s c Elapsed CPU time: 5.06923 s Remaining CPU time: 1794.93 s c Elapsed CPU time: 5.19421 s Remaining CPU time: 1794.81 s c Elapsed CPU time: 5.31919 s Remaining CPU time: 1794.68 s c Elapsed CPU time: 5.44517 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.57215 s Remaining CPU time: 1794.43 s c Elapsed CPU time: 5.69913 s Remaining CPU time: 1794.3 s c Elapsed CPU time: 5.82611 s Remaining CPU time: 1794.17 s c Elapsed CPU time: 5.95409 s Remaining CPU time: 1794.05 s c Elapsed CPU time: 6.08308 s Remaining CPU time: 1793.92 s c Elapsed CPU time: 6.21305 s Remaining CPU time: 1793.79 s c Elapsed CPU time: 6.34004 s Remaining CPU time: 1793.66 s c Elapsed CPU time: 6.46802 s Remaining CPU time: 1793.53 s c Elapsed CPU time: 6.594 s Remaining CPU time: 1793.41 s c Elapsed CPU time: 6.71998 s Remaining CPU time: 1793.28 s c Elapsed CPU time: 6.84496 s Remaining CPU time: 1793.16 s c Elapsed CPU time: 6.97194 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 7.09692 s Remaining CPU time: 1792.9 s c Elapsed CPU time: 7.2279 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.35888 s Remaining CPU time: 1792.64 s c Elapsed CPU time: 7.48686 s Remaining CPU time: 1792.51 s c Elapsed CPU time: 7.61484 s Remaining CPU time: 1792.39 s c Elapsed CPU time: 7.74382 s Remaining CPU time: 1792.26 s c Elapsed CPU time: 7.8718 s Remaining CPU time: 1792.13 s c Elapsed CPU time: 7.99778 s Remaining CPU time: 1792 s c Elapsed CPU time: 8.12676 s Remaining CPU time: 1791.87 s c Elapsed CPU time: 8.25574 s Remaining CPU time: 1791.74 s c Elapsed CPU time: 8.38673 s Remaining CPU time: 1791.61 s c Elapsed CPU time: 8.5177 s Remaining CPU time: 1791.48 s c Elapsed CPU time: 8.64668 s Remaining CPU time: 1791.35 s c Elapsed CPU time: 8.77467 s Remaining CPU time: 1791.23 s c Elapsed CPU time: 8.90265 s Remaining CPU time: 1791.1 s c Elapsed CPU time: 9.03063 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.15761 s Remaining CPU time: 1790.84 s c Elapsed CPU time: 9.28359 s Remaining CPU time: 1790.72 s c Elapsed CPU time: 9.41257 s Remaining CPU time: 1790.59 s c Elapsed CPU time: 9.54255 s Remaining CPU time: 1790.46 s c Elapsed CPU time: 9.67153 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.80051 s Remaining CPU time: 1790.2 s c Elapsed CPU time: 9.92849 s Remaining CPU time: 1790.07 s c Elapsed CPU time: 10.0555 s Remaining CPU time: 1789.94 s c Elapsed CPU time: 10.1815 s Remaining CPU time: 1789.82 s c Elapsed CPU time: 10.3074 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.4344 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.5604 s Remaining CPU time: 1789.44 s c Elapsed CPU time: 10.6884 s Remaining CPU time: 1789.31 s c Elapsed CPU time: 10.8174 s Remaining CPU time: 1789.18 s c Elapsed CPU time: 10.9473 s Remaining CPU time: 1789.05 s c Elapsed CPU time: 11.0763 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.2063 s Remaining CPU time: 1788.79 s c Elapsed CPU time: 11.3363 s Remaining CPU time: 1788.66 s c Elapsed CPU time: 11.4653 s Remaining CPU time: 1788.53 s c Elapsed CPU time: 11.5942 s Remaining CPU time: 1788.41 s c Elapsed CPU time: 11.7212 s Remaining CPU time: 1788.28 s c Elapsed CPU time: 11.8492 s Remaining CPU time: 1788.15 s c Elapsed CPU time: 11.9772 s Remaining CPU time: 1788.02 s c Elapsed CPU time: 12.1052 s Remaining CPU time: 1787.89 s c Elapsed CPU time: 12.2341 s Remaining CPU time: 1787.77 s c Elapsed CPU time: 12.3621 s Remaining CPU time: 1787.64 s c Elapsed CPU time: 12.4931 s Remaining CPU time: 1787.51 s c Elapsed CPU time: 12.6241 s Remaining CPU time: 1787.38 s c Elapsed CPU time: 12.7551 s Remaining CPU time: 1787.24 s c Elapsed CPU time: 12.885 s Remaining CPU time: 1787.11 s c Elapsed CPU time: 13.014 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.144 s Remaining CPU time: 1786.86 s c Elapsed CPU time: 13.272 s Remaining CPU time: 1786.73 s c Elapsed CPU time: 13.399 s Remaining CPU time: 1786.6 s c Elapsed CPU time: 13.5279 s Remaining CPU time: 1786.47 s c Elapsed CPU time: 13.6569 s Remaining CPU time: 1786.34 s c Elapsed CPU time: 13.7859 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.9159 s Remaining CPU time: 1786.08 s c Elapsed CPU time: 14.0449 s Remaining CPU time: 1785.96 s c Elapsed CPU time: 14.1768 s Remaining CPU time: 1785.82 s c Elapsed CPU time: 14.3108 s Remaining CPU time: 1785.69 s c Elapsed CPU time: 14.4418 s Remaining CPU time: 1785.56 s c Elapsed CPU time: 14.5708 s Remaining CPU time: 1785.43 s c Elapsed CPU time: 14.6988 s Remaining CPU time: 1785.3 s c Elapsed CPU time: 14.8277 s Remaining CPU time: 1785.17 s c Elapsed CPU time: 14.9557 s Remaining CPU time: 1785.04 s c Elapsed CPU time: 15.0857 s Remaining CPU time: 1784.91 s c Elapsed CPU time: 15.2127 s Remaining CPU time: 1784.79 s c Elapsed CPU time: 15.3427 s Remaining CPU time: 1784.66 s c Elapsed CPU time: 15.4716 s Remaining CPU time: 1784.53 s c Elapsed CPU time: 15.6026 s Remaining CPU time: 1784.4 s c Elapsed CPU time: 15.7346 s Remaining CPU time: 1784.27 s c Elapsed CPU time: 15.8666 s Remaining CPU time: 1784.13 s c Elapsed CPU time: 15.9956 s Remaining CPU time: 1784 s c Elapsed CPU time: 16.1275 s Remaining CPU time: 1783.87 s c Elapsed CPU time: 16.2575 s Remaining CPU time: 1783.74 s c Elapsed CPU time: 16.3865 s Remaining CPU time: 1783.61 s c Elapsed CPU time: 16.5165 s Remaining CPU time: 1783.48 s c Elapsed CPU time: 16.6465 s Remaining CPU time: 1783.35 s c Elapsed CPU time: 16.7764 s Remaining CPU time: 1783.22 s c Elapsed CPU time: 16.9084 s Remaining CPU time: 1783.09 s c Elapsed CPU time: 17.0414 s Remaining CPU time: 1782.96 s c Elapsed CPU time: 17.1734 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.3084 s Remaining CPU time: 1782.69 s c Elapsed CPU time: 17.4413 s Remaining CPU time: 1782.56 s c Elapsed CPU time: 17.5733 s Remaining CPU time: 1782.43 s c Elapsed CPU time: 17.7033 s Remaining CPU time: 1782.3 s c Elapsed CPU time: 17.8343 s Remaining CPU time: 1782.17 s c Elapsed CPU time: 17.9663 s Remaining CPU time: 1782.03 s c Elapsed CPU time: 18.0952 s Remaining CPU time: 1781.9 s c Elapsed CPU time: 18.2282 s Remaining CPU time: 1781.77 s c Elapsed CPU time: 18.3602 s Remaining CPU time: 1781.64 s c Elapsed CPU time: 18.4942 s Remaining CPU time: 1781.51 s c Elapsed CPU time: 18.6272 s Remaining CPU time: 1781.37 s c Elapsed CPU time: 18.7641 s Remaining CPU time: 1781.24 s c Elapsed CPU time: 18.8971 s Remaining CPU time: 1781.1 s c Elapsed CPU time: 19.0291 s Remaining CPU time: 1780.97 s c Elapsed CPU time: 19.1581 s Remaining CPU time: 1780.84 s c Elapsed CPU time: 19.2891 s Remaining CPU time: 1780.71 s c Elapsed CPU time: 19.42 s Remaining CPU time: 1780.58 s c Elapsed CPU time: 19.553 s Remaining CPU time: 1780.45 s c Elapsed CPU time: 19.684 s Remaining CPU time: 1780.32 s c Elapsed CPU time: 19.819 s Remaining CPU time: 1780.18 s c Elapsed CPU time: 19.954 s Remaining CPU time: 1780.05 s c Elapsed CPU time: 20.0889 s Remaining CPU time: 1779.91 s c Elapsed CPU time: 20.2259 s Remaining CPU time: 1779.77 s c Elapsed CPU time: 20.3619 s Remaining CPU time: 1779.64 s c Elapsed CPU time: 20.4949 s Remaining CPU time: 1779.51 s c Elapsed CPU time: 20.6279 s Remaining CPU time: 1779.37 s c Elapsed CPU time: 20.7608 s Remaining CPU time: 1779.24 s c Elapsed CPU time: 20.8948 s Remaining CPU time: 1779.11 s c Elapsed CPU time: 21.0298 s Remaining CPU time: 1778.97 s c Elapsed CPU time: 21.1648 s Remaining CPU time: 1778.84 s c Elapsed CPU time: 21.3048 s Remaining CPU time: 1778.7 s c Elapsed CPU time: 21.4427 s Remaining CPU time: 1778.56 s c Elapsed CPU time: 21.5787 s Remaining CPU time: 1778.42 s c Elapsed CPU time: 21.7147 s Remaining CPU time: 1778.29 s c Elapsed CPU time: 21.8507 s Remaining CPU time: 1778.15 s c Elapsed CPU time: 21.9867 s Remaining CPU time: 1778.01 s c Elapsed CPU time: 22.1206 s Remaining CPU time: 1777.88 s c Elapsed CPU time: 22.2556 s Remaining CPU time: 1777.74 s c Elapsed CPU time: 22.3916 s Remaining CPU time: 1777.61 s c Elapsed CPU time: 22.5276 s Remaining CPU time: 1777.47 s c Elapsed CPU time: 22.6616 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.7985 s Remaining CPU time: 1777.2 s c Elapsed CPU time: 22.9335 s Remaining CPU time: 1777.07 s c Elapsed CPU time: 23.0705 s Remaining CPU time: 1776.93 s c Elapsed CPU time: 23.2075 s Remaining CPU time: 1776.79 s c Elapsed CPU time: 23.3474 s Remaining CPU time: 1776.65 s c Elapsed CPU time: 23.4864 s Remaining CPU time: 1776.51 s c Elapsed CPU time: 23.6274 s Remaining CPU time: 1776.37 s c Elapsed CPU time: 23.7654 s Remaining CPU time: 1776.23 s c Elapsed CPU time: 23.9054 s Remaining CPU time: 1776.09 s c Elapsed CPU time: 24.0463 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.3263 s Remaining CPU time: 1775.67 s c Elapsed CPU time: 24.4673 s Remaining CPU time: 1775.53 s c Elapsed CPU time: 24.6053 s Remaining CPU time: 1775.39 s c Elapsed CPU time: 24.7472 s Remaining CPU time: 1775.25 s c Elapsed CPU time: 24.8892 s Remaining CPU time: 1775.11 s c Elapsed CPU time: 25.0302 s Remaining CPU time: 1774.97 s c Elapsed CPU time: 25.1722 s Remaining CPU time: 1774.83 s c Elapsed CPU time: 25.3152 s Remaining CPU time: 1774.68 s c Elapsed CPU time: 25.4591 s Remaining CPU time: 1774.54 s c Elapsed CPU time: 25.6061 s Remaining CPU time: 1774.39 s c Elapsed CPU time: 25.7501 s Remaining CPU time: 1774.25 s c Elapsed CPU time: 25.8941 s Remaining CPU time: 1774.11 s c Elapsed CPU time: 26.039 s Remaining CPU time: 1773.96 s c Elapsed CPU time: 26.184 s Remaining CPU time: 1773.82 s c Elapsed CPU time: 26.326 s Remaining CPU time: 1773.67 s c Elapsed CPU time: 26.47 s Remaining CPU time: 1773.53 s c Elapsed CPU time: 26.613 s Remaining CPU time: 1773.39 s c Elapsed CPU time: 26.7569 s Remaining CPU time: 1773.24 s c Elapsed CPU time: 26.9009 s Remaining CPU time: 1773.1 s c Elapsed CPU time: 27.0459 s Remaining CPU time: 1772.95 s c Elapsed CPU time: 27.1899 s Remaining CPU time: 1772.81 s c Elapsed CPU time: 27.3338 s Remaining CPU time: 1772.67 s c Elapsed CPU time: 27.4768 s Remaining CPU time: 1772.52 s c Elapsed CPU time: 27.6218 s Remaining CPU time: 1772.38 s c Elapsed CPU time: 27.7658 s Remaining CPU time: 1772.23 s c Elapsed CPU time: 27.9098 s Remaining CPU time: 1772.09 s c Elapsed CPU time: 28.0527 s Remaining CPU time: 1771.95 s c Elapsed CPU time: 28.1987 s Remaining CPU time: 1771.8 s c Elapsed CPU time: 28.3437 s Remaining CPU time: 1771.66 s c Elapsed CPU time: 28.4897 s Remaining CPU time: 1771.51 s c Elapsed CPU time: 28.6346 s Remaining CPU time: 1771.37 s c Elapsed CPU time: 28.7806 s Remaining CPU time: 1771.22 s c Elapsed CPU time: 28.9256 s Remaining CPU time: 1771.07 s c Elapsed CPU time: 29.0706 s Remaining CPU time: 1770.93 s c Elapsed CPU time: 29.2166 s Remaining CPU time: 1770.78 s c Elapsed CPU time: 29.3635 s Remaining CPU time: 1770.64 s c Elapsed CPU time: 29.5085 s Remaining CPU time: 1770.49 s c Elapsed CPU time: 29.6555 s Remaining CPU time: 1770.34 s c Elapsed CPU time: 29.8035 s Remaining CPU time: 1770.2 s c Elapsed CPU time: 29.9504 s Remaining CPU time: 1770.05 s c Elapsed CPU time: 30.0974 s Remaining CPU time: 1769.9 s c Elapsed CPU time: 30.2464 s Remaining CPU time: 1769.75 s c Elapsed CPU time: 30.3924 s Remaining CPU time: 1769.61 s c Elapsed CPU time: 30.5394 s Remaining CPU time: 1769.46 s c Elapsed CPU time: 30.6863 s Remaining CPU time: 1769.31 s c Elapsed CPU time: 30.8333 s Remaining CPU time: 1769.17 s c Elapsed CPU time: 30.9823 s Remaining CPU time: 1769.02 s c Elapsed CPU time: 31.1293 s Remaining CPU time: 1768.87 s c Elapsed CPU time: 31.2772 s Remaining CPU time: 1768.72 s c Elapsed CPU time: 31.4252 s Remaining CPU time: 1768.57 s c Elapsed CPU time: 31.5742 s Remaining CPU time: 1768.43 s c Elapsed CPU time: 31.7232 s Remaining CPU time: 1768.28 s c Elapsed CPU time: 31.8722 s Remaining CPU time: 1768.13 s c Elapsed CPU time: 32.0211 s Remaining CPU time: 1767.98 s c Elapsed CPU time: 32.1711 s Remaining CPU time: 1767.83 s c Elapsed CPU time: 32.3191 s Remaining CPU time: 1767.68 s c Elapsed CPU time: 32.4681 s Remaining CPU time: 1767.53 s c Elapsed CPU time: 32.619 s Remaining CPU time: 1767.38 s c Elapsed CPU time: 32.769 s Remaining CPU time: 1767.23 s c Elapsed CPU time: 32.92 s Remaining CPU time: 1767.08 s c Elapsed CPU time: 33.071 s Remaining CPU time: 1766.93 s c Elapsed CPU time: 33.2229 s Remaining CPU time: 1766.78 s c Elapsed CPU time: 33.3739 s Remaining CPU time: 1766.63 s c Elapsed CPU time: 33.5249 s Remaining CPU time: 1766.48 s c Elapsed CPU time: 33.6769 s Remaining CPU time: 1766.32 s c Elapsed CPU time: 33.8279 s Remaining CPU time: 1766.17 s c Elapsed CPU time: 33.9808 s Remaining CPU time: 1766.02 s c Elapsed CPU time: 34.1318 s Remaining CPU time: 1765.87 s c Elapsed CPU time: 34.2848 s Remaining CPU time: 1765.72 s c Elapsed CPU time: 34.4378 s Remaining CPU time: 1765.56 s c Elapsed CPU time: 34.5897 s Remaining CPU time: 1765.41 s c Elapsed CPU time: 34.7427 s Remaining CPU time: 1765.26 s c Elapsed CPU time: 34.8987 s Remaining CPU time: 1765.1 s c Elapsed CPU time: 35.0497 s Remaining CPU time: 1764.95 s c Elapsed CPU time: 35.2026 s Remaining CPU time: 1764.8 s c Elapsed CPU time: 35.3566 s Remaining CPU time: 1764.64 s c Elapsed CPU time: 35.5096 s Remaining CPU time: 1764.49 s c Elapsed CPU time: 35.6626 s Remaining CPU time: 1764.34 s c Elapsed CPU time: 35.8166 s Remaining CPU time: 1764.18 s c Elapsed CPU time: 35.9695 s Remaining CPU time: 1764.03 s c Elapsed CPU time: 36.1235 s Remaining CPU time: 1763.88 s c Elapsed CPU time: 36.2775 s Remaining CPU time: 1763.72 s c Elapsed CPU time: 36.4315 s Remaining CPU time: 1763.57 s c Elapsed CPU time: 36.5884 s Remaining CPU time: 1763.41 s c Elapsed CPU time: 36.7434 s Remaining CPU time: 1763.26 s c Elapsed CPU time: 36.8994 s Remaining CPU time: 1763.1 s c Elapsed CPU time: 37.0554 s Remaining CPU time: 1762.94 s c Elapsed CPU time: 37.2103 s Remaining CPU time: 1762.79 s c Elapsed CPU time: 37.3653 s Remaining CPU time: 1762.63 s c Elapsed CPU time: 37.5223 s Remaining CPU time: 1762.48 s c Elapsed CPU time: 37.6803 s Remaining CPU time: 1762.32 s c Elapsed CPU time: 37.8362 s Remaining CPU time: 1762.16 s c Elapsed CPU time: 37.9932 s Remaining CPU time: 1762.01 s c Elapsed CPU time: 38.1502 s Remaining CPU time: 1761.85 s c Elapsed CPU time: 38.3072 s Remaining CPU time: 1761.69 s c Elapsed CPU time: 38.4632 s Remaining CPU time: 1761.54 s c Elapsed CPU time: 38.6211 s Remaining CPU time: 1761.38 s c Elapsed CPU time: 38.7781 s Remaining CPU time: 1761.22 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113204 217785 | 37734 0 nan | 0.000 % | c =============================================================================== c Verified 113204 original clauses.