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.075988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.304953 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.419936 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.754885 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.866868 s Remaining CPU time: 1799.13 s c Elapsed CPU time: 0.978851 s Remaining CPU time: 1799.02 s c Elapsed CPU time: 1.08983 s Remaining CPU time: 1798.91 s c Elapsed CPU time: 1.20082 s Remaining CPU time: 1798.8 s c Elapsed CPU time: 1.3128 s Remaining CPU time: 1798.69 s c Elapsed CPU time: 1.42578 s Remaining CPU time: 1798.57 s c Elapsed CPU time: 1.53877 s Remaining CPU time: 1798.46 s c Elapsed CPU time: 1.65175 s Remaining CPU time: 1798.35 s c Elapsed CPU time: 1.76373 s Remaining CPU time: 1798.24 s c Elapsed CPU time: 1.87571 s Remaining CPU time: 1798.12 s c Elapsed CPU time: 1.9877 s Remaining CPU time: 1798.01 s c Elapsed CPU time: 2.09968 s Remaining CPU time: 1797.9 s c Elapsed CPU time: 2.21066 s Remaining CPU time: 1797.79 s c Elapsed CPU time: 2.32365 s Remaining CPU time: 1797.68 s c Elapsed CPU time: 2.43563 s Remaining CPU time: 1797.56 s c Elapsed CPU time: 2.54961 s Remaining CPU time: 1797.45 s c Elapsed CPU time: 2.66559 s Remaining CPU time: 1797.33 s c Elapsed CPU time: 2.78058 s Remaining CPU time: 1797.22 s c Elapsed CPU time: 2.89756 s Remaining CPU time: 1797.1 s c Elapsed CPU time: 3.01154 s Remaining CPU time: 1796.99 s c Elapsed CPU time: 3.12652 s Remaining CPU time: 1796.87 s c Elapsed CPU time: 3.24051 s Remaining CPU time: 1796.76 s c Elapsed CPU time: 3.35649 s Remaining CPU time: 1796.64 s c Elapsed CPU time: 3.47147 s Remaining CPU time: 1796.53 s c Elapsed CPU time: 3.58446 s Remaining CPU time: 1796.42 s c Elapsed CPU time: 3.69844 s Remaining CPU time: 1796.3 s c Elapsed CPU time: 3.81342 s Remaining CPU time: 1796.19 s c Elapsed CPU time: 3.9304 s Remaining CPU time: 1796.07 s c Elapsed CPU time: 4.04538 s Remaining CPU time: 1795.95 s c Elapsed CPU time: 4.16037 s Remaining CPU time: 1795.84 s c Elapsed CPU time: 4.27635 s Remaining CPU time: 1795.72 s c Elapsed CPU time: 4.39233 s Remaining CPU time: 1795.61 s c Elapsed CPU time: 4.50731 s Remaining CPU time: 1795.49 s c Elapsed CPU time: 4.6223 s Remaining CPU time: 1795.38 s c Elapsed CPU time: 4.73828 s Remaining CPU time: 1795.26 s c Elapsed CPU time: 4.85326 s Remaining CPU time: 1795.15 s c Elapsed CPU time: 4.96824 s Remaining CPU time: 1795.03 s c Elapsed CPU time: 5.08523 s Remaining CPU time: 1794.91 s c Elapsed CPU time: 5.20221 s Remaining CPU time: 1794.8 s c Elapsed CPU time: 5.32119 s Remaining CPU time: 1794.68 s c Elapsed CPU time: 5.43717 s Remaining CPU time: 1794.56 s c Elapsed CPU time: 5.55316 s Remaining CPU time: 1794.45 s c Elapsed CPU time: 5.66814 s Remaining CPU time: 1794.33 s c Elapsed CPU time: 5.78212 s Remaining CPU time: 1794.22 s c Elapsed CPU time: 5.8971 s Remaining CPU time: 1794.1 s c Elapsed CPU time: 6.01209 s Remaining CPU time: 1793.99 s c Elapsed CPU time: 6.12907 s Remaining CPU time: 1793.87 s c Elapsed CPU time: 6.24605 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.36403 s Remaining CPU time: 1793.64 s c Elapsed CPU time: 6.48001 s Remaining CPU time: 1793.52 s c Elapsed CPU time: 6.596 s Remaining CPU time: 1793.4 s c Elapsed CPU time: 6.71398 s Remaining CPU time: 1793.29 s c Elapsed CPU time: 6.82996 s Remaining CPU time: 1793.17 s c Elapsed CPU time: 6.94494 s Remaining CPU time: 1793.06 s c Elapsed CPU time: 7.06093 s Remaining CPU time: 1792.94 s c Elapsed CPU time: 7.17691 s Remaining CPU time: 1792.82 s c Elapsed CPU time: 7.29289 s Remaining CPU time: 1792.71 s c Elapsed CPU time: 7.40987 s Remaining CPU time: 1792.59 s c Elapsed CPU time: 7.52785 s Remaining CPU time: 1792.47 s c Elapsed CPU time: 7.64584 s Remaining CPU time: 1792.35 s c Elapsed CPU time: 7.76282 s Remaining CPU time: 1792.24 s c Elapsed CPU time: 7.8808 s Remaining CPU time: 1792.12 s c Elapsed CPU time: 7.99778 s Remaining CPU time: 1792 s c Elapsed CPU time: 8.11477 s Remaining CPU time: 1791.89 s c Elapsed CPU time: 8.23075 s Remaining CPU time: 1791.77 s c Elapsed CPU time: 8.34873 s Remaining CPU time: 1791.65 s c Elapsed CPU time: 8.46571 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.5807 s Remaining CPU time: 1791.42 s c Elapsed CPU time: 8.69868 s Remaining CPU time: 1791.3 s c Elapsed CPU time: 8.81466 s Remaining CPU time: 1791.19 s c Elapsed CPU time: 8.93364 s Remaining CPU time: 1791.07 s c Elapsed CPU time: 9.05162 s Remaining CPU time: 1790.95 s c Elapsed CPU time: 9.16861 s Remaining CPU time: 1790.83 s c Elapsed CPU time: 9.28459 s Remaining CPU time: 1790.72 s c Elapsed CPU time: 9.40057 s Remaining CPU time: 1790.6 s c Elapsed CPU time: 9.51655 s Remaining CPU time: 1790.48 s c Elapsed CPU time: 9.63354 s Remaining CPU time: 1790.37 s c Elapsed CPU time: 9.74852 s Remaining CPU time: 1790.25 s c Elapsed CPU time: 9.8665 s Remaining CPU time: 1790.13 s c Elapsed CPU time: 9.98348 s Remaining CPU time: 1790.02 s c Elapsed CPU time: 10.1035 s Remaining CPU time: 1789.9 s c Elapsed CPU time: 10.2234 s Remaining CPU time: 1789.78 s c Elapsed CPU time: 10.3424 s Remaining CPU time: 1789.66 s c Elapsed CPU time: 10.4604 s Remaining CPU time: 1789.54 s c Elapsed CPU time: 10.5774 s Remaining CPU time: 1789.42 s c Elapsed CPU time: 10.6954 s Remaining CPU time: 1789.3 s c Elapsed CPU time: 10.8124 s Remaining CPU time: 1789.19 s c Elapsed CPU time: 10.9303 s Remaining CPU time: 1789.07 s c Elapsed CPU time: 11.0493 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.1703 s Remaining CPU time: 1788.83 s c Elapsed CPU time: 11.2903 s Remaining CPU time: 1788.71 s c Elapsed CPU time: 11.4103 s Remaining CPU time: 1788.59 s c Elapsed CPU time: 11.5322 s Remaining CPU time: 1788.47 s c Elapsed CPU time: 11.6532 s Remaining CPU time: 1788.35 s c Elapsed CPU time: 11.7752 s Remaining CPU time: 1788.22 s c Elapsed CPU time: 11.8962 s Remaining CPU time: 1788.1 s c Elapsed CPU time: 12.0162 s Remaining CPU time: 1787.98 s c Elapsed CPU time: 12.1362 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.2541 s Remaining CPU time: 1787.75 s c Elapsed CPU time: 12.3741 s Remaining CPU time: 1787.63 s c Elapsed CPU time: 12.4941 s Remaining CPU time: 1787.51 s c Elapsed CPU time: 12.6121 s Remaining CPU time: 1787.39 s c Elapsed CPU time: 12.7321 s Remaining CPU time: 1787.27 s c Elapsed CPU time: 12.853 s Remaining CPU time: 1787.15 s c Elapsed CPU time: 12.972 s Remaining CPU time: 1787.03 s c Elapsed CPU time: 13.092 s Remaining CPU time: 1786.91 s c Elapsed CPU time: 13.211 s Remaining CPU time: 1786.79 s c Elapsed CPU time: 13.332 s Remaining CPU time: 1786.67 s c Elapsed CPU time: 13.453 s Remaining CPU time: 1786.55 s c Elapsed CPU time: 13.5749 s Remaining CPU time: 1786.43 s c Elapsed CPU time: 13.6949 s Remaining CPU time: 1786.31 s c Elapsed CPU time: 13.8149 s Remaining CPU time: 1786.19 s c Elapsed CPU time: 13.9369 s Remaining CPU time: 1786.06 s c Elapsed CPU time: 14.0559 s Remaining CPU time: 1785.94 s c Elapsed CPU time: 14.1768 s Remaining CPU time: 1785.82 s c Elapsed CPU time: 14.2958 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.6538 s Remaining CPU time: 1785.35 s c Elapsed CPU time: 14.7758 s Remaining CPU time: 1785.22 s c Elapsed CPU time: 14.8977 s Remaining CPU time: 1785.1 s c Elapsed CPU time: 15.0177 s Remaining CPU time: 1784.98 s c Elapsed CPU time: 15.1397 s Remaining CPU time: 1784.86 s c Elapsed CPU time: 15.2607 s Remaining CPU time: 1784.74 s c Elapsed CPU time: 15.3837 s Remaining CPU time: 1784.62 s c Elapsed CPU time: 15.5056 s Remaining CPU time: 1784.49 s c Elapsed CPU time: 15.6266 s Remaining CPU time: 1784.37 s c Elapsed CPU time: 15.7466 s Remaining CPU time: 1784.25 s c Elapsed CPU time: 15.8666 s Remaining CPU time: 1784.13 s c Elapsed CPU time: 15.9856 s Remaining CPU time: 1784.01 s c Elapsed CPU time: 16.1066 s Remaining CPU time: 1783.89 s c Elapsed CPU time: 16.2275 s Remaining CPU time: 1783.77 s c Elapsed CPU time: 16.3455 s Remaining CPU time: 1783.65 s c Elapsed CPU time: 16.4665 s Remaining CPU time: 1783.53 s c Elapsed CPU time: 16.5905 s Remaining CPU time: 1783.41 s c Elapsed CPU time: 16.7135 s Remaining CPU time: 1783.29 s c Elapsed CPU time: 16.8374 s Remaining CPU time: 1783.16 s c Elapsed CPU time: 16.9604 s Remaining CPU time: 1783.04 s c Elapsed CPU time: 17.0824 s Remaining CPU time: 1782.92 s c Elapsed CPU time: 17.2044 s Remaining CPU time: 1782.8 s c Elapsed CPU time: 17.3264 s Remaining CPU time: 1782.67 s c Elapsed CPU time: 17.4463 s Remaining CPU time: 1782.55 s c Elapsed CPU time: 17.5663 s Remaining CPU time: 1782.43 s c Elapsed CPU time: 17.6863 s Remaining CPU time: 1782.31 s c Elapsed CPU time: 17.8083 s Remaining CPU time: 1782.19 s c Elapsed CPU time: 17.9283 s Remaining CPU time: 1782.07 s c Elapsed CPU time: 18.0493 s Remaining CPU time: 1781.95 s c Elapsed CPU time: 18.1722 s Remaining CPU time: 1781.83 s c Elapsed CPU time: 18.2972 s Remaining CPU time: 1781.7 s c Elapsed CPU time: 18.4192 s Remaining CPU time: 1781.58 s c Elapsed CPU time: 18.5432 s Remaining CPU time: 1781.46 s c Elapsed CPU time: 18.6662 s Remaining CPU time: 1781.33 s c Elapsed CPU time: 18.7871 s Remaining CPU time: 1781.21 s c Elapsed CPU time: 18.9101 s Remaining CPU time: 1781.09 s c Elapsed CPU time: 19.0301 s Remaining CPU time: 1780.97 s c Elapsed CPU time: 19.1511 s Remaining CPU time: 1780.85 s c Elapsed CPU time: 19.2721 s Remaining CPU time: 1780.73 s c Elapsed CPU time: 19.3941 s Remaining CPU time: 1780.61 s c Elapsed CPU time: 19.516 s Remaining CPU time: 1780.48 s c Elapsed CPU time: 19.639 s Remaining CPU time: 1780.36 s c Elapsed CPU time: 19.764 s Remaining CPU time: 1780.24 s c Elapsed CPU time: 19.888 s Remaining CPU time: 1780.11 s c Elapsed CPU time: 20.013 s Remaining CPU time: 1779.99 s c Elapsed CPU time: 20.1369 s Remaining CPU time: 1779.86 s c Elapsed CPU time: 20.2589 s Remaining CPU time: 1779.74 s c Elapsed CPU time: 20.3839 s Remaining CPU time: 1779.62 s c Elapsed CPU time: 20.5049 s Remaining CPU time: 1779.5 s c Elapsed CPU time: 20.6279 s Remaining CPU time: 1779.37 s c Elapsed CPU time: 20.7498 s Remaining CPU time: 1779.25 s c Elapsed CPU time: 20.8728 s Remaining CPU time: 1779.13 s c Elapsed CPU time: 20.9948 s Remaining CPU time: 1779.01 s c Elapsed CPU time: 21.1188 s Remaining CPU time: 1778.88 s c Elapsed CPU time: 21.2418 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.3668 s Remaining CPU time: 1778.63 s c Elapsed CPU time: 21.4887 s Remaining CPU time: 1778.51 s c Elapsed CPU time: 21.6127 s Remaining CPU time: 1778.39 s c Elapsed CPU time: 21.7357 s Remaining CPU time: 1778.26 s c Elapsed CPU time: 21.8607 s Remaining CPU time: 1778.14 s c Elapsed CPU time: 21.9847 s Remaining CPU time: 1778.02 s c Elapsed CPU time: 22.1106 s Remaining CPU time: 1777.89 s c Elapsed CPU time: 22.2356 s Remaining CPU time: 1777.76 s c Elapsed CPU time: 22.3626 s Remaining CPU time: 1777.64 s c Elapsed CPU time: 22.4886 s Remaining CPU time: 1777.51 s c Elapsed CPU time: 22.6156 s Remaining CPU time: 1777.38 s c Elapsed CPU time: 22.7435 s Remaining CPU time: 1777.26 s c Elapsed CPU time: 22.8715 s Remaining CPU time: 1777.13 s c Elapsed CPU time: 22.9975 s Remaining CPU time: 1777 s c Elapsed CPU time: 23.1265 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.2515 s Remaining CPU time: 1776.75 s c Elapsed CPU time: 23.3774 s Remaining CPU time: 1776.62 s c Elapsed CPU time: 23.5034 s Remaining CPU time: 1776.5 s c Elapsed CPU time: 23.6304 s Remaining CPU time: 1776.37 s c Elapsed CPU time: 23.7574 s Remaining CPU time: 1776.24 s c Elapsed CPU time: 23.8864 s Remaining CPU time: 1776.11 s c Elapsed CPU time: 24.0153 s Remaining CPU time: 1775.98 s c Elapsed CPU time: 24.1453 s Remaining CPU time: 1775.85 s c Elapsed CPU time: 24.2743 s Remaining CPU time: 1775.73 s c Elapsed CPU time: 24.4053 s Remaining CPU time: 1775.59 s c Elapsed CPU time: 24.5323 s Remaining CPU time: 1775.47 s c Elapsed CPU time: 24.6623 s Remaining CPU time: 1775.34 s c Elapsed CPU time: 24.7902 s Remaining CPU time: 1775.21 s c Elapsed CPU time: 24.9182 s Remaining CPU time: 1775.08 s c Elapsed CPU time: 25.0472 s Remaining CPU time: 1774.95 s c Elapsed CPU time: 25.1782 s Remaining CPU time: 1774.82 s c Elapsed CPU time: 25.3092 s Remaining CPU time: 1774.69 s c Elapsed CPU time: 25.4411 s Remaining CPU time: 1774.56 s c Elapsed CPU time: 25.5711 s Remaining CPU time: 1774.43 s c Elapsed CPU time: 25.7021 s Remaining CPU time: 1774.3 s c Elapsed CPU time: 25.8331 s Remaining CPU time: 1774.17 s c Elapsed CPU time: 25.9641 s Remaining CPU time: 1774.04 s c Elapsed CPU time: 26.095 s Remaining CPU time: 1773.9 s c Elapsed CPU time: 26.224 s Remaining CPU time: 1773.78 s c Elapsed CPU time: 26.356 s Remaining CPU time: 1773.64 s c Elapsed CPU time: 26.491 s Remaining CPU time: 1773.51 s c Elapsed CPU time: 26.623 s Remaining CPU time: 1773.38 s c Elapsed CPU time: 26.7559 s Remaining CPU time: 1773.24 s c Elapsed CPU time: 26.8869 s Remaining CPU time: 1773.11 s c Elapsed CPU time: 27.0209 s Remaining CPU time: 1772.98 s c Elapsed CPU time: 27.1529 s Remaining CPU time: 1772.85 s c Elapsed CPU time: 27.2839 s Remaining CPU time: 1772.72 s c Elapsed CPU time: 27.4188 s Remaining CPU time: 1772.58 s c Elapsed CPU time: 27.5508 s Remaining CPU time: 1772.45 s c Elapsed CPU time: 27.6848 s Remaining CPU time: 1772.32 s c Elapsed CPU time: 27.8188 s Remaining CPU time: 1772.18 s c Elapsed CPU time: 27.9528 s Remaining CPU time: 1772.05 s c Elapsed CPU time: 28.0887 s Remaining CPU time: 1771.91 s c Elapsed CPU time: 28.2237 s Remaining CPU time: 1771.78 s c Elapsed CPU time: 28.3547 s Remaining CPU time: 1771.65 s c Elapsed CPU time: 28.4887 s Remaining CPU time: 1771.51 s c Elapsed CPU time: 28.6206 s Remaining CPU time: 1771.38 s c Elapsed CPU time: 28.7546 s Remaining CPU time: 1771.25 s c Elapsed CPU time: 28.8896 s Remaining CPU time: 1771.11 s c Elapsed CPU time: 29.0246 s Remaining CPU time: 1770.98 s c Elapsed CPU time: 29.1616 s Remaining CPU time: 1770.84 s c Elapsed CPU time: 29.2965 s Remaining CPU time: 1770.7 s c Elapsed CPU time: 29.4325 s Remaining CPU time: 1770.57 s c Elapsed CPU time: 29.5685 s Remaining CPU time: 1770.43 s c Elapsed CPU time: 29.7035 s Remaining CPU time: 1770.3 s c Elapsed CPU time: 29.8395 s Remaining CPU time: 1770.16 s c Elapsed CPU time: 29.9744 s Remaining CPU time: 1770.03 s c Elapsed CPU time: 30.1124 s Remaining CPU time: 1769.89 s c Elapsed CPU time: 30.2514 s Remaining CPU time: 1769.75 s c Elapsed CPU time: 30.3894 s Remaining CPU time: 1769.61 s c Elapsed CPU time: 30.5264 s Remaining CPU time: 1769.47 s c Elapsed CPU time: 30.6643 s Remaining CPU time: 1769.34 s c Elapsed CPU time: 30.8023 s Remaining CPU time: 1769.2 s c Elapsed CPU time: 30.9403 s Remaining CPU time: 1769.06 s c Elapsed CPU time: 31.0763 s Remaining CPU time: 1768.92 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10 113144 217735 | 37714 0 nan | 0.000 % | c =============================================================================== c Verified 113144 original clauses.