The automarker has moved to http://www.automarker.cs.auckland.ac.nz.