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.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.298954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.51992 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.85087 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.962853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.07484 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.18682 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.40979 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.52177 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63575 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.74773 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.9687 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.07768 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.18667 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.29765 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.40863 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.51862 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.6296 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.74358 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.85656 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.96655 s Remaining CPU time: 1797.03 s c Elapsed CPU time: 3.07953 s Remaining CPU time: 1796.92 s c Elapsed CPU time: 3.19251 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.3055 s Remaining CPU time: 1796.69 s c Elapsed CPU time: 3.41848 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.53346 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.64644 s Remaining CPU time: 1796.35 s c Elapsed CPU time: 3.76043 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.87241 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.98539 s Remaining CPU time: 1796.01 s c Elapsed CPU time: 4.09838 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.21236 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.32534 s Remaining CPU time: 1795.67 s c Elapsed CPU time: 4.43832 s Remaining CPU time: 1795.56 s c Elapsed CPU time: 4.55131 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.66429 s Remaining CPU time: 1795.34 s c Elapsed CPU time: 4.77627 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.89026 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 5.00324 s Remaining CPU time: 1795 s c Elapsed CPU time: 5.11622 s Remaining CPU time: 1794.88 s c Elapsed CPU time: 5.2302 s Remaining CPU time: 1794.77 s c Elapsed CPU time: 5.34619 s Remaining CPU time: 1794.65 s c Elapsed CPU time: 5.45917 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.57115 s Remaining CPU time: 1794.43 s c Elapsed CPU time: 5.68513 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.79912 s Remaining CPU time: 1794.2 s c Elapsed CPU time: 5.9131 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.14107 s Remaining CPU time: 1793.86 s c Elapsed CPU time: 6.25505 s Remaining CPU time: 1793.74 s c Elapsed CPU time: 6.36903 s Remaining CPU time: 1793.63 s c Elapsed CPU time: 6.48401 s Remaining CPU time: 1793.52 s c Elapsed CPU time: 6.598 s Remaining CPU time: 1793.4 s c Elapsed CPU time: 6.71298 s Remaining CPU time: 1793.29 s c Elapsed CPU time: 6.82496 s Remaining CPU time: 1793.18 s c Elapsed CPU time: 6.93994 s Remaining CPU time: 1793.06 s c Elapsed CPU time: 7.05593 s Remaining CPU time: 1792.94 s c Elapsed CPU time: 7.17091 s Remaining CPU time: 1792.83 s c Elapsed CPU time: 7.28689 s Remaining CPU time: 1792.71 s c Elapsed CPU time: 7.40187 s Remaining CPU time: 1792.6 s c Elapsed CPU time: 7.51686 s Remaining CPU time: 1792.48 s c Elapsed CPU time: 7.63184 s Remaining CPU time: 1792.37 s c Elapsed CPU time: 7.74482 s Remaining CPU time: 1792.26 s c Elapsed CPU time: 7.8598 s Remaining CPU time: 1792.14 s c Elapsed CPU time: 7.97179 s Remaining CPU time: 1792.03 s c Elapsed CPU time: 8.08577 s Remaining CPU time: 1791.91 s c Elapsed CPU time: 8.19975 s Remaining CPU time: 1791.8 s c Elapsed CPU time: 8.31474 s Remaining CPU time: 1791.69 s c Elapsed CPU time: 8.42872 s Remaining CPU time: 1791.57 s c Elapsed CPU time: 8.5437 s Remaining CPU time: 1791.46 s c Elapsed CPU time: 8.65968 s Remaining CPU time: 1791.34 s c Elapsed CPU time: 8.77567 s Remaining CPU time: 1791.22 s c Elapsed CPU time: 8.89265 s Remaining CPU time: 1791.11 s c Elapsed CPU time: 9.00763 s Remaining CPU time: 1790.99 s c Elapsed CPU time: 9.12261 s Remaining CPU time: 1790.88 s c Elapsed CPU time: 9.2386 s Remaining CPU time: 1790.76 s c Elapsed CPU time: 9.35358 s Remaining CPU time: 1790.65 s c Elapsed CPU time: 9.47056 s Remaining CPU time: 1790.53 s c Elapsed CPU time: 9.58554 s Remaining CPU time: 1790.41 s c Elapsed CPU time: 9.70153 s Remaining CPU time: 1790.3 s c Elapsed CPU time: 9.81651 s Remaining CPU time: 1790.18 s c Elapsed CPU time: 9.93249 s Remaining CPU time: 1790.07 s c Elapsed CPU time: 10.0485 s Remaining CPU time: 1789.95 s c Elapsed CPU time: 10.1655 s Remaining CPU time: 1789.83 s c Elapsed CPU time: 10.2814 s Remaining CPU time: 1789.72 s c Elapsed CPU time: 10.3974 s Remaining CPU time: 1789.6 s c Elapsed CPU time: 10.5114 s Remaining CPU time: 1789.49 s c Elapsed CPU time: 10.6284 s Remaining CPU time: 1789.37 s c Elapsed CPU time: 10.7444 s Remaining CPU time: 1789.26 s c Elapsed CPU time: 10.8613 s Remaining CPU time: 1789.14 s c Elapsed CPU time: 10.9783 s Remaining CPU time: 1789.02 s c Elapsed CPU time: 11.0943 s Remaining CPU time: 1788.91 s c Elapsed CPU time: 11.2113 s Remaining CPU time: 1788.79 s c Elapsed CPU time: 11.3283 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.4453 s Remaining CPU time: 1788.55 s c Elapsed CPU time: 11.5602 s Remaining CPU time: 1788.44 s c Elapsed CPU time: 11.6772 s Remaining CPU time: 1788.32 s c Elapsed CPU time: 11.7942 s Remaining CPU time: 1788.21 s c Elapsed CPU time: 11.9112 s Remaining CPU time: 1788.09 s c Elapsed CPU time: 12.0292 s Remaining CPU time: 1787.97 s c Elapsed CPU time: 12.1472 s Remaining CPU time: 1787.85 s c Elapsed CPU time: 12.2661 s Remaining CPU time: 1787.73 s c Elapsed CPU time: 12.3841 s Remaining CPU time: 1787.62 s c Elapsed CPU time: 12.5021 s Remaining CPU time: 1787.5 s c Elapsed CPU time: 12.6191 s Remaining CPU time: 1787.38 s c Elapsed CPU time: 12.7381 s Remaining CPU time: 1787.26 s c Elapsed CPU time: 12.854 s Remaining CPU time: 1787.15 s c Elapsed CPU time: 12.974 s Remaining CPU time: 1787.03 s c Elapsed CPU time: 13.092 s Remaining CPU time: 1786.91 s c Elapsed CPU time: 13.21 s Remaining CPU time: 1786.79 s c Elapsed CPU time: 13.329 s Remaining CPU time: 1786.67 s c Elapsed CPU time: 13.447 s Remaining CPU time: 1786.55 s c Elapsed CPU time: 13.5659 s Remaining CPU time: 1786.43 s c Elapsed CPU time: 13.6849 s Remaining CPU time: 1786.32 s c Elapsed CPU time: 13.8039 s Remaining CPU time: 1786.2 s c Elapsed CPU time: 13.9229 s Remaining CPU time: 1786.08 s c Elapsed CPU time: 14.0419 s Remaining CPU time: 1785.96 s c Elapsed CPU time: 14.1608 s Remaining CPU time: 1785.84 s c Elapsed CPU time: 14.2788 s Remaining CPU time: 1785.72 s c Elapsed CPU time: 14.3978 s Remaining CPU time: 1785.6 s c Elapsed CPU time: 14.5158 s Remaining CPU time: 1785.48 s c Elapsed CPU time: 14.6338 s Remaining CPU time: 1785.37 s c Elapsed CPU time: 14.7528 s Remaining CPU time: 1785.25 s c Elapsed CPU time: 14.8697 s Remaining CPU time: 1785.13 s c Elapsed CPU time: 14.9887 s Remaining CPU time: 1785.01 s c Elapsed CPU time: 15.1057 s Remaining CPU time: 1784.89 s c Elapsed CPU time: 15.2247 s Remaining CPU time: 1784.78 s c Elapsed CPU time: 15.3447 s Remaining CPU time: 1784.66 s c Elapsed CPU time: 15.4636 s Remaining CPU time: 1784.54 s c Elapsed CPU time: 15.5826 s Remaining CPU time: 1784.42 s c Elapsed CPU time: 15.7016 s Remaining CPU time: 1784.3 s c Elapsed CPU time: 15.8206 s Remaining CPU time: 1784.18 s c Elapsed CPU time: 15.9406 s Remaining CPU time: 1784.06 s c Elapsed CPU time: 16.0606 s Remaining CPU time: 1783.94 s c Elapsed CPU time: 16.1815 s Remaining CPU time: 1783.82 s c Elapsed CPU time: 16.3005 s Remaining CPU time: 1783.7 s c Elapsed CPU time: 16.4215 s Remaining CPU time: 1783.58 s c Elapsed CPU time: 16.5425 s Remaining CPU time: 1783.46 s c Elapsed CPU time: 16.6625 s Remaining CPU time: 1783.34 s c Elapsed CPU time: 16.7824 s Remaining CPU time: 1783.22 s c Elapsed CPU time: 16.9034 s Remaining CPU time: 1783.1 s c Elapsed CPU time: 17.0224 s Remaining CPU time: 1782.98 s c Elapsed CPU time: 17.1424 s Remaining CPU time: 1782.86 s c Elapsed CPU time: 17.2634 s Remaining CPU time: 1782.74 s c Elapsed CPU time: 17.3824 s Remaining CPU time: 1782.62 s c Elapsed CPU time: 17.5033 s Remaining CPU time: 1782.5 s c Elapsed CPU time: 17.6213 s Remaining CPU time: 1782.38 s c Elapsed CPU time: 17.7423 s Remaining CPU time: 1782.26 s c Elapsed CPU time: 17.8613 s Remaining CPU time: 1782.14 s c Elapsed CPU time: 17.9823 s Remaining CPU time: 1782.02 s c Elapsed CPU time: 18.1022 s Remaining CPU time: 1781.9 s c Elapsed CPU time: 18.2232 s Remaining CPU time: 1781.78 s c Elapsed CPU time: 18.3442 s Remaining CPU time: 1781.66 s c Elapsed CPU time: 18.4662 s Remaining CPU time: 1781.53 s c Elapsed CPU time: 18.5862 s Remaining CPU time: 1781.41 s c Elapsed CPU time: 18.7072 s Remaining CPU time: 1781.29 s c Elapsed CPU time: 18.8261 s Remaining CPU time: 1781.17 s c Elapsed CPU time: 18.9471 s Remaining CPU time: 1781.05 s c Elapsed CPU time: 19.0671 s Remaining CPU time: 1780.93 s c Elapsed CPU time: 19.1891 s Remaining CPU time: 1780.81 s c Elapsed CPU time: 19.3101 s Remaining CPU time: 1780.69 s c Elapsed CPU time: 19.433 s Remaining CPU time: 1780.57 s c Elapsed CPU time: 19.554 s Remaining CPU time: 1780.45 s c Elapsed CPU time: 19.675 s Remaining CPU time: 1780.32 s c Elapsed CPU time: 19.795 s Remaining CPU time: 1780.21 s c Elapsed CPU time: 19.918 s Remaining CPU time: 1780.08 s c Elapsed CPU time: 20.038 s Remaining CPU time: 1779.96 s c Elapsed CPU time: 20.1599 s Remaining CPU time: 1779.84 s c Elapsed CPU time: 20.2799 s Remaining CPU time: 1779.72 s c Elapsed CPU time: 20.4019 s Remaining CPU time: 1779.6 s c Elapsed CPU time: 20.5209 s Remaining CPU time: 1779.48 s c Elapsed CPU time: 20.6429 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.8858 s Remaining CPU time: 1779.11 s c Elapsed CPU time: 21.0078 s Remaining CPU time: 1778.99 s c Elapsed CPU time: 21.1318 s Remaining CPU time: 1778.87 s c Elapsed CPU time: 21.2578 s Remaining CPU time: 1778.74 s c Elapsed CPU time: 21.3857 s Remaining CPU time: 1778.61 s c Elapsed CPU time: 21.5117 s Remaining CPU time: 1778.49 s c Elapsed CPU time: 21.6407 s Remaining CPU time: 1778.36 s c Elapsed CPU time: 21.7677 s Remaining CPU time: 1778.23 s c Elapsed CPU time: 21.8937 s Remaining CPU time: 1778.11 s c Elapsed CPU time: 22.0197 s Remaining CPU time: 1777.98 s c Elapsed CPU time: 22.1506 s Remaining CPU time: 1777.85 s c Elapsed CPU time: 22.2756 s Remaining CPU time: 1777.72 s c Elapsed CPU time: 22.4046 s Remaining CPU time: 1777.6 s c Elapsed CPU time: 22.5316 s Remaining CPU time: 1777.47 s c Elapsed CPU time: 22.6596 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.7885 s Remaining CPU time: 1777.21 s c Elapsed CPU time: 22.9185 s Remaining CPU time: 1777.08 s c Elapsed CPU time: 23.0455 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.4354 s Remaining CPU time: 1776.56 s c Elapsed CPU time: 23.5644 s Remaining CPU time: 1776.44 s c Elapsed CPU time: 23.6954 s Remaining CPU time: 1776.3 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113038 217619 | 37679 0 nan | 0.000 % | c =============================================================================== c Verified 113038 original clauses.