|
dicopt |
muriqui |
shot |
baron |
aoa |
knitro |
alphaecp |
knitrobb |
scip |
bbb |
sbb |
mtaurbnb |
juniper |
lindo |
boa |
mtaurqg |
pavito |
antigone |
couenne |
bhyb |
virt. best |
virt. worst |
ball_mk2_10 |
- |
- |
1511 |
1 |
- |
3070 |
- |
2047 |
1 |
2046 |
2046 |
1 |
- |
2045 |
1 |
1 |
- |
1 |
1 |
1 |
1.0 |
- |
batch |
- |
- |
1 |
3 |
- |
33 |
- |
17 |
1 |
4 |
42 |
1 |
- |
214 |
1 |
1 |
- |
1 |
19 |
6 |
1.0 |
- |
clay0203m |
- |
- |
59 |
73 |
- |
417 |
- |
245 |
15 |
249 |
322 |
1 |
- |
47 |
1 |
1 |
- |
7 |
315 |
40 |
1.0 |
- |
clay0204m |
- |
- |
144 |
9 |
- |
1235 |
- |
1695 |
445 |
1501 |
2561 |
1 |
- |
829 |
1 |
1 |
- |
1 |
1023 |
672 |
1.0 |
- |
clay0205m |
- |
- |
5018 |
35 |
- |
28675 |
- |
23529 |
3105 |
17201 |
50549 |
1 |
- |
175067 |
1 |
1 |
- |
1 |
14380 |
5201 |
1.0 |
- |
clay0304m |
- |
- |
1520 |
216 |
- |
43276 |
- |
2683 |
226 |
3191 |
19939 |
1 |
- |
4499 |
1 |
1 |
- |
23 |
4147 |
22360 |
1.0 |
- |
clay0305m |
- |
- |
4252 |
11 |
- |
69904 |
- |
17228 |
6021 |
18689 |
34883 |
1 |
- |
11216 |
1 |
1 |
- |
2 |
15701 |
7001 |
1.0 |
- |
cvxnonsep_normcon20 |
- |
- |
849 |
26 |
- |
5384 |
- |
25 |
341 |
14 |
22 |
1 |
- |
109 |
1 |
1 |
- |
1 |
4 |
88501 |
1.0 |
- |
cvxnonsep_normcon30 |
- |
- |
19035 |
128 |
- |
104531 |
- |
101 |
6546 |
101 |
56 |
1 |
- |
98 |
325455 |
1 |
- |
1 |
118 |
444729 |
1.0 |
- |
cvxnonsep_nsig40 |
- |
- |
16170 |
9 |
- |
122803 |
- |
19 |
387 |
70 |
67 |
1 |
- |
324 |
1 |
1 |
- |
45282 |
449624 |
255663 |
1.0 |
- |
enpro56pb |
- |
- |
125 |
23 |
- |
3721 |
- |
491 |
386 |
541 |
3741 |
1 |
- |
19064 |
1 |
1 |
- |
1 |
1688 |
301 |
1.0 |
- |
ex1223a |
- |
- |
1 |
1 |
- |
4 |
- |
3 |
1 |
2 |
4 |
1 |
- |
2 |
1 |
1 |
- |
1 |
1 |
1 |
1.0 |
- |
flay04m |
- |
- |
732 |
1527 |
- |
2622 |
- |
2683 |
1801 |
2597 |
2551 |
1 |
- |
2026 |
1 |
1 |
- |
15 |
2501 |
2282 |
1.0 |
- |
flay05m |
- |
- |
47153 |
60665 |
- |
110641 |
- |
94179 |
67983 |
82201 |
108161 |
1 |
- |
112598 |
1 |
1 |
- |
329 |
117101 |
115101 |
1.0 |
- |
gbd |
- |
- |
1 |
1 |
- |
1 |
- |
1 |
1 |
1 |
1 |
1 |
- |
1 |
1 |
1 |
- |
1 |
1 |
1 |
1.0 |
- |
slay08m |
- |
- |
1 |
22114 |
- |
32235 |
- |
2411 |
299 |
265 |
395 |
1 |
- |
333 |
1 |
1 |
- |
3 |
966 |
2701 |
1.0 |
- |
slay09m |
- |
- |
1 |
37721 |
- |
138273 |
- |
5565 |
1072 |
393 |
19600 |
1 |
- |
3811 |
1 |
1 |
- |
3 |
2423 |
22101 |
1.0 |
- |
slay10m |
- |
- |
1 |
4725 |
- |
115928 |
- |
30155 |
3823 |
6301 |
55894 |
1 |
- |
25491 |
554319 |
1 |
- |
3 |
56101 |
377201 |
1.0 |
- |
smallinvDAXr1b010-011 |
- |
- |
1157 |
50 |
- |
4917 |
- |
119 |
79 |
178 |
156 |
1 |
- |
58501 |
1 |
1 |
- |
5 |
5612 |
7701 |
1.0 |
- |
smallinvDAXr1b020-022 |
- |
- |
2015 |
57 |
- |
4394 |
- |
67 |
57 |
59 |
67 |
1 |
- |
61377 |
1 |
1 |
- |
8 |
24280 |
54701 |
1.0 |
- |
smallinvDAXr1b050-055 |
- |
- |
955 |
135 |
- |
4669 |
- |
161 |
81 |
288 |
152 |
1 |
- |
60245 |
1 |
1 |
- |
7 |
103051 |
420201 |
1.0 |
- |
smallinvDAXr1b100-110 |
- |
- |
726 |
212 |
- |
6934 |
- |
137 |
1 |
274 |
140 |
1 |
- |
60959 |
1 |
1 |
- |
12 |
187739 |
722859 |
1.0 |
- |
smallinvDAXr1b150-165 |
- |
- |
275 |
62 |
- |
5940 |
- |
327 |
1 |
210 |
417 |
1 |
- |
60450 |
1 |
1 |
- |
5 |
181275 |
425827 |
1.0 |
- |
smallinvDAXr1b200-220 |
- |
- |
4 |
41 |
- |
3376 |
- |
141 |
1 |
273 |
175 |
1 |
- |
62321 |
1 |
1 |
- |
10 |
152790 |
395317 |
1.0 |
- |
smallinvDAXr2b010-011 |
- |
- |
1209 |
52 |
- |
5908 |
- |
119 |
79 |
178 |
156 |
1 |
- |
59247 |
1 |
1 |
- |
12 |
5598 |
12601 |
1.0 |
- |
smallinvDAXr2b100-110 |
- |
- |
509 |
284 |
- |
5496 |
- |
137 |
1 |
274 |
140 |
1 |
- |
61159 |
1 |
1 |
- |
4 |
190616 |
118884 |
1.0 |
- |
smallinvDAXr2b150-165 |
- |
- |
262 |
27 |
- |
4906 |
- |
327 |
1 |
507 |
417 |
1 |
- |
59855 |
1 |
1 |
- |
8 |
189469 |
545577 |
1.0 |
- |
smallinvDAXr2b200-220 |
- |
- |
3 |
54 |
- |
3357 |
- |
141 |
1 |
273 |
175 |
1 |
- |
61199 |
1 |
1 |
- |
4 |
160085 |
91673 |
1.0 |
- |
smallinvDAXr3b010-011 |
- |
- |
1056 |
52 |
- |
3969 |
- |
119 |
81 |
176 |
156 |
1 |
- |
61146 |
1 |
1 |
- |
4 |
5300 |
6599 |
1.0 |
- |
smallinvDAXr3b020-022 |
- |
- |
898 |
83 |
- |
3594 |
- |
67 |
57 |
57 |
67 |
1 |
- |
60514 |
1 |
1 |
- |
5 |
23798 |
70701 |
1.0 |
- |
smallinvDAXr3b050-055 |
- |
- |
1712 |
140 |
- |
7403 |
- |
161 |
174 |
288 |
152 |
1 |
- |
60307 |
1 |
1 |
- |
22 |
102819 |
599550 |
1.0 |
- |
smallinvDAXr3b100-110 |
- |
- |
294 |
250 |
- |
4792 |
- |
137 |
1 |
274 |
140 |
1 |
- |
60842 |
1 |
1 |
- |
8 |
190891 |
75989 |
1.0 |
- |
smallinvDAXr3b150-165 |
- |
- |
134 |
24 |
- |
2434 |
- |
327 |
1 |
507 |
417 |
1 |
- |
59813 |
1 |
1 |
- |
5 |
187549 |
8456 |
1.0 |
- |
smallinvDAXr3b200-220 |
- |
- |
52 |
41 |
- |
4587 |
- |
141 |
1 |
273 |
175 |
1 |
- |
59693 |
1 |
1 |
- |
6 |
156207 |
615213 |
1.0 |
- |
smallinvDAXr4b010-011 |
- |
- |
1241 |
52 |
- |
4293 |
- |
119 |
89 |
178 |
156 |
1 |
- |
43128 |
1 |
1 |
- |
1 |
6544 |
6101 |
1.0 |
- |
smallinvDAXr4b100-110 |
- |
- |
447 |
192 |
- |
4396 |
- |
137 |
1 |
274 |
140 |
1 |
- |
61088 |
1 |
1 |
- |
9 |
193651 |
191499 |
1.0 |
- |
smallinvDAXr4b150-165 |
- |
- |
62 |
56 |
- |
3575 |
- |
327 |
1 |
507 |
417 |
1 |
- |
60160 |
1 |
1 |
- |
5 |
186495 |
372109 |
1.0 |
- |
smallinvDAXr4b200-220 |
- |
- |
41 |
41 |
- |
3848 |
- |
141 |
1 |
273 |
175 |
1 |
- |
61055 |
1 |
1 |
- |
6 |
155366 |
98860 |
1.0 |
- |
smallinvDAXr5b010-011 |
- |
- |
1171 |
52 |
- |
4435 |
- |
119 |
92 |
180 |
156 |
1 |
- |
61899 |
1 |
1 |
- |
11 |
5548 |
9601 |
1.0 |
- |
smallinvDAXr5b020-022 |
- |
- |
970 |
83 |
- |
3844 |
- |
67 |
111 |
57 |
67 |
1 |
- |
59695 |
1 |
1 |
- |
12 |
23668 |
45201 |
1.0 |
- |
smallinvDAXr5b050-055 |
- |
- |
1092 |
117 |
- |
3847 |
- |
161 |
82 |
288 |
152 |
1 |
- |
59489 |
1 |
1 |
- |
6 |
100901 |
429901 |
1.0 |
- |
smallinvDAXr5b100-110 |
- |
- |
736 |
29 |
- |
5939 |
- |
137 |
1 |
274 |
140 |
1 |
- |
60500 |
1 |
1 |
- |
7 |
195711 |
719857 |
1.0 |
- |
smallinvDAXr5b150-165 |
- |
- |
54 |
27 |
- |
5614 |
- |
327 |
1 |
505 |
417 |
1 |
- |
60274 |
1 |
1 |
- |
8 |
199055 |
88836 |
1.0 |
- |
smallinvDAXr5b200-220 |
- |
- |
21 |
44 |
- |
6216 |
- |
141 |
1 |
330 |
175 |
1 |
- |
61512 |
1 |
1 |
- |
12 |
154676 |
536997 |
1.0 |
- |
st_test1 |
- |
- |
1 |
1 |
- |
24 |
- |
15 |
1 |
14 |
14 |
1 |
- |
1 |
1 |
1 |
- |
1 |
1 |
1 |
1.0 |
- |
tls12 |
- |
- |
430384 |
44 |
- |
84795 |
- |
10073 |
11553 |
25922 |
59101 |
1 |
- |
7571 |
360238 |
1 |
- |
1 |
50078 |
71746 |
1.0 |
- |
unitcommit1 |
- |
- |
1 |
1 |
- |
26125 |
- |
3701 |
1 |
953 |
34781 |
1 |
- |
35 |
1 |
1 |
- |
1 |
23548 |
65 |
1.0 |
- |