Algorithm Portfolio Design: Theory vs. Practice