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.073988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.518921 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.627904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.737887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.845871 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.954854 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 1.06684 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.17682 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2888 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.39879 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.51077 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.73474 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.84772 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.9587 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.07268 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.18367 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.29665 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.40763 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.51962 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6306 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.74258 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.85656 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.97155 s Remaining CPU time: 1797.03 s c Elapsed CPU time: 3.08653 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.20151 s Remaining CPU time: 1796.8 s c Elapsed CPU time: 3.31549 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.43248 s Remaining CPU time: 1796.57 s c Elapsed CPU time: 3.54846 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.66644 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.78143 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.89941 s Remaining CPU time: 1796.1 s c Elapsed CPU time: 4.01539 s Remaining CPU time: 1795.98 s c Elapsed CPU time: 4.13137 s Remaining CPU time: 1795.87 s c Elapsed CPU time: 4.24635 s Remaining CPU time: 1795.75 s c Elapsed CPU time: 4.36034 s Remaining CPU time: 1795.64 s c Elapsed CPU time: 4.47432 s Remaining CPU time: 1795.53 s c Elapsed CPU time: 4.5913 s Remaining CPU time: 1795.41 s c Elapsed CPU time: 4.70628 s Remaining CPU time: 1795.29 s c Elapsed CPU time: 4.82027 s Remaining CPU time: 1795.18 s c Elapsed CPU time: 4.93625 s Remaining CPU time: 1795.06 s c Elapsed CPU time: 5.05223 s Remaining CPU time: 1794.95 s c Elapsed CPU time: 5.16821 s Remaining CPU time: 1794.83 s c Elapsed CPU time: 5.2842 s Remaining CPU time: 1794.72 s c Elapsed CPU time: 5.40018 s Remaining CPU time: 1794.6 s c Elapsed CPU time: 5.51416 s Remaining CPU time: 1794.49 s c Elapsed CPU time: 5.62914 s Remaining CPU time: 1794.37 s c Elapsed CPU time: 5.74313 s Remaining CPU time: 1794.26 s c Elapsed CPU time: 5.85911 s Remaining CPU time: 1794.14 s c Elapsed CPU time: 5.97409 s Remaining CPU time: 1794.03 s c Elapsed CPU time: 6.08807 s Remaining CPU time: 1793.91 s c Elapsed CPU time: 6.20206 s Remaining CPU time: 1793.8 s c Elapsed CPU time: 6.31804 s Remaining CPU time: 1793.68 s c Elapsed CPU time: 6.43302 s Remaining CPU time: 1793.57 s c Elapsed CPU time: 6.548 s Remaining CPU time: 1793.45 s c Elapsed CPU time: 6.66299 s Remaining CPU time: 1793.34 s c Elapsed CPU time: 6.77797 s Remaining CPU time: 1793.22 s c Elapsed CPU time: 6.89195 s Remaining CPU time: 1793.11 s c Elapsed CPU time: 7.00793 s Remaining CPU time: 1792.99 s c Elapsed CPU time: 7.12392 s Remaining CPU time: 1792.88 s c Elapsed CPU time: 7.2399 s Remaining CPU time: 1792.76 s c Elapsed CPU time: 7.35388 s Remaining CPU time: 1792.65 s c Elapsed CPU time: 7.46986 s Remaining CPU time: 1792.53 s c Elapsed CPU time: 7.58485 s Remaining CPU time: 1792.42 s c Elapsed CPU time: 7.69983 s Remaining CPU time: 1792.3 s c Elapsed CPU time: 7.81581 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.93179 s Remaining CPU time: 1792.07 s c Elapsed CPU time: 8.04678 s Remaining CPU time: 1791.95 s c Elapsed CPU time: 8.16376 s Remaining CPU time: 1791.84 s c Elapsed CPU time: 8.27974 s Remaining CPU time: 1791.72 s c Elapsed CPU time: 8.39772 s Remaining CPU time: 1791.6 s c Elapsed CPU time: 8.51271 s Remaining CPU time: 1791.49 s c Elapsed CPU time: 8.63269 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.74867 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.86665 s Remaining CPU time: 1791.13 s c Elapsed CPU time: 8.98363 s Remaining CPU time: 1791.02 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.33458 s Remaining CPU time: 1790.67 s c Elapsed CPU time: 9.45156 s Remaining CPU time: 1790.55 s c Elapsed CPU time: 9.56754 s Remaining CPU time: 1790.43 s c Elapsed CPU time: 9.68253 s Remaining CPU time: 1790.32 s c Elapsed CPU time: 9.80051 s Remaining CPU time: 1790.2 s c Elapsed CPU time: 9.91649 s Remaining CPU time: 1790.08 s c Elapsed CPU time: 10.0315 s Remaining CPU time: 1789.97 s c Elapsed CPU time: 10.1465 s Remaining CPU time: 1789.85 s c Elapsed CPU time: 10.2614 s Remaining CPU time: 1789.74 s c Elapsed CPU time: 10.3744 s Remaining CPU time: 1789.63 s c Elapsed CPU time: 10.4904 s Remaining CPU time: 1789.51 s c Elapsed CPU time: 10.6064 s Remaining CPU time: 1789.39 s c Elapsed CPU time: 10.7224 s Remaining CPU time: 1789.28 s c Elapsed CPU time: 10.8364 s Remaining CPU time: 1789.16 s c Elapsed CPU time: 10.9533 s Remaining CPU time: 1789.05 s c Elapsed CPU time: 11.0673 s Remaining CPU time: 1788.93 s c Elapsed CPU time: 11.1833 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.2983 s Remaining CPU time: 1788.7 s c Elapsed CPU time: 11.4113 s Remaining CPU time: 1788.59 s c Elapsed CPU time: 11.5262 s Remaining CPU time: 1788.47 s c Elapsed CPU time: 11.6412 s Remaining CPU time: 1788.36 s c Elapsed CPU time: 11.7562 s Remaining CPU time: 1788.24 s c Elapsed CPU time: 11.8732 s Remaining CPU time: 1788.13 s c Elapsed CPU time: 11.9872 s Remaining CPU time: 1788.01 s c Elapsed CPU time: 12.1022 s Remaining CPU time: 1787.9 s c Elapsed CPU time: 12.2171 s Remaining CPU time: 1787.78 s c Elapsed CPU time: 12.3331 s Remaining CPU time: 1787.67 s c Elapsed CPU time: 12.4501 s Remaining CPU time: 1787.55 s c Elapsed CPU time: 12.5671 s Remaining CPU time: 1787.43 s c Elapsed CPU time: 12.6851 s Remaining CPU time: 1787.31 s c Elapsed CPU time: 12.8011 s Remaining CPU time: 1787.2 s c Elapsed CPU time: 12.917 s Remaining CPU time: 1787.08 s c Elapsed CPU time: 13.034 s Remaining CPU time: 1786.97 s c Elapsed CPU time: 13.149 s Remaining CPU time: 1786.85 s c Elapsed CPU time: 13.264 s Remaining CPU time: 1786.74 s c Elapsed CPU time: 13.38 s Remaining CPU time: 1786.62 s c Elapsed CPU time: 13.4959 s Remaining CPU time: 1786.5 s c Elapsed CPU time: 13.6129 s Remaining CPU time: 1786.39 s c Elapsed CPU time: 13.7289 s Remaining CPU time: 1786.27 s c Elapsed CPU time: 13.8439 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.9599 s Remaining CPU time: 1786.04 s c Elapsed CPU time: 14.0769 s Remaining CPU time: 1785.92 s c Elapsed CPU time: 14.1938 s Remaining CPU time: 1785.81 s c Elapsed CPU time: 14.3098 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.5428 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.6588 s Remaining CPU time: 1785.34 s c Elapsed CPU time: 14.7768 s Remaining CPU time: 1785.22 s c Elapsed CPU time: 14.8927 s Remaining CPU time: 1785.11 s c Elapsed CPU time: 15.0097 s Remaining CPU time: 1784.99 s c Elapsed CPU time: 15.1257 s Remaining CPU time: 1784.87 s c Elapsed CPU time: 15.2437 s Remaining CPU time: 1784.76 s c Elapsed CPU time: 15.3617 s Remaining CPU time: 1784.64 s c Elapsed CPU time: 15.4786 s Remaining CPU time: 1784.52 s c Elapsed CPU time: 15.5966 s Remaining CPU time: 1784.4 s c Elapsed CPU time: 15.7146 s Remaining CPU time: 1784.29 s c Elapsed CPU time: 15.8316 s Remaining CPU time: 1784.17 s c Elapsed CPU time: 15.9486 s Remaining CPU time: 1784.05 s c Elapsed CPU time: 16.0666 s Remaining CPU time: 1783.93 s c Elapsed CPU time: 16.1835 s Remaining CPU time: 1783.82 s c Elapsed CPU time: 16.3005 s Remaining CPU time: 1783.7 s c Elapsed CPU time: 16.4195 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.6565 s Remaining CPU time: 1783.34 s c Elapsed CPU time: 16.7764 s Remaining CPU time: 1783.22 s c Elapsed CPU time: 16.8944 s Remaining CPU time: 1783.11 s c Elapsed CPU time: 17.0114 s Remaining CPU time: 1782.99 s c Elapsed CPU time: 17.1314 s Remaining CPU time: 1782.87 s c Elapsed CPU time: 17.2504 s Remaining CPU time: 1782.75 s c Elapsed CPU time: 17.3684 s Remaining CPU time: 1782.63 s c Elapsed CPU time: 17.4873 s Remaining CPU time: 1782.51 s c Elapsed CPU time: 17.6043 s Remaining CPU time: 1782.4 s c Elapsed CPU time: 17.7223 s Remaining CPU time: 1782.28 s c Elapsed CPU time: 17.8413 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.0783 s Remaining CPU time: 1781.92 s c Elapsed CPU time: 18.1972 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.6742 s Remaining CPU time: 1781.33 s c Elapsed CPU time: 18.7911 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.0281 s Remaining CPU time: 1780.97 s c Elapsed CPU time: 19.1471 s Remaining CPU time: 1780.85 s c Elapsed CPU time: 19.2661 s Remaining CPU time: 1780.73 s c Elapsed CPU time: 19.3841 s Remaining CPU time: 1780.62 s c Elapsed CPU time: 19.502 s Remaining CPU time: 1780.5 s c Elapsed CPU time: 19.621 s Remaining CPU time: 1780.38 s c Elapsed CPU time: 19.739 s Remaining CPU time: 1780.26 s c Elapsed CPU time: 19.86 s Remaining CPU time: 1780.14 s c Elapsed CPU time: 19.98 s Remaining CPU time: 1780.02 s c Elapsed CPU time: 20.1009 s Remaining CPU time: 1779.9 s c Elapsed CPU time: 20.2209 s Remaining CPU time: 1779.78 s c Elapsed CPU time: 20.3419 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.7049 s Remaining CPU time: 1779.3 s c Elapsed CPU time: 20.8268 s Remaining CPU time: 1779.17 s c Elapsed CPU time: 20.9478 s Remaining CPU time: 1779.05 s c Elapsed CPU time: 21.0708 s Remaining CPU time: 1778.93 s c Elapsed CPU time: 21.1928 s Remaining CPU time: 1778.81 s c Elapsed CPU time: 21.3158 s Remaining CPU time: 1778.68 s c Elapsed CPU time: 21.4397 s Remaining CPU time: 1778.56 s c Elapsed CPU time: 21.5637 s Remaining CPU time: 1778.44 s c Elapsed CPU time: 21.6897 s Remaining CPU time: 1778.31 s c Elapsed CPU time: 21.8157 s Remaining CPU time: 1778.18 s c Elapsed CPU time: 21.9417 s Remaining CPU time: 1778.06 s c Elapsed CPU time: 22.0686 s Remaining CPU time: 1777.93 s c Elapsed CPU time: 22.1936 s Remaining CPU time: 1777.81 s c Elapsed CPU time: 22.3186 s Remaining CPU time: 1777.68 s c Elapsed CPU time: 22.4476 s Remaining CPU time: 1777.55 s c Elapsed CPU time: 22.5766 s Remaining CPU time: 1777.42 s c Elapsed CPU time: 22.7055 s Remaining CPU time: 1777.29 s c Elapsed CPU time: 22.8315 s Remaining CPU time: 1777.17 s c Elapsed CPU time: 22.9585 s Remaining CPU time: 1777.04 s c Elapsed CPU time: 23.0855 s Remaining CPU time: 1776.91 s c Elapsed CPU time: 23.2135 s Remaining CPU time: 1776.79 s c Elapsed CPU time: 23.3415 s Remaining CPU time: 1776.66 s c Elapsed CPU time: 23.4694 s Remaining CPU time: 1776.53 s c Elapsed CPU time: 23.5964 s Remaining CPU time: 1776.4 s c Elapsed CPU time: 23.7224 s Remaining CPU time: 1776.28 s c Elapsed CPU time: 23.8504 s Remaining CPU time: 1776.15 s c Elapsed CPU time: 23.9784 s Remaining CPU time: 1776.02 s c Elapsed CPU time: 24.1073 s Remaining CPU time: 1775.89 s c Elapsed CPU time: 24.2353 s Remaining CPU time: 1775.76 s c Elapsed CPU time: 24.3623 s Remaining CPU time: 1775.64 s c Elapsed CPU time: 24.4923 s Remaining CPU time: 1775.51 s c Elapsed CPU time: 24.6233 s Remaining CPU time: 1775.38 s c Elapsed CPU time: 24.7512 s Remaining CPU time: 1775.25 s c Elapsed CPU time: 24.8862 s Remaining CPU time: 1775.11 s c Elapsed CPU time: 25.0202 s Remaining CPU time: 1774.98 s c Elapsed CPU time: 25.1532 s Remaining CPU time: 1774.85 s c Elapsed CPU time: 25.2852 s Remaining CPU time: 1774.71 s c Elapsed CPU time: 25.4161 s Remaining CPU time: 1774.58 s c Elapsed CPU time: 25.5461 s Remaining CPU time: 1774.45 s c Elapsed CPU time: 25.6781 s Remaining CPU time: 1774.32 s c Elapsed CPU time: 25.8101 s Remaining CPU time: 1774.19 s c Elapsed CPU time: 25.9411 s Remaining CPU time: 1774.06 s c Elapsed CPU time: 26.072 s Remaining CPU time: 1773.93 s c Elapsed CPU time: 26.205 s Remaining CPU time: 1773.79 s c Elapsed CPU time: 26.337 s Remaining CPU time: 1773.66 s c Elapsed CPU time: 26.47 s Remaining CPU time: 1773.53 s c Elapsed CPU time: 26.6 s Remaining CPU time: 1773.4 s c Elapsed CPU time: 26.7329 s Remaining CPU time: 1773.27 s c Elapsed CPU time: 26.8649 s Remaining CPU time: 1773.14 s c Elapsed CPU time: 26.9969 s Remaining CPU time: 1773 s c Elapsed CPU time: 27.1299 s Remaining CPU time: 1772.87 s c Elapsed CPU time: 27.2649 s Remaining CPU time: 1772.74 s c Elapsed CPU time: 27.3988 s Remaining CPU time: 1772.6 s c Elapsed CPU time: 27.5318 s Remaining CPU time: 1772.47 s c Elapsed CPU time: 27.6648 s Remaining CPU time: 1772.34 s c Elapsed CPU time: 27.7988 s Remaining CPU time: 1772.2 s c Elapsed CPU time: 27.9328 s Remaining CPU time: 1772.07 s c Elapsed CPU time: 28.0657 s Remaining CPU time: 1771.93 s c Elapsed CPU time: 28.1997 s Remaining CPU time: 1771.8 s c Elapsed CPU time: 28.3337 s Remaining CPU time: 1771.67 s c Elapsed CPU time: 28.4687 s Remaining CPU time: 1771.53 s c Elapsed CPU time: 28.6106 s Remaining CPU time: 1771.39 s c Elapsed CPU time: 28.7446 s Remaining CPU time: 1771.26 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113116 217720 | 37705 0 nan | 0.000 % | c =============================================================================== c Verified 113116 original clauses.