Stefan Falkner, Marius Lindauer, Frank Hutter: SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers. SAT 2015: 215-222