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.19697 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.420936 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.531919 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.642902 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.753885 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.862868 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.973851 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.08483 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.19682 s Remaining CPU time: 1798.8 s c Elapsed CPU time: 1.3088 s Remaining CPU time: 1798.69 s c Elapsed CPU time: 1.41978 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.53377 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.64575 s Remaining CPU time: 1798.35 s c Elapsed CPU time: 1.75673 s Remaining CPU time: 1798.24 s c Elapsed CPU time: 1.86772 s Remaining CPU time: 1798.13 s c Elapsed CPU time: 1.9797 s Remaining CPU time: 1798.02 s c Elapsed CPU time: 2.09068 s Remaining CPU time: 1797.91 s c Elapsed CPU time: 2.20366 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.31465 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.42563 s Remaining CPU time: 1797.57 s c Elapsed CPU time: 2.53761 s Remaining CPU time: 1797.46 s c Elapsed CPU time: 2.6496 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.76258 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.87656 s Remaining CPU time: 1797.12 s c Elapsed CPU time: 2.99055 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 3.10453 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.21851 s Remaining CPU time: 1796.78 s c Elapsed CPU time: 3.33149 s Remaining CPU time: 1796.67 s c Elapsed CPU time: 3.44448 s Remaining CPU time: 1796.56 s c Elapsed CPU time: 3.55746 s Remaining CPU time: 1796.44 s c Elapsed CPU time: 3.67344 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.78642 s Remaining CPU time: 1796.21 s c Elapsed CPU time: 3.90041 s Remaining CPU time: 1796.1 s c Elapsed CPU time: 4.01339 s Remaining CPU time: 1795.99 s c Elapsed CPU time: 4.12637 s Remaining CPU time: 1795.87 s c Elapsed CPU time: 4.23836 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 4.35134 s Remaining CPU time: 1795.65 s c Elapsed CPU time: 4.46432 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.5803 s Remaining CPU time: 1795.42 s c Elapsed CPU time: 4.69429 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.80727 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.92125 s Remaining CPU time: 1795.08 s c Elapsed CPU time: 5.03623 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.15222 s Remaining CPU time: 1794.85 s c Elapsed CPU time: 5.2682 s Remaining CPU time: 1794.73 s c Elapsed CPU time: 5.38318 s Remaining CPU time: 1794.62 s c Elapsed CPU time: 5.49816 s Remaining CPU time: 1794.5 s c Elapsed CPU time: 5.61315 s Remaining CPU time: 1794.39 s c Elapsed CPU time: 5.72913 s Remaining CPU time: 1794.27 s c Elapsed CPU time: 5.84311 s Remaining CPU time: 1794.16 s c Elapsed CPU time: 5.95809 s Remaining CPU time: 1794.04 s c Elapsed CPU time: 6.07408 s Remaining CPU time: 1793.93 s c Elapsed CPU time: 6.18706 s Remaining CPU time: 1793.81 s c Elapsed CPU time: 6.30204 s Remaining CPU time: 1793.7 s c Elapsed CPU time: 6.41602 s Remaining CPU time: 1793.58 s c Elapsed CPU time: 6.53101 s Remaining CPU time: 1793.47 s c Elapsed CPU time: 6.64599 s Remaining CPU time: 1793.35 s c Elapsed CPU time: 6.76097 s Remaining CPU time: 1793.24 s c Elapsed CPU time: 6.87595 s Remaining CPU time: 1793.12 s c Elapsed CPU time: 6.98994 s Remaining CPU time: 1793.01 s c Elapsed CPU time: 7.10492 s Remaining CPU time: 1792.9 s c Elapsed CPU time: 7.2189 s Remaining CPU time: 1792.78 s c Elapsed CPU time: 7.33488 s Remaining CPU time: 1792.67 s c Elapsed CPU time: 7.44987 s Remaining CPU time: 1792.55 s c Elapsed CPU time: 7.56485 s Remaining CPU time: 1792.44 s c Elapsed CPU time: 7.68083 s Remaining CPU time: 1792.32 s c Elapsed CPU time: 7.79581 s Remaining CPU time: 1792.2 s c Elapsed CPU time: 7.9108 s Remaining CPU time: 1792.09 s c Elapsed CPU time: 8.02578 s Remaining CPU time: 1791.97 s c Elapsed CPU time: 8.14176 s Remaining CPU time: 1791.86 s c Elapsed CPU time: 8.25674 s Remaining CPU time: 1791.74 s c Elapsed CPU time: 8.37173 s Remaining CPU time: 1791.63 s c Elapsed CPU time: 8.48871 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.71967 s Remaining CPU time: 1791.28 s c Elapsed CPU time: 8.83266 s Remaining CPU time: 1791.17 s c Elapsed CPU time: 8.94664 s Remaining CPU time: 1791.05 s c Elapsed CPU time: 9.06062 s Remaining CPU time: 1790.94 s c Elapsed CPU time: 9.1766 s Remaining CPU time: 1790.82 s c Elapsed CPU time: 9.29159 s Remaining CPU time: 1790.71 s c Elapsed CPU time: 9.40857 s Remaining CPU time: 1790.59 s c Elapsed CPU time: 9.52455 s Remaining CPU time: 1790.48 s c Elapsed CPU time: 9.64053 s Remaining CPU time: 1790.36 s c Elapsed CPU time: 9.75452 s Remaining CPU time: 1790.25 s c Elapsed CPU time: 9.8705 s Remaining CPU time: 1790.13 s c Elapsed CPU time: 9.98448 s Remaining CPU time: 1790.02 s c Elapsed CPU time: 10.0995 s Remaining CPU time: 1789.9 s c Elapsed CPU time: 10.2134 s Remaining CPU time: 1789.79 s c Elapsed CPU time: 10.3284 s Remaining CPU time: 1789.67 s c Elapsed CPU time: 10.4464 s Remaining CPU time: 1789.55 s c Elapsed CPU time: 10.5614 s Remaining CPU time: 1789.44 s c Elapsed CPU time: 10.6784 s Remaining CPU time: 1789.32 s c Elapsed CPU time: 10.7944 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.9103 s Remaining CPU time: 1789.09 s c Elapsed CPU time: 11.0253 s Remaining CPU time: 1788.97 s c Elapsed CPU time: 11.1423 s Remaining CPU time: 1788.86 s c Elapsed CPU time: 11.2603 s Remaining CPU time: 1788.74 s c Elapsed CPU time: 11.3763 s Remaining CPU time: 1788.62 s c Elapsed CPU time: 11.4923 s Remaining CPU time: 1788.51 s c Elapsed CPU time: 11.6102 s Remaining CPU time: 1788.39 s c Elapsed CPU time: 11.7282 s Remaining CPU time: 1788.27 s c Elapsed CPU time: 11.8432 s Remaining CPU time: 1788.16 s c Elapsed CPU time: 11.9592 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 12.0742 s Remaining CPU time: 1787.93 s c Elapsed CPU time: 12.1921 s Remaining CPU time: 1787.81 s c Elapsed CPU time: 12.3081 s Remaining CPU time: 1787.69 s c Elapsed CPU time: 12.4251 s Remaining CPU time: 1787.57 s c Elapsed CPU time: 12.5421 s Remaining CPU time: 1787.46 s c Elapsed CPU time: 12.6571 s Remaining CPU time: 1787.34 s c Elapsed CPU time: 12.7731 s Remaining CPU time: 1787.23 s c Elapsed CPU time: 12.891 s Remaining CPU time: 1787.11 s c Elapsed CPU time: 13.007 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.125 s Remaining CPU time: 1786.87 s c Elapsed CPU time: 13.244 s Remaining CPU time: 1786.76 s c Elapsed CPU time: 13.36 s Remaining CPU time: 1786.64 s c Elapsed CPU time: 13.477 s Remaining CPU time: 1786.52 s c Elapsed CPU time: 13.5929 s Remaining CPU time: 1786.41 s c Elapsed CPU time: 13.7069 s Remaining CPU time: 1786.29 s c Elapsed CPU time: 13.8229 s Remaining CPU time: 1786.18 s c Elapsed CPU time: 13.9429 s Remaining CPU time: 1786.06 s c Elapsed CPU time: 14.0609 s Remaining CPU time: 1785.94 s c Elapsed CPU time: 14.1798 s Remaining CPU time: 1785.82 s c Elapsed CPU time: 14.2978 s Remaining CPU time: 1785.7 s c Elapsed CPU time: 14.4158 s Remaining CPU time: 1785.58 s c Elapsed CPU time: 14.5348 s Remaining CPU time: 1785.47 s c Elapsed CPU time: 14.6528 s Remaining CPU time: 1785.35 s c Elapsed CPU time: 14.7688 s Remaining CPU time: 1785.23 s c Elapsed CPU time: 14.8877 s Remaining CPU time: 1785.11 s c Elapsed CPU time: 15.0057 s Remaining CPU time: 1784.99 s c Elapsed CPU time: 15.1217 s Remaining CPU time: 1784.88 s c Elapsed CPU time: 15.2417 s Remaining CPU time: 1784.76 s c Elapsed CPU time: 15.3577 s Remaining CPU time: 1784.64 s c Elapsed CPU time: 15.4756 s Remaining CPU time: 1784.52 s c Elapsed CPU time: 15.5916 s Remaining CPU time: 1784.41 s c Elapsed CPU time: 15.7096 s Remaining CPU time: 1784.29 s c Elapsed CPU time: 15.8276 s Remaining CPU time: 1784.17 s c Elapsed CPU time: 15.9456 s Remaining CPU time: 1784.05 s c Elapsed CPU time: 16.0646 s Remaining CPU time: 1783.94 s c Elapsed CPU time: 16.1835 s Remaining CPU time: 1783.82 s c Elapsed CPU time: 16.3035 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.5385 s Remaining CPU time: 1783.46 s c Elapsed CPU time: 16.6575 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.0144 s Remaining CPU time: 1782.99 s c Elapsed CPU time: 17.1334 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.4903 s Remaining CPU time: 1782.51 s c Elapsed CPU time: 17.6093 s Remaining CPU time: 1782.39 s c Elapsed CPU time: 17.7273 s Remaining CPU time: 1782.27 s c Elapsed CPU time: 17.8463 s Remaining CPU time: 1782.15 s c Elapsed CPU time: 17.9663 s Remaining CPU time: 1782.03 s c Elapsed CPU time: 18.0843 s Remaining CPU time: 1781.92 s c Elapsed CPU time: 18.2022 s Remaining CPU time: 1781.8 s c Elapsed CPU time: 18.3222 s Remaining CPU time: 1781.68 s c Elapsed CPU time: 18.4432 s Remaining CPU time: 1781.56 s c Elapsed CPU time: 18.5622 s Remaining CPU time: 1781.44 s c Elapsed CPU time: 18.6822 s Remaining CPU time: 1781.32 s c Elapsed CPU time: 18.8041 s Remaining CPU time: 1781.2 s c Elapsed CPU time: 18.9231 s Remaining CPU time: 1781.08 s c Elapsed CPU time: 19.0421 s Remaining CPU time: 1780.96 s c Elapsed CPU time: 19.1641 s Remaining CPU time: 1780.84 s c Elapsed CPU time: 19.2821 s Remaining CPU time: 1780.72 s c Elapsed CPU time: 19.4041 s Remaining CPU time: 1780.6 s c Elapsed CPU time: 19.523 s Remaining CPU time: 1780.48 s c Elapsed CPU time: 19.643 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.884 s Remaining CPU time: 1780.12 s c Elapsed CPU time: 20.003 s Remaining CPU time: 1780 s c Elapsed CPU time: 20.1229 s Remaining CPU time: 1779.88 s c Elapsed CPU time: 20.2459 s Remaining CPU time: 1779.75 s c Elapsed CPU time: 20.3669 s Remaining CPU time: 1779.63 s c Elapsed CPU time: 20.4879 s Remaining CPU time: 1779.51 s c Elapsed CPU time: 20.6099 s Remaining CPU time: 1779.39 s c Elapsed CPU time: 20.7318 s Remaining CPU time: 1779.27 s c Elapsed CPU time: 20.8528 s Remaining CPU time: 1779.15 s c Elapsed CPU time: 20.9738 s Remaining CPU time: 1779.03 s c Elapsed CPU time: 21.0938 s Remaining CPU time: 1778.91 s c Elapsed CPU time: 21.2158 s Remaining CPU time: 1778.78 s c Elapsed CPU time: 21.3388 s Remaining CPU time: 1778.66 s c Elapsed CPU time: 21.4627 s Remaining CPU time: 1778.54 s c Elapsed CPU time: 21.5887 s Remaining CPU time: 1778.41 s c Elapsed CPU time: 21.7137 s Remaining CPU time: 1778.29 s c Elapsed CPU time: 21.8407 s Remaining CPU time: 1778.16 s c Elapsed CPU time: 21.9677 s Remaining CPU time: 1778.03 s c Elapsed CPU time: 22.0946 s Remaining CPU time: 1777.91 s c Elapsed CPU time: 22.2226 s Remaining CPU time: 1777.78 s c Elapsed CPU time: 22.3506 s Remaining CPU time: 1777.65 s c Elapsed CPU time: 22.4796 s Remaining CPU time: 1777.52 s c Elapsed CPU time: 22.6086 s Remaining CPU time: 1777.39 s c Elapsed CPU time: 22.7385 s Remaining CPU time: 1777.26 s c Elapsed CPU time: 22.8685 s Remaining CPU time: 1777.13 s c Elapsed CPU time: 22.9985 s Remaining CPU time: 1777 s c Elapsed CPU time: 23.1275 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.2575 s Remaining CPU time: 1776.74 s c Elapsed CPU time: 23.3864 s Remaining CPU time: 1776.61 s c Elapsed CPU time: 23.5154 s Remaining CPU time: 1776.48 s c Elapsed CPU time: 23.6444 s Remaining CPU time: 1776.36 s c Elapsed CPU time: 23.7744 s Remaining CPU time: 1776.23 s c Elapsed CPU time: 23.9034 s Remaining CPU time: 1776.1 s c Elapsed CPU time: 24.0343 s Remaining CPU time: 1775.97 s c Elapsed CPU time: 24.1633 s Remaining CPU time: 1775.84 s c Elapsed CPU time: 24.2953 s Remaining CPU time: 1775.7 s c Elapsed CPU time: 24.4243 s Remaining CPU time: 1775.58 s c Elapsed CPU time: 24.5553 s Remaining CPU time: 1775.44 s c Elapsed CPU time: 24.6862 s Remaining CPU time: 1775.31 s c Elapsed CPU time: 24.8172 s Remaining CPU time: 1775.18 s c Elapsed CPU time: 24.9472 s Remaining CPU time: 1775.05 s c Elapsed CPU time: 25.0802 s Remaining CPU time: 1774.92 s c Elapsed CPU time: 25.2102 s Remaining CPU time: 1774.79 s c Elapsed CPU time: 25.3421 s Remaining CPU time: 1774.66 s c Elapsed CPU time: 25.4721 s Remaining CPU time: 1774.53 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113066 217645 | 37688 0 nan | 0.000 % | c =============================================================================== c Verified 113066 original clauses.