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.076988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.52292 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.634903 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.858869 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.972852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 1.08483 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s c Elapsed CPU time: 1.3078 s Remaining CPU time: 1798.69 s c Elapsed CPU time: 1.41978 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.52877 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.63975 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.75273 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.86272 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9747 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.08568 s Remaining CPU time: 1797.91 s c Elapsed CPU time: 2.20066 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.31265 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.42663 s Remaining CPU time: 1797.57 s c Elapsed CPU time: 2.53861 s Remaining CPU time: 1797.46 s c Elapsed CPU time: 2.6516 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.76458 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.88056 s Remaining CPU time: 1797.12 s c Elapsed CPU time: 2.99454 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 3.11053 s Remaining CPU time: 1796.89 s c Elapsed CPU time: 3.22551 s Remaining CPU time: 1796.77 s c Elapsed CPU time: 3.34249 s Remaining CPU time: 1796.66 s c Elapsed CPU time: 3.45947 s Remaining CPU time: 1796.54 s c Elapsed CPU time: 3.57646 s Remaining CPU time: 1796.42 s c Elapsed CPU time: 3.69444 s Remaining CPU time: 1796.31 s c Elapsed CPU time: 3.81242 s Remaining CPU time: 1796.19 s c Elapsed CPU time: 3.9284 s Remaining CPU time: 1796.07 s c Elapsed CPU time: 4.04439 s Remaining CPU time: 1795.96 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.39133 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.6213 s Remaining CPU time: 1795.38 s c Elapsed CPU time: 4.73928 s Remaining CPU time: 1795.26 s c Elapsed CPU time: 4.85526 s Remaining CPU time: 1795.14 s c Elapsed CPU time: 4.97524 s Remaining CPU time: 1795.02 s c Elapsed CPU time: 5.09223 s Remaining CPU time: 1794.91 s c Elapsed CPU time: 5.21121 s Remaining CPU time: 1794.79 s c Elapsed CPU time: 5.32819 s Remaining CPU time: 1794.67 s c Elapsed CPU time: 5.45017 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.56915 s Remaining CPU time: 1794.43 s c Elapsed CPU time: 5.68614 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.80112 s Remaining CPU time: 1794.2 s c Elapsed CPU time: 5.9171 s Remaining CPU time: 1794.08 s c Elapsed CPU time: 6.03308 s Remaining CPU time: 1793.97 s c Elapsed CPU time: 6.15106 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.26605 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.38303 s Remaining CPU time: 1793.62 s c Elapsed CPU time: 6.50001 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.61699 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.73498 s Remaining CPU time: 1793.27 s c Elapsed CPU time: 6.85396 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.97094 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 7.08892 s Remaining CPU time: 1792.91 s c Elapsed CPU time: 7.2059 s Remaining CPU time: 1792.79 s c Elapsed CPU time: 7.32089 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.43887 s Remaining CPU time: 1792.56 s c Elapsed CPU time: 7.55585 s Remaining CPU time: 1792.44 s c Elapsed CPU time: 7.67183 s Remaining CPU time: 1792.33 s c Elapsed CPU time: 7.78682 s Remaining CPU time: 1792.21 s c Elapsed CPU time: 7.9038 s Remaining CPU time: 1792.1 s c Elapsed CPU time: 8.02178 s Remaining CPU time: 1791.98 s c Elapsed CPU time: 8.13976 s Remaining CPU time: 1791.86 s c Elapsed CPU time: 8.25874 s Remaining CPU time: 1791.74 s c Elapsed CPU time: 8.37773 s Remaining CPU time: 1791.62 s c Elapsed CPU time: 8.49671 s Remaining CPU time: 1791.5 s c Elapsed CPU time: 8.61169 s Remaining CPU time: 1791.39 s c Elapsed CPU time: 8.72867 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.84366 s Remaining CPU time: 1791.16 s c Elapsed CPU time: 8.96064 s Remaining CPU time: 1791.04 s c Elapsed CPU time: 9.07662 s Remaining CPU time: 1790.92 s c Elapsed CPU time: 9.1926 s Remaining CPU time: 1790.81 s c Elapsed CPU time: 9.31058 s Remaining CPU time: 1790.69 s c Elapsed CPU time: 9.42857 s Remaining CPU time: 1790.57 s c Elapsed CPU time: 9.54655 s Remaining CPU time: 1790.45 s c Elapsed CPU time: 9.66653 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.78451 s Remaining CPU time: 1790.22 s c Elapsed CPU time: 9.90549 s Remaining CPU time: 1790.09 s c Elapsed CPU time: 10.0245 s Remaining CPU time: 1789.98 s c Elapsed CPU time: 10.1435 s Remaining CPU time: 1789.86 s c Elapsed CPU time: 10.2624 s Remaining CPU time: 1789.74 s c Elapsed CPU time: 10.3804 s Remaining CPU time: 1789.62 s c Elapsed CPU time: 10.4954 s Remaining CPU time: 1789.5 s c Elapsed CPU time: 10.6134 s Remaining CPU time: 1789.39 s c Elapsed CPU time: 10.7294 s Remaining CPU time: 1789.27 s c Elapsed CPU time: 10.8474 s Remaining CPU time: 1789.15 s c Elapsed CPU time: 10.9633 s Remaining CPU time: 1789.04 s c Elapsed CPU time: 11.0813 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.1993 s Remaining CPU time: 1788.8 s c Elapsed CPU time: 11.3193 s Remaining CPU time: 1788.68 s c Elapsed CPU time: 11.4393 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.5602 s Remaining CPU time: 1788.44 s c Elapsed CPU time: 11.6772 s Remaining CPU time: 1788.32 s c Elapsed CPU time: 11.7962 s Remaining CPU time: 1788.2 s c Elapsed CPU time: 11.9152 s Remaining CPU time: 1788.08 s c Elapsed CPU time: 12.0322 s Remaining CPU time: 1787.97 s c Elapsed CPU time: 12.1492 s Remaining CPU time: 1787.85 s c Elapsed CPU time: 12.2681 s Remaining CPU time: 1787.73 s c Elapsed CPU time: 12.3871 s Remaining CPU time: 1787.61 s c Elapsed CPU time: 12.5051 s Remaining CPU time: 1787.49 s c Elapsed CPU time: 12.6221 s Remaining CPU time: 1787.38 s c Elapsed CPU time: 12.7411 s Remaining CPU time: 1787.26 s c Elapsed CPU time: 12.859 s Remaining CPU time: 1787.14 s c Elapsed CPU time: 12.98 s Remaining CPU time: 1787.02 s c Elapsed CPU time: 13.098 s Remaining CPU time: 1786.9 s c Elapsed CPU time: 13.217 s Remaining CPU time: 1786.78 s c Elapsed CPU time: 13.336 s Remaining CPU time: 1786.66 s c Elapsed CPU time: 13.456 s Remaining CPU time: 1786.54 s c Elapsed CPU time: 13.5729 s Remaining CPU time: 1786.43 s c Elapsed CPU time: 13.6909 s Remaining CPU time: 1786.31 s c Elapsed CPU time: 13.8059 s Remaining CPU time: 1786.19 s c Elapsed CPU time: 13.9239 s Remaining CPU time: 1786.08 s c Elapsed CPU time: 14.0439 s Remaining CPU time: 1785.96 s c Elapsed CPU time: 14.1638 s Remaining CPU time: 1785.84 s c Elapsed CPU time: 14.2828 s Remaining CPU time: 1785.72 s c Elapsed CPU time: 14.4028 s Remaining CPU time: 1785.6 s c Elapsed CPU time: 14.5198 s Remaining CPU time: 1785.48 s c Elapsed CPU time: 14.6388 s Remaining CPU time: 1785.36 s c Elapsed CPU time: 14.7568 s Remaining CPU time: 1785.24 s c Elapsed CPU time: 14.8767 s Remaining CPU time: 1785.12 s c Elapsed CPU time: 14.9937 s Remaining CPU time: 1785.01 s c Elapsed CPU time: 15.1147 s Remaining CPU time: 1784.89 s c Elapsed CPU time: 15.2367 s Remaining CPU time: 1784.76 s c Elapsed CPU time: 15.3557 s Remaining CPU time: 1784.64 s c Elapsed CPU time: 15.4766 s Remaining CPU time: 1784.52 s c Elapsed CPU time: 15.5946 s Remaining CPU time: 1784.41 s c Elapsed CPU time: 15.7116 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.9496 s Remaining CPU time: 1784.05 s c Elapsed CPU time: 16.0676 s Remaining CPU time: 1783.93 s c Elapsed CPU time: 16.1895 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.3055 s Remaining CPU time: 1783.69 s c Elapsed CPU time: 16.4255 s Remaining CPU time: 1783.57 s c Elapsed CPU time: 16.5455 s Remaining CPU time: 1783.45 s c Elapsed CPU time: 16.6675 s Remaining CPU time: 1783.33 s c Elapsed CPU time: 16.7884 s Remaining CPU time: 1783.21 s c Elapsed CPU time: 16.9084 s Remaining CPU time: 1783.09 s c Elapsed CPU time: 17.0274 s Remaining CPU time: 1782.97 s c Elapsed CPU time: 17.1474 s Remaining CPU time: 1782.85 s c Elapsed CPU time: 17.2644 s Remaining CPU time: 1782.74 s c Elapsed CPU time: 17.3844 s Remaining CPU time: 1782.62 s c Elapsed CPU time: 17.5033 s Remaining CPU time: 1782.5 s c Elapsed CPU time: 17.6223 s Remaining CPU time: 1782.38 s c Elapsed CPU time: 17.7433 s Remaining CPU time: 1782.26 s c Elapsed CPU time: 17.8653 s Remaining CPU time: 1782.13 s c Elapsed CPU time: 17.9873 s Remaining CPU time: 1782.01 s c Elapsed CPU time: 18.1052 s Remaining CPU time: 1781.89 s c Elapsed CPU time: 18.2262 s Remaining CPU time: 1781.77 s c Elapsed CPU time: 18.3452 s Remaining CPU time: 1781.65 s c Elapsed CPU time: 18.4662 s Remaining CPU time: 1781.53 s c Elapsed CPU time: 18.5842 s Remaining CPU time: 1781.42 s c Elapsed CPU time: 18.7042 s Remaining CPU time: 1781.3 s c Elapsed CPU time: 18.8241 s Remaining CPU time: 1781.18 s c Elapsed CPU time: 18.9461 s Remaining CPU time: 1781.05 s c Elapsed CPU time: 19.0701 s Remaining CPU time: 1780.93 s c Elapsed CPU time: 19.1921 s Remaining CPU time: 1780.81 s c Elapsed CPU time: 19.3141 s Remaining CPU time: 1780.69 s c Elapsed CPU time: 19.435 s Remaining CPU time: 1780.56 s c Elapsed CPU time: 19.556 s Remaining CPU time: 1780.44 s c Elapsed CPU time: 19.677 s Remaining CPU time: 1780.32 s c Elapsed CPU time: 19.797 s Remaining CPU time: 1780.2 s c Elapsed CPU time: 19.916 s Remaining CPU time: 1780.08 s c Elapsed CPU time: 20.036 s Remaining CPU time: 1779.96 s c Elapsed CPU time: 20.1599 s Remaining CPU time: 1779.84 s c Elapsed CPU time: 20.2829 s Remaining CPU time: 1779.72 s c Elapsed CPU time: 20.4059 s Remaining CPU time: 1779.59 s c Elapsed CPU time: 20.5269 s Remaining CPU time: 1779.47 s c Elapsed CPU time: 20.6479 s Remaining CPU time: 1779.35 s c Elapsed CPU time: 20.7698 s Remaining CPU time: 1779.23 s c Elapsed CPU time: 20.8908 s Remaining CPU time: 1779.11 s c Elapsed CPU time: 21.0118 s Remaining CPU time: 1778.99 s c Elapsed CPU time: 21.1338 s Remaining CPU time: 1778.87 s c Elapsed CPU time: 21.2548 s Remaining CPU time: 1778.75 s c Elapsed CPU time: 21.3777 s Remaining CPU time: 1778.62 s c Elapsed CPU time: 21.5027 s Remaining CPU time: 1778.5 s c Elapsed CPU time: 21.6307 s Remaining CPU time: 1778.37 s c Elapsed CPU time: 21.7567 s Remaining CPU time: 1778.24 s c Elapsed CPU time: 21.8817 s Remaining CPU time: 1778.12 s c Elapsed CPU time: 22.0077 s Remaining CPU time: 1777.99 s c Elapsed CPU time: 22.1316 s Remaining CPU time: 1777.87 s c Elapsed CPU time: 22.2586 s Remaining CPU time: 1777.74 s c Elapsed CPU time: 22.3846 s Remaining CPU time: 1777.62 s c Elapsed CPU time: 22.5106 s Remaining CPU time: 1777.49 s c Elapsed CPU time: 22.6366 s Remaining CPU time: 1777.36 s c Elapsed CPU time: 22.7655 s Remaining CPU time: 1777.23 s c Elapsed CPU time: 22.8945 s Remaining CPU time: 1777.11 s c Elapsed CPU time: 23.0225 s Remaining CPU time: 1776.98 s c Elapsed CPU time: 23.1505 s Remaining CPU time: 1776.85 s c Elapsed CPU time: 23.2785 s Remaining CPU time: 1776.72 s c Elapsed CPU time: 23.4054 s Remaining CPU time: 1776.59 s c Elapsed CPU time: 23.5374 s Remaining CPU time: 1776.46 s c Elapsed CPU time: 23.6664 s Remaining CPU time: 1776.33 s c Elapsed CPU time: 23.7954 s Remaining CPU time: 1776.2 s c Elapsed CPU time: 23.9274 s Remaining CPU time: 1776.07 s c Elapsed CPU time: 24.0543 s Remaining CPU time: 1775.95 s c Elapsed CPU time: 24.1843 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.4433 s Remaining CPU time: 1775.56 s c Elapsed CPU time: 24.5693 s Remaining CPU time: 1775.43 s c Elapsed CPU time: 24.6992 s Remaining CPU time: 1775.3 s c Elapsed CPU time: 24.8282 s Remaining CPU time: 1775.17 s c Elapsed CPU time: 24.9572 s Remaining CPU time: 1775.04 s c Elapsed CPU time: 25.0862 s Remaining CPU time: 1774.91 s c Elapsed CPU time: 25.2182 s Remaining CPU time: 1774.78 s c Elapsed CPU time: 25.3491 s Remaining CPU time: 1774.65 s c Elapsed CPU time: 25.4801 s Remaining CPU time: 1774.52 s c Elapsed CPU time: 25.6121 s Remaining CPU time: 1774.39 s c Elapsed CPU time: 25.7441 s Remaining CPU time: 1774.26 s c Elapsed CPU time: 25.8751 s Remaining CPU time: 1774.12 s c Elapsed CPU time: 26.007 s Remaining CPU time: 1773.99 s c Elapsed CPU time: 26.139 s Remaining CPU time: 1773.86 s c Elapsed CPU time: 26.271 s Remaining CPU time: 1773.73 s c Elapsed CPU time: 26.404 s Remaining CPU time: 1773.6 s c Elapsed CPU time: 26.537 s Remaining CPU time: 1773.46 s c Elapsed CPU time: 26.6669 s Remaining CPU time: 1773.33 s c Elapsed CPU time: 26.8019 s Remaining CPU time: 1773.2 s c Elapsed CPU time: 26.9359 s Remaining CPU time: 1773.06 s c Elapsed CPU time: 27.0699 s Remaining CPU time: 1772.93 s c Elapsed CPU time: 27.2039 s Remaining CPU time: 1772.8 s c Elapsed CPU time: 27.3358 s Remaining CPU time: 1772.66 s c Elapsed CPU time: 27.4698 s Remaining CPU time: 1772.53 s c Elapsed CPU time: 27.6028 s Remaining CPU time: 1772.4 s c Elapsed CPU time: 27.7368 s Remaining CPU time: 1772.26 s c Elapsed CPU time: 27.8708 s Remaining CPU time: 1772.13 s c Elapsed CPU time: 28.0057 s Remaining CPU time: 1771.99 s c Elapsed CPU time: 28.1407 s Remaining CPU time: 1771.86 s c Elapsed CPU time: 28.2757 s Remaining CPU time: 1771.72 s c Elapsed CPU time: 28.4137 s Remaining CPU time: 1771.59 s c Elapsed CPU time: 28.5487 s Remaining CPU time: 1771.45 s c Elapsed CPU time: 28.6856 s Remaining CPU time: 1771.31 s c Elapsed CPU time: 28.8196 s Remaining CPU time: 1771.18 s c Elapsed CPU time: 28.9586 s Remaining CPU time: 1771.04 s c Elapsed CPU time: 29.0966 s Remaining CPU time: 1770.9 s c Elapsed CPU time: 29.2336 s Remaining CPU time: 1770.77 s c Elapsed CPU time: 29.3705 s Remaining CPU time: 1770.63 s c Elapsed CPU time: 29.5055 s Remaining CPU time: 1770.49 s c Elapsed CPU time: 29.6445 s Remaining CPU time: 1770.36 s c Elapsed CPU time: 29.7825 s Remaining CPU time: 1770.22 s c Elapsed CPU time: 29.9205 s Remaining CPU time: 1770.08 s c Elapsed CPU time: 30.0544 s Remaining CPU time: 1769.95 s c Elapsed CPU time: 30.1914 s Remaining CPU time: 1769.81 s c Elapsed CPU time: 30.3244 s Remaining CPU time: 1769.68 s c Elapsed CPU time: 30.4604 s Remaining CPU time: 1769.54 s c Elapsed CPU time: 30.5963 s Remaining CPU time: 1769.4 s c Elapsed CPU time: 30.7333 s Remaining CPU time: 1769.27 s c Elapsed CPU time: 30.8713 s Remaining CPU time: 1769.13 s c Elapsed CPU time: 31.0103 s Remaining CPU time: 1768.99 s c Elapsed CPU time: 31.1473 s Remaining CPU time: 1768.85 s c Elapsed CPU time: 31.2842 s Remaining CPU time: 1768.72 s c Elapsed CPU time: 31.4212 s Remaining CPU time: 1768.58 s c Elapsed CPU time: 31.5542 s Remaining CPU time: 1768.45 s c Elapsed CPU time: 31.6882 s Remaining CPU time: 1768.31 s c Elapsed CPU time: 31.8222 s Remaining CPU time: 1768.18 s c Elapsed CPU time: 31.9581 s Remaining CPU time: 1768.04 s c Elapsed CPU time: 32.0921 s Remaining CPU time: 1767.91 s c Elapsed CPU time: 32.2281 s Remaining CPU time: 1767.77 s c Elapsed CPU time: 32.3611 s Remaining CPU time: 1767.64 s c Elapsed CPU time: 32.4971 s Remaining CPU time: 1767.5 s c Elapsed CPU time: 32.631 s Remaining CPU time: 1767.37 s c Elapsed CPU time: 32.764 s Remaining CPU time: 1767.24 s c Elapsed CPU time: 32.899 s Remaining CPU time: 1767.1 s c Elapsed CPU time: 33.034 s Remaining CPU time: 1766.97 s c Elapsed CPU time: 33.185 s Remaining CPU time: 1766.82 s c Elapsed CPU time: 33.3419 s Remaining CPU time: 1766.66 s c Elapsed CPU time: 33.4989 s Remaining CPU time: 1766.5 s c Elapsed CPU time: 33.6549 s Remaining CPU time: 1766.35 s c Elapsed CPU time: 33.8129 s Remaining CPU time: 1766.19 s c Elapsed CPU time: 33.9708 s Remaining CPU time: 1766.03 s c Elapsed CPU time: 34.1268 s Remaining CPU time: 1765.87 s c Elapsed CPU time: 34.2868 s Remaining CPU time: 1765.71 s c Elapsed CPU time: 34.4458 s Remaining CPU time: 1765.55 s c Elapsed CPU time: 34.6047 s Remaining CPU time: 1765.4 s c Elapsed CPU time: 34.7637 s Remaining CPU time: 1765.24 s c Elapsed CPU time: 34.9207 s Remaining CPU time: 1765.08 s c Elapsed CPU time: 35.0787 s Remaining CPU time: 1764.92 s c Elapsed CPU time: 35.2376 s Remaining CPU time: 1764.76 s c Elapsed CPU time: 35.3966 s Remaining CPU time: 1764.6 s c Elapsed CPU time: 35.5546 s Remaining CPU time: 1764.45 s c Elapsed CPU time: 35.7126 s Remaining CPU time: 1764.29 s c Elapsed CPU time: 35.8725 s Remaining CPU time: 1764.13 s c Elapsed CPU time: 36.0315 s Remaining CPU time: 1763.97 s c Elapsed CPU time: 36.1935 s Remaining CPU time: 1763.81 s c Elapsed CPU time: 36.3535 s Remaining CPU time: 1763.65 s c Elapsed CPU time: 36.5144 s Remaining CPU time: 1763.49 s c Elapsed CPU time: 36.6744 s Remaining CPU time: 1763.33 s c Elapsed CPU time: 36.8354 s Remaining CPU time: 1763.16 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113225 217780 | 37741 0 nan | 0.000 % | c =============================================================================== c Verified 113225 original clauses.