1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
|
check/IP/miplib2017-benchmark/30n20b8.mps.gz\,solutions/30n20b8/1/30n20b8.sol.gz
check/IP/miplib2017-benchmark/30n20b8.mps.gz\,solutions/30n20b8/2/30n20b8.sol.gz
check/IP/miplib2017-benchmark/50v-10.mps.gz\,solutions/50v-10/1/50v-10.sol.gz
check/IP/miplib2017-benchmark/50v-10.mps.gz\,solutions/50v-10/2/50v-10.sol.gz
check/IP/miplib2017-benchmark/academictimetablesmall.mps.gz\,solutions/academictimetablesmall/1/academictimetablesmall.sol.gz
check/IP/miplib2017-benchmark/air05.mps.gz\,solutions/air05/1/air05.sol.gz
check/IP/miplib2017-benchmark/app1-1.mps.gz\,solutions/app1-1/1/app1-1.sol.gz
check/IP/miplib2017-benchmark/app1-2.mps.gz\,solutions/app1-2/1/app1-2.sol.gz
check/IP/miplib2017-benchmark/app1-2.mps.gz\,solutions/app1-2/2/app1-2.sol.gz
check/IP/miplib2017-benchmark/assign1-5-8.mps.gz\,solutions/assign1-5-8/1/assign1-5-8.sol.gz
check/IP/miplib2017-benchmark/b1c1s1.mps.gz\,solutions/b1c1s1/1/b1c1s1.sol.gz
check/IP/miplib2017-benchmark/b1c1s1.mps.gz\,solutions/b1c1s1/2/b1c1s1.sol.gz
check/IP/miplib2017-benchmark/bab2.mps.gz\,solutions/bab2/1/bab2.sol.gz
check/IP/miplib2017-benchmark/bab6.mps.gz\,solutions/bab6/1/bab6.sol.gz
check/IP/miplib2017-benchmark/beasleyC3.mps.gz\,solutions/beasleyC3/1/beasleyC3.sol.gz
check/IP/miplib2017-benchmark/beasleyC3.mps.gz\,solutions/beasleyC3/2/beasleyC3.sol.gz
check/IP/miplib2017-benchmark/binkar10_1.mps.gz\,solutions/binkar10_1/1/binkar10_1.sol.gz
check/IP/miplib2017-benchmark/binkar10_1.mps.gz\,solutions/binkar10_1/2/binkar10_1.sol.gz
check/IP/miplib2017-benchmark/blp-ar98.mps.gz\,solutions/blp-ar98/1/blp-ar98.sol.gz
check/IP/miplib2017-benchmark/blp-ar98.mps.gz\,solutions/blp-ar98/2/blp-ar98.sol.gz
check/IP/miplib2017-benchmark/blp-ic98.mps.gz\,solutions/blp-ic98/1/blp-ic98.sol.gz
check/IP/miplib2017-benchmark/blp-ic98.mps.gz\,solutions/blp-ic98/2/blp-ic98.sol.gz
check/IP/miplib2017-benchmark/bnatt400.mps.gz\,solutions/bnatt400/1/bnatt400.sol.gz
check/IP/miplib2017-benchmark/bnatt400.mps.gz\,solutions/bnatt400/2/bnatt400.sol.gz
check/IP/miplib2017-benchmark/bppc4-08.mps.gz\,solutions/bppc4-08/1/bppc4-08.sol.gz
check/IP/miplib2017-benchmark/brazil3.mps.gz\,solutions/brazil3/1/brazil3.sol.gz
check/IP/miplib2017-benchmark/buildingenergy.mps.gz\,solutions/buildingenergy/1/buildingenergy.sol.gz
check/IP/miplib2017-benchmark/chromaticindex1024-7.mps.gz\,solutions/chromaticindex1024-7/1/chromaticindex1024-7.sol.gz
check/IP/miplib2017-benchmark/chromaticindex512-7.mps.gz\,solutions/chromaticindex512-7/1/chromaticindex512-7.sol.gz
check/IP/miplib2017-benchmark/cmflsp50-24-8-8.mps.gz\,solutions/cmflsp50-24-8-8/1/cmflsp50-24-8-8.sol.gz
check/IP/miplib2017-benchmark/CMS750_4.mps.gz\,solutions/CMS750_4/1/CMS750_4.sol.gz
check/IP/miplib2017-benchmark/co-100.mps.gz\,solutions/co-100/1/co-100.sol.gz
check/IP/miplib2017-benchmark/cod105.mps.gz\,solutions/cod105/1/cod105.sol.gz
check/IP/miplib2017-benchmark/comp07-2idx.mps.gz\,solutions/comp07-2idx/1/comp07-2idx.sol.gz
check/IP/miplib2017-benchmark/comp21-2idx.mps.gz\,solutions/comp21-2idx/1/comp21-2idx.sol.gz
check/IP/miplib2017-benchmark/cost266-UUE.mps.gz\,solutions/cost266-UUE/1/cost266-UUE.sol.gz
check/IP/miplib2017-benchmark/cvs16r128-89.mps.gz\,solutions/cvs16r128-89/1/cvs16r128-89.sol.gz
check/IP/miplib2017-benchmark/dano3_5.mps.gz\,solutions/dano3_5/1/dano3_5.sol.gz
check/IP/miplib2017-benchmark/decomp2.mps.gz\,solutions/decomp2/1/decomp2.sol.gz
check/IP/miplib2017-benchmark/drayage-100-23.mps.gz\,solutions/drayage-100-23/1/drayage-100-23.sol.gz
check/IP/miplib2017-benchmark/drayage-25-23.mps.gz\,solutions/drayage-25-23/1/drayage-25-23.sol.gz
check/IP/miplib2017-benchmark/eil33-2.mps.gz\,solutions/eil33-2/1/eil33-2.sol.gz
check/IP/miplib2017-benchmark/eil33-2.mps.gz\,solutions/eil33-2/2/eil33-2.sol.gz
check/IP/miplib2017-benchmark/eilA101-2.mps.gz\,solutions/eilA101-2/1/eilA101-2.sol.gz
check/IP/miplib2017-benchmark/eilA101-2.mps.gz\,solutions/eilA101-2/2/eilA101-2.sol.gz
check/IP/miplib2017-benchmark/eilA101-2.mps.gz\,solutions/eilA101-2/3/eilA101-2.sol.gz
check/IP/miplib2017-benchmark/enlight_hard.mps.gz\,solutions/enlight_hard/1/enlight_hard.sol.gz
check/IP/miplib2017-benchmark/ex10.mps.gz\,solutions/ex10/1/ex10.sol.gz
check/IP/miplib2017-benchmark/ex9.mps.gz\,solutions/ex9/1/ex9.sol.gz
check/IP/miplib2017-benchmark/ex9.mps.gz\,solutions/ex9/2/ex9.sol.gz
check/IP/miplib2017-benchmark/exp-1-500-5-5.mps.gz\,solutions/exp-1-500-5-5/1/exp-1-500-5-5.sol.gz
check/IP/miplib2017-benchmark/fast0507.mps.gz\,solutions/fast0507/1/fast0507.sol.gz
check/IP/miplib2017-benchmark/fastxgemm-n2r6s0t2.mps.gz\,solutions/fastxgemm-n2r6s0t2/1/fastxgemm-n2r6s0t2.sol.gz
check/IP/miplib2017-benchmark/fiball.mps.gz\,solutions/fiball/1/fiball.sol.gz
check/IP/miplib2017-benchmark/gfd-schedulen180f7d50m30k18.mps.gz\,solutions/gfd-schedulen180f7d50m30k18/1/gfd-schedulen180f7d50m30k18.sol.gz
check/IP/miplib2017-benchmark/glass-sc.mps.gz\,solutions/glass-sc/1/glass-sc.sol.gz
check/IP/miplib2017-benchmark/gmu-35-40.mps.gz\,solutions/gmu-35-40/1/gmu-35-40.sol.gz
check/IP/miplib2017-benchmark/gmu-35-40.mps.gz\,solutions/gmu-35-40/2/gmu-35-40.sol.gz
check/IP/miplib2017-benchmark/gmu-35-50.mps.gz\,solutions/gmu-35-50/1/gmu-35-50.sol.gz
check/IP/miplib2017-benchmark/gmu-35-50.mps.gz\,solutions/gmu-35-50/2/gmu-35-50.sol.gz
check/IP/miplib2017-benchmark/graph20-20-1rand.mps.gz\,solutions/graph20-20-1rand/1/graph20-20-1rand.sol.gz
check/IP/miplib2017-benchmark/graphdraw-domain.mps.gz\,solutions/graphdraw-domain/1/graphdraw-domain.sol.gz
check/IP/miplib2017-benchmark/h80x6320d.mps.gz\,solutions/h80x6320d/1/h80x6320d.sol.gz
check/IP/miplib2017-benchmark/hypothyroid-k1.mps.gz\,solutions/hypothyroid-k1/1/hypothyroid-k1.sol.gz
check/IP/miplib2017-benchmark/ic97_potential.mps.gz\,solutions/ic97_potential/1/ic97_potential.sol.gz
check/IP/miplib2017-benchmark/ic97_potential.mps.gz\,solutions/ic97_potential/2/ic97_potential.sol.gz
check/IP/miplib2017-benchmark/icir97_tension.mps.gz\,solutions/icir97_tension/1/icir97_tension.sol.gz
check/IP/miplib2017-benchmark/irish-electricity.mps.gz\,solutions/irish-electricity/1/irish-electricity.sol.gz
check/IP/miplib2017-benchmark/irp.mps.gz\,solutions/irp/1/irp.sol.gz
check/IP/miplib2017-benchmark/k1mushroom.mps.gz\,solutions/k1mushroom/1/k1mushroom.sol.gz
check/IP/miplib2017-benchmark/lectsched-5-obj.mps.gz\,solutions/lectsched-5-obj/1/lectsched-5-obj.sol.gz
check/IP/miplib2017-benchmark/leo1.mps.gz\,solutions/leo1/1/leo1.sol.gz
check/IP/miplib2017-benchmark/leo2.mps.gz\,solutions/leo2/1/leo2.sol.gz
check/IP/miplib2017-benchmark/lotsize.mps.gz\,solutions/lotsize/1/lotsize.sol.gz
check/IP/miplib2017-benchmark/mad.mps.gz\,solutions/mad/1/mad.sol.gz
check/IP/miplib2017-benchmark/map10.mps.gz\,solutions/map10/1/map10.sol.gz
check/IP/miplib2017-benchmark/map10.mps.gz\,solutions/map10/2/map10.sol.gz
check/IP/miplib2017-benchmark/map16715-04.mps.gz\,solutions/map16715-04/1/map16715-04.sol.gz
check/IP/miplib2017-benchmark/markshare_4_0.mps.gz\,solutions/markshare_4_0/1/markshare_4_0.sol.gz
check/IP/miplib2017-benchmark/markshare2.mps.gz\,solutions/markshare2/1/markshare2.sol.gz
check/IP/miplib2017-benchmark/mas74.mps.gz\,solutions/mas74/1/mas74.sol.gz
check/IP/miplib2017-benchmark/mas76.mps.gz\,solutions/mas76/1/mas76.sol.gz
check/IP/miplib2017-benchmark/mc11.mps.gz\,solutions/mc11/1/mc11.sol.gz
check/IP/miplib2017-benchmark/mc11.mps.gz\,solutions/mc11/2/mc11.sol.gz
check/IP/miplib2017-benchmark/mcsched.mps.gz\,solutions/mcsched/1/mcsched.sol.gz
check/IP/miplib2017-benchmark/mcsched.mps.gz\,solutions/mcsched/2/mcsched.sol.gz
check/IP/miplib2017-benchmark/mushroom-best.mps.gz\,solutions/mushroom-best/1/mushroom-best.sol.gz
check/IP/miplib2017-benchmark/mzzv11.mps.gz\,solutions/mzzv11/1/mzzv11.sol.gz
check/IP/miplib2017-benchmark/mzzv11.mps.gz\,solutions/mzzv11/2/mzzv11.sol.gz
check/IP/miplib2017-benchmark/mzzv42z.mps.gz\,solutions/mzzv42z/1/mzzv42z.sol.gz
check/IP/miplib2017-benchmark/n3div36.mps.gz\,solutions/n3div36/1/n3div36.sol.gz
check/IP/miplib2017-benchmark/n3div36.mps.gz\,solutions/n3div36/2/n3div36.sol.gz
check/IP/miplib2017-benchmark/n5-3.mps.gz\,solutions/n5-3/1/n5-3.sol.gz
check/IP/miplib2017-benchmark/neos-1171448.mps.gz\,solutions/neos-1171448/1/neos-1171448.sol.gz
check/IP/miplib2017-benchmark/neos-1171737.mps.gz\,solutions/neos-1171737/1/neos-1171737.sol.gz
check/IP/miplib2017-benchmark/neos-1171737.mps.gz\,solutions/neos-1171737/2/neos-1171737.sol.gz
check/IP/miplib2017-benchmark/neos-1354092.mps.gz\,solutions/neos-1354092/1/neos-1354092.sol.gz
check/IP/miplib2017-benchmark/neos-1445765.mps.gz\,solutions/neos-1445765/1/neos-1445765.sol.gz
check/IP/miplib2017-benchmark/neos-1456979.mps.gz\,solutions/neos-1456979/1/neos-1456979.sol.gz
check/IP/miplib2017-benchmark/neos-1582420.mps.gz\,solutions/neos-1582420/1/neos-1582420.sol.gz
check/IP/miplib2017-benchmark/neos-2657525-crna.mps.gz\,solutions/neos-2657525-crna/1/neos-2657525-crna.sol.gz
check/IP/miplib2017-benchmark/neos-2746589-doon.mps.gz\,solutions/neos-2746589-doon/1/neos-2746589-doon.sol.gz
check/IP/miplib2017-benchmark/neos-2978193-inde.mps.gz\,solutions/neos-2978193-inde/1/neos-2978193-inde.sol.gz
check/IP/miplib2017-benchmark/neos-2987310-joes.mps.gz\,solutions/neos-2987310-joes/1/neos-2987310-joes.sol.gz
check/IP/miplib2017-benchmark/neos-3024952-loue.mps.gz\,solutions/neos-3024952-loue/1/neos-3024952-loue.sol.gz
check/IP/miplib2017-benchmark/neos-3046615-murg.mps.gz\,solutions/neos-3046615-murg/1/neos-3046615-murg.sol.gz
check/IP/miplib2017-benchmark/neos-3083819-nubu.mps.gz\,solutions/neos-3083819-nubu/1/neos-3083819-nubu.sol.gz
check/IP/miplib2017-benchmark/neos-3216931-puriri.mps.gz\,solutions/neos-3216931-puriri/1/neos-3216931-puriri.sol.gz
check/IP/miplib2017-benchmark/neos-3381206-awhea.mps.gz\,solutions/neos-3381206-awhea/1/neos-3381206-awhea.sol.gz
check/IP/miplib2017-benchmark/neos-3402294-bobin.mps.gz\,solutions/neos-3402294-bobin/1/neos-3402294-bobin.sol.gz
check/IP/miplib2017-benchmark/neos-3555904-turama.mps.gz\,solutions/neos-3555904-turama/1/neos-3555904-turama.sol.gz
check/IP/miplib2017-benchmark/neos-3627168-kasai.mps.gz\,solutions/neos-3627168-kasai/1/neos-3627168-kasai.sol.gz
check/IP/miplib2017-benchmark/neos-3656078-kumeu.mps.gz\,solutions/neos-3656078-kumeu/1/neos-3656078-kumeu.sol.gz
check/IP/miplib2017-benchmark/neos-3656078-kumeu.mps.gz\,solutions/neos-3656078-kumeu/2/neos-3656078-kumeu.sol.gz
check/IP/miplib2017-benchmark/neos-3754480-nidda.mps.gz\,solutions/neos-3754480-nidda/1/neos-3754480-nidda.sol.gz
check/IP/miplib2017-benchmark/neos-3754480-nidda.mps.gz\,solutions/neos-3754480-nidda/2/neos-3754480-nidda.sol.gz
check/IP/miplib2017-benchmark/neos-4300652-rahue.mps.gz\,solutions/neos-4300652-rahue/1/neos-4300652-rahue.sol.gz
check/IP/miplib2017-benchmark/neos-4413714-turia.mps.gz\,solutions/neos-4413714-turia/1/neos-4413714-turia.sol.gz
check/IP/miplib2017-benchmark/neos-4532248-waihi.mps.gz\,solutions/neos-4532248-waihi/1/neos-4532248-waihi.sol.gz
check/IP/miplib2017-benchmark/neos-4647030-tutaki.mps.gz\,solutions/neos-4647030-tutaki/1/neos-4647030-tutaki.sol.gz
check/IP/miplib2017-benchmark/neos-4722843-widden.mps.gz\,solutions/neos-4722843-widden/1/neos-4722843-widden.sol.gz
check/IP/miplib2017-benchmark/neos-4738912-atrato.mps.gz\,solutions/neos-4738912-atrato/1/neos-4738912-atrato.sol.gz
check/IP/miplib2017-benchmark/neos-4763324-toguru.mps.gz\,solutions/neos-4763324-toguru/1/neos-4763324-toguru.sol.gz
check/IP/miplib2017-benchmark/neos-4954672-berkel.mps.gz\,solutions/neos-4954672-berkel/1/neos-4954672-berkel.sol.gz
check/IP/miplib2017-benchmark/neos-5049753-cuanza.mps.gz\,solutions/neos-5049753-cuanza/1/neos-5049753-cuanza.sol.gz
check/IP/miplib2017-benchmark/neos-5049753-cuanza.mps.gz\,solutions/neos-5049753-cuanza/2/neos-5049753-cuanza.sol.gz
check/IP/miplib2017-benchmark/neos-5052403-cygnet.mps.gz\,solutions/neos-5052403-cygnet/1/neos-5052403-cygnet.sol.gz
check/IP/miplib2017-benchmark/neos-5093327-huahum.mps.gz\,solutions/neos-5093327-huahum/1/neos-5093327-huahum.sol.gz
check/IP/miplib2017-benchmark/neos-5104907-jarama.mps.gz\,solutions/neos-5104907-jarama/1/neos-5104907-jarama.sol.gz
check/IP/miplib2017-benchmark/neos-5107597-kakapo.mps.gz\,solutions/neos-5107597-kakapo/1/neos-5107597-kakapo.sol.gz
check/IP/miplib2017-benchmark/neos-5114902-kasavu.mps.gz\,solutions/neos-5114902-kasavu/1/neos-5114902-kasavu.sol.gz
check/IP/miplib2017-benchmark/neos-5114902-kasavu.mps.gz\,solutions/neos-5114902-kasavu/2/neos-5114902-kasavu.sol.gz
check/IP/miplib2017-benchmark/neos-5188808-nattai.mps.gz\,solutions/neos-5188808-nattai/1/neos-5188808-nattai.sol.gz
check/IP/miplib2017-benchmark/neos-5195221-niemur.mps.gz\,solutions/neos-5195221-niemur/1/neos-5195221-niemur.sol.gz
check/IP/miplib2017-benchmark/neos-631710.mps.gz\,solutions/neos-631710/1/neos-631710.sol.gz
check/IP/miplib2017-benchmark/neos-631710.mps.gz\,solutions/neos-631710/2/neos-631710.sol.gz
check/IP/miplib2017-benchmark/neos-662469.mps.gz\,solutions/neos-662469/1/neos-662469.sol.gz
check/IP/miplib2017-benchmark/neos-787933.mps.gz\,solutions/neos-787933/1/neos-787933.sol.gz
check/IP/miplib2017-benchmark/neos-827175.mps.gz\,solutions/neos-827175/1/neos-827175.sol.gz
check/IP/miplib2017-benchmark/neos-848589.mps.gz\,solutions/neos-848589/1/neos-848589.sol.gz
check/IP/miplib2017-benchmark/neos-860300.mps.gz\,solutions/neos-860300/1/neos-860300.sol.gz
check/IP/miplib2017-benchmark/neos-873061.mps.gz\,solutions/neos-873061/1/neos-873061.sol.gz
check/IP/miplib2017-benchmark/neos-911970.mps.gz\,solutions/neos-911970/1/neos-911970.sol.gz
check/IP/miplib2017-benchmark/neos-933966.mps.gz\,solutions/neos-933966/1/neos-933966.sol.gz
check/IP/miplib2017-benchmark/neos-933966.mps.gz\,solutions/neos-933966/2/neos-933966.sol.gz
check/IP/miplib2017-benchmark/neos-950242.mps.gz\,solutions/neos-950242/1/neos-950242.sol.gz
check/IP/miplib2017-benchmark/neos-957323.mps.gz\,solutions/neos-957323/1/neos-957323.sol.gz
check/IP/miplib2017-benchmark/neos-960392.mps.gz\,solutions/neos-960392/1/neos-960392.sol.gz
check/IP/miplib2017-benchmark/neos17.mps.gz\,solutions/neos17/1/neos17.sol.gz
check/IP/miplib2017-benchmark/neos5.mps.gz\,solutions/neos5/1/neos5.sol.gz
check/IP/miplib2017-benchmark/neos8.mps.gz\,solutions/neos8/1/neos8.sol.gz
check/IP/miplib2017-benchmark/net12.mps.gz\,solutions/net12/1/net12.sol.gz
check/IP/miplib2017-benchmark/net12.mps.gz\,solutions/net12/2/net12.sol.gz
check/IP/miplib2017-benchmark/netdiversion.mps.gz\,solutions/netdiversion/1/netdiversion.sol.gz
check/IP/miplib2017-benchmark/netdiversion.mps.gz\,solutions/netdiversion/2/netdiversion.sol.gz
check/IP/miplib2017-benchmark/nexp-150-20-8-5.mps.gz\,solutions/nexp-150-20-8-5/1/nexp-150-20-8-5.sol.gz
check/IP/miplib2017-benchmark/ns1116954.mps.gz\,solutions/ns1116954/1/ns1116954.sol.gz
check/IP/miplib2017-benchmark/ns1208400.mps.gz\,solutions/ns1208400/1/ns1208400.sol.gz
check/IP/miplib2017-benchmark/ns1208400.mps.gz\,solutions/ns1208400/2/ns1208400.sol.gz
check/IP/miplib2017-benchmark/ns1644855.mps.gz\,solutions/ns1644855/1/ns1644855.sol.gz
check/IP/miplib2017-benchmark/ns1644855.mps.gz\,solutions/ns1644855/2/ns1644855.sol.gz
check/IP/miplib2017-benchmark/ns1760995.mps.gz\,solutions/ns1760995/1/ns1760995.sol.gz
check/IP/miplib2017-benchmark/ns1830653.mps.gz\,solutions/ns1830653/1/ns1830653.sol.gz
check/IP/miplib2017-benchmark/ns1830653.mps.gz\,solutions/ns1830653/2/ns1830653.sol.gz
check/IP/miplib2017-benchmark/nu25-pr12.mps.gz\,solutions/nu25-pr12/1/nu25-pr12.sol.gz
check/IP/miplib2017-benchmark/nursesched-medium-hint03.mps.gz\,solutions/nursesched-medium-hint03/1/nursesched-medium-hint03.sol.gz
check/IP/miplib2017-benchmark/nursesched-sprint02.mps.gz\,solutions/nursesched-sprint02/1/nursesched-sprint02.sol.gz
check/IP/miplib2017-benchmark/nw04.mps.gz\,solutions/nw04/1/nw04.sol.gz
check/IP/miplib2017-benchmark/opm2-z10-s4.mps.gz\,solutions/opm2-z10-s4/1/opm2-z10-s4.sol.gz
check/IP/miplib2017-benchmark/p200x1188c.mps.gz\,solutions/p200x1188c/1/p200x1188c.sol.gz
check/IP/miplib2017-benchmark/peg-solitaire-a3.mps.gz\,solutions/peg-solitaire-a3/1/peg-solitaire-a3.sol.gz
check/IP/miplib2017-benchmark/pg.mps.gz\,solutions/pg/1/pg.sol.gz
check/IP/miplib2017-benchmark/pg5_34.mps.gz\,solutions/pg5_34/1/pg5_34.sol.gz
check/IP/miplib2017-benchmark/pg5_34.mps.gz\,solutions/pg5_34/2/pg5_34.sol.gz
check/IP/miplib2017-benchmark/physiciansched3-3.mps.gz\,solutions/physiciansched3-3/1/physiciansched3-3.sol.gz
check/IP/miplib2017-benchmark/physiciansched6-2.mps.gz\,solutions/physiciansched6-2/1/physiciansched6-2.sol.gz
check/IP/miplib2017-benchmark/pk1.mps.gz\,solutions/pk1/1/pk1.sol.gz
check/IP/miplib2017-benchmark/proteindesign121hz512p9.mps.gz\,solutions/proteindesign121hz512p9/1/proteindesign121hz512p9.sol.gz
check/IP/miplib2017-benchmark/proteindesign122trx11p8.mps.gz\,solutions/proteindesign122trx11p8/1/proteindesign122trx11p8.sol.gz
check/IP/miplib2017-benchmark/qap10.mps.gz\,solutions/qap10/1/qap10.sol.gz
check/IP/miplib2017-benchmark/rail507.mps.gz\,solutions/rail507/1/rail507.sol.gz
check/IP/miplib2017-benchmark/rail507.mps.gz\,solutions/rail507/2/rail507.sol.gz
check/IP/miplib2017-benchmark/ran14x18-disj-8.mps.gz\,solutions/ran14x18-disj-8/1/ran14x18-disj-8.sol.gz
check/IP/miplib2017-benchmark/ran14x18-disj-8.mps.gz\,solutions/ran14x18-disj-8/2/ran14x18-disj-8.sol.gz
check/IP/miplib2017-benchmark/rd-rplusc-21.mps.gz\,solutions/rd-rplusc-21/1/rd-rplusc-21.sol.gz
check/IP/miplib2017-benchmark/reblock115.mps.gz\,solutions/reblock115/1/reblock115.sol.gz
check/IP/miplib2017-benchmark/rmatr100-p10.mps.gz\,solutions/rmatr100-p10/1/rmatr100-p10.sol.gz
check/IP/miplib2017-benchmark/rmatr100-p10.mps.gz\,solutions/rmatr100-p10/2/rmatr100-p10.sol.gz
check/IP/miplib2017-benchmark/rmatr200-p5.mps.gz\,solutions/rmatr200-p5/1/rmatr200-p5.sol.gz
check/IP/miplib2017-benchmark/rmatr200-p5.mps.gz\,solutions/rmatr200-p5/2/rmatr200-p5.sol.gz
check/IP/miplib2017-benchmark/rmatr200-p5.mps.gz\,solutions/rmatr200-p5/3/rmatr200-p5.sol.gz
check/IP/miplib2017-benchmark/rocI-4-11.mps.gz\,solutions/rocI-4-11/1/rocI-4-11.sol.gz
check/IP/miplib2017-benchmark/rocII-5-11.mps.gz\,solutions/rocII-5-11/1/rocII-5-11.sol.gz
check/IP/miplib2017-benchmark/rococoB10-011000.mps.gz\,solutions/rococoB10-011000/1/rococoB10-011000.sol.gz
check/IP/miplib2017-benchmark/rococoB10-011000.mps.gz\,solutions/rococoB10-011000/2/rococoB10-011000.sol.gz
check/IP/miplib2017-benchmark/roi2alpha3n4.mps.gz\,solutions/roi2alpha3n4/1/roi2alpha3n4.sol.gz
check/IP/miplib2017-benchmark/roi5alpha10n8.mps.gz\,solutions/roi5alpha10n8/1/roi5alpha10n8.sol.gz
check/IP/miplib2017-benchmark/roll3000.mps.gz\,solutions/roll3000/2/roll3000.sol.gz
check/IP/miplib2017-benchmark/s100.mps.gz\,solutions/s100/1/s100.sol.gz
check/IP/miplib2017-benchmark/s250r10.mps.gz\,solutions/s250r10/1/s250r10.sol.gz
check/IP/miplib2017-benchmark/satellites2-40.mps.gz\,solutions/satellites2-40/1/satellites2-40.sol.gz
check/IP/miplib2017-benchmark/satellites2-60-fs.mps.gz\,solutions/satellites2-60-fs/1/satellites2-60-fs.sol.gz
check/IP/miplib2017-benchmark/satellites2-60-fs.mps.gz\,solutions/satellites2-60-fs/2/satellites2-60-fs.sol.gz
check/IP/miplib2017-benchmark/savsched1.mps.gz\,solutions/savsched1/1/savsched1.sol.gz
check/IP/miplib2017-benchmark/sct2.mps.gz\,solutions/sct2/1/sct2.sol.gz
check/IP/miplib2017-benchmark/seymour1.mps.gz\,solutions/seymour1/1/seymour1.sol.gz
check/IP/miplib2017-benchmark/sing326.mps.gz\,solutions/sing326/1/sing326.sol.gz
check/IP/miplib2017-benchmark/sing44.mps.gz\,solutions/sing44/1/sing44.sol.gz
check/IP/miplib2017-benchmark/snp-02-004-104.mps.gz\,solutions/snp-02-004-104/1/snp-02-004-104.sol.gz
check/IP/miplib2017-benchmark/sp150x300d.mps.gz\,solutions/sp150x300d/1/sp150x300d.sol.gz
check/IP/miplib2017-benchmark/square41.mps.gz\,solutions/square41/1/square41.sol.gz
check/IP/miplib2017-benchmark/square47.mps.gz\,solutions/square47/1/square47.sol.gz
check/IP/miplib2017-benchmark/supportcase10.mps.gz\,solutions/supportcase10/1/supportcase10.sol.gz
check/IP/miplib2017-benchmark/supportcase19.mps.gz\,solutions/supportcase19/1/supportcase19.sol.gz
check/IP/miplib2017-benchmark/supportcase26.mps.gz\,solutions/supportcase26/1/supportcase26.sol.gz
check/IP/miplib2017-benchmark/supportcase33.mps.gz\,solutions/supportcase33/1/supportcase33.sol.gz
check/IP/miplib2017-benchmark/supportcase40.mps.gz\,solutions/supportcase40/1/supportcase40.sol.gz
check/IP/miplib2017-benchmark/supportcase42.mps.gz\,solutions/supportcase42/1/supportcase42.sol.gz
check/IP/miplib2017-benchmark/supportcase7.mps.gz\,solutions/supportcase7/1/supportcase7.sol.gz
check/IP/miplib2017-benchmark/tbfp-network.mps.gz\,solutions/tbfp-network/1/tbfp-network.sol.gz
check/IP/miplib2017-benchmark/thor50dday.mps.gz\,solutions/thor50dday/1/thor50dday.sol.gz
check/IP/miplib2017-benchmark/timtab1.mps.gz\,solutions/timtab1/1/timtab1.sol.gz
check/IP/miplib2017-benchmark/timtab1.mps.gz\,solutions/timtab1/2/timtab1.sol.gz
check/IP/miplib2017-benchmark/traininstance2.mps.gz\,solutions/traininstance2/1/traininstance2.sol.gz
check/IP/miplib2017-benchmark/traininstance6.mps.gz\,solutions/traininstance6/1/traininstance6.sol.gz
check/IP/miplib2017-benchmark/trento1.mps.gz\,solutions/trento1/1/trento1.sol.gz
check/IP/miplib2017-benchmark/uccase12.mps.gz\,solutions/uccase12/1/uccase12.sol.gz
check/IP/miplib2017-benchmark/uccase9.mps.gz\,solutions/uccase9/1/uccase9.sol.gz
check/IP/miplib2017-benchmark/uct-subprob.mps.gz\,solutions/uct-subprob/1/uct-subprob.sol.gz
check/IP/miplib2017-benchmark/uct-subprob.mps.gz\,solutions/uct-subprob/2/uct-subprob.sol.gz
check/IP/miplib2017-benchmark/uct-subprob.mps.gz\,solutions/uct-subprob/3/uct-subprob.sol.gz
check/IP/miplib2017-benchmark/unitcal_7.mps.gz\,solutions/unitcal_7/1/unitcal_7.sol.gz
check/IP/miplib2017-benchmark/unitcal_7.mps.gz\,solutions/unitcal_7/2/unitcal_7.sol.gz
check/IP/miplib2017-benchmark/var-smallemery-m6j6.mps.gz\,solutions/var-smallemery-m6j6/1/var-smallemery-m6j6.sol.gz
check/IP/miplib2017-benchmark/wachplan.mps.gz\,solutions/wachplan/1/wachplan.sol.gz
check/IP/miplib2017-benchmark/wachplan.mps.gz\,solutions/wachplan/2/wachplan.sol.gz
check/IP/miplib2017/mik-250-20-75-1.mps.gz\,solutions/mik-250-20-75-1/1/mik-250-20-75-1.sol.gz
check/IP/miplib2017/n2seq36f.mps.gz\,solutions/n2seq36f/1/n2seq36f.sol.gz
check/IP/miplib2017/n3seq24.mps.gz\,solutions/n3seq24/1/n3seq24.sol.gz
check/IP/miplib2017/n3seq24.mps.gz\,solutions/n3seq24/2/n3seq24.sol.gz
check/IP/miplib2017/neos-3421095-cinca.mps.gz\,solutions/neos-3421095-cinca/1/neos-3421095-cinca.sol.gz
check/IP/miplib2017/stockholm.mps.gz\,solutions/stockholm/1/stockholm.sol.gz
check/IP/miplib2017/stockholm.mps.gz\,solutions/stockholm/2/stockholm.sol.gz
check/IP/miplib2017/supportcase31.mps.gz\,solutions/supportcase31/1/supportcase31.sol.gz
|
