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: 49490 | c | Number of clauses: 140056 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.10 s | c | Number Variables: 49490 | c | Number Clauses: 140056 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.248962 s Remaining CPU time: 1799.75 s c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.561914 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.712891 s Remaining CPU time: 1799.29 s c Elapsed CPU time: 0.866868 s Remaining CPU time: 1799.13 s c Elapsed CPU time: 1.01585 s Remaining CPU time: 1798.98 s c Elapsed CPU time: 1.16982 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.3178 s Remaining CPU time: 1798.68 s c Elapsed CPU time: 1.46978 s Remaining CPU time: 1798.53 s c Elapsed CPU time: 1.63175 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.78273 s Remaining CPU time: 1798.22 s c Elapsed CPU time: 1.93371 s Remaining CPU time: 1798.07 s c Elapsed CPU time: 2.08268 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.23566 s Remaining CPU time: 1797.76 s c Elapsed CPU time: 2.38764 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.53661 s Remaining CPU time: 1797.46 s c Elapsed CPU time: 2.68759 s Remaining CPU time: 1797.31 s c Elapsed CPU time: 2.83457 s Remaining CPU time: 1797.17 s c Elapsed CPU time: 2.98555 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 3.13552 s Remaining CPU time: 1796.86 s c Elapsed CPU time: 3.2885 s Remaining CPU time: 1796.71 s c Elapsed CPU time: 3.43848 s Remaining CPU time: 1796.56 s c Elapsed CPU time: 3.58645 s Remaining CPU time: 1796.41 s c Elapsed CPU time: 3.73943 s Remaining CPU time: 1796.26 s c Elapsed CPU time: 3.88741 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 4.03839 s Remaining CPU time: 1795.96 s c Elapsed CPU time: 4.18836 s Remaining CPU time: 1795.81 s c Elapsed CPU time: 4.33934 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.48832 s Remaining CPU time: 1795.51 s c Elapsed CPU time: 4.63729 s Remaining CPU time: 1795.36 s c Elapsed CPU time: 4.79127 s Remaining CPU time: 1795.21 s c Elapsed CPU time: 4.94325 s Remaining CPU time: 1795.06 s c Elapsed CPU time: 5.09523 s Remaining CPU time: 1794.9 s c Elapsed CPU time: 5.2472 s Remaining CPU time: 1794.75 s c Elapsed CPU time: 5.39818 s Remaining CPU time: 1794.6 s c Elapsed CPU time: 5.54916 s Remaining CPU time: 1794.45 s c Elapsed CPU time: 5.70213 s Remaining CPU time: 1794.3 s c Elapsed CPU time: 5.85311 s Remaining CPU time: 1794.15 s c Elapsed CPU time: 6.00509 s Remaining CPU time: 1793.99 s c Elapsed CPU time: 6.15806 s Remaining CPU time: 1793.84 s c Elapsed CPU time: 6.31004 s Remaining CPU time: 1793.69 s c Elapsed CPU time: 6.46302 s Remaining CPU time: 1793.54 s c Elapsed CPU time: 6.61499 s Remaining CPU time: 1793.39 s c Elapsed CPU time: 6.76797 s Remaining CPU time: 1793.23 s c Elapsed CPU time: 6.92095 s Remaining CPU time: 1793.08 s c Elapsed CPU time: 7.07392 s Remaining CPU time: 1792.93 s c Elapsed CPU time: 7.2259 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.37988 s Remaining CPU time: 1792.62 s c Elapsed CPU time: 7.53485 s Remaining CPU time: 1792.47 s c Elapsed CPU time: 7.68583 s Remaining CPU time: 1792.31 s c Elapsed CPU time: 7.83781 s Remaining CPU time: 1792.16 s c Elapsed CPU time: 7.99078 s Remaining CPU time: 1792.01 s c Elapsed CPU time: 8.14276 s Remaining CPU time: 1791.86 s c Elapsed CPU time: 8.29374 s Remaining CPU time: 1791.71 s c Elapsed CPU time: 8.44871 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.59869 s Remaining CPU time: 1791.4 s c Elapsed CPU time: 8.74967 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.90065 s Remaining CPU time: 1791.1 s c Elapsed CPU time: 9.05262 s Remaining CPU time: 1790.95 s c Elapsed CPU time: 9.2046 s Remaining CPU time: 1790.8 s c Elapsed CPU time: 9.35658 s Remaining CPU time: 1790.64 s c Elapsed CPU time: 9.50855 s Remaining CPU time: 1790.49 s c Elapsed CPU time: 9.66153 s Remaining CPU time: 1790.34 s c Elapsed CPU time: 9.81251 s Remaining CPU time: 1790.19 s c Elapsed CPU time: 9.96548 s Remaining CPU time: 1790.03 s c Elapsed CPU time: 10.1165 s Remaining CPU time: 1789.88 s c Elapsed CPU time: 10.2664 s Remaining CPU time: 1789.73 s c Elapsed CPU time: 10.4194 s Remaining CPU time: 1789.58 s c Elapsed CPU time: 10.5724 s Remaining CPU time: 1789.43 s c Elapsed CPU time: 10.7244 s Remaining CPU time: 1789.28 s c Elapsed CPU time: 10.8793 s Remaining CPU time: 1789.12 s c Elapsed CPU time: 11.0323 s Remaining CPU time: 1788.97 s c Elapsed CPU time: 11.1863 s Remaining CPU time: 1788.81 s c Elapsed CPU time: 11.3393 s Remaining CPU time: 1788.66 s c Elapsed CPU time: 11.4913 s Remaining CPU time: 1788.51 s c Elapsed CPU time: 11.6432 s Remaining CPU time: 1788.36 s c Elapsed CPU time: 11.7942 s Remaining CPU time: 1788.21 s c Elapsed CPU time: 11.9452 s Remaining CPU time: 1788.05 s c Elapsed CPU time: 12.0982 s Remaining CPU time: 1787.9 s c Elapsed CPU time: 12.2501 s Remaining CPU time: 1787.75 s c Elapsed CPU time: 12.4031 s Remaining CPU time: 1787.6 s c Elapsed CPU time: 12.5541 s Remaining CPU time: 1787.45 s c Elapsed CPU time: 12.7071 s Remaining CPU time: 1787.29 s c Elapsed CPU time: 12.858 s Remaining CPU time: 1787.14 s c Elapsed CPU time: 13.009 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.16 s Remaining CPU time: 1786.84 s c Elapsed CPU time: 13.311 s Remaining CPU time: 1786.69 s c Elapsed CPU time: 13.462 s Remaining CPU time: 1786.54 s c Elapsed CPU time: 13.6159 s Remaining CPU time: 1786.38 s c Elapsed CPU time: 13.7679 s Remaining CPU time: 1786.23 s c Elapsed CPU time: 13.9209 s Remaining CPU time: 1786.08 s c Elapsed CPU time: 14.0719 s Remaining CPU time: 1785.93 s c Elapsed CPU time: 14.2218 s Remaining CPU time: 1785.78 s c Elapsed CPU time: 14.3738 s Remaining CPU time: 1785.63 s c Elapsed CPU time: 14.5238 s Remaining CPU time: 1785.48 s c Elapsed CPU time: 14.6728 s Remaining CPU time: 1785.33 s c Elapsed CPU time: 14.8247 s Remaining CPU time: 1785.18 s c Elapsed CPU time: 14.9777 s Remaining CPU time: 1785.02 s c Elapsed CPU time: 15.1327 s Remaining CPU time: 1784.87 s c Elapsed CPU time: 15.2837 s Remaining CPU time: 1784.72 s c Elapsed CPU time: 15.4357 s Remaining CPU time: 1784.56 s c Elapsed CPU time: 15.5886 s Remaining CPU time: 1784.41 s c Elapsed CPU time: 15.7406 s Remaining CPU time: 1784.26 s c Elapsed CPU time: 15.8946 s Remaining CPU time: 1784.11 s c Elapsed CPU time: 16.0456 s Remaining CPU time: 1783.95 s c Elapsed CPU time: 16.1945 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.3455 s Remaining CPU time: 1783.65 s c Elapsed CPU time: 16.4965 s Remaining CPU time: 1783.5 s c Elapsed CPU time: 16.6465 s Remaining CPU time: 1783.35 s c Elapsed CPU time: 16.7984 s Remaining CPU time: 1783.2 s c Elapsed CPU time: 16.9504 s Remaining CPU time: 1783.05 s c Elapsed CPU time: 17.1014 s Remaining CPU time: 1782.9 s c Elapsed CPU time: 17.2544 s Remaining CPU time: 1782.75 s c Elapsed CPU time: 17.4054 s Remaining CPU time: 1782.59 s c Elapsed CPU time: 17.5573 s Remaining CPU time: 1782.44 s c Elapsed CPU time: 17.7103 s Remaining CPU time: 1782.29 s c Elapsed CPU time: 17.8623 s Remaining CPU time: 1782.14 s c Elapsed CPU time: 18.0133 s Remaining CPU time: 1781.99 s c Elapsed CPU time: 18.1662 s Remaining CPU time: 1781.83 s c Elapsed CPU time: 18.3182 s Remaining CPU time: 1781.68 s c Elapsed CPU time: 18.4732 s Remaining CPU time: 1781.53 s c Elapsed CPU time: 18.6252 s Remaining CPU time: 1781.37 s c Elapsed CPU time: 18.7831 s Remaining CPU time: 1781.22 s c Elapsed CPU time: 18.9361 s Remaining CPU time: 1781.06 s c Elapsed CPU time: 19.0921 s Remaining CPU time: 1780.91 s c Elapsed CPU time: 19.2451 s Remaining CPU time: 1780.75 s c Elapsed CPU time: 19.402 s Remaining CPU time: 1780.6 s c Elapsed CPU time: 19.554 s Remaining CPU time: 1780.45 s c Elapsed CPU time: 19.706 s Remaining CPU time: 1780.29 s c Elapsed CPU time: 19.859 s Remaining CPU time: 1780.14 s c Elapsed CPU time: 20.013 s Remaining CPU time: 1779.99 s c Elapsed CPU time: 20.1679 s Remaining CPU time: 1779.83 s c Elapsed CPU time: 20.3209 s Remaining CPU time: 1779.68 s c Elapsed CPU time: 20.4749 s Remaining CPU time: 1779.53 s c Elapsed CPU time: 20.6329 s Remaining CPU time: 1779.37 s c Elapsed CPU time: 20.7848 s Remaining CPU time: 1779.22 s c Elapsed CPU time: 20.9378 s Remaining CPU time: 1779.06 s c Elapsed CPU time: 21.0918 s Remaining CPU time: 1778.91 s c Elapsed CPU time: 21.2468 s Remaining CPU time: 1778.75 s c Elapsed CPU time: 21.4007 s Remaining CPU time: 1778.6 s c Elapsed CPU time: 21.5577 s Remaining CPU time: 1778.44 s c Elapsed CPU time: 21.7137 s Remaining CPU time: 1778.29 s c Elapsed CPU time: 21.8697 s Remaining CPU time: 1778.13 s c Elapsed CPU time: 22.0247 s Remaining CPU time: 1777.98 s c Elapsed CPU time: 22.1796 s Remaining CPU time: 1777.82 s c Elapsed CPU time: 22.3366 s Remaining CPU time: 1777.66 s c Elapsed CPU time: 22.4996 s Remaining CPU time: 1777.5 s c Elapsed CPU time: 22.6566 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.8125 s Remaining CPU time: 1777.19 s c Elapsed CPU time: 22.9705 s Remaining CPU time: 1777.03 s c Elapsed CPU time: 23.1295 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.2905 s Remaining CPU time: 1776.71 s c Elapsed CPU time: 23.4504 s Remaining CPU time: 1776.55 s c Elapsed CPU time: 23.6134 s Remaining CPU time: 1776.39 s c Elapsed CPU time: 23.7744 s Remaining CPU time: 1776.23 s c Elapsed CPU time: 23.9354 s Remaining CPU time: 1776.06 s c Elapsed CPU time: 24.0993 s Remaining CPU time: 1775.9 s c Elapsed CPU time: 24.2603 s Remaining CPU time: 1775.74 s c Elapsed CPU time: 24.4223 s Remaining CPU time: 1775.58 s c Elapsed CPU time: 24.5843 s Remaining CPU time: 1775.42 s c Elapsed CPU time: 24.7492 s Remaining CPU time: 1775.25 s c Elapsed CPU time: 24.9122 s Remaining CPU time: 1775.09 s c Elapsed CPU time: 25.0742 s Remaining CPU time: 1774.93 s c Elapsed CPU time: 25.2372 s Remaining CPU time: 1774.76 s c Elapsed CPU time: 25.3991 s Remaining CPU time: 1774.6 s c Elapsed CPU time: 25.5641 s Remaining CPU time: 1774.44 s c Elapsed CPU time: 25.7351 s Remaining CPU time: 1774.26 s c Elapsed CPU time: 25.9031 s Remaining CPU time: 1774.1 s c Elapsed CPU time: 26.074 s Remaining CPU time: 1773.93 s c Elapsed CPU time: 26.239 s Remaining CPU time: 1773.76 s c Elapsed CPU time: 26.406 s Remaining CPU time: 1773.59 s c Elapsed CPU time: 26.572 s Remaining CPU time: 1773.43 s c Elapsed CPU time: 26.7369 s Remaining CPU time: 1773.26 s c Elapsed CPU time: 26.9039 s Remaining CPU time: 1773.1 s c Elapsed CPU time: 27.0699 s Remaining CPU time: 1772.93 s c Elapsed CPU time: 27.2389 s Remaining CPU time: 1772.76 s c Elapsed CPU time: 27.4088 s Remaining CPU time: 1772.59 s c Elapsed CPU time: 27.5778 s Remaining CPU time: 1772.42 s c Elapsed CPU time: 27.7498 s Remaining CPU time: 1772.25 s c Elapsed CPU time: 27.9178 s Remaining CPU time: 1772.08 s c Elapsed CPU time: 28.0887 s Remaining CPU time: 1771.91 s c Elapsed CPU time: 28.2587 s Remaining CPU time: 1771.74 s c Elapsed CPU time: 28.4267 s Remaining CPU time: 1771.57 s c Elapsed CPU time: 28.5957 s Remaining CPU time: 1771.4 s c Elapsed CPU time: 28.7676 s Remaining CPU time: 1771.23 s c Elapsed CPU time: 28.9356 s Remaining CPU time: 1771.06 s c Elapsed CPU time: 29.1106 s Remaining CPU time: 1770.89 s c Elapsed CPU time: 29.2805 s Remaining CPU time: 1770.72 s c Elapsed CPU time: 29.4505 s Remaining CPU time: 1770.55 s c Elapsed CPU time: 29.6185 s Remaining CPU time: 1770.38 s c Elapsed CPU time: 29.7915 s Remaining CPU time: 1770.21 s c Elapsed CPU time: 29.9664 s Remaining CPU time: 1770.03 s c Elapsed CPU time: 30.1374 s Remaining CPU time: 1769.86 s c Elapsed CPU time: 30.3084 s Remaining CPU time: 1769.69 s c Elapsed CPU time: 30.4794 s Remaining CPU time: 1769.52 s c Elapsed CPU time: 30.6483 s Remaining CPU time: 1769.35 s c Elapsed CPU time: 30.8183 s Remaining CPU time: 1769.18 s c Elapsed CPU time: 30.9893 s Remaining CPU time: 1769.01 s c Elapsed CPU time: 31.1623 s Remaining CPU time: 1768.84 s c Elapsed CPU time: 31.3342 s Remaining CPU time: 1768.67 s c Elapsed CPU time: 31.5062 s Remaining CPU time: 1768.49 s c Elapsed CPU time: 31.6782 s Remaining CPU time: 1768.32 s c Elapsed CPU time: 31.8522 s Remaining CPU time: 1768.15 s c Elapsed CPU time: 32.0241 s Remaining CPU time: 1767.98 s c Elapsed CPU time: 32.1921 s Remaining CPU time: 1767.81 s c Elapsed CPU time: 32.3661 s Remaining CPU time: 1767.63 s c Elapsed CPU time: 32.5371 s Remaining CPU time: 1767.46 s c Elapsed CPU time: 32.71 s Remaining CPU time: 1767.29 s c Elapsed CPU time: 32.886 s Remaining CPU time: 1767.11 s c Elapsed CPU time: 33.063 s Remaining CPU time: 1766.94 s c Elapsed CPU time: 33.2379 s Remaining CPU time: 1766.76 s c Elapsed CPU time: 33.4109 s Remaining CPU time: 1766.59 s c Elapsed CPU time: 33.5839 s Remaining CPU time: 1766.42 s c Elapsed CPU time: 33.7589 s Remaining CPU time: 1766.24 s c Elapsed CPU time: 33.9338 s Remaining CPU time: 1766.07 s c Elapsed CPU time: 34.1058 s Remaining CPU time: 1765.89 s c Elapsed CPU time: 34.2808 s Remaining CPU time: 1765.72 s c Elapsed CPU time: 34.4548 s Remaining CPU time: 1765.55 s c Elapsed CPU time: 34.6277 s Remaining CPU time: 1765.37 s c Elapsed CPU time: 34.8017 s Remaining CPU time: 1765.2 s c Elapsed CPU time: 34.9757 s Remaining CPU time: 1765.02 s c Elapsed CPU time: 35.1507 s Remaining CPU time: 1764.85 s c Elapsed CPU time: 35.3256 s Remaining CPU time: 1764.67 s c Elapsed CPU time: 35.4996 s Remaining CPU time: 1764.5 s c Elapsed CPU time: 35.6726 s Remaining CPU time: 1764.33 s c Elapsed CPU time: 35.8456 s Remaining CPU time: 1764.15 s c Elapsed CPU time: 36.0205 s Remaining CPU time: 1763.98 s c Elapsed CPU time: 36.1945 s Remaining CPU time: 1763.81 s c Elapsed CPU time: 36.3695 s Remaining CPU time: 1763.63 s c Elapsed CPU time: 36.5434 s Remaining CPU time: 1763.46 s c Elapsed CPU time: 36.7174 s Remaining CPU time: 1763.28 s c Elapsed CPU time: 36.8934 s Remaining CPU time: 1763.11 s c Elapsed CPU time: 37.0674 s Remaining CPU time: 1762.93 s c Elapsed CPU time: 37.2393 s Remaining CPU time: 1762.76 s c Elapsed CPU time: 37.4153 s Remaining CPU time: 1762.58 s c Elapsed CPU time: 37.5933 s Remaining CPU time: 1762.41 s c Elapsed CPU time: 37.7753 s Remaining CPU time: 1762.22 s c Elapsed CPU time: 37.9532 s Remaining CPU time: 1762.05 s c Elapsed CPU time: 38.1332 s Remaining CPU time: 1761.87 s c Elapsed CPU time: 38.3112 s Remaining CPU time: 1761.69 s c Elapsed CPU time: 38.4891 s Remaining CPU time: 1761.51 s c Elapsed CPU time: 38.6641 s Remaining CPU time: 1761.34 s c Elapsed CPU time: 38.8431 s Remaining CPU time: 1761.16 s c Elapsed CPU time: 39.0191 s Remaining CPU time: 1760.98 s c Elapsed CPU time: 39.194 s Remaining CPU time: 1760.81 s c Elapsed CPU time: 39.371 s Remaining CPU time: 1760.63 s c Elapsed CPU time: 39.545 s Remaining CPU time: 1760.46 s c Elapsed CPU time: 39.72 s Remaining CPU time: 1760.28 s c Elapsed CPU time: 39.8949 s Remaining CPU time: 1760.11 s c Elapsed CPU time: 40.0719 s Remaining CPU time: 1759.93 s c Elapsed CPU time: 40.2479 s Remaining CPU time: 1759.75 s c Elapsed CPU time: 40.4239 s Remaining CPU time: 1759.58 s c Elapsed CPU time: 40.5998 s Remaining CPU time: 1759.4 s c Elapsed CPU time: 40.7758 s Remaining CPU time: 1759.22 s c Elapsed CPU time: 40.9548 s Remaining CPU time: 1759.05 s c Elapsed CPU time: 41.1317 s Remaining CPU time: 1758.87 s c Elapsed CPU time: 41.3077 s Remaining CPU time: 1758.69 s c Elapsed CPU time: 41.4807 s Remaining CPU time: 1758.52 s c Elapsed CPU time: 41.6557 s Remaining CPU time: 1758.34 s c Elapsed CPU time: 41.8316 s Remaining CPU time: 1758.17 s c Elapsed CPU time: 42.0066 s Remaining CPU time: 1757.99 s c Elapsed CPU time: 42.1836 s Remaining CPU time: 1757.82 s c Elapsed CPU time: 42.3606 s Remaining CPU time: 1757.64 s c Elapsed CPU time: 42.5365 s Remaining CPU time: 1757.46 s c Elapsed CPU time: 42.7205 s Remaining CPU time: 1757.28 s c Elapsed CPU time: 42.8995 s Remaining CPU time: 1757.1 s c Elapsed CPU time: 43.0804 s Remaining CPU time: 1756.92 s c Elapsed CPU time: 43.2594 s Remaining CPU time: 1756.74 s c Elapsed CPU time: 43.4384 s Remaining CPU time: 1756.56 s c Elapsed CPU time: 43.6154 s Remaining CPU time: 1756.38 s c Elapsed CPU time: 43.7963 s Remaining CPU time: 1756.2 s c Elapsed CPU time: 43.9753 s Remaining CPU time: 1756.02 s c Elapsed CPU time: 44.1563 s Remaining CPU time: 1755.84 s c Elapsed CPU time: 44.3363 s Remaining CPU time: 1755.66 s c Elapsed CPU time: 44.5172 s Remaining CPU time: 1755.48 s c Elapsed CPU time: 44.6982 s Remaining CPU time: 1755.3 s c Elapsed CPU time: 44.8802 s Remaining CPU time: 1755.12 s c Elapsed CPU time: 45.0641 s Remaining CPU time: 1754.94 s c Elapsed CPU time: 45.2431 s Remaining CPU time: 1754.76 s c Elapsed CPU time: 45.4261 s Remaining CPU time: 1754.57 s c Elapsed CPU time: 45.6101 s Remaining CPU time: 1754.39 s c Elapsed CPU time: 45.793 s Remaining CPU time: 1754.21 s c Elapsed CPU time: 45.976 s Remaining CPU time: 1754.02 s c Elapsed CPU time: 46.159 s Remaining CPU time: 1753.84 s c Elapsed CPU time: 46.344 s Remaining CPU time: 1753.66 s c Elapsed CPU time: 46.5279 s Remaining CPU time: 1753.47 s c Elapsed CPU time: 46.7109 s Remaining CPU time: 1753.29 s c Elapsed CPU time: 46.8949 s Remaining CPU time: 1753.11 s c Elapsed CPU time: 47.0798 s Remaining CPU time: 1752.92 s c Elapsed CPU time: 47.2748 s Remaining CPU time: 1752.73 s c Elapsed CPU time: 47.4608 s Remaining CPU time: 1752.54 s c Elapsed CPU time: 47.6478 s Remaining CPU time: 1752.35 s c Elapsed CPU time: 47.8357 s Remaining CPU time: 1752.16 s c Elapsed CPU time: 48.0207 s Remaining CPU time: 1751.98 s c Elapsed CPU time: 48.2077 s Remaining CPU time: 1751.79 s c Elapsed CPU time: 48.3936 s Remaining CPU time: 1751.61 s c Elapsed CPU time: 48.5796 s Remaining CPU time: 1751.42 s c Elapsed CPU time: 48.7686 s Remaining CPU time: 1751.23 s c Elapsed CPU time: 48.9576 s Remaining CPU time: 1751.04 s c Elapsed CPU time: 49.1465 s Remaining CPU time: 1750.85 s c Elapsed CPU time: 49.3355 s Remaining CPU time: 1750.66 s c Elapsed CPU time: 49.5265 s Remaining CPU time: 1750.47 s c Elapsed CPU time: 49.7174 s Remaining CPU time: 1750.28 s c Elapsed CPU time: 49.9074 s Remaining CPU time: 1750.09 s c Elapsed CPU time: 50.1014 s Remaining CPU time: 1749.9 s c Elapsed CPU time: 50.2934 s Remaining CPU time: 1749.71 s c Elapsed CPU time: 50.4853 s Remaining CPU time: 1749.51 s c Elapsed CPU time: 50.6803 s Remaining CPU time: 1749.32 s c Elapsed CPU time: 50.8723 s Remaining CPU time: 1749.13 s c Elapsed CPU time: 51.0632 s Remaining CPU time: 1748.94 s c Elapsed CPU time: 51.2552 s Remaining CPU time: 1748.74 s c Elapsed CPU time: 51.4492 s Remaining CPU time: 1748.55 s c Elapsed CPU time: 51.6431 s Remaining CPU time: 1748.36 s c Elapsed CPU time: 51.8351 s Remaining CPU time: 1748.16 s c Elapsed CPU time: 52.0321 s Remaining CPU time: 1747.97 s c Elapsed CPU time: 52.2271 s Remaining CPU time: 1747.77 s c Elapsed CPU time: 52.417 s Remaining CPU time: 1747.58 s c Elapsed CPU time: 52.613 s Remaining CPU time: 1747.39 s c Elapsed CPU time: 52.81 s Remaining CPU time: 1747.19 s c Elapsed CPU time: 53.0059 s Remaining CPU time: 1746.99 s c Elapsed CPU time: 53.2009 s Remaining CPU time: 1746.8 s c Elapsed CPU time: 53.3979 s Remaining CPU time: 1746.6 s c Elapsed CPU time: 53.5949 s Remaining CPU time: 1746.41 s c Elapsed CPU time: 53.7898 s Remaining CPU time: 1746.21 s c Elapsed CPU time: 53.9888 s Remaining CPU time: 1746.01 s c Elapsed CPU time: 54.1898 s Remaining CPU time: 1745.81 s c Elapsed CPU time: 54.3887 s Remaining CPU time: 1745.61 s c Elapsed CPU time: 54.5887 s Remaining CPU time: 1745.41 s c Elapsed CPU time: 54.7827 s Remaining CPU time: 1745.22 s c Elapsed CPU time: 54.9816 s Remaining CPU time: 1745.02 s c Elapsed CPU time: 55.1826 s Remaining CPU time: 1744.82 s c Elapsed CPU time: 55.3846 s Remaining CPU time: 1744.62 s c Elapsed CPU time: 55.5845 s Remaining CPU time: 1744.42 s c Elapsed CPU time: 55.7875 s Remaining CPU time: 1744.21 s c Elapsed CPU time: 55.9875 s Remaining CPU time: 1744.01 s c Elapsed CPU time: 56.1895 s Remaining CPU time: 1743.81 s c Elapsed CPU time: 56.3894 s Remaining CPU time: 1743.61 s c Elapsed CPU time: 56.5934 s Remaining CPU time: 1743.41 s c Elapsed CPU time: 56.7984 s Remaining CPU time: 1743.2 s c Elapsed CPU time: 57.0023 s Remaining CPU time: 1743 s c Elapsed CPU time: 57.2043 s Remaining CPU time: 1742.8 s c Elapsed CPU time: 57.4133 s Remaining CPU time: 1742.59 s c Elapsed CPU time: 57.6192 s Remaining CPU time: 1742.38 s c Elapsed CPU time: 57.8222 s Remaining CPU time: 1742.18 s c Elapsed CPU time: 58.0292 s Remaining CPU time: 1741.97 s c Elapsed CPU time: 58.2351 s Remaining CPU time: 1741.76 s c Elapsed CPU time: 58.4381 s Remaining CPU time: 1741.56 s c Elapsed CPU time: 58.6471 s Remaining CPU time: 1741.35 s c Elapsed CPU time: 58.8541 s Remaining CPU time: 1741.15 s c Elapsed CPU time: 59.06 s Remaining CPU time: 1740.94 s c Elapsed CPU time: 59.262 s Remaining CPU time: 1740.74 s c Elapsed CPU time: 59.469 s Remaining CPU time: 1740.53 s c Elapsed CPU time: 59.6769 s Remaining CPU time: 1740.32 s c Elapsed CPU time: 59.8829 s Remaining CPU time: 1740.12 s c Elapsed CPU time: 60.1069 s Remaining CPU time: 1739.89 s c Elapsed CPU time: 60.3158 s Remaining CPU time: 1739.68 s c Elapsed CPU time: 60.5268 s Remaining CPU time: 1739.47 s c Elapsed CPU time: 60.7348 s Remaining CPU time: 1739.27 s c Elapsed CPU time: 60.9457 s Remaining CPU time: 1739.05 s c Elapsed CPU time: 61.1567 s Remaining CPU time: 1738.84 s c Elapsed CPU time: 61.3687 s Remaining CPU time: 1738.63 s c Elapsed CPU time: 61.5806 s Remaining CPU time: 1738.42 s c Elapsed CPU time: 61.7946 s Remaining CPU time: 1738.21 s c Elapsed CPU time: 62.0026 s Remaining CPU time: 1738 s c Elapsed CPU time: 62.2115 s Remaining CPU time: 1737.79 s c Elapsed CPU time: 62.4235 s Remaining CPU time: 1737.58 s c Elapsed CPU time: 62.6355 s Remaining CPU time: 1737.36 s c Elapsed CPU time: 62.8464 s Remaining CPU time: 1737.15 s c Elapsed CPU time: 63.0574 s Remaining CPU time: 1736.94 s c Elapsed CPU time: 63.2714 s Remaining CPU time: 1736.73 s c Elapsed CPU time: 63.4823 s Remaining CPU time: 1736.52 s c Elapsed CPU time: 63.6943 s Remaining CPU time: 1736.31 s c Elapsed CPU time: 63.9083 s Remaining CPU time: 1736.09 s c Elapsed CPU time: 64.1193 s Remaining CPU time: 1735.88 s c Elapsed CPU time: 64.3292 s Remaining CPU time: 1735.67 s c Elapsed CPU time: 64.5412 s Remaining CPU time: 1735.46 s c Elapsed CPU time: 64.7542 s Remaining CPU time: 1735.25 s c Elapsed CPU time: 64.9651 s Remaining CPU time: 1735.03 s c Elapsed CPU time: 65.1771 s Remaining CPU time: 1734.82 s c Elapsed CPU time: 65.3931 s Remaining CPU time: 1734.61 s c Elapsed CPU time: 65.605 s Remaining CPU time: 1734.39 s c Elapsed CPU time: 65.819 s Remaining CPU time: 1734.18 s c Elapsed CPU time: 66.032 s Remaining CPU time: 1733.97 s c Elapsed CPU time: 66.2489 s Remaining CPU time: 1733.75 s c Elapsed CPU time: 66.4629 s Remaining CPU time: 1733.54 s c Elapsed CPU time: 66.6789 s Remaining CPU time: 1733.32 s c Elapsed CPU time: 66.8908 s Remaining CPU time: 1733.11 s c Elapsed CPU time: 67.1098 s Remaining CPU time: 1732.89 s c Elapsed CPU time: 67.3218 s Remaining CPU time: 1732.68 s c Elapsed CPU time: 67.5367 s Remaining CPU time: 1732.46 s c Elapsed CPU time: 67.7477 s Remaining CPU time: 1732.25 s c Elapsed CPU time: 67.9617 s Remaining CPU time: 1732.04 s c Elapsed CPU time: 68.1736 s Remaining CPU time: 1731.83 s c Elapsed CPU time: 68.3916 s Remaining CPU time: 1731.61 s c Elapsed CPU time: 68.6066 s Remaining CPU time: 1731.39 s c Elapsed CPU time: 68.8275 s Remaining CPU time: 1731.17 s c Elapsed CPU time: 69.0435 s Remaining CPU time: 1730.96 s c Elapsed CPU time: 69.2585 s Remaining CPU time: 1730.74 s c Elapsed CPU time: 69.4734 s Remaining CPU time: 1730.53 s c Elapsed CPU time: 69.6904 s Remaining CPU time: 1730.31 s c Elapsed CPU time: 69.9084 s Remaining CPU time: 1730.09 s c Elapsed CPU time: 70.1653 s Remaining CPU time: 1729.83 s c Elapsed CPU time: 70.4263 s Remaining CPU time: 1729.57 s c Elapsed CPU time: 70.6913 s Remaining CPU time: 1729.31 s c Elapsed CPU time: 70.9552 s Remaining CPU time: 1729.04 s c Elapsed CPU time: 71.2172 s Remaining CPU time: 1728.78 s c Elapsed CPU time: 71.4791 s Remaining CPU time: 1728.52 s c Elapsed CPU time: 71.7451 s Remaining CPU time: 1728.25 s c Elapsed CPU time: 71.9881 s Remaining CPU time: 1728.01 s c Elapsed CPU time: 72.209 s Remaining CPU time: 1727.79 s c Elapsed CPU time: 72.428 s Remaining CPU time: 1727.57 s c Elapsed CPU time: 72.647 s Remaining CPU time: 1727.35 s c Elapsed CPU time: 72.8659 s Remaining CPU time: 1727.13 s c Elapsed CPU time: 73.0859 s Remaining CPU time: 1726.91 s c Elapsed CPU time: 73.3059 s Remaining CPU time: 1726.69 s c Elapsed CPU time: 73.5268 s Remaining CPU time: 1726.47 s c Elapsed CPU time: 73.7458 s Remaining CPU time: 1726.25 s c Elapsed CPU time: 73.9658 s Remaining CPU time: 1726.03 s c Elapsed CPU time: 74.1897 s Remaining CPU time: 1725.81 s c Elapsed CPU time: 74.4117 s Remaining CPU time: 1725.59 s c Elapsed CPU time: 74.6377 s Remaining CPU time: 1725.36 s c Elapsed CPU time: 74.8606 s Remaining CPU time: 1725.14 s c Elapsed CPU time: 75.0796 s Remaining CPU time: 1724.92 s c Elapsed CPU time: 75.2986 s Remaining CPU time: 1724.7 s c Elapsed CPU time: 75.5215 s Remaining CPU time: 1724.48 s c Elapsed CPU time: 75.7455 s Remaining CPU time: 1724.25 s c Elapsed CPU time: 75.9655 s Remaining CPU time: 1724.03 s c Elapsed CPU time: 76.1864 s Remaining CPU time: 1723.81 s c Elapsed CPU time: 76.4114 s Remaining CPU time: 1723.59 s c Elapsed CPU time: 76.6383 s Remaining CPU time: 1723.36 s c Elapsed CPU time: 76.8643 s Remaining CPU time: 1723.14 s c Elapsed CPU time: 77.0923 s Remaining CPU time: 1722.91 s c Elapsed CPU time: 77.3192 s Remaining CPU time: 1722.68 s c Elapsed CPU time: 77.5432 s Remaining CPU time: 1722.46 s c Elapsed CPU time: 77.7662 s Remaining CPU time: 1722.23 s c Elapsed CPU time: 77.9951 s Remaining CPU time: 1722 s c Elapsed CPU time: 78.2201 s Remaining CPU time: 1721.78 s c Elapsed CPU time: 78.4501 s Remaining CPU time: 1721.55 s c Elapsed CPU time: 78.674 s Remaining CPU time: 1721.33 s c Elapsed CPU time: 78.903 s Remaining CPU time: 1721.1 s c Elapsed CPU time: 79.132 s Remaining CPU time: 1720.87 s c Elapsed CPU time: 79.3589 s Remaining CPU time: 1720.64 s c Elapsed CPU time: 79.5919 s Remaining CPU time: 1720.41 s c Elapsed CPU time: 79.8269 s Remaining CPU time: 1720.17 s c Elapsed CPU time: 80.0548 s Remaining CPU time: 1719.95 s c Elapsed CPU time: 80.2888 s Remaining CPU time: 1719.71 s c Elapsed CPU time: 80.5198 s Remaining CPU time: 1719.48 s c Elapsed CPU time: 80.7477 s Remaining CPU time: 1719.25 s c Elapsed CPU time: 80.9767 s Remaining CPU time: 1719.02 s c Elapsed CPU time: 81.2067 s Remaining CPU time: 1718.79 s c Elapsed CPU time: 81.4366 s Remaining CPU time: 1718.56 s c Elapsed CPU time: 81.6676 s Remaining CPU time: 1718.33 s c Elapsed CPU time: 81.9005 s Remaining CPU time: 1718.1 s c Elapsed CPU time: 82.1335 s Remaining CPU time: 1717.87 s c Elapsed CPU time: 82.3635 s Remaining CPU time: 1717.64 s c Elapsed CPU time: 82.5964 s Remaining CPU time: 1717.4 s c Elapsed CPU time: 82.8294 s Remaining CPU time: 1717.17 s c Elapsed CPU time: 83.0654 s Remaining CPU time: 1716.93 s c Elapsed CPU time: 83.2953 s Remaining CPU time: 1716.7 s c Elapsed CPU time: 83.5313 s Remaining CPU time: 1716.47 s c Elapsed CPU time: 83.7593 s Remaining CPU time: 1716.24 s c Elapsed CPU time: 83.9902 s Remaining CPU time: 1716.01 s c Elapsed CPU time: 84.2202 s Remaining CPU time: 1715.78 s c Elapsed CPU time: 84.4542 s Remaining CPU time: 1715.55 s c Elapsed CPU time: 84.6871 s Remaining CPU time: 1715.31 s c Elapsed CPU time: 84.9151 s Remaining CPU time: 1715.08 s c Elapsed CPU time: 85.1481 s Remaining CPU time: 1714.85 s c Elapsed CPU time: 85.38 s Remaining CPU time: 1714.62 s c Elapsed CPU time: 85.614 s Remaining CPU time: 1714.39 s c Elapsed CPU time: 85.8459 s Remaining CPU time: 1714.15 s c Elapsed CPU time: 86.0769 s Remaining CPU time: 1713.92 s c Elapsed CPU time: 86.3079 s Remaining CPU time: 1713.69 s c Elapsed CPU time: 86.5428 s Remaining CPU time: 1713.46 s c Elapsed CPU time: 86.7748 s Remaining CPU time: 1713.23 s c Elapsed CPU time: 87.0068 s Remaining CPU time: 1712.99 s c Elapsed CPU time: 87.2407 s Remaining CPU time: 1712.76 s c Elapsed CPU time: 87.4747 s Remaining CPU time: 1712.53 s c Elapsed CPU time: 87.7097 s Remaining CPU time: 1712.29 s c Elapsed CPU time: 87.9446 s Remaining CPU time: 1712.06 s c Elapsed CPU time: 88.1816 s Remaining CPU time: 1711.82 s c Elapsed CPU time: 88.4176 s Remaining CPU time: 1711.58 s c Elapsed CPU time: 88.6555 s Remaining CPU time: 1711.34 s c Elapsed CPU time: 88.8905 s Remaining CPU time: 1711.11 s c Elapsed CPU time: 89.1265 s Remaining CPU time: 1710.87 s c Elapsed CPU time: 89.3604 s Remaining CPU time: 1710.64 s c Elapsed CPU time: 89.5974 s Remaining CPU time: 1710.4 s c Elapsed CPU time: 89.8333 s Remaining CPU time: 1710.17 s c Elapsed CPU time: 90.0703 s Remaining CPU time: 1709.93 s c Elapsed CPU time: 90.3063 s Remaining CPU time: 1709.69 s c Elapsed CPU time: 90.5462 s Remaining CPU time: 1709.45 s c Elapsed CPU time: 90.7842 s Remaining CPU time: 1709.22 s c Elapsed CPU time: 91.0232 s Remaining CPU time: 1708.98 s c Elapsed CPU time: 91.2611 s Remaining CPU time: 1708.74 s c Elapsed CPU time: 91.4991 s Remaining CPU time: 1708.5 s c Elapsed CPU time: 91.7411 s Remaining CPU time: 1708.26 s c Elapsed CPU time: 91.978 s Remaining CPU time: 1708.02 s c Elapsed CPU time: 92.215 s Remaining CPU time: 1707.79 s c Elapsed CPU time: 92.4529 s Remaining CPU time: 1707.55 s c Elapsed CPU time: 92.6909 s Remaining CPU time: 1707.31 s c Elapsed CPU time: 92.9319 s Remaining CPU time: 1707.07 s c Elapsed CPU time: 93.1728 s Remaining CPU time: 1706.83 s c Elapsed CPU time: 93.4178 s Remaining CPU time: 1706.58 s c Elapsed CPU time: 93.6628 s Remaining CPU time: 1706.34 s c Elapsed CPU time: 93.9037 s Remaining CPU time: 1706.1 s c Elapsed CPU time: 94.1467 s Remaining CPU time: 1705.85 s c Elapsed CPU time: 94.3897 s Remaining CPU time: 1705.61 s c Elapsed CPU time: 94.6356 s Remaining CPU time: 1705.36 s c Elapsed CPU time: 94.8816 s Remaining CPU time: 1705.12 s c Elapsed CPU time: 95.1245 s Remaining CPU time: 1704.88 s c Elapsed CPU time: 95.3685 s Remaining CPU time: 1704.63 s c Elapsed CPU time: 95.6135 s Remaining CPU time: 1704.39 s c Elapsed CPU time: 95.8584 s Remaining CPU time: 1704.14 s c Elapsed CPU time: 96.1034 s Remaining CPU time: 1703.9 s c Elapsed CPU time: 96.3464 s Remaining CPU time: 1703.65 s c Elapsed CPU time: 96.5923 s Remaining CPU time: 1703.41 s c Elapsed CPU time: 96.8373 s Remaining CPU time: 1703.16 s c Elapsed CPU time: 97.0832 s Remaining CPU time: 1702.92 s c Elapsed CPU time: 97.3302 s Remaining CPU time: 1702.67 s c Elapsed CPU time: 97.5772 s Remaining CPU time: 1702.42 s c Elapsed CPU time: 97.8251 s Remaining CPU time: 1702.17 s c Elapsed CPU time: 98.0711 s Remaining CPU time: 1701.93 s c Elapsed CPU time: 98.3201 s Remaining CPU time: 1701.68 s c Elapsed CPU time: 98.563 s Remaining CPU time: 1701.44 s c Elapsed CPU time: 98.811 s Remaining CPU time: 1701.19 s c Elapsed CPU time: 99.0559 s Remaining CPU time: 1700.94 s c Elapsed CPU time: 99.3029 s Remaining CPU time: 1700.7 s c Elapsed CPU time: 99.5529 s Remaining CPU time: 1700.45 s c Elapsed CPU time: 99.8068 s Remaining CPU time: 1700.19 s c Elapsed CPU time: 100.052 s Remaining CPU time: 1699.95 s c Elapsed CPU time: 100.302 s Remaining CPU time: 1699.7 s c Elapsed CPU time: 100.553 s Remaining CPU time: 1699.45 s c Elapsed CPU time: 100.8 s Remaining CPU time: 1699.2 s c Elapsed CPU time: 101.051 s Remaining CPU time: 1698.95 s c Elapsed CPU time: 101.297 s Remaining CPU time: 1698.7 s c Elapsed CPU time: 101.546 s Remaining CPU time: 1698.45 s c Elapsed CPU time: 101.794 s Remaining CPU time: 1698.21 s c Elapsed CPU time: 102.044 s Remaining CPU time: 1697.96 s c Elapsed CPU time: 102.295 s Remaining CPU time: 1697.7 s c Elapsed CPU time: 102.549 s Remaining CPU time: 1697.45 s c Elapsed CPU time: 102.802 s Remaining CPU time: 1697.2 s c Elapsed CPU time: 103.051 s Remaining CPU time: 1696.95 s c Elapsed CPU time: 103.3 s Remaining CPU time: 1696.7 s c Elapsed CPU time: 103.551 s Remaining CPU time: 1696.45 s c Elapsed CPU time: 103.803 s Remaining CPU time: 1696.2 s c Elapsed CPU time: 104.053 s Remaining CPU time: 1695.95 s c Elapsed CPU time: 104.304 s Remaining CPU time: 1695.7 s c Elapsed CPU time: 104.556 s Remaining CPU time: 1695.44 s c Elapsed CPU time: 104.805 s Remaining CPU time: 1695.19 s c Elapsed CPU time: 105.055 s Remaining CPU time: 1694.94 s c Elapsed CPU time: 105.309 s Remaining CPU time: 1694.69 s c Elapsed CPU time: 105.565 s Remaining CPU time: 1694.44 s c Elapsed CPU time: 105.821 s Remaining CPU time: 1694.18 s c Elapsed CPU time: 106.076 s Remaining CPU time: 1693.92 s c Elapsed CPU time: 106.33 s Remaining CPU time: 1693.67 s c Elapsed CPU time: 106.588 s Remaining CPU time: 1693.41 s c Elapsed CPU time: 106.852 s Remaining CPU time: 1693.15 s c Elapsed CPU time: 107.111 s Remaining CPU time: 1692.89 s c Elapsed CPU time: 107.367 s Remaining CPU time: 1692.63 s c Elapsed CPU time: 107.628 s Remaining CPU time: 1692.37 s c Elapsed CPU time: 107.892 s Remaining CPU time: 1692.11 s c Elapsed CPU time: 108.154 s Remaining CPU time: 1691.85 s c Elapsed CPU time: 108.41 s Remaining CPU time: 1691.59 s c Elapsed CPU time: 108.673 s Remaining CPU time: 1691.33 s c Elapsed CPU time: 108.937 s Remaining CPU time: 1691.06 s c Elapsed CPU time: 109.21 s Remaining CPU time: 1690.79 s c Elapsed CPU time: 109.469 s Remaining CPU time: 1690.53 s c Elapsed CPU time: 109.735 s Remaining CPU time: 1690.26 s c Elapsed CPU time: 109.997 s Remaining CPU time: 1690 s c Elapsed CPU time: 110.261 s Remaining CPU time: 1689.74 s c Elapsed CPU time: 110.522 s Remaining CPU time: 1689.48 s c Elapsed CPU time: 110.786 s Remaining CPU time: 1689.21 s c Elapsed CPU time: 111.048 s Remaining CPU time: 1688.95 s c Elapsed CPU time: 111.312 s Remaining CPU time: 1688.69 s c Elapsed CPU time: 111.575 s Remaining CPU time: 1688.42 s c Elapsed CPU time: 111.84 s Remaining CPU time: 1688.16 s c Elapsed CPU time: 112.11 s Remaining CPU time: 1687.89 s c Elapsed CPU time: 112.377 s Remaining CPU time: 1687.62 s c Elapsed CPU time: 112.647 s Remaining CPU time: 1687.35 s c Elapsed CPU time: 112.91 s Remaining CPU time: 1687.09 s c Elapsed CPU time: 113.176 s Remaining CPU time: 1686.82 s c Elapsed CPU time: 113.445 s Remaining CPU time: 1686.56 s c Elapsed CPU time: 113.71 s Remaining CPU time: 1686.29 s c Elapsed CPU time: 113.976 s Remaining CPU time: 1686.02 s c Elapsed CPU time: 114.268 s Remaining CPU time: 1685.73 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 20243 140641 243293 | 46880 0 nan | 0.000 % | c | 100 | 20243 140641 243293 | 51568 100 158 | 61.189 % | c =============================================================================== c Elapsed CPU time: 114.73 s Remaining CPU time: 1685.27 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 20680 140642 244625 | 46880 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 115.025 s Remaining CPU time: 1684.98 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 20880 140643 246476 | 46881 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 115.328 s Remaining CPU time: 1684.67 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 21044 140644 248342 | 46881 0 nan | 0.000 % | c | 101 | 21013 140644 248342 | 51569 101 205 | 60.295 % | c | 251 | 20546 140644 248342 | 56726 182 116 | 60.868 % | c | 479 | 20543 140644 248342 | 62399 410 67 | 60.881 % | c | 818 | 20512 140644 248342 | 68638 738 46 | 61.068 % | c | 1324 | 20147 140644 248342 | 75502 1219 50 | 61.619 % | c | 2083 | 17849 140644 248342 | 83053 1869 59 | 66.003 % | c =============================================================================== c Verified 140644 original clauses.