In directory miplib2003 are the MILP testproblems from 

     http://miplib.zib.de

converted to AMPL format. One needs to call AMPL with the
enclosed modelfile mpsi.mod and one of the *.dat files as
datafile.

Hans Mittelmann  (mittelmann@asu.edu)