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.183972 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.405938 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.515921 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.626904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.737887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.847871 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.956854 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.06784 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.17882 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2898 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.40079 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.51177 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.73274 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.84372 s Remaining CPU time: 1798.16 s c Elapsed CPU time: 1.9567 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 2.06768 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.17967 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.29165 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.40363 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.51562 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6336 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.74858 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.86256 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.97755 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 3.09253 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.20651 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.3205 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.43348 s Remaining CPU time: 1796.57 s c Elapsed CPU time: 3.54546 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.65944 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.77443 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.00439 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.11837 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.23436 s Remaining CPU time: 1795.77 s c Elapsed CPU time: 4.34934 s Remaining CPU time: 1795.65 s c Elapsed CPU time: 4.46432 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.5793 s Remaining CPU time: 1795.42 s c Elapsed CPU time: 4.69529 s Remaining CPU time: 1795.3 s c Elapsed CPU time: 4.81027 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.92625 s Remaining CPU time: 1795.07 s c Elapsed CPU time: 5.04123 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.38618 s Remaining CPU time: 1794.61 s c Elapsed CPU time: 5.50116 s Remaining CPU time: 1794.5 s c Elapsed CPU time: 5.61715 s Remaining CPU time: 1794.38 s c Elapsed CPU time: 5.73313 s Remaining CPU time: 1794.27 s c Elapsed CPU time: 5.84911 s Remaining CPU time: 1794.15 s c Elapsed CPU time: 5.96409 s Remaining CPU time: 1794.04 s c Elapsed CPU time: 6.07907 s Remaining CPU time: 1793.92 s c Elapsed CPU time: 6.19406 s Remaining CPU time: 1793.81 s c Elapsed CPU time: 6.31004 s Remaining CPU time: 1793.69 s c Elapsed CPU time: 6.42702 s Remaining CPU time: 1793.57 s c Elapsed CPU time: 6.54101 s Remaining CPU time: 1793.46 s c Elapsed CPU time: 6.65599 s Remaining CPU time: 1793.34 s c Elapsed CPU time: 6.77097 s Remaining CPU time: 1793.23 s c Elapsed CPU time: 6.88595 s Remaining CPU time: 1793.11 s c Elapsed CPU time: 7.00293 s Remaining CPU time: 1793 s c Elapsed CPU time: 7.11892 s Remaining CPU time: 1792.88 s c Elapsed CPU time: 7.2379 s Remaining CPU time: 1792.76 s c Elapsed CPU time: 7.35288 s Remaining CPU time: 1792.65 s c Elapsed CPU time: 7.46886 s Remaining CPU time: 1792.53 s c Elapsed CPU time: 7.58585 s Remaining CPU time: 1792.41 s c Elapsed CPU time: 7.70183 s Remaining CPU time: 1792.3 s c Elapsed CPU time: 7.81681 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.93379 s Remaining CPU time: 1792.07 s c Elapsed CPU time: 8.04878 s Remaining CPU time: 1791.95 s c Elapsed CPU time: 8.16576 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.28074 s Remaining CPU time: 1791.72 s c Elapsed CPU time: 8.39672 s Remaining CPU time: 1791.6 s c Elapsed CPU time: 8.51071 s Remaining CPU time: 1791.49 s c Elapsed CPU time: 8.62769 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.74267 s Remaining CPU time: 1791.26 s c Elapsed CPU time: 8.86065 s Remaining CPU time: 1791.14 s c Elapsed CPU time: 8.97763 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 9.09462 s Remaining CPU time: 1790.91 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.44456 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.67753 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.91049 s Remaining CPU time: 1790.09 s c Elapsed CPU time: 10.0265 s Remaining CPU time: 1789.97 s c Elapsed CPU time: 10.1415 s Remaining CPU time: 1789.86 s c Elapsed CPU time: 10.2584 s Remaining CPU time: 1789.74 s c Elapsed CPU time: 10.3754 s Remaining CPU time: 1789.62 s c Elapsed CPU time: 10.4914 s Remaining CPU time: 1789.51 s c Elapsed CPU time: 10.6074 s Remaining CPU time: 1789.39 s c Elapsed CPU time: 10.7244 s Remaining CPU time: 1789.28 s c Elapsed CPU time: 10.8424 s Remaining CPU time: 1789.16 s c Elapsed CPU time: 10.9593 s Remaining CPU time: 1789.04 s c Elapsed CPU time: 11.0763 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.1933 s Remaining CPU time: 1788.81 s c Elapsed CPU time: 11.3103 s Remaining CPU time: 1788.69 s c Elapsed CPU time: 11.4263 s Remaining CPU time: 1788.57 s c Elapsed CPU time: 11.5442 s Remaining CPU time: 1788.46 s c Elapsed CPU time: 11.6612 s Remaining CPU time: 1788.34 s c Elapsed CPU time: 11.7782 s Remaining CPU time: 1788.22 s c Elapsed CPU time: 11.8942 s Remaining CPU time: 1788.11 s c Elapsed CPU time: 12.0112 s Remaining CPU time: 1787.99 s c Elapsed CPU time: 12.1282 s Remaining CPU time: 1787.87 s c Elapsed CPU time: 12.2451 s Remaining CPU time: 1787.75 s c Elapsed CPU time: 12.3621 s Remaining CPU time: 1787.64 s c Elapsed CPU time: 12.4791 s Remaining CPU time: 1787.52 s c Elapsed CPU time: 12.5951 s Remaining CPU time: 1787.4 s c Elapsed CPU time: 12.7121 s Remaining CPU time: 1787.29 s c Elapsed CPU time: 12.828 s Remaining CPU time: 1787.17 s c Elapsed CPU time: 12.944 s Remaining CPU time: 1787.06 s c Elapsed CPU time: 13.061 s Remaining CPU time: 1786.94 s c Elapsed CPU time: 13.177 s Remaining CPU time: 1786.82 s c Elapsed CPU time: 13.294 s Remaining CPU time: 1786.71 s c Elapsed CPU time: 13.41 s Remaining CPU time: 1786.59 s c Elapsed CPU time: 13.5269 s Remaining CPU time: 1786.47 s c Elapsed CPU time: 13.6449 s Remaining CPU time: 1786.36 s c Elapsed CPU time: 13.7629 s Remaining CPU time: 1786.24 s c Elapsed CPU time: 13.8809 s Remaining CPU time: 1786.12 s c Elapsed CPU time: 13.9969 s Remaining CPU time: 1786 s c Elapsed CPU time: 14.1139 s Remaining CPU time: 1785.89 s c Elapsed CPU time: 14.2308 s Remaining CPU time: 1785.77 s c Elapsed CPU time: 14.3478 s Remaining CPU time: 1785.65 s c Elapsed CPU time: 14.4638 s Remaining CPU time: 1785.54 s c Elapsed CPU time: 14.5808 s Remaining CPU time: 1785.42 s c Elapsed CPU time: 14.6978 s Remaining CPU time: 1785.3 s c Elapsed CPU time: 14.8157 s Remaining CPU time: 1785.18 s c Elapsed CPU time: 14.9317 s Remaining CPU time: 1785.07 s c Elapsed CPU time: 15.0497 s Remaining CPU time: 1784.95 s c Elapsed CPU time: 15.1677 s Remaining CPU time: 1784.83 s c Elapsed CPU time: 15.2857 s Remaining CPU time: 1784.71 s c Elapsed CPU time: 15.4037 s Remaining CPU time: 1784.6 s c Elapsed CPU time: 15.5206 s Remaining CPU time: 1784.48 s c Elapsed CPU time: 15.6376 s Remaining CPU time: 1784.36 s c Elapsed CPU time: 15.7546 s Remaining CPU time: 1784.25 s c Elapsed CPU time: 15.8736 s Remaining CPU time: 1784.13 s c Elapsed CPU time: 15.9926 s Remaining CPU time: 1784.01 s c Elapsed CPU time: 16.1105 s Remaining CPU time: 1783.89 s c Elapsed CPU time: 16.2275 s Remaining CPU time: 1783.77 s c Elapsed CPU time: 16.3455 s Remaining CPU time: 1783.65 s c Elapsed CPU time: 16.4635 s Remaining CPU time: 1783.54 s c Elapsed CPU time: 16.5815 s Remaining CPU time: 1783.42 s c Elapsed CPU time: 16.6985 s Remaining CPU time: 1783.3 s c Elapsed CPU time: 16.8174 s Remaining CPU time: 1783.18 s c Elapsed CPU time: 16.9364 s Remaining CPU time: 1783.06 s c Elapsed CPU time: 17.0534 s Remaining CPU time: 1782.95 s c Elapsed CPU time: 17.1704 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.2914 s Remaining CPU time: 1782.71 s c Elapsed CPU time: 17.4094 s Remaining CPU time: 1782.59 s c Elapsed CPU time: 17.5273 s Remaining CPU time: 1782.47 s c Elapsed CPU time: 17.6453 s Remaining CPU time: 1782.35 s c Elapsed CPU time: 17.7633 s Remaining CPU time: 1782.24 s c Elapsed CPU time: 17.8823 s Remaining CPU time: 1782.12 s c Elapsed CPU time: 18.0013 s Remaining CPU time: 1782 s c Elapsed CPU time: 18.1202 s Remaining CPU time: 1781.88 s c Elapsed CPU time: 18.2392 s Remaining CPU time: 1781.76 s c Elapsed CPU time: 18.3582 s Remaining CPU time: 1781.64 s c Elapsed CPU time: 18.4782 s Remaining CPU time: 1781.52 s c Elapsed CPU time: 18.5962 s Remaining CPU time: 1781.4 s c Elapsed CPU time: 18.7152 s Remaining CPU time: 1781.28 s c Elapsed CPU time: 18.8351 s Remaining CPU time: 1781.16 s c Elapsed CPU time: 18.9571 s Remaining CPU time: 1781.04 s c Elapsed CPU time: 19.0761 s Remaining CPU time: 1780.92 s c Elapsed CPU time: 19.1971 s Remaining CPU time: 1780.8 s c Elapsed CPU time: 19.3161 s Remaining CPU time: 1780.68 s c Elapsed CPU time: 19.437 s Remaining CPU time: 1780.56 s c Elapsed CPU time: 19.557 s Remaining CPU time: 1780.44 s c Elapsed CPU time: 19.679 s Remaining CPU time: 1780.32 s c Elapsed CPU time: 19.8 s Remaining CPU time: 1780.2 s c Elapsed CPU time: 19.92 s Remaining CPU time: 1780.08 s c Elapsed CPU time: 20.041 s Remaining CPU time: 1779.96 s c Elapsed CPU time: 20.1619 s Remaining CPU time: 1779.84 s c Elapsed CPU time: 20.2819 s Remaining CPU time: 1779.72 s c Elapsed CPU time: 20.4029 s Remaining CPU time: 1779.6 s c Elapsed CPU time: 20.5249 s Remaining CPU time: 1779.48 s c Elapsed CPU time: 20.6449 s Remaining CPU time: 1779.36 s c Elapsed CPU time: 20.7638 s Remaining CPU time: 1779.24 s c Elapsed CPU time: 20.8848 s Remaining CPU time: 1779.12 s c Elapsed CPU time: 21.0048 s Remaining CPU time: 1779 s c Elapsed CPU time: 21.1268 s Remaining CPU time: 1778.87 s c Elapsed CPU time: 21.2518 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.5047 s Remaining CPU time: 1778.5 s c Elapsed CPU time: 21.6317 s Remaining CPU time: 1778.37 s c Elapsed CPU time: 21.7597 s Remaining CPU time: 1778.24 s c Elapsed CPU time: 21.8897 s Remaining CPU time: 1778.11 s c Elapsed CPU time: 22.0177 s Remaining CPU time: 1777.98 s c Elapsed CPU time: 22.1476 s Remaining CPU time: 1777.85 s c Elapsed CPU time: 22.2766 s Remaining CPU time: 1777.72 s c Elapsed CPU time: 22.4066 s Remaining CPU time: 1777.59 s c Elapsed CPU time: 22.5366 s Remaining CPU time: 1777.46 s c Elapsed CPU time: 22.6666 s Remaining CPU time: 1777.33 s c Elapsed CPU time: 22.7975 s Remaining CPU time: 1777.2 s c Elapsed CPU time: 22.9285 s Remaining CPU time: 1777.07 s c Elapsed CPU time: 23.0595 s Remaining CPU time: 1776.94 s c Elapsed CPU time: 23.1915 s Remaining CPU time: 1776.81 s c Elapsed CPU time: 23.3235 s Remaining CPU time: 1776.68 s c Elapsed CPU time: 23.4564 s Remaining CPU time: 1776.54 s c Elapsed CPU time: 23.5884 s Remaining CPU time: 1776.41 s c Elapsed CPU time: 23.7214 s Remaining CPU time: 1776.28 s c Elapsed CPU time: 23.8534 s Remaining CPU time: 1776.15 s c Elapsed CPU time: 23.9874 s Remaining CPU time: 1776.01 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113042 217623 | 37680 0 nan | 0.000 % | c =============================================================================== c Verified 113042 original clauses.