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.074988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.185971 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.405938 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.514921 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.626904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.736887 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.956854 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.06684 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.17782 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.39979 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.51277 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.62375 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.73574 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.84672 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.9577 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.06968 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.18167 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.40563 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.51662 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6316 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.74558 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.85857 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.97255 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.43048 s Remaining CPU time: 1796.57 s c Elapsed CPU time: 3.54446 s Remaining CPU time: 1796.46 s c Elapsed CPU time: 3.65744 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.77043 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.88541 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.00039 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.11237 s Remaining CPU time: 1795.89 s c Elapsed CPU time: 4.22536 s Remaining CPU time: 1795.77 s c Elapsed CPU time: 4.33934 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.45432 s Remaining CPU time: 1795.55 s c Elapsed CPU time: 4.5683 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.68329 s Remaining CPU time: 1795.32 s c Elapsed CPU time: 4.79827 s Remaining CPU time: 1795.2 s c Elapsed CPU time: 4.91325 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 5.03024 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.14522 s Remaining CPU time: 1794.85 s c Elapsed CPU time: 5.2592 s Remaining CPU time: 1794.74 s c Elapsed CPU time: 5.37318 s Remaining CPU time: 1794.63 s c Elapsed CPU time: 5.48916 s Remaining CPU time: 1794.51 s c Elapsed CPU time: 5.60515 s Remaining CPU time: 1794.39 s c Elapsed CPU time: 5.72013 s Remaining CPU time: 1794.28 s c Elapsed CPU time: 5.83711 s Remaining CPU time: 1794.16 s c Elapsed CPU time: 5.95309 s Remaining CPU time: 1794.05 s c Elapsed CPU time: 6.06908 s Remaining CPU time: 1793.93 s c Elapsed CPU time: 6.18406 s Remaining CPU time: 1793.82 s c Elapsed CPU time: 6.29904 s Remaining CPU time: 1793.7 s c Elapsed CPU time: 6.41502 s Remaining CPU time: 1793.58 s c Elapsed CPU time: 6.53201 s Remaining CPU time: 1793.47 s c Elapsed CPU time: 6.64699 s Remaining CPU time: 1793.35 s c Elapsed CPU time: 6.76397 s Remaining CPU time: 1793.24 s c Elapsed CPU time: 6.88095 s Remaining CPU time: 1793.12 s c Elapsed CPU time: 6.99594 s Remaining CPU time: 1793 s c Elapsed CPU time: 7.11092 s Remaining CPU time: 1792.89 s c Elapsed CPU time: 7.2269 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.34288 s Remaining CPU time: 1792.66 s c Elapsed CPU time: 7.45887 s Remaining CPU time: 1792.54 s c Elapsed CPU time: 7.57385 s Remaining CPU time: 1792.43 s c Elapsed CPU time: 7.68883 s Remaining CPU time: 1792.31 s c Elapsed CPU time: 7.80481 s Remaining CPU time: 1792.2 s c Elapsed CPU time: 7.9218 s Remaining CPU time: 1792.08 s c Elapsed CPU time: 8.03678 s Remaining CPU time: 1791.96 s c Elapsed CPU time: 8.15276 s Remaining CPU time: 1791.85 s c Elapsed CPU time: 8.26774 s Remaining CPU time: 1791.73 s c Elapsed CPU time: 8.38373 s Remaining CPU time: 1791.62 s c Elapsed CPU time: 8.49971 s Remaining CPU time: 1791.5 s c Elapsed CPU time: 8.61669 s Remaining CPU time: 1791.38 s c Elapsed CPU time: 8.73267 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.84765 s Remaining CPU time: 1791.15 s c Elapsed CPU time: 8.96364 s Remaining CPU time: 1791.04 s c Elapsed CPU time: 9.07962 s Remaining CPU time: 1790.92 s c Elapsed CPU time: 9.1956 s Remaining CPU time: 1790.8 s c Elapsed CPU time: 9.31158 s Remaining CPU time: 1790.69 s c Elapsed CPU time: 9.42757 s Remaining CPU time: 1790.57 s c Elapsed CPU time: 9.54155 s Remaining CPU time: 1790.46 s c Elapsed CPU time: 9.65553 s Remaining CPU time: 1790.34 s c Elapsed CPU time: 9.77151 s Remaining CPU time: 1790.23 s c Elapsed CPU time: 9.8875 s Remaining CPU time: 1790.11 s c Elapsed CPU time: 10.0025 s Remaining CPU time: 1790 s c Elapsed CPU time: 10.1185 s Remaining CPU time: 1789.88 s c Elapsed CPU time: 10.2334 s Remaining CPU time: 1789.77 s c Elapsed CPU time: 10.3504 s Remaining CPU time: 1789.65 s c Elapsed CPU time: 10.4654 s Remaining CPU time: 1789.53 s c Elapsed CPU time: 10.5804 s Remaining CPU time: 1789.42 s c Elapsed CPU time: 10.6964 s Remaining CPU time: 1789.3 s c Elapsed CPU time: 10.8104 s Remaining CPU time: 1789.19 s c Elapsed CPU time: 10.9263 s Remaining CPU time: 1789.07 s c Elapsed CPU time: 11.0413 s Remaining CPU time: 1788.96 s c Elapsed CPU time: 11.1573 s Remaining CPU time: 1788.84 s c Elapsed CPU time: 11.2733 s Remaining CPU time: 1788.73 s c Elapsed CPU time: 11.3903 s Remaining CPU time: 1788.61 s c Elapsed CPU time: 11.5062 s Remaining CPU time: 1788.49 s c Elapsed CPU time: 11.6222 s Remaining CPU time: 1788.38 s c Elapsed CPU time: 11.7382 s Remaining CPU time: 1788.26 s c Elapsed CPU time: 11.8542 s Remaining CPU time: 1788.15 s c Elapsed CPU time: 11.9712 s Remaining CPU time: 1788.03 s c Elapsed CPU time: 12.0882 s Remaining CPU time: 1787.91 s c Elapsed CPU time: 12.2031 s Remaining CPU time: 1787.8 s c Elapsed CPU time: 12.3181 s Remaining CPU time: 1787.68 s c Elapsed CPU time: 12.4361 s Remaining CPU time: 1787.56 s c Elapsed CPU time: 12.5521 s Remaining CPU time: 1787.45 s c Elapsed CPU time: 12.6681 s Remaining CPU time: 1787.33 s c Elapsed CPU time: 12.7831 s Remaining CPU time: 1787.22 s c Elapsed CPU time: 12.901 s Remaining CPU time: 1787.1 s c Elapsed CPU time: 13.018 s Remaining CPU time: 1786.98 s c Elapsed CPU time: 13.135 s Remaining CPU time: 1786.86 s c Elapsed CPU time: 13.251 s Remaining CPU time: 1786.75 s c Elapsed CPU time: 13.368 s Remaining CPU time: 1786.63 s c Elapsed CPU time: 13.4849 s Remaining CPU time: 1786.52 s c Elapsed CPU time: 13.6019 s Remaining CPU time: 1786.4 s c Elapsed CPU time: 13.7199 s Remaining CPU time: 1786.28 s c Elapsed CPU time: 13.8369 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.9529 s Remaining CPU time: 1786.05 s c Elapsed CPU time: 14.0689 s Remaining CPU time: 1785.93 s c Elapsed CPU time: 14.1848 s Remaining CPU time: 1785.82 s c Elapsed CPU time: 14.3028 s Remaining CPU time: 1785.7 s c Elapsed CPU time: 14.4198 s Remaining CPU time: 1785.58 s c Elapsed CPU time: 14.5378 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.6548 s Remaining CPU time: 1785.35 s c Elapsed CPU time: 14.7708 s Remaining CPU time: 1785.23 s c Elapsed CPU time: 14.8887 s Remaining CPU time: 1785.11 s c Elapsed CPU time: 15.0047 s Remaining CPU time: 1785 s c Elapsed CPU time: 15.1227 s Remaining CPU time: 1784.88 s c Elapsed CPU time: 15.2397 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.7086 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.9476 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.1855 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.3025 s Remaining CPU time: 1783.7 s c Elapsed CPU time: 16.4205 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.7754 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.0154 s Remaining CPU time: 1782.98 s c Elapsed CPU time: 17.1344 s Remaining CPU time: 1782.87 s c Elapsed CPU time: 17.2514 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.4883 s Remaining CPU time: 1782.51 s c Elapsed CPU time: 17.6083 s Remaining CPU time: 1782.39 s c Elapsed CPU time: 17.7283 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.0852 s Remaining CPU time: 1781.91 s c Elapsed CPU time: 18.2032 s Remaining CPU time: 1781.8 s c Elapsed CPU time: 18.3232 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.5632 s Remaining CPU time: 1781.44 s c Elapsed CPU time: 18.6832 s Remaining CPU time: 1781.32 s c Elapsed CPU time: 18.8021 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.1621 s Remaining CPU time: 1780.84 s c Elapsed CPU time: 19.2831 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.526 s Remaining CPU time: 1780.47 s c Elapsed CPU time: 19.647 s Remaining CPU time: 1780.35 s c Elapsed CPU time: 19.768 s Remaining CPU time: 1780.23 s c Elapsed CPU time: 19.89 s Remaining CPU time: 1780.11 s c Elapsed CPU time: 20.011 s Remaining CPU time: 1779.99 s c Elapsed CPU time: 20.1379 s Remaining CPU time: 1779.86 s c Elapsed CPU time: 20.2599 s Remaining CPU time: 1779.74 s c Elapsed CPU time: 20.3819 s Remaining CPU time: 1779.62 s c Elapsed CPU time: 20.5029 s Remaining CPU time: 1779.5 s c Elapsed CPU time: 20.6249 s Remaining CPU time: 1779.38 s c Elapsed CPU time: 20.7468 s Remaining CPU time: 1779.25 s c Elapsed CPU time: 20.8688 s Remaining CPU time: 1779.13 s c Elapsed CPU time: 20.9908 s Remaining CPU time: 1779.01 s c Elapsed CPU time: 21.1138 s Remaining CPU time: 1778.89 s c Elapsed CPU time: 21.2378 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.3648 s Remaining CPU time: 1778.64 s c Elapsed CPU time: 21.4917 s Remaining CPU time: 1778.51 s c Elapsed CPU time: 21.6177 s Remaining CPU time: 1778.38 s c Elapsed CPU time: 21.7447 s Remaining CPU time: 1778.26 s c Elapsed CPU time: 21.8697 s Remaining CPU time: 1778.13 s c Elapsed CPU time: 21.9977 s Remaining CPU time: 1778 s c Elapsed CPU time: 22.1246 s Remaining CPU time: 1777.88 s c Elapsed CPU time: 22.2506 s Remaining CPU time: 1777.75 s c Elapsed CPU time: 22.3776 s Remaining CPU time: 1777.62 s c Elapsed CPU time: 22.5056 s Remaining CPU time: 1777.49 s c Elapsed CPU time: 22.6336 s Remaining CPU time: 1777.37 s c Elapsed CPU time: 22.7615 s Remaining CPU time: 1777.24 s c Elapsed CPU time: 22.8905 s Remaining CPU time: 1777.11 s c Elapsed CPU time: 23.0195 s Remaining CPU time: 1776.98 s c Elapsed CPU time: 23.1485 s Remaining CPU time: 1776.85 s c Elapsed CPU time: 23.2775 s Remaining CPU time: 1776.72 s c Elapsed CPU time: 23.4084 s Remaining CPU time: 1776.59 s c Elapsed CPU time: 23.5384 s Remaining CPU time: 1776.46 s c Elapsed CPU time: 23.6674 s Remaining CPU time: 1776.33 s c Elapsed CPU time: 23.7964 s Remaining CPU time: 1776.2 s c Elapsed CPU time: 23.9264 s Remaining CPU time: 1776.07 s c Elapsed CPU time: 24.0563 s Remaining CPU time: 1775.94 s c Elapsed CPU time: 24.1883 s Remaining CPU time: 1775.81 s c Elapsed CPU time: 24.3193 s Remaining CPU time: 1775.68 s c Elapsed CPU time: 24.4503 s Remaining CPU time: 1775.55 s c Elapsed CPU time: 24.5793 s Remaining CPU time: 1775.42 s c Elapsed CPU time: 24.7102 s Remaining CPU time: 1775.29 s c Elapsed CPU time: 24.8402 s Remaining CPU time: 1775.16 s c Elapsed CPU time: 24.9722 s Remaining CPU time: 1775.03 s c Elapsed CPU time: 25.1032 s Remaining CPU time: 1774.9 s c Elapsed CPU time: 25.2362 s Remaining CPU time: 1774.76 s c Elapsed CPU time: 25.3661 s Remaining CPU time: 1774.63 s c Elapsed CPU time: 25.4961 s Remaining CPU time: 1774.5 s c Elapsed CPU time: 25.6281 s Remaining CPU time: 1774.37 s c Elapsed CPU time: 25.7601 s Remaining CPU time: 1774.24 s c Elapsed CPU time: 25.8921 s Remaining CPU time: 1774.11 s c Elapsed CPU time: 26.024 s Remaining CPU time: 1773.98 s c Elapsed CPU time: 26.155 s Remaining CPU time: 1773.84 s c Elapsed CPU time: 26.288 s Remaining CPU time: 1773.71 s c Elapsed CPU time: 26.421 s Remaining CPU time: 1773.58 s c Elapsed CPU time: 26.556 s Remaining CPU time: 1773.44 s c Elapsed CPU time: 26.6899 s Remaining CPU time: 1773.31 s c Elapsed CPU time: 26.8239 s Remaining CPU time: 1773.18 s c Elapsed CPU time: 26.9579 s Remaining CPU time: 1773.04 s c Elapsed CPU time: 27.0929 s Remaining CPU time: 1772.91 s c Elapsed CPU time: 27.2269 s Remaining CPU time: 1772.77 s c Elapsed CPU time: 27.3608 s Remaining CPU time: 1772.64 s c Elapsed CPU time: 27.4938 s Remaining CPU time: 1772.51 s c Elapsed CPU time: 27.6268 s Remaining CPU time: 1772.37 s c Elapsed CPU time: 27.7598 s Remaining CPU time: 1772.24 s c Elapsed CPU time: 27.8938 s Remaining CPU time: 1772.11 s c Elapsed CPU time: 28.0267 s Remaining CPU time: 1771.97 s c Elapsed CPU time: 28.1607 s Remaining CPU time: 1771.84 s c Elapsed CPU time: 28.2957 s Remaining CPU time: 1771.7 s c Elapsed CPU time: 28.4307 s Remaining CPU time: 1771.57 s c Elapsed CPU time: 28.5647 s Remaining CPU time: 1771.44 s c Elapsed CPU time: 28.7016 s Remaining CPU time: 1771.3 s c Elapsed CPU time: 28.8376 s Remaining CPU time: 1771.16 s c Elapsed CPU time: 28.9726 s Remaining CPU time: 1771.03 s c Elapsed CPU time: 29.1096 s Remaining CPU time: 1770.89 s c Elapsed CPU time: 29.2436 s Remaining CPU time: 1770.76 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113122 217703 | 37707 0 nan | 0.000 % | c =============================================================================== c Verified 113122 original clauses.