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.072988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.301954 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.52192 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.631903 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.741887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.85387 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.964853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.07784 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.18982 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.3028 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.41778 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.53177 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.64475 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.75773 s Remaining CPU time: 1798.24 s c Elapsed CPU time: 1.87072 s Remaining CPU time: 1798.13 s c Elapsed CPU time: 1.9807 s Remaining CPU time: 1798.02 s c Elapsed CPU time: 2.09268 s Remaining CPU time: 1797.91 s c Elapsed CPU time: 2.20466 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.31765 s Remaining CPU time: 1797.68 s c Elapsed CPU time: 2.43063 s Remaining CPU time: 1797.57 s c Elapsed CPU time: 2.54361 s Remaining CPU time: 1797.46 s c Elapsed CPU time: 2.6566 s Remaining CPU time: 1797.34 s c Elapsed CPU time: 2.77258 s Remaining CPU time: 1797.23 s c Elapsed CPU time: 2.89056 s Remaining CPU time: 1797.11 s c Elapsed CPU time: 3.00854 s Remaining CPU time: 1796.99 s c Elapsed CPU time: 3.12552 s Remaining CPU time: 1796.87 s c Elapsed CPU time: 3.24351 s Remaining CPU time: 1796.76 s c Elapsed CPU time: 3.35949 s Remaining CPU time: 1796.64 s c Elapsed CPU time: 3.47547 s Remaining CPU time: 1796.52 s c Elapsed CPU time: 3.59145 s Remaining CPU time: 1796.41 s c Elapsed CPU time: 3.70544 s Remaining CPU time: 1796.29 s c Elapsed CPU time: 3.82042 s Remaining CPU time: 1796.18 s c Elapsed CPU time: 3.9354 s Remaining CPU time: 1796.06 s c Elapsed CPU time: 4.05038 s Remaining CPU time: 1795.95 s c Elapsed CPU time: 4.16537 s Remaining CPU time: 1795.83 s c Elapsed CPU time: 4.28035 s Remaining CPU time: 1795.72 s c Elapsed CPU time: 4.39633 s Remaining CPU time: 1795.6 s c Elapsed CPU time: 4.51431 s Remaining CPU time: 1795.49 s c Elapsed CPU time: 4.63129 s Remaining CPU time: 1795.37 s c Elapsed CPU time: 4.75028 s Remaining CPU time: 1795.25 s c Elapsed CPU time: 4.86626 s Remaining CPU time: 1795.13 s c Elapsed CPU time: 4.98024 s Remaining CPU time: 1795.02 s c Elapsed CPU time: 5.09623 s Remaining CPU time: 1794.9 s c Elapsed CPU time: 5.21121 s Remaining CPU time: 1794.79 s c Elapsed CPU time: 5.32619 s Remaining CPU time: 1794.67 s c Elapsed CPU time: 5.44117 s Remaining CPU time: 1794.56 s c Elapsed CPU time: 5.55715 s Remaining CPU time: 1794.44 s c Elapsed CPU time: 5.67414 s Remaining CPU time: 1794.33 s c Elapsed CPU time: 5.79212 s Remaining CPU time: 1794.21 s c Elapsed CPU time: 5.9091 s Remaining CPU time: 1794.09 s c Elapsed CPU time: 6.02808 s Remaining CPU time: 1793.97 s c Elapsed CPU time: 6.14506 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.26305 s Remaining CPU time: 1793.74 s c Elapsed CPU time: 6.38003 s Remaining CPU time: 1793.62 s c Elapsed CPU time: 6.49601 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.61299 s Remaining CPU time: 1793.39 s c Elapsed CPU time: 6.72798 s Remaining CPU time: 1793.27 s c Elapsed CPU time: 6.84496 s Remaining CPU time: 1793.16 s c Elapsed CPU time: 6.96194 s Remaining CPU time: 1793.04 s c Elapsed CPU time: 7.07792 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.19391 s Remaining CPU time: 1792.81 s c Elapsed CPU time: 7.31189 s Remaining CPU time: 1792.69 s c Elapsed CPU time: 7.43187 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.55085 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.66983 s Remaining CPU time: 1792.33 s c Elapsed CPU time: 7.78981 s Remaining CPU time: 1792.21 s c Elapsed CPU time: 7.9068 s Remaining CPU time: 1792.09 s c Elapsed CPU time: 8.02578 s Remaining CPU time: 1791.97 s c Elapsed CPU time: 8.14276 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.37573 s Remaining CPU time: 1791.62 s c Elapsed CPU time: 8.49071 s Remaining CPU time: 1791.51 s c Elapsed CPU time: 8.60669 s Remaining CPU time: 1791.39 s c Elapsed CPU time: 8.72467 s Remaining CPU time: 1791.28 s c Elapsed CPU time: 8.84266 s Remaining CPU time: 1791.16 s c Elapsed CPU time: 8.96164 s Remaining CPU time: 1791.04 s c Elapsed CPU time: 9.08062 s Remaining CPU time: 1790.92 s c Elapsed CPU time: 9.1996 s Remaining CPU time: 1790.8 s c Elapsed CPU time: 9.31558 s Remaining CPU time: 1790.68 s c Elapsed CPU time: 9.43456 s Remaining CPU time: 1790.57 s c Elapsed CPU time: 9.54955 s Remaining CPU time: 1790.45 s c Elapsed CPU time: 9.66753 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.78551 s Remaining CPU time: 1790.21 s c Elapsed CPU time: 9.90349 s Remaining CPU time: 1790.1 s c Elapsed CPU time: 10.0225 s Remaining CPU time: 1789.98 s c Elapsed CPU time: 10.1395 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.3794 s Remaining CPU time: 1789.62 s c Elapsed CPU time: 10.4994 s Remaining CPU time: 1789.5 s c Elapsed CPU time: 10.6204 s Remaining CPU time: 1789.38 s c Elapsed CPU time: 10.7404 s Remaining CPU time: 1789.26 s c Elapsed CPU time: 10.8603 s Remaining CPU time: 1789.14 s c Elapsed CPU time: 10.9793 s Remaining CPU time: 1789.02 s c Elapsed CPU time: 11.0973 s Remaining CPU time: 1788.9 s c Elapsed CPU time: 11.2163 s Remaining CPU time: 1788.78 s c Elapsed CPU time: 11.3343 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.4513 s Remaining CPU time: 1788.55 s c Elapsed CPU time: 11.5682 s Remaining CPU time: 1788.43 s c Elapsed CPU time: 11.6872 s Remaining CPU time: 1788.31 s c Elapsed CPU time: 11.8082 s Remaining CPU time: 1788.19 s c Elapsed CPU time: 11.9272 s Remaining CPU time: 1788.07 s c Elapsed CPU time: 12.0492 s Remaining CPU time: 1787.95 s c Elapsed CPU time: 12.1671 s Remaining CPU time: 1787.83 s c Elapsed CPU time: 12.2841 s Remaining CPU time: 1787.72 s c Elapsed CPU time: 12.4021 s Remaining CPU time: 1787.6 s c Elapsed CPU time: 12.5201 s Remaining CPU time: 1787.48 s c Elapsed CPU time: 12.6371 s Remaining CPU time: 1787.36 s c Elapsed CPU time: 12.7561 s Remaining CPU time: 1787.24 s c Elapsed CPU time: 12.872 s Remaining CPU time: 1787.13 s c Elapsed CPU time: 12.992 s Remaining CPU time: 1787.01 s c Elapsed CPU time: 13.11 s Remaining CPU time: 1786.89 s c Elapsed CPU time: 13.232 s Remaining CPU time: 1786.77 s c Elapsed CPU time: 13.35 s Remaining CPU time: 1786.65 s c Elapsed CPU time: 13.468 s Remaining CPU time: 1786.53 s c Elapsed CPU time: 13.5859 s Remaining CPU time: 1786.41 s c Elapsed CPU time: 13.7049 s Remaining CPU time: 1786.3 s c Elapsed CPU time: 13.8229 s Remaining CPU time: 1786.18 s c Elapsed CPU time: 13.9419 s Remaining CPU time: 1786.06 s c Elapsed CPU time: 14.0599 s Remaining CPU time: 1785.94 s c Elapsed CPU time: 14.1808 s Remaining CPU time: 1785.82 s c Elapsed CPU time: 14.3008 s Remaining CPU time: 1785.7 s c Elapsed CPU time: 14.4218 s Remaining CPU time: 1785.58 s c Elapsed CPU time: 14.5418 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.6628 s Remaining CPU time: 1785.34 s c Elapsed CPU time: 14.7818 s Remaining CPU time: 1785.22 s c Elapsed CPU time: 14.8997 s Remaining CPU time: 1785.1 s c Elapsed CPU time: 15.0157 s Remaining CPU time: 1784.98 s c Elapsed CPU time: 15.1337 s Remaining CPU time: 1784.87 s c Elapsed CPU time: 15.2517 s Remaining CPU time: 1784.75 s c Elapsed CPU time: 15.3737 s Remaining CPU time: 1784.63 s c Elapsed CPU time: 15.4926 s Remaining CPU time: 1784.51 s c Elapsed CPU time: 15.6126 s Remaining CPU time: 1784.39 s c Elapsed CPU time: 15.7336 s Remaining CPU time: 1784.27 s c Elapsed CPU time: 15.8536 s Remaining CPU time: 1784.15 s c Elapsed CPU time: 15.9736 s Remaining CPU time: 1784.03 s c Elapsed CPU time: 16.0926 s Remaining CPU time: 1783.91 s c Elapsed CPU time: 16.2105 s Remaining CPU time: 1783.79 s c Elapsed CPU time: 16.3315 s Remaining CPU time: 1783.67 s c Elapsed CPU time: 16.4515 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5715 s Remaining CPU time: 1783.43 s c Elapsed CPU time: 16.6915 s Remaining CPU time: 1783.31 s c Elapsed CPU time: 16.8124 s Remaining CPU time: 1783.19 s c Elapsed CPU time: 16.9354 s Remaining CPU time: 1783.06 s c Elapsed CPU time: 17.0564 s Remaining CPU time: 1782.94 s c Elapsed CPU time: 17.1734 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.2944 s Remaining CPU time: 1782.71 s c Elapsed CPU time: 17.4134 s Remaining CPU time: 1782.59 s c Elapsed CPU time: 17.5343 s Remaining CPU time: 1782.47 s c Elapsed CPU time: 17.6553 s Remaining CPU time: 1782.34 s c Elapsed CPU time: 17.7743 s Remaining CPU time: 1782.23 s c Elapsed CPU time: 17.8953 s Remaining CPU time: 1782.1 s c Elapsed CPU time: 18.0183 s Remaining CPU time: 1781.98 s c Elapsed CPU time: 18.1402 s Remaining CPU time: 1781.86 s c Elapsed CPU time: 18.2622 s Remaining CPU time: 1781.74 s c Elapsed CPU time: 18.3832 s Remaining CPU time: 1781.62 s c Elapsed CPU time: 18.5032 s Remaining CPU time: 1781.5 s c Elapsed CPU time: 18.6222 s Remaining CPU time: 1781.38 s c Elapsed CPU time: 18.7431 s Remaining CPU time: 1781.26 s c Elapsed CPU time: 18.8621 s Remaining CPU time: 1781.14 s c Elapsed CPU time: 18.9831 s Remaining CPU time: 1781.02 s c Elapsed CPU time: 19.1071 s Remaining CPU time: 1780.89 s c Elapsed CPU time: 19.2291 s Remaining CPU time: 1780.77 s c Elapsed CPU time: 19.3521 s Remaining CPU time: 1780.65 s c Elapsed CPU time: 19.474 s Remaining CPU time: 1780.53 s c Elapsed CPU time: 19.595 s Remaining CPU time: 1780.4 s c Elapsed CPU time: 19.717 s Remaining CPU time: 1780.28 s c Elapsed CPU time: 19.836 s Remaining CPU time: 1780.16 s c Elapsed CPU time: 19.956 s Remaining CPU time: 1780.04 s c Elapsed CPU time: 20.0769 s Remaining CPU time: 1779.92 s c Elapsed CPU time: 20.1979 s Remaining CPU time: 1779.8 s c Elapsed CPU time: 20.3209 s Remaining CPU time: 1779.68 s c Elapsed CPU time: 20.4449 s Remaining CPU time: 1779.56 s c Elapsed CPU time: 20.5689 s Remaining CPU time: 1779.43 s c Elapsed CPU time: 20.6939 s Remaining CPU time: 1779.31 s c Elapsed CPU time: 20.8168 s Remaining CPU time: 1779.18 s c Elapsed CPU time: 20.9408 s Remaining CPU time: 1779.06 s c Elapsed CPU time: 21.0638 s Remaining CPU time: 1778.94 s c Elapsed CPU time: 21.1878 s Remaining CPU time: 1778.81 s c Elapsed CPU time: 21.3098 s Remaining CPU time: 1778.69 s c Elapsed CPU time: 21.4317 s Remaining CPU time: 1778.57 s c Elapsed CPU time: 21.5547 s Remaining CPU time: 1778.45 s c Elapsed CPU time: 21.6797 s Remaining CPU time: 1778.32 s c Elapsed CPU time: 21.8057 s Remaining CPU time: 1778.19 s c Elapsed CPU time: 21.9367 s Remaining CPU time: 1778.06 s c Elapsed CPU time: 22.0646 s Remaining CPU time: 1777.94 s c Elapsed CPU time: 22.1956 s Remaining CPU time: 1777.8 s c Elapsed CPU time: 22.3256 s Remaining CPU time: 1777.67 s c Elapsed CPU time: 22.4556 s Remaining CPU time: 1777.54 s c Elapsed CPU time: 22.5856 s Remaining CPU time: 1777.41 s c Elapsed CPU time: 22.7165 s Remaining CPU time: 1777.28 s c Elapsed CPU time: 22.8465 s Remaining CPU time: 1777.15 s c Elapsed CPU time: 22.9765 s Remaining CPU time: 1777.02 s c Elapsed CPU time: 23.1065 s Remaining CPU time: 1776.89 s c Elapsed CPU time: 23.2365 s Remaining CPU time: 1776.76 s c Elapsed CPU time: 23.3684 s Remaining CPU time: 1776.63 s c Elapsed CPU time: 23.4984 s Remaining CPU time: 1776.5 s c Elapsed CPU time: 23.6274 s Remaining CPU time: 1776.37 s c Elapsed CPU time: 23.7604 s Remaining CPU time: 1776.24 s c Elapsed CPU time: 23.8914 s Remaining CPU time: 1776.11 s c Elapsed CPU time: 24.0233 s Remaining CPU time: 1775.98 s c Elapsed CPU time: 24.1553 s Remaining CPU time: 1775.84 s c Elapsed CPU time: 24.2863 s Remaining CPU time: 1775.71 s c Elapsed CPU time: 24.4203 s Remaining CPU time: 1775.58 s c Elapsed CPU time: 24.5543 s Remaining CPU time: 1775.45 s c Elapsed CPU time: 24.6892 s Remaining CPU time: 1775.31 s c Elapsed CPU time: 24.8252 s Remaining CPU time: 1775.17 s c Elapsed CPU time: 24.9612 s Remaining CPU time: 1775.04 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5 113051 217638 | 37683 0 nan | 0.000 % | c =============================================================================== c Verified 113051 original clauses.