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.19497 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.306953 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.637903 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.968852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.07883 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.18882 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.2998 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41078 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.52277 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63475 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.74573 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.85672 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9677 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.07768 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.18967 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.29865 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.41063 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.52262 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6346 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.74858 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.86057 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.97355 s Remaining CPU time: 1797.03 s c Elapsed CPU time: 3.08553 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.19651 s Remaining CPU time: 1796.8 s c Elapsed CPU time: 3.3085 s Remaining CPU time: 1796.69 s c Elapsed CPU time: 3.42148 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.53446 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.64745 s Remaining CPU time: 1796.35 s c Elapsed CPU time: 3.75843 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.87041 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.98239 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 4.09338 s Remaining CPU time: 1795.91 s c Elapsed CPU time: 4.20736 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.31934 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.43333 s Remaining CPU time: 1795.57 s c Elapsed CPU time: 4.54631 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.65729 s Remaining CPU time: 1795.34 s c Elapsed CPU time: 4.76927 s Remaining CPU time: 1795.23 s c Elapsed CPU time: 4.88126 s Remaining CPU time: 1795.12 s c Elapsed CPU time: 4.99524 s Remaining CPU time: 1795 s c Elapsed CPU time: 5.10822 s Remaining CPU time: 1794.89 s c Elapsed CPU time: 5.22121 s Remaining CPU time: 1794.78 s c Elapsed CPU time: 5.33419 s Remaining CPU time: 1794.67 s c Elapsed CPU time: 5.45017 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.56315 s Remaining CPU time: 1794.44 s c Elapsed CPU time: 5.67614 s Remaining CPU time: 1794.32 s c Elapsed CPU time: 5.79012 s Remaining CPU time: 1794.21 s c Elapsed CPU time: 5.9041 s Remaining CPU time: 1794.1 s c Elapsed CPU time: 6.01809 s Remaining CPU time: 1793.98 s c Elapsed CPU time: 6.13207 s Remaining CPU time: 1793.87 s c Elapsed CPU time: 6.24505 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.35903 s Remaining CPU time: 1793.64 s c Elapsed CPU time: 6.47302 s Remaining CPU time: 1793.53 s c Elapsed CPU time: 6.587 s Remaining CPU time: 1793.41 s c Elapsed CPU time: 6.70098 s Remaining CPU time: 1793.3 s c Elapsed CPU time: 6.81596 s Remaining CPU time: 1793.18 s c Elapsed CPU time: 6.92895 s Remaining CPU time: 1793.07 s c Elapsed CPU time: 7.04393 s Remaining CPU time: 1792.96 s c Elapsed CPU time: 7.15691 s Remaining CPU time: 1792.84 s c Elapsed CPU time: 7.26989 s Remaining CPU time: 1792.73 s c Elapsed CPU time: 7.38388 s Remaining CPU time: 1792.62 s c Elapsed CPU time: 7.49886 s Remaining CPU time: 1792.5 s c Elapsed CPU time: 7.61084 s Remaining CPU time: 1792.39 s c Elapsed CPU time: 7.72483 s Remaining CPU time: 1792.28 s c Elapsed CPU time: 7.84081 s Remaining CPU time: 1792.16 s c Elapsed CPU time: 7.95479 s Remaining CPU time: 1792.05 s c Elapsed CPU time: 8.06977 s Remaining CPU time: 1791.93 s c Elapsed CPU time: 8.18375 s Remaining CPU time: 1791.82 s c Elapsed CPU time: 8.29874 s Remaining CPU time: 1791.7 s c Elapsed CPU time: 8.41272 s Remaining CPU time: 1791.59 s c Elapsed CPU time: 8.5267 s Remaining CPU time: 1791.47 s c Elapsed CPU time: 8.64169 s Remaining CPU time: 1791.36 s c Elapsed CPU time: 8.75767 s Remaining CPU time: 1791.24 s c Elapsed CPU time: 8.87265 s Remaining CPU time: 1791.13 s c Elapsed CPU time: 8.98663 s Remaining CPU time: 1791.01 s c Elapsed CPU time: 9.10062 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.2166 s Remaining CPU time: 1790.78 s c Elapsed CPU time: 9.33058 s Remaining CPU time: 1790.67 s c Elapsed CPU time: 9.44656 s Remaining CPU time: 1790.55 s c Elapsed CPU time: 9.56255 s Remaining CPU time: 1790.44 s c Elapsed CPU time: 9.67853 s Remaining CPU time: 1790.32 s c Elapsed CPU time: 9.79351 s Remaining CPU time: 1790.21 s c Elapsed CPU time: 9.90849 s Remaining CPU time: 1790.09 s c Elapsed CPU time: 10.0235 s Remaining CPU time: 1789.98 s c Elapsed CPU time: 10.1395 s Remaining CPU time: 1789.86 s c Elapsed CPU time: 10.2544 s Remaining CPU time: 1789.75 s c Elapsed CPU time: 10.3704 s Remaining CPU time: 1789.63 s c Elapsed CPU time: 10.4864 s Remaining CPU time: 1789.51 s c Elapsed CPU time: 10.6014 s Remaining CPU time: 1789.4 s c Elapsed CPU time: 10.7164 s Remaining CPU time: 1789.28 s c Elapsed CPU time: 10.8334 s Remaining CPU time: 1789.17 s c Elapsed CPU time: 10.9483 s Remaining CPU time: 1789.05 s c Elapsed CPU time: 11.0653 s Remaining CPU time: 1788.93 s c Elapsed CPU time: 11.1813 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.2973 s Remaining CPU time: 1788.7 s c Elapsed CPU time: 11.4133 s Remaining CPU time: 1788.59 s c Elapsed CPU time: 11.5292 s Remaining CPU time: 1788.47 s c Elapsed CPU time: 11.6462 s Remaining CPU time: 1788.35 s c Elapsed CPU time: 11.7622 s Remaining CPU time: 1788.24 s c Elapsed CPU time: 11.8772 s Remaining CPU time: 1788.12 s c Elapsed CPU time: 11.9942 s Remaining CPU time: 1788.01 s c Elapsed CPU time: 12.1112 s Remaining CPU time: 1787.89 s c Elapsed CPU time: 12.2301 s Remaining CPU time: 1787.77 s c Elapsed CPU time: 12.3481 s Remaining CPU time: 1787.65 s c Elapsed CPU time: 12.4671 s Remaining CPU time: 1787.53 s c Elapsed CPU time: 12.5851 s Remaining CPU time: 1787.41 s c Elapsed CPU time: 12.7021 s Remaining CPU time: 1787.3 s c Elapsed CPU time: 12.8201 s Remaining CPU time: 1787.18 s c Elapsed CPU time: 12.939 s Remaining CPU time: 1787.06 s c Elapsed CPU time: 13.057 s Remaining CPU time: 1786.94 s c Elapsed CPU time: 13.176 s Remaining CPU time: 1786.82 s c Elapsed CPU time: 13.294 s Remaining CPU time: 1786.71 s c Elapsed CPU time: 13.413 s Remaining CPU time: 1786.59 s c Elapsed CPU time: 13.5319 s Remaining CPU time: 1786.47 s c Elapsed CPU time: 13.6499 s Remaining CPU time: 1786.35 s c Elapsed CPU time: 13.7679 s Remaining CPU time: 1786.23 s c Elapsed CPU time: 13.8859 s Remaining CPU time: 1786.11 s c Elapsed CPU time: 14.0039 s Remaining CPU time: 1786 s c Elapsed CPU time: 14.1229 s Remaining CPU time: 1785.88 s c Elapsed CPU time: 14.2418 s Remaining CPU time: 1785.76 s c Elapsed CPU time: 14.3608 s Remaining CPU time: 1785.64 s c Elapsed CPU time: 14.4798 s Remaining CPU time: 1785.52 s c Elapsed CPU time: 14.5998 s Remaining CPU time: 1785.4 s c Elapsed CPU time: 14.7178 s Remaining CPU time: 1785.28 s c Elapsed CPU time: 14.8377 s Remaining CPU time: 1785.16 s c Elapsed CPU time: 14.9567 s Remaining CPU time: 1785.04 s c Elapsed CPU time: 15.0767 s Remaining CPU time: 1784.92 s c Elapsed CPU time: 15.1967 s Remaining CPU time: 1784.8 s c Elapsed CPU time: 15.3147 s Remaining CPU time: 1784.69 s c Elapsed CPU time: 15.4347 s Remaining CPU time: 1784.57 s c Elapsed CPU time: 15.5536 s Remaining CPU time: 1784.45 s c Elapsed CPU time: 15.6706 s Remaining CPU time: 1784.33 s c Elapsed CPU time: 15.7896 s Remaining CPU time: 1784.21 s c Elapsed CPU time: 15.9106 s Remaining CPU time: 1784.09 s c Elapsed CPU time: 16.0316 s Remaining CPU time: 1783.97 s c Elapsed CPU time: 16.1505 s Remaining CPU time: 1783.85 s c Elapsed CPU time: 16.2695 s Remaining CPU time: 1783.73 s c Elapsed CPU time: 16.3905 s Remaining CPU time: 1783.61 s c Elapsed CPU time: 16.5095 s Remaining CPU time: 1783.49 s c Elapsed CPU time: 16.6315 s Remaining CPU time: 1783.37 s c Elapsed CPU time: 16.7505 s Remaining CPU time: 1783.25 s c Elapsed CPU time: 16.8714 s Remaining CPU time: 1783.13 s c Elapsed CPU time: 16.9904 s Remaining CPU time: 1783.01 s c Elapsed CPU time: 17.1114 s Remaining CPU time: 1782.89 s c Elapsed CPU time: 17.2304 s Remaining CPU time: 1782.77 s c Elapsed CPU time: 17.3494 s Remaining CPU time: 1782.65 s c Elapsed CPU time: 17.4693 s Remaining CPU time: 1782.53 s c Elapsed CPU time: 17.5893 s Remaining CPU time: 1782.41 s c Elapsed CPU time: 17.7083 s Remaining CPU time: 1782.29 s c Elapsed CPU time: 17.8283 s Remaining CPU time: 1782.17 s c Elapsed CPU time: 17.9493 s Remaining CPU time: 1782.05 s c Elapsed CPU time: 18.0703 s Remaining CPU time: 1781.93 s c Elapsed CPU time: 18.1902 s Remaining CPU time: 1781.81 s c Elapsed CPU time: 18.3122 s Remaining CPU time: 1781.69 s c Elapsed CPU time: 18.4332 s Remaining CPU time: 1781.57 s c Elapsed CPU time: 18.5532 s Remaining CPU time: 1781.45 s c Elapsed CPU time: 18.6742 s Remaining CPU time: 1781.33 s c Elapsed CPU time: 18.7961 s Remaining CPU time: 1781.2 s c Elapsed CPU time: 18.9171 s Remaining CPU time: 1781.08 s c Elapsed CPU time: 19.0381 s Remaining CPU time: 1780.96 s c Elapsed CPU time: 19.1571 s Remaining CPU time: 1780.84 s c Elapsed CPU time: 19.2791 s Remaining CPU time: 1780.72 s c Elapsed CPU time: 19.4001 s Remaining CPU time: 1780.6 s c Elapsed CPU time: 19.521 s Remaining CPU time: 1780.48 s c Elapsed CPU time: 19.642 s Remaining CPU time: 1780.36 s c Elapsed CPU time: 19.763 s Remaining CPU time: 1780.24 s c Elapsed CPU time: 19.886 s Remaining CPU time: 1780.11 s c Elapsed CPU time: 20.008 s Remaining CPU time: 1779.99 s c Elapsed CPU time: 20.1299 s Remaining CPU time: 1779.87 s c Elapsed CPU time: 20.2519 s Remaining CPU time: 1779.75 s c Elapsed CPU time: 20.3739 s Remaining CPU time: 1779.63 s c Elapsed CPU time: 20.4949 s Remaining CPU time: 1779.51 s c Elapsed CPU time: 20.6159 s Remaining CPU time: 1779.38 s c Elapsed CPU time: 20.7378 s Remaining CPU time: 1779.26 s c Elapsed CPU time: 20.8608 s Remaining CPU time: 1779.14 s c Elapsed CPU time: 20.9818 s Remaining CPU time: 1779.02 s c Elapsed CPU time: 21.1038 s Remaining CPU time: 1778.9 s c Elapsed CPU time: 21.2248 s Remaining CPU time: 1778.78 s c Elapsed CPU time: 21.3518 s Remaining CPU time: 1778.65 s c Elapsed CPU time: 21.4777 s Remaining CPU time: 1778.52 s c Elapsed CPU time: 21.6037 s Remaining CPU time: 1778.4 s c Elapsed CPU time: 21.7317 s Remaining CPU time: 1778.27 s c Elapsed CPU time: 21.8567 s Remaining CPU time: 1778.14 s c Elapsed CPU time: 21.9857 s Remaining CPU time: 1778.01 s c Elapsed CPU time: 22.1116 s Remaining CPU time: 1777.89 s c Elapsed CPU time: 22.2386 s Remaining CPU time: 1777.76 s c Elapsed CPU time: 22.3676 s Remaining CPU time: 1777.63 s c Elapsed CPU time: 22.4946 s Remaining CPU time: 1777.51 s c Elapsed CPU time: 22.6226 s Remaining CPU time: 1777.38 s c Elapsed CPU time: 22.7515 s Remaining CPU time: 1777.25 s c Elapsed CPU time: 22.8795 s Remaining CPU time: 1777.12 s c Elapsed CPU time: 23.0085 s Remaining CPU time: 1776.99 s c Elapsed CPU time: 23.1355 s Remaining CPU time: 1776.86 s c Elapsed CPU time: 23.2665 s Remaining CPU time: 1776.73 s c Elapsed CPU time: 23.3954 s Remaining CPU time: 1776.6 s c Elapsed CPU time: 23.5244 s Remaining CPU time: 1776.48 s c Elapsed CPU time: 23.6534 s Remaining CPU time: 1776.35 s c Elapsed CPU time: 23.7814 s Remaining CPU time: 1776.22 s c Elapsed CPU time: 23.9134 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.1763 s Remaining CPU time: 1775.82 s c Elapsed CPU time: 24.3083 s Remaining CPU time: 1775.69 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15 113048 217644 | 37682 0 nan | 0.000 % | c =============================================================================== c Verified 113048 original clauses.