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.186971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.511922 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.730888 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.839872 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.948855 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 1.05784 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.16682 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.27481 s Remaining CPU time: 1798.73 s c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s c Elapsed CPU time: 1.49477 s Remaining CPU time: 1798.51 s c Elapsed CPU time: 1.60376 s Remaining CPU time: 1798.4 s c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s c Elapsed CPU time: 1.82472 s Remaining CPU time: 1798.18 s c Elapsed CPU time: 1.93571 s Remaining CPU time: 1798.06 s c Elapsed CPU time: 2.04369 s Remaining CPU time: 1797.96 s c Elapsed CPU time: 2.15567 s Remaining CPU time: 1797.84 s c Elapsed CPU time: 2.26765 s Remaining CPU time: 1797.73 s c Elapsed CPU time: 2.37864 s Remaining CPU time: 1797.62 s c Elapsed CPU time: 2.48862 s Remaining CPU time: 1797.51 s c Elapsed CPU time: 2.59761 s Remaining CPU time: 1797.4 s c Elapsed CPU time: 2.70759 s Remaining CPU time: 1797.29 s c Elapsed CPU time: 2.82057 s Remaining CPU time: 1797.18 s c Elapsed CPU time: 2.93255 s Remaining CPU time: 1797.07 s c Elapsed CPU time: 3.04754 s Remaining CPU time: 1796.95 s c Elapsed CPU time: 3.15952 s Remaining CPU time: 1796.84 s c Elapsed CPU time: 3.2735 s Remaining CPU time: 1796.73 s c Elapsed CPU time: 3.38648 s Remaining CPU time: 1796.61 s c Elapsed CPU time: 3.49847 s Remaining CPU time: 1796.5 s c Elapsed CPU time: 3.61045 s Remaining CPU time: 1796.39 s c Elapsed CPU time: 3.72343 s Remaining CPU time: 1796.28 s c Elapsed CPU time: 3.83742 s Remaining CPU time: 1796.16 s c Elapsed CPU time: 3.9494 s Remaining CPU time: 1796.05 s c Elapsed CPU time: 4.06038 s Remaining CPU time: 1795.94 s c Elapsed CPU time: 4.17337 s Remaining CPU time: 1795.83 s c Elapsed CPU time: 4.28735 s Remaining CPU time: 1795.71 s c Elapsed CPU time: 4.39933 s Remaining CPU time: 1795.6 s c Elapsed CPU time: 4.51331 s Remaining CPU time: 1795.49 s c Elapsed CPU time: 4.6263 s Remaining CPU time: 1795.37 s c Elapsed CPU time: 4.74028 s Remaining CPU time: 1795.26 s c Elapsed CPU time: 4.85426 s Remaining CPU time: 1795.15 s c Elapsed CPU time: 4.96624 s Remaining CPU time: 1795.03 s c Elapsed CPU time: 5.08023 s Remaining CPU time: 1794.92 s c Elapsed CPU time: 5.19521 s Remaining CPU time: 1794.8 s c Elapsed CPU time: 5.30819 s Remaining CPU time: 1794.69 s c Elapsed CPU time: 5.42417 s Remaining CPU time: 1794.58 s c Elapsed CPU time: 5.53716 s Remaining CPU time: 1794.46 s c Elapsed CPU time: 5.65314 s Remaining CPU time: 1794.35 s c Elapsed CPU time: 5.76612 s Remaining CPU time: 1794.23 s c Elapsed CPU time: 5.8811 s Remaining CPU time: 1794.12 s c Elapsed CPU time: 5.99409 s Remaining CPU time: 1794.01 s c Elapsed CPU time: 6.10807 s Remaining CPU time: 1793.89 s c Elapsed CPU time: 6.22205 s Remaining CPU time: 1793.78 s c Elapsed CPU time: 6.33504 s Remaining CPU time: 1793.66 s c Elapsed CPU time: 6.45102 s Remaining CPU time: 1793.55 s c Elapsed CPU time: 6.565 s Remaining CPU time: 1793.43 s c Elapsed CPU time: 6.67998 s Remaining CPU time: 1793.32 s c Elapsed CPU time: 6.79497 s Remaining CPU time: 1793.21 s c Elapsed CPU time: 6.90895 s Remaining CPU time: 1793.09 s c Elapsed CPU time: 7.02293 s Remaining CPU time: 1792.98 s c Elapsed CPU time: 7.13692 s Remaining CPU time: 1792.86 s c Elapsed CPU time: 7.2539 s Remaining CPU time: 1792.75 s c Elapsed CPU time: 7.36788 s Remaining CPU time: 1792.63 s c Elapsed CPU time: 7.48386 s Remaining CPU time: 1792.52 s c Elapsed CPU time: 7.59884 s Remaining CPU time: 1792.4 s c Elapsed CPU time: 7.71283 s Remaining CPU time: 1792.29 s c Elapsed CPU time: 7.82781 s Remaining CPU time: 1792.17 s c Elapsed CPU time: 7.94379 s Remaining CPU time: 1792.06 s c Elapsed CPU time: 8.05877 s Remaining CPU time: 1791.94 s c Elapsed CPU time: 8.17276 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.28774 s Remaining CPU time: 1791.71 s c Elapsed CPU time: 8.40372 s Remaining CPU time: 1791.6 s c Elapsed CPU time: 8.5197 s Remaining CPU time: 1791.48 s c Elapsed CPU time: 8.63369 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.86365 s Remaining CPU time: 1791.14 s c Elapsed CPU time: 8.97963 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 9.09562 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.2116 s Remaining CPU time: 1790.79 s c Elapsed CPU time: 9.32758 s Remaining CPU time: 1790.67 s c Elapsed CPU time: 9.44356 s Remaining CPU time: 1790.56 s c Elapsed CPU time: 9.56055 s Remaining CPU time: 1790.44 s c Elapsed CPU time: 9.67653 s Remaining CPU time: 1790.32 s c Elapsed CPU time: 9.79351 s Remaining CPU time: 1790.21 s c Elapsed CPU time: 9.90949 s Remaining CPU time: 1790.09 s c Elapsed CPU time: 10.0255 s Remaining CPU time: 1789.97 s c Elapsed CPU time: 10.1425 s Remaining CPU time: 1789.86 s c Elapsed CPU time: 10.2594 s Remaining CPU time: 1789.74 s c Elapsed CPU time: 10.3784 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.6104 s Remaining CPU time: 1789.39 s c Elapsed CPU time: 10.7274 s Remaining CPU time: 1789.27 s c Elapsed CPU time: 10.8454 s Remaining CPU time: 1789.15 s c Elapsed CPU time: 10.9603 s Remaining CPU time: 1789.04 s c Elapsed CPU time: 11.0773 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.1943 s Remaining CPU time: 1788.81 s c Elapsed CPU time: 11.3123 s Remaining CPU time: 1788.69 s c Elapsed CPU time: 11.4303 s Remaining CPU time: 1788.57 s c Elapsed CPU time: 11.5472 s Remaining CPU time: 1788.45 s c Elapsed CPU time: 11.6642 s Remaining CPU time: 1788.34 s c Elapsed CPU time: 11.7832 s Remaining CPU time: 1788.22 s c Elapsed CPU time: 11.9002 s Remaining CPU time: 1788.1 s c Elapsed CPU time: 12.0182 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.3721 s Remaining CPU time: 1787.63 s c Elapsed CPU time: 12.4891 s Remaining CPU time: 1787.51 s c Elapsed CPU time: 12.6071 s Remaining CPU time: 1787.39 s c Elapsed CPU time: 12.7231 s Remaining CPU time: 1787.28 s c Elapsed CPU time: 12.841 s Remaining CPU time: 1787.16 s c Elapsed CPU time: 12.96 s Remaining CPU time: 1787.04 s c Elapsed CPU time: 13.078 s Remaining CPU time: 1786.92 s c Elapsed CPU time: 13.196 s Remaining CPU time: 1786.8 s c Elapsed CPU time: 13.315 s Remaining CPU time: 1786.69 s c Elapsed CPU time: 13.433 s Remaining CPU time: 1786.57 s c Elapsed CPU time: 13.5499 s Remaining CPU time: 1786.45 s c Elapsed CPU time: 13.6669 s Remaining CPU time: 1786.33 s c Elapsed CPU time: 13.7869 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.9049 s Remaining CPU time: 1786.1 s c Elapsed CPU time: 14.0239 s Remaining CPU time: 1785.98 s c Elapsed CPU time: 14.1428 s Remaining CPU time: 1785.86 s c Elapsed CPU time: 14.2618 s Remaining CPU time: 1785.74 s c Elapsed CPU time: 14.3798 s Remaining CPU time: 1785.62 s c Elapsed CPU time: 14.4978 s Remaining CPU time: 1785.5 s c Elapsed CPU time: 14.6148 s Remaining CPU time: 1785.39 s c Elapsed CPU time: 14.7338 s Remaining CPU time: 1785.27 s c Elapsed CPU time: 14.8507 s Remaining CPU time: 1785.15 s c Elapsed CPU time: 14.9697 s Remaining CPU time: 1785.03 s c Elapsed CPU time: 15.0877 s Remaining CPU time: 1784.91 s c Elapsed CPU time: 15.2067 s Remaining CPU time: 1784.79 s c Elapsed CPU time: 15.3257 s Remaining CPU time: 1784.67 s c Elapsed CPU time: 15.4437 s Remaining CPU time: 1784.56 s c Elapsed CPU time: 15.5596 s Remaining CPU time: 1784.44 s c Elapsed CPU time: 15.6756 s Remaining CPU time: 1784.32 s c Elapsed CPU time: 15.7966 s Remaining CPU time: 1784.2 s c Elapsed CPU time: 15.9156 s Remaining CPU time: 1784.08 s c Elapsed CPU time: 16.0346 s Remaining CPU time: 1783.97 s c Elapsed CPU time: 16.1535 s Remaining CPU time: 1783.85 s c Elapsed CPU time: 16.2725 s Remaining CPU time: 1783.73 s c Elapsed CPU time: 16.3915 s Remaining CPU time: 1783.61 s c Elapsed CPU time: 16.5095 s Remaining CPU time: 1783.49 s c Elapsed CPU time: 16.6285 s Remaining CPU time: 1783.37 s c Elapsed CPU time: 16.7475 s Remaining CPU time: 1783.25 s c Elapsed CPU time: 16.8674 s Remaining CPU time: 1783.13 s c Elapsed CPU time: 16.9854 s Remaining CPU time: 1783.01 s c Elapsed CPU time: 17.1054 s Remaining CPU time: 1782.89 s c Elapsed CPU time: 17.2234 s Remaining CPU time: 1782.78 s c Elapsed CPU time: 17.3434 s Remaining CPU time: 1782.66 s c Elapsed CPU time: 17.4623 s Remaining CPU time: 1782.54 s c Elapsed CPU time: 17.5823 s Remaining CPU time: 1782.42 s c Elapsed CPU time: 17.7023 s Remaining CPU time: 1782.3 s c Elapsed CPU time: 17.8223 s Remaining CPU time: 1782.18 s c Elapsed CPU time: 17.9423 s Remaining CPU time: 1782.06 s c Elapsed CPU time: 18.0633 s Remaining CPU time: 1781.94 s c Elapsed CPU time: 18.1842 s Remaining CPU time: 1781.82 s c Elapsed CPU time: 18.3052 s Remaining CPU time: 1781.69 s c Elapsed CPU time: 18.4262 s Remaining CPU time: 1781.57 s c Elapsed CPU time: 18.5472 s Remaining CPU time: 1781.45 s c Elapsed CPU time: 18.6662 s Remaining CPU time: 1781.33 s c Elapsed CPU time: 18.7861 s Remaining CPU time: 1781.21 s c Elapsed CPU time: 18.9041 s Remaining CPU time: 1781.1 s c Elapsed CPU time: 19.0231 s Remaining CPU time: 1780.98 s c Elapsed CPU time: 19.1401 s Remaining CPU time: 1780.86 s c Elapsed CPU time: 19.2591 s Remaining CPU time: 1780.74 s c Elapsed CPU time: 19.3801 s Remaining CPU time: 1780.62 s c Elapsed CPU time: 19.498 s Remaining CPU time: 1780.5 s c Elapsed CPU time: 19.619 s Remaining CPU time: 1780.38 s c Elapsed CPU time: 19.74 s Remaining CPU time: 1780.26 s c Elapsed CPU time: 19.859 s Remaining CPU time: 1780.14 s c Elapsed CPU time: 19.979 s Remaining CPU time: 1780.02 s c Elapsed CPU time: 20.0989 s Remaining CPU time: 1779.9 s c Elapsed CPU time: 20.2189 s Remaining CPU time: 1779.78 s c Elapsed CPU time: 20.3399 s Remaining CPU time: 1779.66 s c Elapsed CPU time: 20.4609 s Remaining CPU time: 1779.54 s c Elapsed CPU time: 20.5809 s Remaining CPU time: 1779.42 s c Elapsed CPU time: 20.7019 s Remaining CPU time: 1779.3 s c Elapsed CPU time: 20.8238 s Remaining CPU time: 1779.18 s c Elapsed CPU time: 20.9448 s Remaining CPU time: 1779.06 s c Elapsed CPU time: 21.0658 s Remaining CPU time: 1778.93 s c Elapsed CPU time: 21.1868 s Remaining CPU time: 1778.81 s c Elapsed CPU time: 21.3088 s Remaining CPU time: 1778.69 s c Elapsed CPU time: 21.4307 s Remaining CPU time: 1778.57 s c Elapsed CPU time: 21.5527 s Remaining CPU time: 1778.45 s c Elapsed CPU time: 21.6767 s Remaining CPU time: 1778.32 s c Elapsed CPU time: 21.8007 s Remaining CPU time: 1778.2 s c Elapsed CPU time: 21.9237 s Remaining CPU time: 1778.08 s c Elapsed CPU time: 22.0486 s Remaining CPU time: 1777.95 s c Elapsed CPU time: 22.1726 s Remaining CPU time: 1777.83 s c Elapsed CPU time: 22.2996 s Remaining CPU time: 1777.7 s c Elapsed CPU time: 22.4246 s Remaining CPU time: 1777.58 s c Elapsed CPU time: 22.5496 s Remaining CPU time: 1777.45 s c Elapsed CPU time: 22.6736 s Remaining CPU time: 1777.33 s c Elapsed CPU time: 22.7995 s Remaining CPU time: 1777.2 s c Elapsed CPU time: 22.9235 s Remaining CPU time: 1777.08 s c Elapsed CPU time: 23.0495 s Remaining CPU time: 1776.95 s c Elapsed CPU time: 23.1745 s Remaining CPU time: 1776.83 s c Elapsed CPU time: 23.3035 s Remaining CPU time: 1776.7 s c Elapsed CPU time: 23.4294 s Remaining CPU time: 1776.57 s c Elapsed CPU time: 23.5584 s Remaining CPU time: 1776.44 s c Elapsed CPU time: 23.6844 s Remaining CPU time: 1776.32 s c Elapsed CPU time: 23.8124 s Remaining CPU time: 1776.19 s c Elapsed CPU time: 23.9394 s Remaining CPU time: 1776.06 s c Elapsed CPU time: 24.0673 s Remaining CPU time: 1775.93 s c Elapsed CPU time: 24.1943 s Remaining CPU time: 1775.81 s c Elapsed CPU time: 24.3223 s Remaining CPU time: 1775.68 s c Elapsed CPU time: 24.4503 s Remaining CPU time: 1775.55 s c Elapsed CPU time: 24.5793 s Remaining CPU time: 1775.42 s c Elapsed CPU time: 24.7072 s Remaining CPU time: 1775.29 s c Elapsed CPU time: 24.8392 s Remaining CPU time: 1775.16 s c Elapsed CPU time: 24.9672 s Remaining CPU time: 1775.03 s c Elapsed CPU time: 25.0962 s Remaining CPU time: 1774.9 s c Elapsed CPU time: 25.2232 s Remaining CPU time: 1774.78 s c Elapsed CPU time: 25.3501 s Remaining CPU time: 1774.65 s c Elapsed CPU time: 25.4781 s Remaining CPU time: 1774.52 s c Elapsed CPU time: 25.6031 s Remaining CPU time: 1774.4 s c Elapsed CPU time: 25.7331 s Remaining CPU time: 1774.27 s c Elapsed CPU time: 25.8631 s Remaining CPU time: 1774.14 s c Elapsed CPU time: 25.992 s Remaining CPU time: 1774.01 s c Elapsed CPU time: 26.122 s Remaining CPU time: 1773.88 s c Elapsed CPU time: 26.252 s Remaining CPU time: 1773.75 s c Elapsed CPU time: 26.382 s Remaining CPU time: 1773.62 s c Elapsed CPU time: 26.513 s Remaining CPU time: 1773.49 s c Elapsed CPU time: 26.6439 s Remaining CPU time: 1773.36 s c Elapsed CPU time: 26.7749 s Remaining CPU time: 1773.23 s c Elapsed CPU time: 26.9069 s Remaining CPU time: 1773.09 s c Elapsed CPU time: 27.0389 s Remaining CPU time: 1772.96 s c Elapsed CPU time: 27.1699 s Remaining CPU time: 1772.83 s c Elapsed CPU time: 27.3008 s Remaining CPU time: 1772.7 s c Elapsed CPU time: 27.4328 s Remaining CPU time: 1772.57 s c Elapsed CPU time: 27.5648 s Remaining CPU time: 1772.44 s c Elapsed CPU time: 27.6998 s Remaining CPU time: 1772.3 s c Elapsed CPU time: 27.8318 s Remaining CPU time: 1772.17 s c Elapsed CPU time: 27.9657 s Remaining CPU time: 1772.03 s c Elapsed CPU time: 28.0997 s Remaining CPU time: 1771.9 s c Elapsed CPU time: 28.2337 s Remaining CPU time: 1771.77 s c Elapsed CPU time: 28.3677 s Remaining CPU time: 1771.63 s c Elapsed CPU time: 28.5017 s Remaining CPU time: 1771.5 s c Elapsed CPU time: 28.6356 s Remaining CPU time: 1771.36 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11 113116 217720 | 37705 0 nan | 0.000 % | c =============================================================================== c Verified 113116 original clauses.