A collection of publically-available extraction problems in Minorthird format (about 2Mb) is available from William's home page.