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.077988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.535918 s Remaining CPU time: 1799.46 s c Elapsed CPU time: 0.649901 s Remaining CPU time: 1799.35 s c Elapsed CPU time: 0.765883 s Remaining CPU time: 1799.23 s c Elapsed CPU time: 0.877866 s Remaining CPU time: 1799.12 s c Elapsed CPU time: 0.992849 s Remaining CPU time: 1799.01 s c Elapsed CPU time: 1.10683 s Remaining CPU time: 1798.89 s c Elapsed CPU time: 1.22081 s Remaining CPU time: 1798.78 s c Elapsed CPU time: 1.3368 s Remaining CPU time: 1798.66 s c Elapsed CPU time: 1.45178 s Remaining CPU time: 1798.55 s c Elapsed CPU time: 1.56776 s Remaining CPU time: 1798.43 s c Elapsed CPU time: 1.68374 s Remaining CPU time: 1798.32 s c Elapsed CPU time: 1.79673 s Remaining CPU time: 1798.2 s c Elapsed CPU time: 1.90971 s Remaining CPU time: 1798.09 s c Elapsed CPU time: 2.02369 s Remaining CPU time: 1797.98 s c Elapsed CPU time: 2.13867 s Remaining CPU time: 1797.86 s c Elapsed CPU time: 2.25166 s Remaining CPU time: 1797.75 s c Elapsed CPU time: 2.37064 s Remaining CPU time: 1797.63 s c Elapsed CPU time: 2.48462 s Remaining CPU time: 1797.52 s c Elapsed CPU time: 2.6016 s Remaining CPU time: 1797.4 s c Elapsed CPU time: 2.71559 s Remaining CPU time: 1797.28 s c Elapsed CPU time: 2.83057 s Remaining CPU time: 1797.17 s c Elapsed CPU time: 2.94955 s Remaining CPU time: 1797.05 s c Elapsed CPU time: 3.06853 s Remaining CPU time: 1796.93 s c Elapsed CPU time: 3.18552 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.3045 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 3.42148 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.53846 s Remaining CPU time: 1796.46 s c Elapsed CPU time: 3.65544 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.77343 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.88941 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.00839 s Remaining CPU time: 1795.99 s c Elapsed CPU time: 4.12437 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.24435 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 4.36134 s Remaining CPU time: 1795.64 s c Elapsed CPU time: 4.48032 s Remaining CPU time: 1795.52 s c Elapsed CPU time: 4.5973 s Remaining CPU time: 1795.4 s c Elapsed CPU time: 4.71428 s Remaining CPU time: 1795.29 s c Elapsed CPU time: 4.83127 s Remaining CPU time: 1795.17 s c Elapsed CPU time: 4.95025 s Remaining CPU time: 1795.05 s c Elapsed CPU time: 5.06623 s Remaining CPU time: 1794.93 s c Elapsed CPU time: 5.18621 s Remaining CPU time: 1794.81 s c Elapsed CPU time: 5.30319 s Remaining CPU time: 1794.7 s c Elapsed CPU time: 5.42317 s Remaining CPU time: 1794.58 s c Elapsed CPU time: 5.54016 s Remaining CPU time: 1794.46 s c Elapsed CPU time: 5.65814 s Remaining CPU time: 1794.34 s c Elapsed CPU time: 5.77512 s Remaining CPU time: 1794.22 s c Elapsed CPU time: 5.8961 s Remaining CPU time: 1794.1 s c Elapsed CPU time: 6.01408 s Remaining CPU time: 1793.99 s c Elapsed CPU time: 6.13307 s Remaining CPU time: 1793.87 s c Elapsed CPU time: 6.25005 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.37003 s Remaining CPU time: 1793.63 s c Elapsed CPU time: 6.48701 s Remaining CPU time: 1793.51 s c Elapsed CPU time: 6.60699 s Remaining CPU time: 1793.39 s c Elapsed CPU time: 6.72498 s Remaining CPU time: 1793.28 s c Elapsed CPU time: 6.84396 s Remaining CPU time: 1793.16 s c Elapsed CPU time: 6.95694 s Remaining CPU time: 1793.04 s c Elapsed CPU time: 7.07692 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.19391 s Remaining CPU time: 1792.81 s c Elapsed CPU time: 7.31289 s Remaining CPU time: 1792.69 s c Elapsed CPU time: 7.43087 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.54985 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.66783 s Remaining CPU time: 1792.33 s c Elapsed CPU time: 7.78981 s Remaining CPU time: 1792.21 s c Elapsed CPU time: 7.9078 s Remaining CPU time: 1792.09 s c Elapsed CPU time: 8.02878 s Remaining CPU time: 1791.97 s c Elapsed CPU time: 8.14576 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.38673 s Remaining CPU time: 1791.61 s c Elapsed CPU time: 8.50771 s Remaining CPU time: 1791.49 s c Elapsed CPU time: 8.62669 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.74767 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.86465 s Remaining CPU time: 1791.14 s c Elapsed CPU time: 8.98463 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 9.10262 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.2246 s Remaining CPU time: 1790.78 s c Elapsed CPU time: 9.34458 s Remaining CPU time: 1790.66 s c Elapsed CPU time: 9.46556 s Remaining CPU time: 1790.53 s c Elapsed CPU time: 9.58454 s Remaining CPU time: 1790.42 s c Elapsed CPU time: 9.70552 s Remaining CPU time: 1790.29 s c Elapsed CPU time: 9.82251 s Remaining CPU time: 1790.18 s c Elapsed CPU time: 9.94349 s Remaining CPU time: 1790.06 s c Elapsed CPU time: 10.0645 s Remaining CPU time: 1789.94 s c Elapsed CPU time: 10.1865 s Remaining CPU time: 1789.81 s c Elapsed CPU time: 10.3064 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.4294 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.5484 s Remaining CPU time: 1789.45 s c Elapsed CPU time: 10.6714 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.7914 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.9143 s Remaining CPU time: 1789.09 s c Elapsed CPU time: 11.0343 s Remaining CPU time: 1788.97 s c Elapsed CPU time: 11.1573 s Remaining CPU time: 1788.84 s c Elapsed CPU time: 11.2773 s Remaining CPU time: 1788.72 s c Elapsed CPU time: 11.3993 s Remaining CPU time: 1788.6 s c Elapsed CPU time: 11.5202 s Remaining CPU time: 1788.48 s c Elapsed CPU time: 11.6432 s Remaining CPU time: 1788.36 s c Elapsed CPU time: 11.7652 s Remaining CPU time: 1788.23 s c Elapsed CPU time: 11.8882 s Remaining CPU time: 1788.11 s c Elapsed CPU time: 12.0102 s Remaining CPU time: 1787.99 s c Elapsed CPU time: 12.1342 s Remaining CPU time: 1787.87 s c Elapsed CPU time: 12.2551 s Remaining CPU time: 1787.74 s c Elapsed CPU time: 12.3791 s Remaining CPU time: 1787.62 s c Elapsed CPU time: 12.5011 s Remaining CPU time: 1787.5 s c Elapsed CPU time: 12.6241 s Remaining CPU time: 1787.38 s c Elapsed CPU time: 12.7451 s Remaining CPU time: 1787.25 s c Elapsed CPU time: 12.869 s Remaining CPU time: 1787.13 s c Elapsed CPU time: 12.992 s Remaining CPU time: 1787.01 s c Elapsed CPU time: 13.116 s Remaining CPU time: 1786.88 s c Elapsed CPU time: 13.24 s Remaining CPU time: 1786.76 s c Elapsed CPU time: 13.366 s Remaining CPU time: 1786.63 s c Elapsed CPU time: 13.4859 s Remaining CPU time: 1786.51 s c Elapsed CPU time: 13.6099 s Remaining CPU time: 1786.39 s c Elapsed CPU time: 13.7329 s Remaining CPU time: 1786.27 s c Elapsed CPU time: 13.8579 s Remaining CPU time: 1786.14 s c Elapsed CPU time: 13.9809 s Remaining CPU time: 1786.02 s c Elapsed CPU time: 14.1039 s Remaining CPU time: 1785.9 s c Elapsed CPU time: 14.2268 s Remaining CPU time: 1785.77 s c Elapsed CPU time: 14.3508 s Remaining CPU time: 1785.65 s c Elapsed CPU time: 14.4728 s Remaining CPU time: 1785.53 s c Elapsed CPU time: 14.5978 s Remaining CPU time: 1785.4 s c Elapsed CPU time: 14.7198 s Remaining CPU time: 1785.28 s c Elapsed CPU time: 14.8457 s Remaining CPU time: 1785.15 s c Elapsed CPU time: 14.9687 s Remaining CPU time: 1785.03 s c Elapsed CPU time: 15.0957 s Remaining CPU time: 1784.9 s c Elapsed CPU time: 15.2157 s Remaining CPU time: 1784.78 s c Elapsed CPU time: 15.3417 s Remaining CPU time: 1784.66 s c Elapsed CPU time: 15.4636 s Remaining CPU time: 1784.54 s c Elapsed CPU time: 15.5896 s Remaining CPU time: 1784.41 s c Elapsed CPU time: 15.7136 s Remaining CPU time: 1784.29 s c Elapsed CPU time: 15.8406 s Remaining CPU time: 1784.16 s c Elapsed CPU time: 15.9636 s Remaining CPU time: 1784.04 s c Elapsed CPU time: 16.0926 s Remaining CPU time: 1783.91 s c Elapsed CPU time: 16.2155 s Remaining CPU time: 1783.78 s c Elapsed CPU time: 16.3435 s Remaining CPU time: 1783.66 s c Elapsed CPU time: 16.4665 s Remaining CPU time: 1783.53 s c Elapsed CPU time: 16.5945 s Remaining CPU time: 1783.41 s c Elapsed CPU time: 16.7195 s Remaining CPU time: 1783.28 s c Elapsed CPU time: 16.8464 s Remaining CPU time: 1783.15 s c Elapsed CPU time: 16.9704 s Remaining CPU time: 1783.03 s c Elapsed CPU time: 17.0974 s Remaining CPU time: 1782.9 s c Elapsed CPU time: 17.2204 s Remaining CPU time: 1782.78 s c Elapsed CPU time: 17.3474 s Remaining CPU time: 1782.65 s c Elapsed CPU time: 17.4693 s Remaining CPU time: 1782.53 s c Elapsed CPU time: 17.5963 s Remaining CPU time: 1782.4 s c Elapsed CPU time: 17.7193 s Remaining CPU time: 1782.28 s c Elapsed CPU time: 17.8463 s Remaining CPU time: 1782.15 s c Elapsed CPU time: 17.9693 s Remaining CPU time: 1782.03 s c Elapsed CPU time: 18.0952 s Remaining CPU time: 1781.9 s c Elapsed CPU time: 18.2182 s Remaining CPU time: 1781.78 s c Elapsed CPU time: 18.3442 s Remaining CPU time: 1781.66 s c Elapsed CPU time: 18.4702 s Remaining CPU time: 1781.53 s c Elapsed CPU time: 18.5972 s Remaining CPU time: 1781.4 s c Elapsed CPU time: 18.7222 s Remaining CPU time: 1781.28 s c Elapsed CPU time: 18.8451 s Remaining CPU time: 1781.15 s c Elapsed CPU time: 18.9691 s Remaining CPU time: 1781.03 s c Elapsed CPU time: 19.0981 s Remaining CPU time: 1780.9 s c Elapsed CPU time: 19.2241 s Remaining CPU time: 1780.78 s c Elapsed CPU time: 19.3521 s Remaining CPU time: 1780.65 s c Elapsed CPU time: 19.477 s Remaining CPU time: 1780.52 s c Elapsed CPU time: 19.605 s Remaining CPU time: 1780.39 s c Elapsed CPU time: 19.73 s Remaining CPU time: 1780.27 s c Elapsed CPU time: 19.855 s Remaining CPU time: 1780.15 s c Elapsed CPU time: 19.982 s Remaining CPU time: 1780.02 s c Elapsed CPU time: 20.1089 s Remaining CPU time: 1779.89 s c Elapsed CPU time: 20.2319 s Remaining CPU time: 1779.77 s c Elapsed CPU time: 20.3589 s Remaining CPU time: 1779.64 s c Elapsed CPU time: 20.4819 s Remaining CPU time: 1779.52 s c Elapsed CPU time: 20.6079 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.8588 s Remaining CPU time: 1779.14 s c Elapsed CPU time: 20.9818 s Remaining CPU time: 1779.02 s c Elapsed CPU time: 21.1098 s Remaining CPU time: 1778.89 s c Elapsed CPU time: 21.2358 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.3638 s Remaining CPU time: 1778.64 s c Elapsed CPU time: 21.4907 s Remaining CPU time: 1778.51 s c Elapsed CPU time: 21.6207 s Remaining CPU time: 1778.38 s c Elapsed CPU time: 21.7467 s Remaining CPU time: 1778.25 s c Elapsed CPU time: 21.8727 s Remaining CPU time: 1778.13 s c Elapsed CPU time: 21.9987 s Remaining CPU time: 1778 s c Elapsed CPU time: 22.1246 s Remaining CPU time: 1777.88 s c Elapsed CPU time: 22.2496 s Remaining CPU time: 1777.75 s c Elapsed CPU time: 22.3796 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.6346 s Remaining CPU time: 1777.37 s c Elapsed CPU time: 22.7595 s Remaining CPU time: 1777.24 s c Elapsed CPU time: 22.8865 s Remaining CPU time: 1777.11 s c Elapsed CPU time: 23.0125 s Remaining CPU time: 1776.99 s c Elapsed CPU time: 23.1415 s Remaining CPU time: 1776.86 s c Elapsed CPU time: 23.2685 s Remaining CPU time: 1776.73 s c Elapsed CPU time: 23.3974 s Remaining CPU time: 1776.6 s c Elapsed CPU time: 23.5264 s Remaining CPU time: 1776.47 s c Elapsed CPU time: 23.6574 s Remaining CPU time: 1776.34 s c Elapsed CPU time: 23.7864 s Remaining CPU time: 1776.21 s c Elapsed CPU time: 23.9204 s Remaining CPU time: 1776.08 s c Elapsed CPU time: 24.0493 s Remaining CPU time: 1775.95 s c Elapsed CPU time: 24.1823 s Remaining CPU time: 1775.82 s c Elapsed CPU time: 24.3133 s Remaining CPU time: 1775.69 s c Elapsed CPU time: 24.4443 s Remaining CPU time: 1775.56 s c Elapsed CPU time: 24.5743 s Remaining CPU time: 1775.43 s c Elapsed CPU time: 24.7092 s Remaining CPU time: 1775.29 s c Elapsed CPU time: 24.8412 s Remaining CPU time: 1775.16 s c Elapsed CPU time: 24.9752 s Remaining CPU time: 1775.02 s c Elapsed CPU time: 25.1072 s Remaining CPU time: 1774.89 s c Elapsed CPU time: 25.2412 s Remaining CPU time: 1774.76 s c Elapsed CPU time: 25.3741 s Remaining CPU time: 1774.63 s c Elapsed CPU time: 25.5101 s Remaining CPU time: 1774.49 s c Elapsed CPU time: 25.6431 s Remaining CPU time: 1774.36 s c Elapsed CPU time: 25.7791 s Remaining CPU time: 1774.22 s c Elapsed CPU time: 25.9131 s Remaining CPU time: 1774.09 s c Elapsed CPU time: 26.05 s Remaining CPU time: 1773.95 s c Elapsed CPU time: 26.186 s Remaining CPU time: 1773.81 s c Elapsed CPU time: 26.32 s Remaining CPU time: 1773.68 s c Elapsed CPU time: 26.456 s Remaining CPU time: 1773.54 s c Elapsed CPU time: 26.594 s Remaining CPU time: 1773.41 s c Elapsed CPU time: 26.7299 s Remaining CPU time: 1773.27 s c Elapsed CPU time: 26.8669 s Remaining CPU time: 1773.13 s c Elapsed CPU time: 27.0039 s Remaining CPU time: 1773 s c Elapsed CPU time: 27.1409 s Remaining CPU time: 1772.86 s c Elapsed CPU time: 27.2799 s Remaining CPU time: 1772.72 s c Elapsed CPU time: 27.4168 s Remaining CPU time: 1772.58 s c Elapsed CPU time: 27.5558 s Remaining CPU time: 1772.44 s c Elapsed CPU time: 27.6948 s Remaining CPU time: 1772.31 s c Elapsed CPU time: 27.8308 s Remaining CPU time: 1772.17 s c Elapsed CPU time: 27.9727 s Remaining CPU time: 1772.03 s c Elapsed CPU time: 28.1117 s Remaining CPU time: 1771.89 s c Elapsed CPU time: 28.2527 s Remaining CPU time: 1771.75 s c Elapsed CPU time: 28.3917 s Remaining CPU time: 1771.61 s c Elapsed CPU time: 28.5337 s Remaining CPU time: 1771.47 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5 113096 217685 | 37698 0 nan | 0.000 % | c =============================================================================== c Verified 113096 original clauses.