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.201969 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.443932 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.686895 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.807877 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.927858 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 1.04984 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.2908 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.40979 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.53077 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.65175 s Remaining CPU time: 1798.35 s c Elapsed CPU time: 1.77373 s Remaining CPU time: 1798.23 s c Elapsed CPU time: 1.89271 s Remaining CPU time: 1798.11 s c Elapsed CPU time: 2.01269 s Remaining CPU time: 1797.99 s c Elapsed CPU time: 2.13267 s Remaining CPU time: 1797.87 s c Elapsed CPU time: 2.25366 s Remaining CPU time: 1797.75 s c Elapsed CPU time: 2.37364 s Remaining CPU time: 1797.63 s c Elapsed CPU time: 2.49562 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.6166 s Remaining CPU time: 1797.38 s c Elapsed CPU time: 2.73858 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.85956 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.97955 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.10353 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.22851 s Remaining CPU time: 1796.77 s c Elapsed CPU time: 3.35349 s Remaining CPU time: 1796.65 s c Elapsed CPU time: 3.47647 s Remaining CPU time: 1796.52 s c Elapsed CPU time: 3.60045 s Remaining CPU time: 1796.4 s c Elapsed CPU time: 3.72443 s Remaining CPU time: 1796.28 s c Elapsed CPU time: 3.84841 s Remaining CPU time: 1796.15 s c Elapsed CPU time: 3.9724 s Remaining CPU time: 1796.03 s c Elapsed CPU time: 4.09438 s Remaining CPU time: 1795.91 s c Elapsed CPU time: 4.21836 s Remaining CPU time: 1795.78 s c Elapsed CPU time: 4.34434 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.46832 s Remaining CPU time: 1795.53 s c Elapsed CPU time: 4.5933 s Remaining CPU time: 1795.41 s c Elapsed CPU time: 4.71828 s Remaining CPU time: 1795.28 s c Elapsed CPU time: 4.84126 s Remaining CPU time: 1795.16 s c Elapsed CPU time: 4.96525 s Remaining CPU time: 1795.03 s c Elapsed CPU time: 5.08923 s Remaining CPU time: 1794.91 s c Elapsed CPU time: 5.21421 s Remaining CPU time: 1794.79 s c Elapsed CPU time: 5.33919 s Remaining CPU time: 1794.66 s c Elapsed CPU time: 5.46217 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.58715 s Remaining CPU time: 1794.41 s c Elapsed CPU time: 5.71113 s Remaining CPU time: 1794.29 s c Elapsed CPU time: 5.83511 s Remaining CPU time: 1794.16 s c Elapsed CPU time: 5.95909 s Remaining CPU time: 1794.04 s c Elapsed CPU time: 6.08308 s Remaining CPU time: 1793.92 s c Elapsed CPU time: 6.20706 s Remaining CPU time: 1793.79 s c Elapsed CPU time: 6.33204 s Remaining CPU time: 1793.67 s c Elapsed CPU time: 6.45602 s Remaining CPU time: 1793.54 s c Elapsed CPU time: 6.581 s Remaining CPU time: 1793.42 s c Elapsed CPU time: 6.70498 s Remaining CPU time: 1793.3 s c Elapsed CPU time: 6.82996 s Remaining CPU time: 1793.17 s c Elapsed CPU time: 6.95494 s Remaining CPU time: 1793.05 s c Elapsed CPU time: 7.08092 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.2049 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.32988 s Remaining CPU time: 1792.67 s c Elapsed CPU time: 7.45487 s Remaining CPU time: 1792.55 s c Elapsed CPU time: 7.58185 s Remaining CPU time: 1792.42 s c Elapsed CPU time: 7.70883 s Remaining CPU time: 1792.29 s c Elapsed CPU time: 7.83581 s Remaining CPU time: 1792.16 s c Elapsed CPU time: 7.96079 s Remaining CPU time: 1792.04 s c Elapsed CPU time: 8.08877 s Remaining CPU time: 1791.91 s c Elapsed CPU time: 8.21675 s Remaining CPU time: 1791.78 s c Elapsed CPU time: 8.34373 s Remaining CPU time: 1791.66 s c Elapsed CPU time: 8.46871 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.59569 s Remaining CPU time: 1791.4 s c Elapsed CPU time: 8.72067 s Remaining CPU time: 1791.28 s c Elapsed CPU time: 8.84765 s Remaining CPU time: 1791.15 s c Elapsed CPU time: 8.97363 s Remaining CPU time: 1791.03 s c Elapsed CPU time: 9.10062 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.2286 s Remaining CPU time: 1790.77 s c Elapsed CPU time: 9.35658 s Remaining CPU time: 1790.64 s c Elapsed CPU time: 9.48256 s Remaining CPU time: 1790.52 s c Elapsed CPU time: 9.61054 s Remaining CPU time: 1790.39 s c Elapsed CPU time: 9.73652 s Remaining CPU time: 1790.26 s c Elapsed CPU time: 9.8645 s Remaining CPU time: 1790.14 s c Elapsed CPU time: 9.99048 s Remaining CPU time: 1790.01 s c Elapsed CPU time: 10.1175 s Remaining CPU time: 1789.88 s c Elapsed CPU time: 10.2444 s Remaining CPU time: 1789.76 s c Elapsed CPU time: 10.3714 s Remaining CPU time: 1789.63 s c Elapsed CPU time: 10.4984 s Remaining CPU time: 1789.5 s c Elapsed CPU time: 10.6274 s Remaining CPU time: 1789.37 s c Elapsed CPU time: 10.7544 s Remaining CPU time: 1789.25 s c Elapsed CPU time: 10.8823 s Remaining CPU time: 1789.12 s c Elapsed CPU time: 11.0103 s Remaining CPU time: 1788.99 s c Elapsed CPU time: 11.1403 s Remaining CPU time: 1788.86 s c Elapsed CPU time: 11.2693 s Remaining CPU time: 1788.73 s c Elapsed CPU time: 11.3983 s Remaining CPU time: 1788.6 s c Elapsed CPU time: 11.5262 s Remaining CPU time: 1788.47 s c Elapsed CPU time: 11.6562 s Remaining CPU time: 1788.34 s c Elapsed CPU time: 11.7852 s Remaining CPU time: 1788.21 s c Elapsed CPU time: 11.9152 s Remaining CPU time: 1788.08 s c Elapsed CPU time: 12.0452 s Remaining CPU time: 1787.95 s c Elapsed CPU time: 12.1751 s Remaining CPU time: 1787.82 s c Elapsed CPU time: 12.3041 s Remaining CPU time: 1787.7 s c Elapsed CPU time: 12.4341 s Remaining CPU time: 1787.57 s c Elapsed CPU time: 12.5621 s Remaining CPU time: 1787.44 s c Elapsed CPU time: 12.6941 s Remaining CPU time: 1787.31 s c Elapsed CPU time: 12.8231 s Remaining CPU time: 1787.18 s c Elapsed CPU time: 12.952 s Remaining CPU time: 1787.05 s c Elapsed CPU time: 13.081 s Remaining CPU time: 1786.92 s c Elapsed CPU time: 13.211 s Remaining CPU time: 1786.79 s c Elapsed CPU time: 13.34 s Remaining CPU time: 1786.66 s c Elapsed CPU time: 13.47 s Remaining CPU time: 1786.53 s c Elapsed CPU time: 13.5989 s Remaining CPU time: 1786.4 s c Elapsed CPU time: 13.7289 s Remaining CPU time: 1786.27 s c Elapsed CPU time: 13.8589 s Remaining CPU time: 1786.14 s c Elapsed CPU time: 13.9879 s Remaining CPU time: 1786.01 s c Elapsed CPU time: 14.1179 s Remaining CPU time: 1785.88 s c Elapsed CPU time: 14.2478 s Remaining CPU time: 1785.75 s c Elapsed CPU time: 14.3778 s Remaining CPU time: 1785.62 s c Elapsed CPU time: 14.5088 s Remaining CPU time: 1785.49 s c Elapsed CPU time: 14.6388 s Remaining CPU time: 1785.36 s c Elapsed CPU time: 14.7708 s Remaining CPU time: 1785.23 s c Elapsed CPU time: 14.9007 s Remaining CPU time: 1785.1 s c Elapsed CPU time: 15.0317 s Remaining CPU time: 1784.97 s c Elapsed CPU time: 15.1617 s Remaining CPU time: 1784.84 s c Elapsed CPU time: 15.2927 s Remaining CPU time: 1784.71 s c Elapsed CPU time: 15.4237 s Remaining CPU time: 1784.58 s c Elapsed CPU time: 15.5546 s Remaining CPU time: 1784.45 s c Elapsed CPU time: 15.6846 s Remaining CPU time: 1784.32 s c Elapsed CPU time: 15.8156 s Remaining CPU time: 1784.18 s c Elapsed CPU time: 15.9456 s Remaining CPU time: 1784.05 s c Elapsed CPU time: 16.0776 s Remaining CPU time: 1783.92 s c Elapsed CPU time: 16.2075 s Remaining CPU time: 1783.79 s c Elapsed CPU time: 16.3395 s Remaining CPU time: 1783.66 s c Elapsed CPU time: 16.4695 s Remaining CPU time: 1783.53 s c Elapsed CPU time: 16.6015 s Remaining CPU time: 1783.4 s c Elapsed CPU time: 16.7325 s Remaining CPU time: 1783.27 s c Elapsed CPU time: 16.8644 s Remaining CPU time: 1783.14 s c Elapsed CPU time: 16.9954 s Remaining CPU time: 1783 s c Elapsed CPU time: 17.1274 s Remaining CPU time: 1782.87 s c Elapsed CPU time: 17.2584 s Remaining CPU time: 1782.74 s c Elapsed CPU time: 17.3904 s Remaining CPU time: 1782.61 s c Elapsed CPU time: 17.5223 s Remaining CPU time: 1782.48 s c Elapsed CPU time: 17.6553 s Remaining CPU time: 1782.34 s c Elapsed CPU time: 17.7853 s Remaining CPU time: 1782.21 s c Elapsed CPU time: 17.9193 s Remaining CPU time: 1782.08 s c Elapsed CPU time: 18.0513 s Remaining CPU time: 1781.95 s c Elapsed CPU time: 18.1842 s Remaining CPU time: 1781.82 s c Elapsed CPU time: 18.3152 s Remaining CPU time: 1781.68 s c Elapsed CPU time: 18.4482 s Remaining CPU time: 1781.55 s c Elapsed CPU time: 18.5812 s Remaining CPU time: 1781.42 s c Elapsed CPU time: 18.7142 s Remaining CPU time: 1781.29 s c Elapsed CPU time: 18.8451 s Remaining CPU time: 1781.15 s c Elapsed CPU time: 18.9791 s Remaining CPU time: 1781.02 s c Elapsed CPU time: 19.1111 s Remaining CPU time: 1780.89 s c Elapsed CPU time: 19.2441 s Remaining CPU time: 1780.76 s c Elapsed CPU time: 19.3761 s Remaining CPU time: 1780.62 s c Elapsed CPU time: 19.509 s Remaining CPU time: 1780.49 s c Elapsed CPU time: 19.642 s Remaining CPU time: 1780.36 s c Elapsed CPU time: 19.776 s Remaining CPU time: 1780.22 s c Elapsed CPU time: 19.909 s Remaining CPU time: 1780.09 s c Elapsed CPU time: 20.043 s Remaining CPU time: 1779.96 s c Elapsed CPU time: 20.1749 s Remaining CPU time: 1779.83 s c Elapsed CPU time: 20.3099 s Remaining CPU time: 1779.69 s c Elapsed CPU time: 20.4429 s Remaining CPU time: 1779.56 s c Elapsed CPU time: 20.5769 s Remaining CPU time: 1779.42 s c Elapsed CPU time: 20.7099 s Remaining CPU time: 1779.29 s c Elapsed CPU time: 20.8458 s Remaining CPU time: 1779.15 s c Elapsed CPU time: 20.9788 s Remaining CPU time: 1779.02 s c Elapsed CPU time: 21.1128 s Remaining CPU time: 1778.89 s c Elapsed CPU time: 21.2448 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.3787 s Remaining CPU time: 1778.62 s c Elapsed CPU time: 21.5107 s Remaining CPU time: 1778.49 s c Elapsed CPU time: 21.6457 s Remaining CPU time: 1778.35 s c Elapsed CPU time: 21.7787 s Remaining CPU time: 1778.22 s c Elapsed CPU time: 21.9137 s Remaining CPU time: 1778.09 s c Elapsed CPU time: 22.0466 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.3146 s Remaining CPU time: 1777.69 s c Elapsed CPU time: 22.4486 s Remaining CPU time: 1777.55 s c Elapsed CPU time: 22.5826 s Remaining CPU time: 1777.42 s c Elapsed CPU time: 22.7165 s Remaining CPU time: 1777.28 s c Elapsed CPU time: 22.8515 s Remaining CPU time: 1777.15 s c Elapsed CPU time: 22.9875 s Remaining CPU time: 1777.01 s c Elapsed CPU time: 23.1225 s Remaining CPU time: 1776.88 s c Elapsed CPU time: 23.2555 s Remaining CPU time: 1776.74 s c Elapsed CPU time: 23.3904 s Remaining CPU time: 1776.61 s c Elapsed CPU time: 23.5274 s Remaining CPU time: 1776.47 s c Elapsed CPU time: 23.6634 s Remaining CPU time: 1776.34 s c Elapsed CPU time: 23.8014 s Remaining CPU time: 1776.2 s c Elapsed CPU time: 23.9404 s Remaining CPU time: 1776.06 s c Elapsed CPU time: 24.0793 s Remaining CPU time: 1775.92 s c Elapsed CPU time: 24.2193 s Remaining CPU time: 1775.78 s c Elapsed CPU time: 24.3593 s Remaining CPU time: 1775.64 s c Elapsed CPU time: 24.5003 s Remaining CPU time: 1775.5 s c Elapsed CPU time: 24.6413 s Remaining CPU time: 1775.36 s c Elapsed CPU time: 24.7842 s Remaining CPU time: 1775.22 s c Elapsed CPU time: 24.9272 s Remaining CPU time: 1775.07 s c Elapsed CPU time: 25.0702 s Remaining CPU time: 1774.93 s c Elapsed CPU time: 25.2122 s Remaining CPU time: 1774.79 s c Elapsed CPU time: 25.3591 s Remaining CPU time: 1774.64 s c Elapsed CPU time: 25.5051 s Remaining CPU time: 1774.49 s c Elapsed CPU time: 25.6501 s Remaining CPU time: 1774.35 s c Elapsed CPU time: 25.7941 s Remaining CPU time: 1774.21 s c Elapsed CPU time: 25.9401 s Remaining CPU time: 1774.06 s c Elapsed CPU time: 26.087 s Remaining CPU time: 1773.91 s c Elapsed CPU time: 26.233 s Remaining CPU time: 1773.77 s c Elapsed CPU time: 26.377 s Remaining CPU time: 1773.62 s c Elapsed CPU time: 26.524 s Remaining CPU time: 1773.48 s c Elapsed CPU time: 26.6699 s Remaining CPU time: 1773.33 s c Elapsed CPU time: 26.8169 s Remaining CPU time: 1773.18 s c Elapsed CPU time: 26.9639 s Remaining CPU time: 1773.04 s c Elapsed CPU time: 27.1119 s Remaining CPU time: 1772.89 s c Elapsed CPU time: 27.2609 s Remaining CPU time: 1772.74 s c Elapsed CPU time: 27.4078 s Remaining CPU time: 1772.59 s c Elapsed CPU time: 27.5578 s Remaining CPU time: 1772.44 s c Elapsed CPU time: 27.7048 s Remaining CPU time: 1772.3 s c Elapsed CPU time: 27.8568 s Remaining CPU time: 1772.14 s c Elapsed CPU time: 28.0057 s Remaining CPU time: 1771.99 s c Elapsed CPU time: 28.1557 s Remaining CPU time: 1771.84 s c Elapsed CPU time: 28.3037 s Remaining CPU time: 1771.7 s c Elapsed CPU time: 28.4517 s Remaining CPU time: 1771.55 s c Elapsed CPU time: 28.6027 s Remaining CPU time: 1771.4 s c Elapsed CPU time: 28.7536 s Remaining CPU time: 1771.25 s c Elapsed CPU time: 28.9056 s Remaining CPU time: 1771.09 s c Elapsed CPU time: 29.0556 s Remaining CPU time: 1770.94 s c Elapsed CPU time: 29.2056 s Remaining CPU time: 1770.79 s c Elapsed CPU time: 29.3585 s Remaining CPU time: 1770.64 s c Elapsed CPU time: 29.5095 s Remaining CPU time: 1770.49 s c Elapsed CPU time: 29.6445 s Remaining CPU time: 1770.36 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 35 113086 217691 | 37695 0 nan | 0.000 % | c =============================================================================== c Verified 113086 original clauses.