Simple algorithm portfolio for SAT
ParamILS: an automatic algorithm configuration framework