A Time Leap Challenge for SAT Solving

The last decades have brought enormous technological progress and innovation. Two main factors that are undoubtedly key to this development are (i) hardware advancement and (ii) algorithm advancement. Moore's Law, the prediction made by Gordon Moore in 1965 [55], that the number of components per integrated circuit doubles every year, has shown to be astonishingly accurate for several decades. Given such an exponential improvement on the hardware side, one is tempted to overlook the progress made on the algorithmic side. This paper aims to compare the impact of hardware advancement and algorithm advancement based on a genuine problem, the propositional satisfiability problem (SAT).