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.073988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.411937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.633903 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.742887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.85287 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.963853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.07584 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.18882 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.3008 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.52277 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63475 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.74673 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.85872 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.9697 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.07968 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.19067 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.30365 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.41563 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.52662 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6406 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.75458 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.86756 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.98155 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.09553 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.20951 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.32449 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.43948 s Remaining CPU time: 1796.56 s c Elapsed CPU time: 3.55246 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.66744 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.78242 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.89841 s Remaining CPU time: 1796.1 s c Elapsed CPU time: 4.01239 s Remaining CPU time: 1795.99 s c Elapsed CPU time: 4.12637 s Remaining CPU time: 1795.87 s c Elapsed CPU time: 4.24136 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 4.35634 s Remaining CPU time: 1795.64 s c Elapsed CPU time: 4.47132 s Remaining CPU time: 1795.53 s c Elapsed CPU time: 4.5853 s Remaining CPU time: 1795.41 s c Elapsed CPU time: 4.70029 s Remaining CPU time: 1795.3 s c Elapsed CPU time: 4.81327 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.92725 s Remaining CPU time: 1795.07 s c Elapsed CPU time: 5.04223 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.15622 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.2712 s Remaining CPU time: 1794.73 s c Elapsed CPU time: 5.38418 s Remaining CPU time: 1794.62 s c Elapsed CPU time: 5.49816 s Remaining CPU time: 1794.5 s c Elapsed CPU time: 5.61215 s Remaining CPU time: 1794.39 s c Elapsed CPU time: 5.72613 s Remaining CPU time: 1794.27 s c Elapsed CPU time: 5.84111 s Remaining CPU time: 1794.16 s c Elapsed CPU time: 5.95509 s Remaining CPU time: 1794.04 s c Elapsed CPU time: 6.06908 s Remaining CPU time: 1793.93 s c Elapsed CPU time: 6.18206 s Remaining CPU time: 1793.82 s c Elapsed CPU time: 6.29404 s Remaining CPU time: 1793.71 s c Elapsed CPU time: 6.40803 s Remaining CPU time: 1793.59 s c Elapsed CPU time: 6.52001 s Remaining CPU time: 1793.48 s c Elapsed CPU time: 6.63399 s Remaining CPU time: 1793.37 s c Elapsed CPU time: 6.74997 s Remaining CPU time: 1793.25 s c Elapsed CPU time: 6.86396 s Remaining CPU time: 1793.14 s c Elapsed CPU time: 6.97894 s Remaining CPU time: 1793.02 s c Elapsed CPU time: 7.09292 s Remaining CPU time: 1792.91 s c Elapsed CPU time: 7.2079 s Remaining CPU time: 1792.79 s c Elapsed CPU time: 7.32189 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.43687 s Remaining CPU time: 1792.56 s c Elapsed CPU time: 7.55185 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.66683 s Remaining CPU time: 1792.33 s c Elapsed CPU time: 7.78082 s Remaining CPU time: 1792.22 s c Elapsed CPU time: 7.8948 s Remaining CPU time: 1792.11 s c Elapsed CPU time: 8.00878 s Remaining CPU time: 1791.99 s c Elapsed CPU time: 8.12276 s Remaining CPU time: 1791.88 s c Elapsed CPU time: 8.23775 s Remaining CPU time: 1791.76 s c Elapsed CPU time: 8.35273 s Remaining CPU time: 1791.65 s c Elapsed CPU time: 8.46771 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.58169 s Remaining CPU time: 1791.42 s c Elapsed CPU time: 8.69768 s Remaining CPU time: 1791.3 s c Elapsed CPU time: 8.81366 s Remaining CPU time: 1791.19 s c Elapsed CPU time: 8.93064 s Remaining CPU time: 1791.07 s c Elapsed CPU time: 9.04662 s Remaining CPU time: 1790.95 s c Elapsed CPU time: 9.16061 s Remaining CPU time: 1790.84 s c Elapsed CPU time: 9.27459 s Remaining CPU time: 1790.73 s c Elapsed CPU time: 9.39157 s Remaining CPU time: 1790.61 s c Elapsed CPU time: 9.50755 s Remaining CPU time: 1790.49 s c Elapsed CPU time: 9.62254 s Remaining CPU time: 1790.38 s c Elapsed CPU time: 9.73752 s Remaining CPU time: 1790.26 s c Elapsed CPU time: 9.8535 s Remaining CPU time: 1790.15 s c Elapsed CPU time: 9.96948 s Remaining CPU time: 1790.03 s c Elapsed CPU time: 10.0845 s Remaining CPU time: 1789.92 s c Elapsed CPU time: 10.2004 s Remaining CPU time: 1789.8 s c Elapsed CPU time: 10.3174 s Remaining CPU time: 1789.68 s c Elapsed CPU time: 10.4344 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.5504 s Remaining CPU time: 1789.45 s c Elapsed CPU time: 10.6654 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.7834 s Remaining CPU time: 1789.22 s c Elapsed CPU time: 10.8993 s Remaining CPU time: 1789.1 s c Elapsed CPU time: 11.0143 s Remaining CPU time: 1788.99 s c Elapsed CPU time: 11.1303 s Remaining CPU time: 1788.87 s c Elapsed CPU time: 11.2463 s Remaining CPU time: 1788.75 s c Elapsed CPU time: 11.3613 s Remaining CPU time: 1788.64 s c Elapsed CPU time: 11.4773 s Remaining CPU time: 1788.52 s c Elapsed CPU time: 11.5922 s Remaining CPU time: 1788.41 s c Elapsed CPU time: 11.7102 s Remaining CPU time: 1788.29 s c Elapsed CPU time: 11.8272 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.9412 s Remaining CPU time: 1788.06 s c Elapsed CPU time: 12.0582 s Remaining CPU time: 1787.94 s c Elapsed CPU time: 12.1761 s Remaining CPU time: 1787.82 s c Elapsed CPU time: 12.2931 s Remaining CPU time: 1787.71 s c Elapsed CPU time: 12.4101 s Remaining CPU time: 1787.59 s c Elapsed CPU time: 12.5271 s Remaining CPU time: 1787.47 s c Elapsed CPU time: 12.6431 s Remaining CPU time: 1787.36 s c Elapsed CPU time: 12.7601 s Remaining CPU time: 1787.24 s c Elapsed CPU time: 12.878 s Remaining CPU time: 1787.12 s c Elapsed CPU time: 12.995 s Remaining CPU time: 1787 s c Elapsed CPU time: 13.112 s Remaining CPU time: 1786.89 s c Elapsed CPU time: 13.229 s Remaining CPU time: 1786.77 s c Elapsed CPU time: 13.346 s Remaining CPU time: 1786.65 s c Elapsed CPU time: 13.464 s Remaining CPU time: 1786.54 s c Elapsed CPU time: 13.5819 s Remaining CPU time: 1786.42 s c Elapsed CPU time: 13.6979 s Remaining CPU time: 1786.3 s c Elapsed CPU time: 13.8159 s Remaining CPU time: 1786.18 s c Elapsed CPU time: 13.9329 s Remaining CPU time: 1786.07 s c Elapsed CPU time: 14.0509 s Remaining CPU time: 1785.95 s c Elapsed CPU time: 14.1688 s Remaining CPU time: 1785.83 s c Elapsed CPU time: 14.2888 s Remaining CPU time: 1785.71 s c Elapsed CPU time: 14.4048 s Remaining CPU time: 1785.6 s c Elapsed CPU time: 14.5248 s Remaining CPU time: 1785.48 s c Elapsed CPU time: 14.6428 s Remaining CPU time: 1785.36 s c Elapsed CPU time: 14.7608 s Remaining CPU time: 1785.24 s c Elapsed CPU time: 14.8807 s Remaining CPU time: 1785.12 s c Elapsed CPU time: 15.0007 s Remaining CPU time: 1785 s c Elapsed CPU time: 15.1187 s Remaining CPU time: 1784.88 s c Elapsed CPU time: 15.2377 s Remaining CPU time: 1784.76 s c Elapsed CPU time: 15.3567 s Remaining CPU time: 1784.64 s c Elapsed CPU time: 15.4756 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.7136 s Remaining CPU time: 1784.29 s c Elapsed CPU time: 15.8326 s Remaining CPU time: 1784.17 s c Elapsed CPU time: 15.9526 s Remaining CPU time: 1784.05 s c Elapsed CPU time: 16.0716 s Remaining CPU time: 1783.93 s c Elapsed CPU time: 16.1905 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.3095 s Remaining CPU time: 1783.69 s c Elapsed CPU time: 16.4295 s Remaining CPU time: 1783.57 s c Elapsed CPU time: 16.5485 s Remaining CPU time: 1783.45 s c Elapsed CPU time: 16.6695 s Remaining CPU time: 1783.33 s c Elapsed CPU time: 16.7894 s Remaining CPU time: 1783.21 s c Elapsed CPU time: 16.9094 s Remaining CPU time: 1783.09 s c Elapsed CPU time: 17.0264 s Remaining CPU time: 1782.97 s c Elapsed CPU time: 17.1464 s Remaining CPU time: 1782.85 s c Elapsed CPU time: 17.2664 s Remaining CPU time: 1782.73 s c Elapsed CPU time: 17.3884 s Remaining CPU time: 1782.61 s c Elapsed CPU time: 17.5063 s Remaining CPU time: 1782.49 s c Elapsed CPU time: 17.6233 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.8633 s Remaining CPU time: 1782.14 s c Elapsed CPU time: 17.9833 s Remaining CPU time: 1782.02 s c Elapsed CPU time: 18.1032 s Remaining CPU time: 1781.9 s c Elapsed CPU time: 18.2222 s Remaining CPU time: 1781.78 s c Elapsed CPU time: 18.3412 s Remaining CPU time: 1781.66 s c Elapsed CPU time: 18.4622 s Remaining CPU time: 1781.54 s c Elapsed CPU time: 18.5832 s Remaining CPU time: 1781.42 s c Elapsed CPU time: 18.7022 s Remaining CPU time: 1781.3 s c Elapsed CPU time: 18.8211 s Remaining CPU time: 1781.18 s c Elapsed CPU time: 18.9411 s Remaining CPU time: 1781.06 s c Elapsed CPU time: 19.0601 s Remaining CPU time: 1780.94 s c Elapsed CPU time: 19.1811 s Remaining CPU time: 1780.82 s c Elapsed CPU time: 19.3021 s Remaining CPU time: 1780.7 s c Elapsed CPU time: 19.423 s Remaining CPU time: 1780.58 s c Elapsed CPU time: 19.545 s Remaining CPU time: 1780.45 s c Elapsed CPU time: 19.666 s Remaining CPU time: 1780.33 s c Elapsed CPU time: 19.788 s Remaining CPU time: 1780.21 s c Elapsed CPU time: 19.908 s Remaining CPU time: 1780.09 s c Elapsed CPU time: 20.029 s Remaining CPU time: 1779.97 s c Elapsed CPU time: 20.1499 s Remaining CPU time: 1779.85 s c Elapsed CPU time: 20.2719 s Remaining CPU time: 1779.73 s c Elapsed CPU time: 20.3939 s Remaining CPU time: 1779.61 s c Elapsed CPU time: 20.5159 s Remaining CPU time: 1779.48 s c Elapsed CPU time: 20.6379 s Remaining CPU time: 1779.36 s c Elapsed CPU time: 20.7598 s Remaining CPU time: 1779.24 s c Elapsed CPU time: 20.8798 s Remaining CPU time: 1779.12 s c Elapsed CPU time: 21.0018 s Remaining CPU time: 1779 s c Elapsed CPU time: 21.1228 s Remaining CPU time: 1778.88 s c Elapsed CPU time: 21.2448 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.3658 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.6117 s Remaining CPU time: 1778.39 s c Elapsed CPU time: 21.7377 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.9887 s Remaining CPU time: 1778.01 s c Elapsed CPU time: 22.1136 s Remaining CPU time: 1777.89 s c Elapsed CPU time: 22.2406 s Remaining CPU time: 1777.76 s c Elapsed CPU time: 22.3676 s Remaining CPU time: 1777.63 s c Elapsed CPU time: 22.4966 s Remaining CPU time: 1777.5 s c Elapsed CPU time: 22.6246 s Remaining CPU time: 1777.38 s c Elapsed CPU time: 22.7545 s Remaining CPU time: 1777.25 s c Elapsed CPU time: 22.8825 s Remaining CPU time: 1777.12 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.2715 s Remaining CPU time: 1776.73 s c Elapsed CPU time: 23.4014 s Remaining CPU time: 1776.6 s c Elapsed CPU time: 23.5314 s Remaining CPU time: 1776.47 s c Elapsed CPU time: 23.6594 s Remaining CPU time: 1776.34 s c Elapsed CPU time: 23.7884 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.0513 s Remaining CPU time: 1775.95 s c Elapsed CPU time: 24.1833 s Remaining CPU time: 1775.82 s c Elapsed CPU time: 24.3153 s Remaining CPU time: 1775.68 s c Elapsed CPU time: 24.4443 s Remaining CPU time: 1775.56 s c Elapsed CPU time: 24.5753 s Remaining CPU time: 1775.42 s c Elapsed CPU time: 24.7052 s Remaining CPU time: 1775.29 s c Elapsed CPU time: 24.8372 s Remaining CPU time: 1775.16 s c Elapsed CPU time: 24.9692 s Remaining CPU time: 1775.03 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113058 217631 | 37686 0 nan | 0.000 % | c =============================================================================== c Verified 113058 original clauses.