Index of /~degivry/evalgm/WPMS/MIPLib
Name
Last modified
Size
Description
Parent Directory
-
normalized-mps-v2-20-10-sentoy.opb.msat.wcnf.xz
20-Nov-2013 19:06
268K
normalized-mps-v2-20-10-sentoy.opb.msat.dzn.xz
20-Nov-2013 19:06
264K
normalized-mps-v2-20-10-l152lav.opb.msat.wcsp.xz
20-Nov-2013 19:06
257K
normalized-mps-v2-20-10-sentoy.opb.msat_direct.lp.xz
20-Nov-2013 19:06
244K
normalized-mps-v2-20-10-l152lav.opb.msat.wcnf.xz
20-Nov-2013 19:06
239K
normalized-mps-v2-20-10-l152lav.opb.msat.dzn.xz
20-Nov-2013 19:06
234K
normalized-mps-v2-20-10-mod010.opb.msat.wcsp.xz
20-Nov-2013 19:06
228K
normalized-mps-v2-20-10-l152lav.opb.msat_direct.lp.xz
20-Nov-2013 19:06
226K
normalized-mps-v2-20-10-sentoy.opb.msat.wcsp.xz
20-Nov-2013 19:06
215K
normalized-mps-v2-20-10-cracpb1.opb.msat.wcsp.xz
20-Nov-2013 19:06
212K
normalized-mps-v2-20-10-cracpb1.opb.msat_direct.lp.xz
20-Nov-2013 19:06
200K
normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf.xz
20-Nov-2013 19:06
193K
normalized-mps-v2-20-10-cracpb1.opb.msat.dzn.xz
20-Nov-2013 19:06
188K
normalized-mps-v2-20-10-mod010.opb.msat.wcnf.xz
20-Nov-2013 19:06
187K
normalized-mps-v2-20-10-mod008.opb.msat.wcnf.xz
20-Nov-2013 19:06
187K
normalized-mps-v2-20-10-mod010.opb.msat.dzn.xz
20-Nov-2013 19:06
184K
normalized-mps-v2-20-10-mod008.opb.msat.dzn.xz
20-Nov-2013 19:06
184K
normalized-mps-v2-20-10-mod010.opb.msat_direct.lp.xz
20-Nov-2013 19:06
181K
normalized-mps-v2-20-10-mod008.opb.msat_direct.lp.xz
20-Nov-2013 19:06
166K
normalized-mps-v2-20-10-mod008.opb.msat.wcsp.xz
20-Nov-2013 19:06
155K
normalized-mps-v2-20-10-l152lav.opb.msat.uai.xz
20-Nov-2013 19:06
146K
normalized-mps-v2-20-10-cracpb1.opb.msat.uai.xz
20-Nov-2013 19:06
141K
normalized-mps-v2-20-10-sentoy.opb.msat.uai.xz
20-Nov-2013 19:06
139K
normalized-mps-v2-20-10-mod010.opb.msat.uai.xz
20-Nov-2013 19:06
131K
normalized-mps-v2-20-10-lp4l.opb.msat.wcsp.xz
20-Nov-2013 19:06
96K
normalized-mps-v2-20-10-lp4l.opb.msat.dzn.xz
20-Nov-2013 19:06
93K
normalized-mps-v2-20-10-lp4l.opb.msat.wcnf.xz
20-Nov-2013 19:06
91K
normalized-mps-v2-20-10-bm23.opb.msat.wcsp.xz
20-Nov-2013 19:06
88K
normalized-mps-v2-20-10-lp4l.opb.msat_direct.lp.xz
20-Nov-2013 19:06
87K
normalized-mps-v2-20-10-bm23.opb.msat_direct.lp.xz
20-Nov-2013 19:06
81K
normalized-mps-v2-20-10-p0548.opb.msat.wcsp.xz
20-Nov-2013 19:06
76K
normalized-mps-v2-20-10-lseu.opb.msat.wcsp.xz
20-Nov-2013 19:06
70K
normalized-mps-v2-20-10-bm23.opb.msat.wcnf.xz
20-Nov-2013 19:06
69K
normalized-mps-v2-20-10-p0548.opb.msat_direct.lp.xz
20-Nov-2013 19:06
68K
normalized-mps-v2-20-10-bm23.opb.msat.dzn.xz
20-Nov-2013 19:06
67K
normalized-mps-v2-20-10-bm23.opb.msat.uai.xz
20-Nov-2013 19:06
67K
normalized-mps-v2-20-10-p0548.opb.msat.wcnf.xz
20-Nov-2013 19:06
66K
normalized-mps-v2-20-10-p0548.opb.msat.dzn.xz
20-Nov-2013 19:06
64K
normalized-mps-v2-20-10-lseu.opb.msat_direct.lp.xz
20-Nov-2013 19:06
63K
normalized-mps-v2-20-10-lp4l.opb.msat.uai.xz
20-Nov-2013 19:06
57K
normalized-mps-v2-20-10-lseu.opb.msat.wcnf.xz
20-Nov-2013 19:06
57K
normalized-mps-v2-20-10-lseu.opb.msat.uai.xz
20-Nov-2013 19:06
56K
normalized-mps-v2-20-10-p0201.opb.msat.wcsp.xz
20-Nov-2013 19:06
56K
normalized-mps-v2-20-10-lseu.opb.msat.dzn.xz
20-Nov-2013 19:06
55K
normalized-mps-v2-20-10-p0548.opb.msat.uai.xz
20-Nov-2013 19:06
53K
normalized-mps-v2-20-10-p0201.opb.msat_direct.lp.xz
20-Nov-2013 19:06
36K
normalized-mps-v2-20-10-p0201.opb.msat.wcnf.xz
20-Nov-2013 19:06
34K
normalized-mps-v2-20-10-p0201.opb.msat.uai.xz
20-Nov-2013 19:06
32K
normalized-mps-v2-20-10-p0201.opb.msat.dzn.xz
20-Nov-2013 19:06
31K
normalized-mps-v2-20-10-p0033.opb.msat.wcsp.xz
20-Nov-2013 19:06
6.8K
normalized-mps-v2-20-10-p0033.opb.msat_direct.lp.xz
20-Nov-2013 19:06
6.4K
normalized-mps-v2-20-10-p0033.opb.msat.uai.xz
20-Nov-2013 19:06
5.5K
normalized-mps-v2-20-10-p0033.opb.msat.wcnf.xz
20-Nov-2013 19:06
5.4K
normalized-mps-v2-20-10-p0033.opb.msat.dzn.xz
20-Nov-2013 19:06
5.3K
normalized-mps-v2-20-10-p0040.opb.msat_direct.lp.xz
20-Nov-2013 19:06
1.3K
normalized-mps-v2-20-10-p0040.opb.msat.wcsp.xz
20-Nov-2013 19:06
1.3K
normalized-mps-v2-20-10-p0040.opb.msat.uai.xz
20-Nov-2013 19:06
1.2K
normalized-mps-v2-20-10-p0040.opb.msat.dzn.xz
20-Nov-2013 19:06
1.1K
normalized-mps-v2-20-10-p0040.opb.msat.wcnf.xz
20-Nov-2013 19:06
1.0K
wcnf.mzn
20-Nov-2013 19:06
909
normalized-mps-v2-20-10-sentoy.opb.msat.uai.evid
20-Nov-2013 19:06
2
normalized-mps-v2-20-10-p0548.opb.msat.uai.evid
20-Nov-2013 19:06
2
normalized-mps-v2-20-10-p0201.opb.msat.uai.evid
20-Nov-2013 19:06
2
normalized-mps-v2-20-10-p0040.opb.msat.uai.evid
20-Nov-2013 19:06
2
normalized-mps-v2-20-10-p0033.opb.msat.uai.evid
20-Nov-2013 19:06
2
normalized-mps-v2-20-10-mod010.opb.msat.uai.evid
20-Nov-2013 19:06
2
normalized-mps-v2-20-10-lseu.opb.msat.uai.evid
20-Nov-2013 19:06
2
normalized-mps-v2-20-10-lp4l.opb.msat.uai.evid
20-Nov-2013 19:06
2
normalized-mps-v2-20-10-l152lav.opb.msat.uai.evid
20-Nov-2013 19:06
2
normalized-mps-v2-20-10-cracpb1.opb.msat.uai.evid
20-Nov-2013 19:06
2
normalized-mps-v2-20-10-bm23.opb.msat.uai.evid
20-Nov-2013 19:06
2