Name Last modified Size Description daten_1272393478_Matthew_Galati.txt 2011-05-13 17:39 615 atm20_100.mps.gz 2011-05-13 17:39 332K MPS format instance