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.202969 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.32295 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.442932 s Remaining CPU time: 1799.56 s c Elapsed CPU time: 0.565913 s Remaining CPU time: 1799.43 s c Elapsed CPU time: 0.685895 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.806877 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.928858 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 1.05184 s Remaining CPU time: 1798.95 s c Elapsed CPU time: 1.17082 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.2928 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.41478 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.53677 s Remaining CPU time: 1798.46 s c Elapsed CPU time: 1.65875 s Remaining CPU time: 1798.34 s c Elapsed CPU time: 1.77973 s Remaining CPU time: 1798.22 s c Elapsed CPU time: 1.90171 s Remaining CPU time: 1798.1 s c Elapsed CPU time: 2.02469 s Remaining CPU time: 1797.98 s c Elapsed CPU time: 2.14867 s Remaining CPU time: 1797.85 s c Elapsed CPU time: 2.26965 s Remaining CPU time: 1797.73 s c Elapsed CPU time: 2.39364 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.51662 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6426 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.76458 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.88856 s Remaining CPU time: 1797.11 s c Elapsed CPU time: 3.01254 s Remaining CPU time: 1796.99 s c Elapsed CPU time: 3.13852 s Remaining CPU time: 1796.86 s c Elapsed CPU time: 3.2645 s Remaining CPU time: 1796.74 s c Elapsed CPU time: 3.39148 s Remaining CPU time: 1796.61 s c Elapsed CPU time: 3.51846 s Remaining CPU time: 1796.48 s c Elapsed CPU time: 3.64345 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.76843 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.89541 s Remaining CPU time: 1796.1 s c Elapsed CPU time: 4.02139 s Remaining CPU time: 1795.98 s c Elapsed CPU time: 4.14737 s Remaining CPU time: 1795.85 s c Elapsed CPU time: 4.27435 s Remaining CPU time: 1795.73 s c Elapsed CPU time: 4.39833 s Remaining CPU time: 1795.6 s c Elapsed CPU time: 4.52431 s Remaining CPU time: 1795.48 s c Elapsed CPU time: 4.65029 s Remaining CPU time: 1795.35 s c Elapsed CPU time: 4.77627 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.90425 s Remaining CPU time: 1795.1 s c Elapsed CPU time: 5.03223 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.15822 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.2852 s Remaining CPU time: 1794.71 s c Elapsed CPU time: 5.41218 s Remaining CPU time: 1794.59 s c Elapsed CPU time: 5.53916 s Remaining CPU time: 1794.46 s c Elapsed CPU time: 5.66714 s Remaining CPU time: 1794.33 s c Elapsed CPU time: 5.79512 s Remaining CPU time: 1794.2 s c Elapsed CPU time: 5.9221 s Remaining CPU time: 1794.08 s c Elapsed CPU time: 6.04808 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.17606 s Remaining CPU time: 1793.82 s c Elapsed CPU time: 6.30404 s Remaining CPU time: 1793.7 s c Elapsed CPU time: 6.43102 s Remaining CPU time: 1793.57 s c Elapsed CPU time: 6.56 s Remaining CPU time: 1793.44 s c Elapsed CPU time: 6.68698 s Remaining CPU time: 1793.31 s c Elapsed CPU time: 6.81496 s Remaining CPU time: 1793.19 s c Elapsed CPU time: 6.94194 s Remaining CPU time: 1793.06 s c Elapsed CPU time: 7.06893 s Remaining CPU time: 1792.93 s c Elapsed CPU time: 7.19491 s Remaining CPU time: 1792.81 s c Elapsed CPU time: 7.31989 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.44787 s Remaining CPU time: 1792.55 s c Elapsed CPU time: 7.57385 s Remaining CPU time: 1792.43 s c Elapsed CPU time: 7.69883 s Remaining CPU time: 1792.3 s c Elapsed CPU time: 7.82281 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.94979 s Remaining CPU time: 1792.05 s c Elapsed CPU time: 8.07577 s Remaining CPU time: 1791.92 s c Elapsed CPU time: 8.20375 s Remaining CPU time: 1791.8 s c Elapsed CPU time: 8.32973 s Remaining CPU time: 1791.67 s c Elapsed CPU time: 8.45771 s Remaining CPU time: 1791.54 s c Elapsed CPU time: 8.58469 s Remaining CPU time: 1791.42 s c Elapsed CPU time: 8.71268 s Remaining CPU time: 1791.29 s c Elapsed CPU time: 8.83966 s Remaining CPU time: 1791.16 s c Elapsed CPU time: 8.96764 s Remaining CPU time: 1791.03 s c Elapsed CPU time: 9.09662 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.2236 s Remaining CPU time: 1790.78 s c Elapsed CPU time: 9.35058 s Remaining CPU time: 1790.65 s c Elapsed CPU time: 9.47656 s Remaining CPU time: 1790.52 s c Elapsed CPU time: 9.60254 s Remaining CPU time: 1790.4 s c Elapsed CPU time: 9.73052 s Remaining CPU time: 1790.27 s c Elapsed CPU time: 9.8565 s Remaining CPU time: 1790.14 s c Elapsed CPU time: 9.98548 s Remaining CPU time: 1790.01 s c Elapsed CPU time: 10.1125 s Remaining CPU time: 1789.89 s c Elapsed CPU time: 10.2404 s Remaining CPU time: 1789.76 s c Elapsed CPU time: 10.3694 s Remaining CPU time: 1789.63 s c Elapsed CPU time: 10.4954 s Remaining CPU time: 1789.5 s c Elapsed CPU time: 10.6224 s Remaining CPU time: 1789.38 s c Elapsed CPU time: 10.7504 s Remaining CPU time: 1789.25 s c Elapsed CPU time: 10.8763 s Remaining CPU time: 1789.12 s c Elapsed CPU time: 11.0073 s Remaining CPU time: 1788.99 s c Elapsed CPU time: 11.1343 s Remaining CPU time: 1788.87 s c Elapsed CPU time: 11.2633 s Remaining CPU time: 1788.74 s c Elapsed CPU time: 11.3903 s Remaining CPU time: 1788.61 s c Elapsed CPU time: 11.5182 s Remaining CPU time: 1788.48 s c Elapsed CPU time: 11.6462 s Remaining CPU time: 1788.35 s c Elapsed CPU time: 11.7742 s Remaining CPU time: 1788.23 s c Elapsed CPU time: 11.9032 s Remaining CPU time: 1788.1 s c Elapsed CPU time: 12.0312 s Remaining CPU time: 1787.97 s c Elapsed CPU time: 12.1612 s Remaining CPU time: 1787.84 s c Elapsed CPU time: 12.2891 s Remaining CPU time: 1787.71 s c Elapsed CPU time: 12.4181 s Remaining CPU time: 1787.58 s c Elapsed CPU time: 12.5461 s Remaining CPU time: 1787.45 s c Elapsed CPU time: 12.6731 s Remaining CPU time: 1787.33 s c Elapsed CPU time: 12.8011 s Remaining CPU time: 1787.2 s c Elapsed CPU time: 12.931 s Remaining CPU time: 1787.07 s c Elapsed CPU time: 13.06 s Remaining CPU time: 1786.94 s c Elapsed CPU time: 13.187 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.317 s Remaining CPU time: 1786.68 s c Elapsed CPU time: 13.446 s Remaining CPU time: 1786.55 s c Elapsed CPU time: 13.5759 s Remaining CPU time: 1786.42 s c Elapsed CPU time: 13.7059 s Remaining CPU time: 1786.29 s c Elapsed CPU time: 13.8349 s Remaining CPU time: 1786.17 s c Elapsed CPU time: 13.9639 s Remaining CPU time: 1786.04 s c Elapsed CPU time: 14.0919 s Remaining CPU time: 1785.91 s c Elapsed CPU time: 14.2218 s Remaining CPU time: 1785.78 s c Elapsed CPU time: 14.3518 s Remaining CPU time: 1785.65 s c Elapsed CPU time: 14.4818 s Remaining CPU time: 1785.52 s c Elapsed CPU time: 14.6118 s Remaining CPU time: 1785.39 s c Elapsed CPU time: 14.7428 s Remaining CPU time: 1785.26 s c Elapsed CPU time: 14.8727 s Remaining CPU time: 1785.13 s c Elapsed CPU time: 15.0047 s Remaining CPU time: 1785 s c Elapsed CPU time: 15.1357 s Remaining CPU time: 1784.86 s c Elapsed CPU time: 15.2647 s Remaining CPU time: 1784.74 s c Elapsed CPU time: 15.3957 s Remaining CPU time: 1784.6 s c Elapsed CPU time: 15.5256 s Remaining CPU time: 1784.47 s c Elapsed CPU time: 15.6576 s Remaining CPU time: 1784.34 s c Elapsed CPU time: 15.7846 s Remaining CPU time: 1784.22 s c Elapsed CPU time: 15.9156 s Remaining CPU time: 1784.08 s c Elapsed CPU time: 16.0456 s Remaining CPU time: 1783.95 s c Elapsed CPU time: 16.1755 s Remaining CPU time: 1783.82 s c Elapsed CPU time: 16.3065 s Remaining CPU time: 1783.69 s c Elapsed CPU time: 16.4375 s Remaining CPU time: 1783.56 s c Elapsed CPU time: 16.5685 s Remaining CPU time: 1783.43 s c Elapsed CPU time: 16.7005 s Remaining CPU time: 1783.3 s c Elapsed CPU time: 16.8344 s Remaining CPU time: 1783.17 s c Elapsed CPU time: 16.9674 s Remaining CPU time: 1783.03 s c Elapsed CPU time: 17.1004 s Remaining CPU time: 1782.9 s c Elapsed CPU time: 17.2334 s Remaining CPU time: 1782.77 s c Elapsed CPU time: 17.3644 s Remaining CPU time: 1782.64 s c Elapsed CPU time: 17.4963 s Remaining CPU time: 1782.5 s c Elapsed CPU time: 17.6293 s Remaining CPU time: 1782.37 s c Elapsed CPU time: 17.7623 s Remaining CPU time: 1782.24 s c Elapsed CPU time: 17.8943 s Remaining CPU time: 1782.11 s c Elapsed CPU time: 18.0273 s Remaining CPU time: 1781.97 s c Elapsed CPU time: 18.1592 s Remaining CPU time: 1781.84 s c Elapsed CPU time: 18.2922 s Remaining CPU time: 1781.71 s c Elapsed CPU time: 18.4252 s Remaining CPU time: 1781.57 s c Elapsed CPU time: 18.5592 s Remaining CPU time: 1781.44 s c Elapsed CPU time: 18.6942 s Remaining CPU time: 1781.31 s c Elapsed CPU time: 18.8281 s Remaining CPU time: 1781.17 s c Elapsed CPU time: 18.9611 s Remaining CPU time: 1781.04 s c Elapsed CPU time: 19.0951 s Remaining CPU time: 1780.9 s c Elapsed CPU time: 19.2271 s Remaining CPU time: 1780.77 s c Elapsed CPU time: 19.3621 s Remaining CPU time: 1780.64 s c Elapsed CPU time: 19.494 s Remaining CPU time: 1780.51 s c Elapsed CPU time: 19.628 s Remaining CPU time: 1780.37 s c Elapsed CPU time: 19.761 s Remaining CPU time: 1780.24 s c Elapsed CPU time: 19.895 s Remaining CPU time: 1780.11 s c Elapsed CPU time: 20.028 s Remaining CPU time: 1779.97 s c Elapsed CPU time: 20.1619 s Remaining CPU time: 1779.84 s c Elapsed CPU time: 20.2949 s Remaining CPU time: 1779.71 s c Elapsed CPU time: 20.4279 s Remaining CPU time: 1779.57 s c Elapsed CPU time: 20.5619 s Remaining CPU time: 1779.44 s c Elapsed CPU time: 20.6979 s Remaining CPU time: 1779.3 s c Elapsed CPU time: 20.8308 s Remaining CPU time: 1779.17 s c Elapsed CPU time: 20.9678 s Remaining CPU time: 1779.03 s c Elapsed CPU time: 21.1028 s Remaining CPU time: 1778.9 s c Elapsed CPU time: 21.2358 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.3727 s Remaining CPU time: 1778.63 s c Elapsed CPU time: 21.5067 s Remaining CPU time: 1778.49 s c Elapsed CPU time: 21.6397 s Remaining CPU time: 1778.36 s c Elapsed CPU time: 21.7757 s Remaining CPU time: 1778.22 s c Elapsed CPU time: 21.9117 s Remaining CPU time: 1778.09 s c Elapsed CPU time: 22.0456 s Remaining CPU time: 1777.95 s c Elapsed CPU time: 22.1806 s Remaining CPU time: 1777.82 s c Elapsed CPU time: 22.3166 s Remaining CPU time: 1777.68 s c Elapsed CPU time: 22.4506 s Remaining CPU time: 1777.55 s c Elapsed CPU time: 22.5856 s Remaining CPU time: 1777.41 s c Elapsed CPU time: 22.7215 s Remaining CPU time: 1777.28 s c Elapsed CPU time: 22.8585 s Remaining CPU time: 1777.14 s c Elapsed CPU time: 22.9955 s Remaining CPU time: 1777 s c Elapsed CPU time: 23.1325 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.2675 s Remaining CPU time: 1776.73 s c Elapsed CPU time: 23.4034 s Remaining CPU time: 1776.6 s c Elapsed CPU time: 23.5424 s Remaining CPU time: 1776.46 s c Elapsed CPU time: 23.6824 s Remaining CPU time: 1776.32 s c Elapsed CPU time: 23.8244 s Remaining CPU time: 1776.18 s c Elapsed CPU time: 23.9694 s Remaining CPU time: 1776.03 s c Elapsed CPU time: 24.1133 s Remaining CPU time: 1775.89 s c Elapsed CPU time: 24.2573 s Remaining CPU time: 1775.74 s c Elapsed CPU time: 24.3983 s Remaining CPU time: 1775.6 s c Elapsed CPU time: 24.5413 s Remaining CPU time: 1775.46 s c Elapsed CPU time: 24.6882 s Remaining CPU time: 1775.31 s c Elapsed CPU time: 24.8342 s Remaining CPU time: 1775.17 s c Elapsed CPU time: 24.9782 s Remaining CPU time: 1775.02 s c Elapsed CPU time: 25.1272 s Remaining CPU time: 1774.87 s c Elapsed CPU time: 25.2732 s Remaining CPU time: 1774.73 s c Elapsed CPU time: 25.4211 s Remaining CPU time: 1774.58 s c Elapsed CPU time: 25.5681 s Remaining CPU time: 1774.43 s c Elapsed CPU time: 25.7181 s Remaining CPU time: 1774.28 s c Elapsed CPU time: 25.8651 s Remaining CPU time: 1774.13 s c Elapsed CPU time: 26.013 s Remaining CPU time: 1773.99 s c Elapsed CPU time: 26.163 s Remaining CPU time: 1773.84 s c Elapsed CPU time: 26.312 s Remaining CPU time: 1773.69 s c Elapsed CPU time: 26.459 s Remaining CPU time: 1773.54 s c Elapsed CPU time: 26.61 s Remaining CPU time: 1773.39 s c Elapsed CPU time: 26.7589 s Remaining CPU time: 1773.24 s c Elapsed CPU time: 26.9069 s Remaining CPU time: 1773.09 s c Elapsed CPU time: 27.0549 s Remaining CPU time: 1772.95 s c Elapsed CPU time: 27.2049 s Remaining CPU time: 1772.8 s c Elapsed CPU time: 27.3538 s Remaining CPU time: 1772.65 s c Elapsed CPU time: 27.5038 s Remaining CPU time: 1772.5 s c Elapsed CPU time: 27.6508 s Remaining CPU time: 1772.35 s c Elapsed CPU time: 27.7998 s Remaining CPU time: 1772.2 s c Elapsed CPU time: 27.9478 s Remaining CPU time: 1772.05 s c Elapsed CPU time: 28.0967 s Remaining CPU time: 1771.9 s c Elapsed CPU time: 28.2447 s Remaining CPU time: 1771.76 s c Elapsed CPU time: 28.3967 s Remaining CPU time: 1771.6 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113066 217660 | 37688 0 nan | 0.000 % | c =============================================================================== c Verified 113066 original clauses.