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.079987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s c Elapsed CPU time: 0.556915 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s c Elapsed CPU time: 0.796878 s Remaining CPU time: 1799.2 s c Elapsed CPU time: 0.91486 s Remaining CPU time: 1799.09 s c Elapsed CPU time: 1.03584 s Remaining CPU time: 1798.96 s c Elapsed CPU time: 1.15682 s Remaining CPU time: 1798.84 s c Elapsed CPU time: 1.27581 s Remaining CPU time: 1798.72 s c Elapsed CPU time: 1.39679 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.51677 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63875 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.76073 s Remaining CPU time: 1798.24 s c Elapsed CPU time: 1.87971 s Remaining CPU time: 1798.12 s c Elapsed CPU time: 2.00169 s Remaining CPU time: 1798 s c Elapsed CPU time: 2.12368 s Remaining CPU time: 1797.88 s c Elapsed CPU time: 2.24566 s Remaining CPU time: 1797.75 s c Elapsed CPU time: 2.36864 s Remaining CPU time: 1797.63 s c Elapsed CPU time: 2.49162 s Remaining CPU time: 1797.51 s c Elapsed CPU time: 2.6146 s Remaining CPU time: 1797.39 s c Elapsed CPU time: 2.73558 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.86057 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.98555 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 3.11053 s Remaining CPU time: 1796.89 s c Elapsed CPU time: 3.23651 s Remaining CPU time: 1796.76 s c Elapsed CPU time: 3.36149 s Remaining CPU time: 1796.64 s c Elapsed CPU time: 3.48547 s Remaining CPU time: 1796.51 s c Elapsed CPU time: 3.61045 s Remaining CPU time: 1796.39 s c Elapsed CPU time: 3.73443 s Remaining CPU time: 1796.27 s c Elapsed CPU time: 3.85941 s Remaining CPU time: 1796.14 s c Elapsed CPU time: 3.98439 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 4.11038 s Remaining CPU time: 1795.89 s c Elapsed CPU time: 4.23536 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 4.35934 s Remaining CPU time: 1795.64 s c Elapsed CPU time: 4.48532 s Remaining CPU time: 1795.51 s c Elapsed CPU time: 4.6123 s Remaining CPU time: 1795.39 s c Elapsed CPU time: 4.73828 s Remaining CPU time: 1795.26 s c Elapsed CPU time: 4.86426 s Remaining CPU time: 1795.14 s c Elapsed CPU time: 4.99024 s Remaining CPU time: 1795.01 s c Elapsed CPU time: 5.11522 s Remaining CPU time: 1794.88 s c Elapsed CPU time: 5.2402 s Remaining CPU time: 1794.76 s c Elapsed CPU time: 5.36718 s Remaining CPU time: 1794.63 s c Elapsed CPU time: 5.49216 s Remaining CPU time: 1794.51 s c Elapsed CPU time: 5.62115 s Remaining CPU time: 1794.38 s c Elapsed CPU time: 5.74613 s Remaining CPU time: 1794.25 s c Elapsed CPU time: 5.87411 s Remaining CPU time: 1794.13 s c Elapsed CPU time: 5.99909 s Remaining CPU time: 1794 s c Elapsed CPU time: 6.12507 s Remaining CPU time: 1793.87 s c Elapsed CPU time: 6.25105 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.37603 s Remaining CPU time: 1793.62 s c Elapsed CPU time: 6.50201 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.62799 s Remaining CPU time: 1793.37 s c Elapsed CPU time: 6.75497 s Remaining CPU time: 1793.25 s c Elapsed CPU time: 6.88195 s Remaining CPU time: 1793.12 s c Elapsed CPU time: 7.00893 s Remaining CPU time: 1792.99 s c Elapsed CPU time: 7.13492 s Remaining CPU time: 1792.87 s c Elapsed CPU time: 7.2629 s Remaining CPU time: 1792.74 s c Elapsed CPU time: 7.39088 s Remaining CPU time: 1792.61 s c Elapsed CPU time: 7.51686 s Remaining CPU time: 1792.48 s c Elapsed CPU time: 7.64484 s Remaining CPU time: 1792.36 s c Elapsed CPU time: 7.77382 s Remaining CPU time: 1792.23 s c Elapsed CPU time: 7.9018 s Remaining CPU time: 1792.1 s c Elapsed CPU time: 8.02978 s Remaining CPU time: 1791.97 s c Elapsed CPU time: 8.15576 s Remaining CPU time: 1791.84 s c Elapsed CPU time: 8.28474 s Remaining CPU time: 1791.72 s c Elapsed CPU time: 8.41272 s Remaining CPU time: 1791.59 s c Elapsed CPU time: 8.5417 s Remaining CPU time: 1791.46 s c Elapsed CPU time: 8.67068 s Remaining CPU time: 1791.33 s c Elapsed CPU time: 8.79966 s Remaining CPU time: 1791.2 s c Elapsed CPU time: 8.92664 s Remaining CPU time: 1791.07 s c Elapsed CPU time: 9.05462 s Remaining CPU time: 1790.95 s c Elapsed CPU time: 9.1836 s Remaining CPU time: 1790.82 s c Elapsed CPU time: 9.31358 s Remaining CPU time: 1790.69 s c Elapsed CPU time: 9.44156 s Remaining CPU time: 1790.56 s c Elapsed CPU time: 9.56954 s Remaining CPU time: 1790.43 s c Elapsed CPU time: 9.69853 s Remaining CPU time: 1790.3 s c Elapsed CPU time: 9.82651 s Remaining CPU time: 1790.17 s c Elapsed CPU time: 9.95349 s Remaining CPU time: 1790.05 s c Elapsed CPU time: 10.0835 s Remaining CPU time: 1789.92 s c Elapsed CPU time: 10.2124 s Remaining CPU time: 1789.79 s c Elapsed CPU time: 10.3404 s Remaining CPU time: 1789.66 s c Elapsed CPU time: 10.4684 s Remaining CPU time: 1789.53 s c Elapsed CPU time: 10.5974 s Remaining CPU time: 1789.4 s c Elapsed CPU time: 10.7244 s Remaining CPU time: 1789.28 s c Elapsed CPU time: 10.8514 s Remaining CPU time: 1789.15 s c Elapsed CPU time: 10.9803 s Remaining CPU time: 1789.02 s c Elapsed CPU time: 11.1083 s Remaining CPU time: 1788.89 s c Elapsed CPU time: 11.2383 s Remaining CPU time: 1788.76 s c Elapsed CPU time: 11.3673 s Remaining CPU time: 1788.63 s c Elapsed CPU time: 11.4953 s Remaining CPU time: 1788.5 s c Elapsed CPU time: 11.6242 s Remaining CPU time: 1788.38 s c Elapsed CPU time: 11.7542 s Remaining CPU time: 1788.25 s c Elapsed CPU time: 11.8842 s Remaining CPU time: 1788.12 s c Elapsed CPU time: 12.0132 s Remaining CPU time: 1787.99 s c Elapsed CPU time: 12.1422 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.2731 s Remaining CPU time: 1787.73 s c Elapsed CPU time: 12.4031 s Remaining CPU time: 1787.6 s c Elapsed CPU time: 12.5301 s Remaining CPU time: 1787.47 s c Elapsed CPU time: 12.6601 s Remaining CPU time: 1787.34 s c Elapsed CPU time: 12.7901 s Remaining CPU time: 1787.21 s c Elapsed CPU time: 12.919 s Remaining CPU time: 1787.08 s c Elapsed CPU time: 13.05 s Remaining CPU time: 1786.95 s c Elapsed CPU time: 13.181 s Remaining CPU time: 1786.82 s c Elapsed CPU time: 13.31 s Remaining CPU time: 1786.69 s c Elapsed CPU time: 13.438 s Remaining CPU time: 1786.56 s c Elapsed CPU time: 13.5679 s Remaining CPU time: 1786.43 s c Elapsed CPU time: 13.6989 s Remaining CPU time: 1786.3 s c Elapsed CPU time: 13.8289 s Remaining CPU time: 1786.17 s c Elapsed CPU time: 13.9589 s Remaining CPU time: 1786.04 s c Elapsed CPU time: 14.0869 s Remaining CPU time: 1785.91 s c Elapsed CPU time: 14.2168 s Remaining CPU time: 1785.78 s c Elapsed CPU time: 14.3468 s Remaining CPU time: 1785.65 s c Elapsed CPU time: 14.4748 s Remaining CPU time: 1785.53 s c Elapsed CPU time: 14.6048 s Remaining CPU time: 1785.4 s c Elapsed CPU time: 14.7338 s Remaining CPU time: 1785.27 s c Elapsed CPU time: 14.8637 s Remaining CPU time: 1785.14 s c Elapsed CPU time: 14.9917 s Remaining CPU time: 1785.01 s c Elapsed CPU time: 15.1237 s Remaining CPU time: 1784.88 s c Elapsed CPU time: 15.2527 s Remaining CPU time: 1784.75 s c Elapsed CPU time: 15.3807 s Remaining CPU time: 1784.62 s c Elapsed CPU time: 15.5116 s Remaining CPU time: 1784.49 s c Elapsed CPU time: 15.6416 s Remaining CPU time: 1784.36 s c Elapsed CPU time: 15.7716 s Remaining CPU time: 1784.23 s c Elapsed CPU time: 15.9026 s Remaining CPU time: 1784.1 s c Elapsed CPU time: 16.0326 s Remaining CPU time: 1783.97 s c Elapsed CPU time: 16.1635 s Remaining CPU time: 1783.84 s c Elapsed CPU time: 16.2935 s Remaining CPU time: 1783.71 s c Elapsed CPU time: 16.4235 s Remaining CPU time: 1783.58 s c Elapsed CPU time: 16.5545 s Remaining CPU time: 1783.45 s c Elapsed CPU time: 16.6855 s Remaining CPU time: 1783.31 s c Elapsed CPU time: 16.8154 s Remaining CPU time: 1783.18 s c Elapsed CPU time: 16.9464 s Remaining CPU time: 1783.05 s c Elapsed CPU time: 17.0764 s Remaining CPU time: 1782.92 s c Elapsed CPU time: 17.2074 s Remaining CPU time: 1782.79 s c Elapsed CPU time: 17.3374 s Remaining CPU time: 1782.66 s c Elapsed CPU time: 17.4683 s Remaining CPU time: 1782.53 s c Elapsed CPU time: 17.5993 s Remaining CPU time: 1782.4 s c Elapsed CPU time: 17.7293 s Remaining CPU time: 1782.27 s c Elapsed CPU time: 17.8603 s Remaining CPU time: 1782.14 s c Elapsed CPU time: 17.9923 s Remaining CPU time: 1782.01 s c Elapsed CPU time: 18.1252 s Remaining CPU time: 1781.87 s c Elapsed CPU time: 18.2572 s Remaining CPU time: 1781.74 s c Elapsed CPU time: 18.3872 s Remaining CPU time: 1781.61 s c Elapsed CPU time: 18.5202 s Remaining CPU time: 1781.48 s c Elapsed CPU time: 18.6522 s Remaining CPU time: 1781.35 s c Elapsed CPU time: 18.7831 s Remaining CPU time: 1781.22 s c Elapsed CPU time: 18.9161 s Remaining CPU time: 1781.08 s c Elapsed CPU time: 19.0481 s Remaining CPU time: 1780.95 s c Elapsed CPU time: 19.1801 s Remaining CPU time: 1780.82 s c Elapsed CPU time: 19.3121 s Remaining CPU time: 1780.69 s c Elapsed CPU time: 19.444 s Remaining CPU time: 1780.56 s c Elapsed CPU time: 19.577 s Remaining CPU time: 1780.42 s c Elapsed CPU time: 19.711 s Remaining CPU time: 1780.29 s c Elapsed CPU time: 19.843 s Remaining CPU time: 1780.16 s c Elapsed CPU time: 19.978 s Remaining CPU time: 1780.02 s c Elapsed CPU time: 20.1109 s Remaining CPU time: 1779.89 s c Elapsed CPU time: 20.2439 s Remaining CPU time: 1779.76 s c Elapsed CPU time: 20.3769 s Remaining CPU time: 1779.62 s c Elapsed CPU time: 20.5099 s Remaining CPU time: 1779.49 s c Elapsed CPU time: 20.6419 s Remaining CPU time: 1779.36 s c Elapsed CPU time: 20.7738 s Remaining CPU time: 1779.23 s c Elapsed CPU time: 20.9078 s Remaining CPU time: 1779.09 s c Elapsed CPU time: 21.0428 s Remaining CPU time: 1778.96 s c Elapsed CPU time: 21.1748 s Remaining CPU time: 1778.83 s c Elapsed CPU time: 21.3078 s Remaining CPU time: 1778.69 s c Elapsed CPU time: 21.4397 s Remaining CPU time: 1778.56 s c Elapsed CPU time: 21.5757 s Remaining CPU time: 1778.42 s c Elapsed CPU time: 21.7097 s Remaining CPU time: 1778.29 s c Elapsed CPU time: 21.8437 s Remaining CPU time: 1778.16 s c Elapsed CPU time: 21.9787 s Remaining CPU time: 1778.02 s c Elapsed CPU time: 22.1136 s Remaining CPU time: 1777.89 s c Elapsed CPU time: 22.2476 s Remaining CPU time: 1777.75 s c Elapsed CPU time: 22.3836 s Remaining CPU time: 1777.62 s c Elapsed CPU time: 22.5176 s Remaining CPU time: 1777.48 s c Elapsed CPU time: 22.6516 s Remaining CPU time: 1777.35 s c Elapsed CPU time: 22.7885 s Remaining CPU time: 1777.21 s c Elapsed CPU time: 22.9235 s Remaining CPU time: 1777.08 s c Elapsed CPU time: 23.0595 s Remaining CPU time: 1776.94 s c Elapsed CPU time: 23.1945 s Remaining CPU time: 1776.81 s c Elapsed CPU time: 23.3285 s Remaining CPU time: 1776.67 s c Elapsed CPU time: 23.4644 s Remaining CPU time: 1776.54 s c Elapsed CPU time: 23.6024 s Remaining CPU time: 1776.4 s c Elapsed CPU time: 23.7414 s Remaining CPU time: 1776.26 s c Elapsed CPU time: 23.8814 s Remaining CPU time: 1776.12 s c Elapsed CPU time: 24.0213 s Remaining CPU time: 1775.98 s c Elapsed CPU time: 24.1623 s Remaining CPU time: 1775.84 s c Elapsed CPU time: 24.3013 s Remaining CPU time: 1775.7 s c Elapsed CPU time: 24.4423 s Remaining CPU time: 1775.56 s c Elapsed CPU time: 24.5833 s Remaining CPU time: 1775.42 s c Elapsed CPU time: 24.7252 s Remaining CPU time: 1775.27 s c Elapsed CPU time: 24.8672 s Remaining CPU time: 1775.13 s c Elapsed CPU time: 25.0112 s Remaining CPU time: 1774.99 s c Elapsed CPU time: 25.1532 s Remaining CPU time: 1774.85 s c Elapsed CPU time: 25.2952 s Remaining CPU time: 1774.7 s c Elapsed CPU time: 25.4391 s Remaining CPU time: 1774.56 s c Elapsed CPU time: 25.5841 s Remaining CPU time: 1774.42 s c Elapsed CPU time: 25.7291 s Remaining CPU time: 1774.27 s c Elapsed CPU time: 25.8751 s Remaining CPU time: 1774.12 s c Elapsed CPU time: 26.022 s Remaining CPU time: 1773.98 s c Elapsed CPU time: 26.169 s Remaining CPU time: 1773.83 s c Elapsed CPU time: 26.317 s Remaining CPU time: 1773.68 s c Elapsed CPU time: 26.464 s Remaining CPU time: 1773.54 s c Elapsed CPU time: 26.611 s Remaining CPU time: 1773.39 s c Elapsed CPU time: 26.7599 s Remaining CPU time: 1773.24 s c Elapsed CPU time: 26.9089 s Remaining CPU time: 1773.09 s c Elapsed CPU time: 27.0569 s Remaining CPU time: 1772.94 s c Elapsed CPU time: 27.2069 s Remaining CPU time: 1772.79 s c Elapsed CPU time: 27.3568 s Remaining CPU time: 1772.64 s c Elapsed CPU time: 27.5058 s Remaining CPU time: 1772.49 s c Elapsed CPU time: 27.6538 s Remaining CPU time: 1772.35 s c Elapsed CPU time: 27.8048 s Remaining CPU time: 1772.2 s c Elapsed CPU time: 27.9537 s Remaining CPU time: 1772.05 s c Elapsed CPU time: 28.1037 s Remaining CPU time: 1771.9 s c Elapsed CPU time: 28.2547 s Remaining CPU time: 1771.75 s c Elapsed CPU time: 28.4057 s Remaining CPU time: 1771.59 s c Elapsed CPU time: 28.5557 s Remaining CPU time: 1771.44 s c Elapsed CPU time: 28.7066 s Remaining CPU time: 1771.29 s c Elapsed CPU time: 28.8596 s Remaining CPU time: 1771.14 s c Elapsed CPU time: 29.0116 s Remaining CPU time: 1770.99 s c Elapsed CPU time: 29.1666 s Remaining CPU time: 1770.83 s c Elapsed CPU time: 29.3185 s Remaining CPU time: 1770.68 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113080 217670 | 37693 0 nan | 0.000 % | c =============================================================================== c Verified 113080 original clauses.