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.077988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.182972 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.403938 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.514921 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.626904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.736887 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.958854 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 1.06984 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.18282 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.2948 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.40679 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.51877 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.63175 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.74573 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.9707 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 2.08168 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.19567 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.30765 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.42063 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.53361 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.6496 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.76358 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.88056 s Remaining CPU time: 1797.12 s c Elapsed CPU time: 2.99654 s Remaining CPU time: 1797 s c Elapsed CPU time: 3.11153 s Remaining CPU time: 1796.89 s c Elapsed CPU time: 3.22751 s Remaining CPU time: 1796.77 s c Elapsed CPU time: 3.34549 s Remaining CPU time: 1796.65 s c Elapsed CPU time: 3.46147 s Remaining CPU time: 1796.54 s c Elapsed CPU time: 3.57446 s Remaining CPU time: 1796.43 s c Elapsed CPU time: 3.69044 s Remaining CPU time: 1796.31 s c Elapsed CPU time: 3.80442 s Remaining CPU time: 1796.2 s c Elapsed CPU time: 3.9194 s Remaining CPU time: 1796.08 s c Elapsed CPU time: 4.03239 s Remaining CPU time: 1795.97 s c Elapsed CPU time: 4.14837 s Remaining CPU time: 1795.85 s c Elapsed CPU time: 4.26335 s Remaining CPU time: 1795.74 s c Elapsed CPU time: 4.37933 s Remaining CPU time: 1795.62 s c Elapsed CPU time: 4.49532 s Remaining CPU time: 1795.5 s c Elapsed CPU time: 4.6103 s Remaining CPU time: 1795.39 s c Elapsed CPU time: 4.72628 s Remaining CPU time: 1795.27 s c Elapsed CPU time: 4.84326 s Remaining CPU time: 1795.16 s c Elapsed CPU time: 4.95725 s Remaining CPU time: 1795.04 s c Elapsed CPU time: 5.07323 s Remaining CPU time: 1794.93 s c Elapsed CPU time: 5.18721 s Remaining CPU time: 1794.81 s c Elapsed CPU time: 5.30219 s Remaining CPU time: 1794.7 s c Elapsed CPU time: 5.41418 s Remaining CPU time: 1794.59 s c Elapsed CPU time: 5.53116 s Remaining CPU time: 1794.47 s c Elapsed CPU time: 5.64414 s Remaining CPU time: 1794.36 s c Elapsed CPU time: 5.76212 s Remaining CPU time: 1794.24 s c Elapsed CPU time: 5.87611 s Remaining CPU time: 1794.12 s c Elapsed CPU time: 5.99209 s Remaining CPU time: 1794.01 s c Elapsed CPU time: 6.10707 s Remaining CPU time: 1793.89 s c Elapsed CPU time: 6.22105 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.563 s Remaining CPU time: 1793.44 s c Elapsed CPU time: 6.67898 s Remaining CPU time: 1793.32 s c Elapsed CPU time: 6.79297 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.13791 s Remaining CPU time: 1792.86 s c Elapsed CPU time: 7.2529 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.71483 s Remaining CPU time: 1792.29 s c Elapsed CPU time: 7.83081 s Remaining CPU time: 1792.17 s c Elapsed CPU time: 7.94579 s Remaining CPU time: 1792.05 s c Elapsed CPU time: 8.06077 s Remaining CPU time: 1791.94 s c Elapsed CPU time: 8.17476 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.28874 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.5187 s Remaining CPU time: 1791.48 s c Elapsed CPU time: 8.63269 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.74867 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.86465 s Remaining CPU time: 1791.14 s c Elapsed CPU time: 8.98163 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 9.09762 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.2146 s Remaining CPU time: 1790.79 s c Elapsed CPU time: 9.33158 s Remaining CPU time: 1790.67 s c Elapsed CPU time: 9.44856 s Remaining CPU time: 1790.55 s c Elapsed CPU time: 9.56555 s Remaining CPU time: 1790.43 s c Elapsed CPU time: 9.68253 s Remaining CPU time: 1790.32 s c Elapsed CPU time: 9.80051 s Remaining CPU time: 1790.2 s c Elapsed CPU time: 9.91849 s Remaining CPU time: 1790.08 s c Elapsed CPU time: 10.0355 s Remaining CPU time: 1789.96 s c Elapsed CPU time: 10.1535 s Remaining CPU time: 1789.85 s c Elapsed CPU time: 10.2704 s Remaining CPU time: 1789.73 s c Elapsed CPU time: 10.3874 s Remaining CPU time: 1789.61 s c Elapsed CPU time: 10.5034 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.7394 s Remaining CPU time: 1789.26 s c Elapsed CPU time: 10.8553 s Remaining CPU time: 1789.14 s c Elapsed CPU time: 10.9743 s Remaining CPU time: 1789.03 s c Elapsed CPU time: 11.0933 s Remaining CPU time: 1788.91 s c Elapsed CPU time: 11.2103 s Remaining CPU time: 1788.79 s c Elapsed CPU time: 11.3293 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.4483 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.6862 s Remaining CPU time: 1788.31 s c Elapsed CPU time: 11.8042 s Remaining CPU time: 1788.2 s c Elapsed CPU time: 11.9212 s Remaining CPU time: 1788.08 s c Elapsed CPU time: 12.0382 s Remaining CPU time: 1787.96 s c Elapsed CPU time: 12.1562 s Remaining CPU time: 1787.84 s c Elapsed CPU time: 12.2741 s Remaining CPU time: 1787.73 s c Elapsed CPU time: 12.3921 s Remaining CPU time: 1787.61 s c Elapsed CPU time: 12.5111 s Remaining CPU time: 1787.49 s c Elapsed CPU time: 12.6291 s Remaining CPU time: 1787.37 s c Elapsed CPU time: 12.7471 s Remaining CPU time: 1787.25 s c Elapsed CPU time: 12.864 s Remaining CPU time: 1787.14 s c Elapsed CPU time: 12.983 s Remaining CPU time: 1787.02 s c Elapsed CPU time: 13.101 s Remaining CPU time: 1786.9 s c Elapsed CPU time: 13.22 s Remaining CPU time: 1786.78 s c Elapsed CPU time: 13.337 s Remaining CPU time: 1786.66 s c Elapsed CPU time: 13.457 s Remaining CPU time: 1786.54 s c Elapsed CPU time: 13.5749 s Remaining CPU time: 1786.43 s c Elapsed CPU time: 13.6939 s Remaining CPU time: 1786.31 s c Elapsed CPU time: 13.8119 s Remaining CPU time: 1786.19 s c Elapsed CPU time: 13.9299 s Remaining CPU time: 1786.07 s c Elapsed CPU time: 14.0489 s Remaining CPU time: 1785.95 s c Elapsed CPU time: 14.1668 s Remaining CPU time: 1785.83 s c Elapsed CPU time: 14.2848 s Remaining CPU time: 1785.72 s c Elapsed CPU time: 14.4028 s Remaining CPU time: 1785.6 s c Elapsed CPU time: 14.5218 s Remaining CPU time: 1785.48 s c Elapsed CPU time: 14.6398 s Remaining CPU time: 1785.36 s c Elapsed CPU time: 14.7598 s Remaining CPU time: 1785.24 s c Elapsed CPU time: 14.8787 s Remaining CPU time: 1785.12 s c Elapsed CPU time: 15.0007 s Remaining CPU time: 1785 s c Elapsed CPU time: 15.1227 s Remaining CPU time: 1784.88 s c Elapsed CPU time: 15.2437 s Remaining CPU time: 1784.76 s c Elapsed CPU time: 15.3657 s Remaining CPU time: 1784.63 s c Elapsed CPU time: 15.4826 s Remaining CPU time: 1784.52 s c Elapsed CPU time: 15.6026 s Remaining CPU time: 1784.4 s c Elapsed CPU time: 15.7236 s Remaining CPU time: 1784.28 s c Elapsed CPU time: 15.8436 s Remaining CPU time: 1784.16 s c Elapsed CPU time: 15.9656 s Remaining CPU time: 1784.03 s c Elapsed CPU time: 16.0876 s Remaining CPU time: 1783.91 s c Elapsed CPU time: 16.2085 s Remaining CPU time: 1783.79 s c Elapsed CPU time: 16.3305 s Remaining CPU time: 1783.67 s c Elapsed CPU time: 16.4525 s Remaining CPU time: 1783.55 s c Elapsed CPU time: 16.5735 s Remaining CPU time: 1783.43 s c Elapsed CPU time: 16.6955 s Remaining CPU time: 1783.3 s c Elapsed CPU time: 16.8164 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.0594 s Remaining CPU time: 1782.94 s c Elapsed CPU time: 17.1794 s Remaining CPU time: 1782.82 s c Elapsed CPU time: 17.3004 s Remaining CPU time: 1782.7 s c Elapsed CPU time: 17.4204 s Remaining CPU time: 1782.58 s c Elapsed CPU time: 17.5403 s Remaining CPU time: 1782.46 s c Elapsed CPU time: 17.6603 s Remaining CPU time: 1782.34 s c Elapsed CPU time: 17.7803 s Remaining CPU time: 1782.22 s c Elapsed CPU time: 17.9013 s Remaining CPU time: 1782.1 s c Elapsed CPU time: 18.0243 s Remaining CPU time: 1781.98 s c Elapsed CPU time: 18.1452 s Remaining CPU time: 1781.85 s c Elapsed CPU time: 18.2672 s Remaining CPU time: 1781.73 s c Elapsed CPU time: 18.3892 s Remaining CPU time: 1781.61 s c Elapsed CPU time: 18.5112 s Remaining CPU time: 1781.49 s c Elapsed CPU time: 18.6332 s Remaining CPU time: 1781.37 s c Elapsed CPU time: 18.7541 s Remaining CPU time: 1781.25 s c Elapsed CPU time: 18.8761 s Remaining CPU time: 1781.12 s c Elapsed CPU time: 18.9971 s Remaining CPU time: 1781 s c Elapsed CPU time: 19.1201 s Remaining CPU time: 1780.88 s c Elapsed CPU time: 19.2411 s Remaining CPU time: 1780.76 s c Elapsed CPU time: 19.3641 s Remaining CPU time: 1780.64 s c Elapsed CPU time: 19.487 s Remaining CPU time: 1780.51 s c Elapsed CPU time: 19.61 s Remaining CPU time: 1780.39 s c Elapsed CPU time: 19.733 s Remaining CPU time: 1780.27 s c Elapsed CPU time: 19.855 s Remaining CPU time: 1780.15 s c Elapsed CPU time: 19.977 s Remaining CPU time: 1780.02 s c Elapsed CPU time: 20.0999 s Remaining CPU time: 1779.9 s c Elapsed CPU time: 20.2219 s Remaining CPU time: 1779.78 s c Elapsed CPU time: 20.3439 s Remaining CPU time: 1779.66 s c Elapsed CPU time: 20.4659 s Remaining CPU time: 1779.53 s c Elapsed CPU time: 20.5879 s Remaining CPU time: 1779.41 s c Elapsed CPU time: 20.7109 s Remaining CPU time: 1779.29 s c Elapsed CPU time: 20.8338 s Remaining CPU time: 1779.17 s c Elapsed CPU time: 20.9568 s Remaining CPU time: 1779.04 s c Elapsed CPU time: 21.0788 s Remaining CPU time: 1778.92 s c Elapsed CPU time: 21.2018 s Remaining CPU time: 1778.8 s c Elapsed CPU time: 21.3258 s Remaining CPU time: 1778.67 s c Elapsed CPU time: 21.4527 s Remaining CPU time: 1778.55 s c Elapsed CPU time: 21.5787 s Remaining CPU time: 1778.42 s c Elapsed CPU time: 21.7047 s Remaining CPU time: 1778.3 s c Elapsed CPU time: 21.8337 s Remaining CPU time: 1778.17 s c Elapsed CPU time: 21.9637 s Remaining CPU time: 1778.04 s c Elapsed CPU time: 22.0916 s Remaining CPU time: 1777.91 s c Elapsed CPU time: 22.2206 s Remaining CPU time: 1777.78 s c Elapsed CPU time: 22.3506 s Remaining CPU time: 1777.65 s c Elapsed CPU time: 22.4796 s Remaining CPU time: 1777.52 s c Elapsed CPU time: 22.6106 s Remaining CPU time: 1777.39 s c Elapsed CPU time: 22.7435 s Remaining CPU time: 1777.26 s c Elapsed CPU time: 22.8725 s Remaining CPU time: 1777.13 s c Elapsed CPU time: 23.0015 s Remaining CPU time: 1777 s c Elapsed CPU time: 23.1325 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.2625 s Remaining CPU time: 1776.74 s c Elapsed CPU time: 23.3934 s Remaining CPU time: 1776.61 s c Elapsed CPU time: 23.5254 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.7904 s Remaining CPU time: 1776.21 s c Elapsed CPU time: 23.9234 s Remaining CPU time: 1776.08 s c Elapsed CPU time: 24.0573 s Remaining CPU time: 1775.94 s c Elapsed CPU time: 24.1883 s Remaining CPU time: 1775.81 s c Elapsed CPU time: 24.3213 s Remaining CPU time: 1775.68 s c Elapsed CPU time: 24.4553 s Remaining CPU time: 1775.54 s c Elapsed CPU time: 24.5873 s Remaining CPU time: 1775.41 s c Elapsed CPU time: 24.7192 s Remaining CPU time: 1775.28 s c Elapsed CPU time: 24.8512 s Remaining CPU time: 1775.15 s c Elapsed CPU time: 24.9822 s Remaining CPU time: 1775.02 s c Elapsed CPU time: 25.1142 s Remaining CPU time: 1774.89 s c Elapsed CPU time: 25.2482 s Remaining CPU time: 1774.75 s c Elapsed CPU time: 25.3801 s Remaining CPU time: 1774.62 s c Elapsed CPU time: 25.5111 s Remaining CPU time: 1774.49 s c Elapsed CPU time: 25.6461 s Remaining CPU time: 1774.35 s c Elapsed CPU time: 25.7771 s Remaining CPU time: 1774.22 s c Elapsed CPU time: 25.9091 s Remaining CPU time: 1774.09 s c Elapsed CPU time: 26.042 s Remaining CPU time: 1773.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 0 113070 217651 | 37690 0 nan | 0.000 % | c =============================================================================== c Verified 113070 original clauses.