• Call for Participation
• Organizational Details for Entrants
• Entrants List
• Competition Technical Report (.ps.gz)
• Results
• Competition Archive
  
  • Entrants' Binaries (.tar.gz)
  • Soundness testing problems and output files (.tar.gz)
  • Problem Lists
  • Eligible problem files, precisely as used in the competition (.tar.gz)
  • System output files from the competition (.tar.gz)
• Competition Images
• Schema for System Descriptions

The competition was organized by Christian Suttner and Geoff Sutcliffe. The competition was overseen by a panel of knowledgeable researchers who were not participating in the event; the panel members were Peter Andrews, Alan Bundy, and Jeff Pelletier.

In case you have any comments or questions, please email the organizers.