Alors: An algorithm recommender system
Simple algorithm portfolio for SAT