gsf has collated a list that contains all the puzzles you mentioned here http://www.research.att.com/~gsf/sudoku/data/q1-taxonomy-2008-01-06.dat
it has in addition many easy puzzles as this is to test the q1 rating scheme of his solver. you can filter the hardest ones by the Q1 or XR ratings. The ER unfortunately is not available for all puzzles
tarek