Bias in algorithm portfolio performance evaluation
SATzilla: Portfolio-based Algorithm Selection for SAT