Solver Space Challenges