The virtual SAT Solver Museum is an effort towards preserving historical SAT solvers, by collecting and
porting their source code to modern compilers and evaluating them on representative benchmark sets
on the same hardware. This allows us to compare historic and modern solvers in the same environment.
Our results clearly show a remarkable improvement of SAT solver performance in the last 25 years.
Forschungs-