Warmstarting of Model-based Algorithm Configuration
The Configurable SAT Solver Challenge (CSSC)