Issues · miplib2017 / revised-submissions · GitLab

Rename forum instances

#6 · created Jun 12, 2018 by Ambros Gleixner
- CLOSED
- 9
updated Jul 23, 2018
Final edit of the name attribute of every instance

#5 · created Jul 20, 2018 by Gregor Hendel
- CLOSED
- 3
updated Aug 23, 2018
Review of description and bib files. 552 of 553 tasks completed

#4 · created Jul 20, 2018 by Gregor Hendel Data Review
- CLOSED
- 6
updated Jul 30, 2018
Neos Instances with bad names

#3 · created Sep 06, 2017 by Gregor Hendel
- CLOSED
- 14
updated Jun 28, 2018
MPS problem names often arbitrary

#2 · created Sep 06, 2017 by Gregor Hendel
- CLOSED
- 3
updated Jul 23, 2018
Instances missing?

#1 · created Sep 02, 2017 by Gregor Hendel
- CLOSED
- 2
updated Sep 04, 2017