plato.cs.umn.edu
deca.cs.umn.edu
archimedes.cs.umn.edu