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.074988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.508922 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.617906 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.728889 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.838872 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.947855 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 1.05684 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.16682 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.27581 s Remaining CPU time: 1798.72 s c Elapsed CPU time: 1.38579 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.49577 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.60676 s Remaining CPU time: 1798.39 s c Elapsed CPU time: 1.71674 s Remaining CPU time: 1798.28 s c Elapsed CPU time: 1.82772 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.93871 s Remaining CPU time: 1798.06 s c Elapsed CPU time: 2.04869 s Remaining CPU time: 1797.95 s c Elapsed CPU time: 2.16167 s Remaining CPU time: 1797.84 s c Elapsed CPU time: 2.27365 s Remaining CPU time: 1797.73 s c Elapsed CPU time: 2.38464 s Remaining CPU time: 1797.62 s c Elapsed CPU time: 2.49662 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.6076 s Remaining CPU time: 1797.39 s c Elapsed CPU time: 2.71859 s Remaining CPU time: 1797.28 s c Elapsed CPU time: 2.83357 s Remaining CPU time: 1797.17 s c Elapsed CPU time: 2.94655 s Remaining CPU time: 1797.05 s c Elapsed CPU time: 3.06153 s Remaining CPU time: 1796.94 s c Elapsed CPU time: 3.17452 s Remaining CPU time: 1796.83 s c Elapsed CPU time: 3.2905 s Remaining CPU time: 1796.71 s c Elapsed CPU time: 3.40348 s Remaining CPU time: 1796.6 s c Elapsed CPU time: 3.51846 s Remaining CPU time: 1796.48 s c Elapsed CPU time: 3.63145 s Remaining CPU time: 1796.37 s c Elapsed CPU time: 3.74743 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.86041 s Remaining CPU time: 1796.14 s c Elapsed CPU time: 3.97539 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 4.08938 s Remaining CPU time: 1795.91 s c Elapsed CPU time: 4.20436 s Remaining CPU time: 1795.8 s c Elapsed CPU time: 4.32034 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.43633 s Remaining CPU time: 1795.56 s c Elapsed CPU time: 4.55131 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.66629 s Remaining CPU time: 1795.33 s c Elapsed CPU time: 4.78127 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.89525 s Remaining CPU time: 1795.1 s c Elapsed CPU time: 5.00924 s Remaining CPU time: 1794.99 s c Elapsed CPU time: 5.12422 s Remaining CPU time: 1794.88 s c Elapsed CPU time: 5.2382 s Remaining CPU time: 1794.76 s c Elapsed CPU time: 5.35219 s Remaining CPU time: 1794.65 s c Elapsed CPU time: 5.46617 s Remaining CPU time: 1794.53 s c Elapsed CPU time: 5.58015 s Remaining CPU time: 1794.42 s c Elapsed CPU time: 5.69413 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.80812 s Remaining CPU time: 1794.19 s c Elapsed CPU time: 5.9221 s Remaining CPU time: 1794.08 s c Elapsed CPU time: 6.03908 s Remaining CPU time: 1793.96 s c Elapsed CPU time: 6.15406 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.26905 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.38503 s Remaining CPU time: 1793.61 s c Elapsed CPU time: 6.50101 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.61799 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.73298 s Remaining CPU time: 1793.27 s c Elapsed CPU time: 6.84996 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.96594 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 7.08292 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.31689 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.43487 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.55185 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.66983 s Remaining CPU time: 1792.33 s c Elapsed CPU time: 7.78682 s Remaining CPU time: 1792.21 s c Elapsed CPU time: 7.9038 s Remaining CPU time: 1792.1 s c Elapsed CPU time: 8.02078 s Remaining CPU time: 1791.98 s c Elapsed CPU time: 8.13776 s Remaining CPU time: 1791.86 s c Elapsed CPU time: 8.25474 s Remaining CPU time: 1791.75 s c Elapsed CPU time: 8.36973 s Remaining CPU time: 1791.63 s c Elapsed CPU time: 8.48571 s Remaining CPU time: 1791.51 s c Elapsed CPU time: 8.60469 s Remaining CPU time: 1791.4 s c Elapsed CPU time: 8.72067 s Remaining CPU time: 1791.28 s c Elapsed CPU time: 8.83766 s Remaining CPU time: 1791.16 s c Elapsed CPU time: 8.95364 s Remaining CPU time: 1791.05 s c Elapsed CPU time: 9.07062 s Remaining CPU time: 1790.93 s c Elapsed CPU time: 9.1876 s Remaining CPU time: 1790.81 s c Elapsed CPU time: 9.30358 s Remaining CPU time: 1790.7 s c Elapsed CPU time: 9.42057 s Remaining CPU time: 1790.58 s c Elapsed CPU time: 9.53755 s Remaining CPU time: 1790.46 s c Elapsed CPU time: 9.65453 s Remaining CPU time: 1790.35 s c Elapsed CPU time: 9.77051 s Remaining CPU time: 1790.23 s c Elapsed CPU time: 9.8865 s Remaining CPU time: 1790.11 s c Elapsed CPU time: 10.0035 s Remaining CPU time: 1790 s c Elapsed CPU time: 10.1205 s Remaining CPU time: 1789.88 s c Elapsed CPU time: 10.2364 s Remaining CPU time: 1789.76 s c Elapsed CPU time: 10.3544 s Remaining CPU time: 1789.65 s c Elapsed CPU time: 10.4714 s Remaining CPU time: 1789.53 s c Elapsed CPU time: 10.5884 s Remaining CPU time: 1789.41 s c Elapsed CPU time: 10.7034 s Remaining CPU time: 1789.3 s c Elapsed CPU time: 10.8184 s Remaining CPU time: 1789.18 s c Elapsed CPU time: 10.9353 s Remaining CPU time: 1789.06 s c Elapsed CPU time: 11.0513 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.1693 s Remaining CPU time: 1788.83 s c Elapsed CPU time: 11.2873 s Remaining CPU time: 1788.71 s c Elapsed CPU time: 11.4053 s Remaining CPU time: 1788.59 s c Elapsed CPU time: 11.5222 s Remaining CPU time: 1788.48 s c Elapsed CPU time: 11.6372 s Remaining CPU time: 1788.36 s c Elapsed CPU time: 11.7532 s Remaining CPU time: 1788.25 s c Elapsed CPU time: 11.8682 s Remaining CPU time: 1788.13 s c Elapsed CPU time: 11.9842 s Remaining CPU time: 1788.02 s c Elapsed CPU time: 12.1002 s Remaining CPU time: 1787.9 s c Elapsed CPU time: 12.2151 s Remaining CPU time: 1787.78 s c Elapsed CPU time: 12.3321 s Remaining CPU time: 1787.67 s c Elapsed CPU time: 12.4481 s Remaining CPU time: 1787.55 s c Elapsed CPU time: 12.5631 s Remaining CPU time: 1787.44 s c Elapsed CPU time: 12.6781 s Remaining CPU time: 1787.32 s c Elapsed CPU time: 12.7931 s Remaining CPU time: 1787.21 s c Elapsed CPU time: 12.909 s Remaining CPU time: 1787.09 s c Elapsed CPU time: 13.026 s Remaining CPU time: 1786.97 s c Elapsed CPU time: 13.143 s Remaining CPU time: 1786.86 s c Elapsed CPU time: 13.26 s Remaining CPU time: 1786.74 s c Elapsed CPU time: 13.377 s Remaining CPU time: 1786.62 s c Elapsed CPU time: 13.4919 s Remaining CPU time: 1786.51 s c Elapsed CPU time: 13.6089 s Remaining CPU time: 1786.39 s c Elapsed CPU time: 13.7249 s Remaining CPU time: 1786.28 s c Elapsed CPU time: 13.8409 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.9579 s Remaining CPU time: 1786.04 s c Elapsed CPU time: 14.0739 s Remaining CPU time: 1785.93 s c Elapsed CPU time: 14.1908 s Remaining CPU time: 1785.81 s c Elapsed CPU time: 14.3088 s Remaining CPU time: 1785.69 s c Elapsed CPU time: 14.4258 s Remaining CPU time: 1785.57 s c Elapsed CPU time: 14.5438 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.6608 s Remaining CPU time: 1785.34 s c Elapsed CPU time: 14.7778 s Remaining CPU time: 1785.22 s c Elapsed CPU time: 14.8957 s Remaining CPU time: 1785.1 s c Elapsed CPU time: 15.0117 s Remaining CPU time: 1784.99 s c Elapsed CPU time: 15.1307 s Remaining CPU time: 1784.87 s c Elapsed CPU time: 15.2487 s Remaining CPU time: 1784.75 s c Elapsed CPU time: 15.3667 s Remaining CPU time: 1784.63 s c Elapsed CPU time: 15.4836 s Remaining CPU time: 1784.52 s c Elapsed CPU time: 15.5986 s Remaining CPU time: 1784.4 s c Elapsed CPU time: 15.7166 s Remaining CPU time: 1784.28 s c Elapsed CPU time: 15.8346 s Remaining CPU time: 1784.17 s c Elapsed CPU time: 15.9526 s Remaining CPU time: 1784.05 s c Elapsed CPU time: 16.0706 s Remaining CPU time: 1783.93 s c Elapsed CPU time: 16.1875 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.3045 s Remaining CPU time: 1783.7 s c Elapsed CPU time: 16.4225 s Remaining CPU time: 1783.58 s c Elapsed CPU time: 16.5415 s Remaining CPU time: 1783.46 s c Elapsed CPU time: 16.6595 s Remaining CPU time: 1783.34 s c Elapsed CPU time: 16.7774 s Remaining CPU time: 1783.22 s c Elapsed CPU time: 16.8964 s Remaining CPU time: 1783.1 s c Elapsed CPU time: 17.0154 s Remaining CPU time: 1782.98 s c Elapsed CPU time: 17.1344 s Remaining CPU time: 1782.87 s c Elapsed CPU time: 17.2524 s Remaining CPU time: 1782.75 s c Elapsed CPU time: 17.3704 s Remaining CPU time: 1782.63 s c Elapsed CPU time: 17.4863 s Remaining CPU time: 1782.51 s c Elapsed CPU time: 17.6053 s Remaining CPU time: 1782.39 s c Elapsed CPU time: 17.7243 s Remaining CPU time: 1782.28 s c Elapsed CPU time: 17.8423 s Remaining CPU time: 1782.16 s c Elapsed CPU time: 17.9603 s Remaining CPU time: 1782.04 s c Elapsed CPU time: 18.0803 s Remaining CPU time: 1781.92 s c Elapsed CPU time: 18.1982 s Remaining CPU time: 1781.8 s c Elapsed CPU time: 18.3162 s Remaining CPU time: 1781.68 s c Elapsed CPU time: 18.4352 s Remaining CPU time: 1781.56 s c Elapsed CPU time: 18.5542 s Remaining CPU time: 1781.45 s c Elapsed CPU time: 18.6722 s Remaining CPU time: 1781.33 s c Elapsed CPU time: 18.7901 s Remaining CPU time: 1781.21 s c Elapsed CPU time: 18.9091 s Remaining CPU time: 1781.09 s c Elapsed CPU time: 19.0291 s Remaining CPU time: 1780.97 s c Elapsed CPU time: 19.1491 s Remaining CPU time: 1780.85 s c Elapsed CPU time: 19.2691 s Remaining CPU time: 1780.73 s c Elapsed CPU time: 19.3891 s Remaining CPU time: 1780.61 s c Elapsed CPU time: 19.507 s Remaining CPU time: 1780.49 s c Elapsed CPU time: 19.626 s Remaining CPU time: 1780.37 s c Elapsed CPU time: 19.746 s Remaining CPU time: 1780.25 s c Elapsed CPU time: 19.865 s Remaining CPU time: 1780.14 s c Elapsed CPU time: 19.985 s Remaining CPU time: 1780.02 s c Elapsed CPU time: 20.1039 s Remaining CPU time: 1779.9 s c Elapsed CPU time: 20.2239 s Remaining CPU time: 1779.78 s c Elapsed CPU time: 20.3429 s Remaining CPU time: 1779.66 s c Elapsed CPU time: 20.4629 s Remaining CPU time: 1779.54 s c Elapsed CPU time: 20.5839 s Remaining CPU time: 1779.42 s c Elapsed CPU time: 20.7039 s Remaining CPU time: 1779.3 s c Elapsed CPU time: 20.8238 s Remaining CPU time: 1779.18 s c Elapsed CPU time: 20.9438 s Remaining CPU time: 1779.06 s c Elapsed CPU time: 21.0628 s Remaining CPU time: 1778.94 s c Elapsed CPU time: 21.1828 s Remaining CPU time: 1778.82 s c Elapsed CPU time: 21.3048 s Remaining CPU time: 1778.7 s c Elapsed CPU time: 21.4297 s Remaining CPU time: 1778.57 s c Elapsed CPU time: 21.5517 s Remaining CPU time: 1778.45 s c Elapsed CPU time: 21.6767 s Remaining CPU time: 1778.32 s c Elapsed CPU time: 21.7987 s Remaining CPU time: 1778.2 s c Elapsed CPU time: 21.9257 s Remaining CPU time: 1778.07 s c Elapsed CPU time: 22.0526 s Remaining CPU time: 1777.95 s c Elapsed CPU time: 22.1796 s Remaining CPU time: 1777.82 s c Elapsed CPU time: 22.3066 s Remaining CPU time: 1777.69 s c Elapsed CPU time: 22.4366 s Remaining CPU time: 1777.56 s c Elapsed CPU time: 22.5616 s Remaining CPU time: 1777.44 s c Elapsed CPU time: 22.6896 s Remaining CPU time: 1777.31 s c Elapsed CPU time: 22.8155 s Remaining CPU time: 1777.18 s c Elapsed CPU time: 22.9435 s Remaining CPU time: 1777.06 s c Elapsed CPU time: 23.0705 s Remaining CPU time: 1776.93 s c Elapsed CPU time: 23.1975 s Remaining CPU time: 1776.8 s c Elapsed CPU time: 23.3235 s Remaining CPU time: 1776.68 s c Elapsed CPU time: 23.4504 s Remaining CPU time: 1776.55 s c Elapsed CPU time: 23.5784 s Remaining CPU time: 1776.42 s c Elapsed CPU time: 23.7064 s Remaining CPU time: 1776.29 s c Elapsed CPU time: 23.8354 s Remaining CPU time: 1776.16 s c Elapsed CPU time: 23.9644 s Remaining CPU time: 1776.04 s c Elapsed CPU time: 24.0923 s Remaining CPU time: 1775.91 s c Elapsed CPU time: 24.2223 s Remaining CPU time: 1775.78 s c Elapsed CPU time: 24.3513 s Remaining CPU time: 1775.65 s c Elapsed CPU time: 24.4803 s Remaining CPU time: 1775.52 s c Elapsed CPU time: 24.6123 s Remaining CPU time: 1775.39 s c Elapsed CPU time: 24.7412 s Remaining CPU time: 1775.26 s c Elapsed CPU time: 24.8702 s Remaining CPU time: 1775.13 s c Elapsed CPU time: 25.0002 s Remaining CPU time: 1775 s c Elapsed CPU time: 25.1302 s Remaining CPU time: 1774.87 s c Elapsed CPU time: 25.2632 s Remaining CPU time: 1774.74 s c Elapsed CPU time: 25.3931 s Remaining CPU time: 1774.61 s c Elapsed CPU time: 25.5241 s Remaining CPU time: 1774.48 s c Elapsed CPU time: 25.6551 s Remaining CPU time: 1774.34 s c Elapsed CPU time: 25.7851 s Remaining CPU time: 1774.21 s c Elapsed CPU time: 25.9161 s Remaining CPU time: 1774.08 s c Elapsed CPU time: 26.046 s Remaining CPU time: 1773.95 s c Elapsed CPU time: 26.177 s Remaining CPU time: 1773.82 s c Elapsed CPU time: 26.31 s Remaining CPU time: 1773.69 s c Elapsed CPU time: 26.441 s Remaining CPU time: 1773.56 s c Elapsed CPU time: 26.575 s Remaining CPU time: 1773.43 s c Elapsed CPU time: 26.7049 s Remaining CPU time: 1773.3 s c Elapsed CPU time: 26.8369 s Remaining CPU time: 1773.16 s c Elapsed CPU time: 26.9689 s Remaining CPU time: 1773.03 s c Elapsed CPU time: 27.1009 s Remaining CPU time: 1772.9 s c Elapsed CPU time: 27.2339 s Remaining CPU time: 1772.77 s c Elapsed CPU time: 27.3668 s Remaining CPU time: 1772.63 s c Elapsed CPU time: 27.4988 s Remaining CPU time: 1772.5 s c Elapsed CPU time: 27.6318 s Remaining CPU time: 1772.37 s c Elapsed CPU time: 27.7638 s Remaining CPU time: 1772.24 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7 113102 217705 | 37700 0 nan | 0.000 % | c =============================================================================== c Verified 113102 original clauses.