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.076988 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.301954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.543917 s Remaining CPU time: 1799.46 s c Elapsed CPU time: 0.663899 s Remaining CPU time: 1799.34 s c Elapsed CPU time: 0.78388 s Remaining CPU time: 1799.22 s c Elapsed CPU time: 0.905862 s Remaining CPU time: 1799.09 s c Elapsed CPU time: 1.02484 s Remaining CPU time: 1798.98 s c Elapsed CPU time: 1.14482 s Remaining CPU time: 1798.86 s c Elapsed CPU time: 1.26781 s Remaining CPU time: 1798.73 s c Elapsed CPU time: 1.39079 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.51577 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.75873 s Remaining CPU time: 1798.24 s c Elapsed CPU time: 1.88071 s Remaining CPU time: 1798.12 s c Elapsed CPU time: 2.0027 s Remaining CPU time: 1798 s c Elapsed CPU time: 2.12368 s Remaining CPU time: 1797.88 s c Elapsed CPU time: 2.24466 s Remaining CPU time: 1797.76 s c Elapsed CPU time: 2.36864 s Remaining CPU time: 1797.63 s c Elapsed CPU time: 2.49062 s Remaining CPU time: 1797.51 s c Elapsed CPU time: 2.6166 s Remaining CPU time: 1797.38 s c Elapsed CPU time: 2.74058 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.86656 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.99154 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 3.11852 s Remaining CPU time: 1796.88 s c Elapsed CPU time: 3.24251 s Remaining CPU time: 1796.76 s c Elapsed CPU time: 3.36949 s Remaining CPU time: 1796.63 s c Elapsed CPU time: 3.49347 s Remaining CPU time: 1796.51 s c Elapsed CPU time: 3.61945 s Remaining CPU time: 1796.38 s c Elapsed CPU time: 3.74543 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.87041 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.99839 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.12837 s Remaining CPU time: 1795.87 s c Elapsed CPU time: 4.25535 s Remaining CPU time: 1795.74 s c Elapsed CPU time: 4.38133 s Remaining CPU time: 1795.62 s c Elapsed CPU time: 4.50631 s Remaining CPU time: 1795.49 s c Elapsed CPU time: 4.6323 s Remaining CPU time: 1795.37 s c Elapsed CPU time: 4.75828 s Remaining CPU time: 1795.24 s c Elapsed CPU time: 4.88326 s Remaining CPU time: 1795.12 s c Elapsed CPU time: 5.00924 s Remaining CPU time: 1794.99 s c Elapsed CPU time: 5.13622 s Remaining CPU time: 1794.86 s c Elapsed CPU time: 5.2612 s Remaining CPU time: 1794.74 s c Elapsed CPU time: 5.38818 s Remaining CPU time: 1794.61 s c Elapsed CPU time: 5.51416 s Remaining CPU time: 1794.49 s c Elapsed CPU time: 5.64014 s Remaining CPU time: 1794.36 s c Elapsed CPU time: 5.76712 s Remaining CPU time: 1794.23 s c Elapsed CPU time: 5.8941 s Remaining CPU time: 1794.11 s c Elapsed CPU time: 6.02208 s Remaining CPU time: 1793.98 s c Elapsed CPU time: 6.15306 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.28104 s Remaining CPU time: 1793.72 s c Elapsed CPU time: 6.40902 s Remaining CPU time: 1793.59 s c Elapsed CPU time: 6.53701 s Remaining CPU time: 1793.46 s c Elapsed CPU time: 6.66399 s Remaining CPU time: 1793.34 s c Elapsed CPU time: 6.79097 s Remaining CPU time: 1793.21 s c Elapsed CPU time: 6.91595 s Remaining CPU time: 1793.08 s c Elapsed CPU time: 7.04393 s Remaining CPU time: 1792.96 s c Elapsed CPU time: 7.16991 s Remaining CPU time: 1792.83 s c Elapsed CPU time: 7.29589 s Remaining CPU time: 1792.7 s c Elapsed CPU time: 7.42387 s Remaining CPU time: 1792.58 s c Elapsed CPU time: 7.55385 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.68283 s Remaining CPU time: 1792.32 s c Elapsed CPU time: 7.81381 s Remaining CPU time: 1792.19 s c Elapsed CPU time: 7.94279 s Remaining CPU time: 1792.06 s c Elapsed CPU time: 8.07077 s Remaining CPU time: 1791.93 s c Elapsed CPU time: 8.19775 s Remaining CPU time: 1791.8 s c Elapsed CPU time: 8.32473 s Remaining CPU time: 1791.68 s c Elapsed CPU time: 8.45371 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.5807 s Remaining CPU time: 1791.42 s c Elapsed CPU time: 8.70968 s Remaining CPU time: 1791.29 s c Elapsed CPU time: 8.83766 s Remaining CPU time: 1791.16 s c Elapsed CPU time: 8.96864 s Remaining CPU time: 1791.03 s c Elapsed CPU time: 9.10062 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.2306 s Remaining CPU time: 1790.77 s c Elapsed CPU time: 9.36158 s Remaining CPU time: 1790.64 s c Elapsed CPU time: 9.49156 s Remaining CPU time: 1790.51 s c Elapsed CPU time: 9.61954 s Remaining CPU time: 1790.38 s c Elapsed CPU time: 9.75052 s Remaining CPU time: 1790.25 s c Elapsed CPU time: 9.8815 s Remaining CPU time: 1790.12 s c Elapsed CPU time: 10.0145 s Remaining CPU time: 1789.99 s c Elapsed CPU time: 10.1475 s Remaining CPU time: 1789.85 s c Elapsed CPU time: 10.2784 s Remaining CPU time: 1789.72 s c Elapsed CPU time: 10.4094 s Remaining CPU time: 1789.59 s c Elapsed CPU time: 10.5394 s Remaining CPU time: 1789.46 s c Elapsed CPU time: 10.6664 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.7974 s Remaining CPU time: 1789.2 s c Elapsed CPU time: 10.9273 s Remaining CPU time: 1789.07 s c Elapsed CPU time: 11.0613 s Remaining CPU time: 1788.94 s c Elapsed CPU time: 11.1943 s Remaining CPU time: 1788.81 s c Elapsed CPU time: 11.3263 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.4543 s Remaining CPU time: 1788.55 s c Elapsed CPU time: 11.5842 s Remaining CPU time: 1788.42 s c Elapsed CPU time: 11.7142 s Remaining CPU time: 1788.29 s c Elapsed CPU time: 11.8472 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.1112 s Remaining CPU time: 1787.89 s c Elapsed CPU time: 12.2451 s Remaining CPU time: 1787.75 s c Elapsed CPU time: 12.3791 s Remaining CPU time: 1787.62 s c Elapsed CPU time: 12.5101 s Remaining CPU time: 1787.49 s c Elapsed CPU time: 12.6411 s Remaining CPU time: 1787.36 s c Elapsed CPU time: 12.7711 s Remaining CPU time: 1787.23 s c Elapsed CPU time: 12.901 s Remaining CPU time: 1787.1 s c Elapsed CPU time: 13.031 s Remaining CPU time: 1786.97 s c Elapsed CPU time: 13.164 s Remaining CPU time: 1786.84 s c Elapsed CPU time: 13.296 s Remaining CPU time: 1786.7 s c Elapsed CPU time: 13.43 s Remaining CPU time: 1786.57 s c Elapsed CPU time: 13.5579 s Remaining CPU time: 1786.44 s c Elapsed CPU time: 13.6909 s Remaining CPU time: 1786.31 s c Elapsed CPU time: 13.8219 s Remaining CPU time: 1786.18 s c Elapsed CPU time: 13.9539 s Remaining CPU time: 1786.05 s c Elapsed CPU time: 14.0849 s Remaining CPU time: 1785.92 s c Elapsed CPU time: 14.2178 s Remaining CPU time: 1785.78 s c Elapsed CPU time: 14.3508 s Remaining CPU time: 1785.65 s c Elapsed CPU time: 14.4838 s Remaining CPU time: 1785.52 s c Elapsed CPU time: 14.6158 s Remaining CPU time: 1785.38 s c Elapsed CPU time: 14.7478 s Remaining CPU time: 1785.25 s c Elapsed CPU time: 14.8797 s Remaining CPU time: 1785.12 s c Elapsed CPU time: 15.0117 s Remaining CPU time: 1784.99 s c Elapsed CPU time: 15.1427 s Remaining CPU time: 1784.86 s c Elapsed CPU time: 15.2757 s Remaining CPU time: 1784.72 s c Elapsed CPU time: 15.4107 s Remaining CPU time: 1784.59 s c Elapsed CPU time: 15.5466 s Remaining CPU time: 1784.45 s c Elapsed CPU time: 15.6786 s Remaining CPU time: 1784.32 s c Elapsed CPU time: 15.8126 s Remaining CPU time: 1784.19 s c Elapsed CPU time: 15.9436 s Remaining CPU time: 1784.06 s c Elapsed CPU time: 16.0756 s Remaining CPU time: 1783.92 s c Elapsed CPU time: 16.2075 s Remaining CPU time: 1783.79 s c Elapsed CPU time: 16.3405 s Remaining CPU time: 1783.66 s c Elapsed CPU time: 16.4755 s Remaining CPU time: 1783.52 s c Elapsed CPU time: 16.6115 s Remaining CPU time: 1783.39 s c Elapsed CPU time: 16.7465 s Remaining CPU time: 1783.25 s c Elapsed CPU time: 16.8814 s Remaining CPU time: 1783.12 s c Elapsed CPU time: 17.0144 s Remaining CPU time: 1782.99 s c Elapsed CPU time: 17.1484 s Remaining CPU time: 1782.85 s c Elapsed CPU time: 17.2804 s Remaining CPU time: 1782.72 s c Elapsed CPU time: 17.4144 s Remaining CPU time: 1782.59 s c Elapsed CPU time: 17.5463 s Remaining CPU time: 1782.45 s c Elapsed CPU time: 17.6843 s Remaining CPU time: 1782.32 s c Elapsed CPU time: 17.8193 s Remaining CPU time: 1782.18 s c Elapsed CPU time: 17.9543 s Remaining CPU time: 1782.05 s c Elapsed CPU time: 18.0873 s Remaining CPU time: 1781.91 s c Elapsed CPU time: 18.2222 s Remaining CPU time: 1781.78 s c Elapsed CPU time: 18.3542 s Remaining CPU time: 1781.65 s c Elapsed CPU time: 18.4892 s Remaining CPU time: 1781.51 s c Elapsed CPU time: 18.6232 s Remaining CPU time: 1781.38 s c Elapsed CPU time: 18.7611 s Remaining CPU time: 1781.24 s c Elapsed CPU time: 18.8951 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.1611 s Remaining CPU time: 1780.84 s c Elapsed CPU time: 19.2961 s Remaining CPU time: 1780.7 s c Elapsed CPU time: 19.428 s Remaining CPU time: 1780.57 s c Elapsed CPU time: 19.562 s Remaining CPU time: 1780.44 s c Elapsed CPU time: 19.695 s Remaining CPU time: 1780.3 s c Elapsed CPU time: 19.829 s Remaining CPU time: 1780.17 s c Elapsed CPU time: 19.962 s Remaining CPU time: 1780.04 s c Elapsed CPU time: 20.0979 s Remaining CPU time: 1779.9 s c Elapsed CPU time: 20.2339 s Remaining CPU time: 1779.77 s c Elapsed CPU time: 20.3709 s Remaining CPU time: 1779.63 s c Elapsed CPU time: 20.5039 s Remaining CPU time: 1779.5 s c Elapsed CPU time: 20.6389 s Remaining CPU time: 1779.36 s c Elapsed CPU time: 20.7698 s Remaining CPU time: 1779.23 s c Elapsed CPU time: 20.9028 s Remaining CPU time: 1779.1 s c Elapsed CPU time: 21.0358 s Remaining CPU time: 1778.96 s c Elapsed CPU time: 21.1718 s Remaining CPU time: 1778.83 s c Elapsed CPU time: 21.3038 s Remaining CPU time: 1778.7 s c Elapsed CPU time: 21.4417 s Remaining CPU time: 1778.56 s c Elapsed CPU time: 21.5797 s Remaining CPU time: 1778.42 s c Elapsed CPU time: 21.7177 s Remaining CPU time: 1778.28 s c Elapsed CPU time: 21.8497 s Remaining CPU time: 1778.15 s c Elapsed CPU time: 21.9877 s Remaining CPU time: 1778.01 s c Elapsed CPU time: 22.1236 s Remaining CPU time: 1777.88 s c Elapsed CPU time: 22.2576 s Remaining CPU time: 1777.74 s c Elapsed CPU time: 22.3926 s Remaining CPU time: 1777.61 s c Elapsed CPU time: 22.5266 s Remaining CPU time: 1777.47 s c Elapsed CPU time: 22.6626 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.0715 s Remaining CPU time: 1776.93 s c Elapsed CPU time: 23.2065 s Remaining CPU time: 1776.79 s c Elapsed CPU time: 23.3445 s Remaining CPU time: 1776.66 s c Elapsed CPU time: 23.4824 s Remaining CPU time: 1776.52 s c Elapsed CPU time: 23.6214 s Remaining CPU time: 1776.38 s c Elapsed CPU time: 23.7614 s Remaining CPU time: 1776.24 s c Elapsed CPU time: 23.8994 s Remaining CPU time: 1776.1 s c Elapsed CPU time: 24.0363 s Remaining CPU time: 1775.96 s c Elapsed CPU time: 24.1783 s Remaining CPU time: 1775.82 s c Elapsed CPU time: 24.3173 s Remaining CPU time: 1775.68 s c Elapsed CPU time: 24.4573 s Remaining CPU time: 1775.54 s c Elapsed CPU time: 24.5983 s Remaining CPU time: 1775.4 s c Elapsed CPU time: 24.7412 s Remaining CPU time: 1775.26 s c Elapsed CPU time: 24.8822 s Remaining CPU time: 1775.12 s c Elapsed CPU time: 25.0272 s Remaining CPU time: 1774.97 s c Elapsed CPU time: 25.1702 s Remaining CPU time: 1774.83 s c Elapsed CPU time: 25.3122 s Remaining CPU time: 1774.69 s c Elapsed CPU time: 25.4531 s Remaining CPU time: 1774.55 s c Elapsed CPU time: 25.5961 s Remaining CPU time: 1774.4 s c Elapsed CPU time: 25.7371 s Remaining CPU time: 1774.26 s c Elapsed CPU time: 25.8781 s Remaining CPU time: 1774.12 s c Elapsed CPU time: 26.019 s Remaining CPU time: 1773.98 s c Elapsed CPU time: 26.161 s Remaining CPU time: 1773.84 s c Elapsed CPU time: 26.3 s Remaining CPU time: 1773.7 s c Elapsed CPU time: 26.442 s Remaining CPU time: 1773.56 s c Elapsed CPU time: 26.586 s Remaining CPU time: 1773.41 s c Elapsed CPU time: 26.7319 s Remaining CPU time: 1773.27 s c Elapsed CPU time: 26.8779 s Remaining CPU time: 1773.12 s c Elapsed CPU time: 27.0229 s Remaining CPU time: 1772.98 s c Elapsed CPU time: 27.1689 s Remaining CPU time: 1772.83 s c Elapsed CPU time: 27.3128 s Remaining CPU time: 1772.69 s c Elapsed CPU time: 27.4578 s Remaining CPU time: 1772.54 s c Elapsed CPU time: 27.6028 s Remaining CPU time: 1772.4 s c Elapsed CPU time: 27.7488 s Remaining CPU time: 1772.25 s c Elapsed CPU time: 27.8948 s Remaining CPU time: 1772.11 s c Elapsed CPU time: 28.0387 s Remaining CPU time: 1771.96 s c Elapsed CPU time: 28.1847 s Remaining CPU time: 1771.82 s c Elapsed CPU time: 28.3287 s Remaining CPU time: 1771.67 s c Elapsed CPU time: 28.4737 s Remaining CPU time: 1771.53 s c Elapsed CPU time: 28.6176 s Remaining CPU time: 1771.38 s c Elapsed CPU time: 28.7626 s Remaining CPU time: 1771.24 s c Elapsed CPU time: 28.9096 s Remaining CPU time: 1771.09 s c Elapsed CPU time: 29.0556 s Remaining CPU time: 1770.94 s c Elapsed CPU time: 29.2006 s Remaining CPU time: 1770.8 s c Elapsed CPU time: 29.3475 s Remaining CPU time: 1770.65 s c Elapsed CPU time: 29.4925 s Remaining CPU time: 1770.51 s c Elapsed CPU time: 29.6405 s Remaining CPU time: 1770.36 s c Elapsed CPU time: 29.7875 s Remaining CPU time: 1770.21 s c Elapsed CPU time: 29.9334 s Remaining CPU time: 1770.07 s c Elapsed CPU time: 30.0804 s Remaining CPU time: 1769.92 s c Elapsed CPU time: 30.2294 s Remaining CPU time: 1769.77 s c Elapsed CPU time: 30.3784 s Remaining CPU time: 1769.62 s c Elapsed CPU time: 30.5254 s Remaining CPU time: 1769.47 s c Elapsed CPU time: 30.6723 s Remaining CPU time: 1769.33 s c Elapsed CPU time: 30.8223 s Remaining CPU time: 1769.18 s c Elapsed CPU time: 30.9693 s Remaining CPU time: 1769.03 s c Elapsed CPU time: 31.1213 s Remaining CPU time: 1768.88 s c Elapsed CPU time: 31.2702 s Remaining CPU time: 1768.73 s c Elapsed CPU time: 31.4192 s Remaining CPU time: 1768.58 s c Elapsed CPU time: 31.5682 s Remaining CPU time: 1768.43 s c Elapsed CPU time: 31.7202 s Remaining CPU time: 1768.28 s c Elapsed CPU time: 31.8702 s Remaining CPU time: 1768.13 s c Elapsed CPU time: 32.0171 s Remaining CPU time: 1767.98 s c Elapsed CPU time: 32.1681 s Remaining CPU time: 1767.83 s c Elapsed CPU time: 32.3201 s Remaining CPU time: 1767.68 s c Elapsed CPU time: 32.4701 s Remaining CPU time: 1767.53 s c Elapsed CPU time: 32.624 s Remaining CPU time: 1767.38 s c Elapsed CPU time: 32.776 s Remaining CPU time: 1767.22 s c Elapsed CPU time: 32.93 s Remaining CPU time: 1767.07 s c Elapsed CPU time: 33.083 s Remaining CPU time: 1766.92 s c Elapsed CPU time: 33.2369 s Remaining CPU time: 1766.76 s c Elapsed CPU time: 33.3879 s Remaining CPU time: 1766.61 s c Elapsed CPU time: 33.5429 s Remaining CPU time: 1766.46 s c Elapsed CPU time: 33.6969 s Remaining CPU time: 1766.3 s c Elapsed CPU time: 33.8499 s Remaining CPU time: 1766.15 s c Elapsed CPU time: 34.0058 s Remaining CPU time: 1765.99 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 38 113140 217773 | 37713 0 nan | 0.000 % | c =============================================================================== c Verified 113140 original clauses.