Name Last modified Size Description
daten_1285946834_Martin_Berger.txt 2011-05-13 17:39 683 daten_1285946872_Martin_Berger.txt 2011-05-13 17:39 649 decomp1.lp 2011-05-13 17:39 1.3M decomp1.mps.gz 2011-05-13 17:39 305K MPS format instance decomp2.lp 2011-05-13 17:39 1.8M decomp2.mps.gz 2011-05-13 17:39 406K MPS format instance