|
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 |
4958561 |
1 |
1 |
1.0 |
1 |
1 |
1029 |
1 |
1 |
19953 |
14339 |
1 |
- |
15345 |
1 |
1 |
- |
4 |
1 |
3 |
1.0 |
- |
clay0203m |
2204 |
1 |
1 |
1.0 |
1 |
1 |
71 |
1 |
649 |
7164 |
4425 |
1 |
- |
5728 |
3 |
1 |
- |
4 |
6409 |
625 |
1.0 |
- |
clay0204m |
15543 |
1 |
1 |
1.0 |
1 |
1 |
67 |
1 |
3666 |
30831 |
21647 |
1 |
- |
33764 |
5 |
1 |
- |
4 |
9702 |
4350 |
1.0 |
- |
clay0205m |
165579 |
1 |
1 |
1.0 |
1 |
1 |
72 |
1 |
29931 |
598910 |
475295 |
1 |
- |
272244 |
7 |
1 |
- |
4 |
131328 |
53655 |
1.0 |
- |
clay0304m |
36989539 |
1 |
1 |
1.0 |
1 |
1 |
120 |
1 |
2710 |
116278 |
304370 |
1 |
- |
141864 |
8 |
1 |
- |
4 |
51454 |
231463 |
1.0 |
- |
clay0305m |
314033 |
1 |
1 |
1.0 |
1 |
1 |
135 |
1 |
51897 |
786789 |
357972 |
1 |
- |
405047 |
3 |
1 |
- |
4 |
144362 |
89095 |
1.0 |
- |
cvxnonsep_normcon20 |
574485 |
1 |
1 |
1.0 |
1 |
1 |
1037 |
1 |
11451 |
107 |
357 |
1 |
- |
5793 |
20 |
1 |
- |
4 |
202 |
480104 |
1.0 |
- |
cvxnonsep_normcon30 |
31483204 |
1 |
1 |
1.0 |
1 |
1 |
960 |
1 |
275932 |
687 |
851 |
1 |
- |
22936 |
1723050 |
1 |
- |
4 |
1301 |
3027284 |
1.0 |
- |
cvxnonsep_nsig40 |
15982748 |
1 |
1 |
1.0 |
1 |
1 |
1588 |
1 |
2332193 |
533 |
1209 |
1 |
- |
32492 |
37 |
1 |
- |
24 |
25859052 |
1146903 |
1.0 |
- |
enpro56pb |
3760 |
1 |
1 |
1.0 |
1 |
1 |
131 |
1 |
11663 |
9652 |
68158 |
1 |
- |
109629743 |
1 |
1 |
- |
4 |
30844 |
5137 |
1.0 |
- |
flay04m |
152262 |
1 |
1 |
1.0 |
1 |
1 |
296 |
1 |
32526 |
31854 |
32141 |
1 |
- |
151490 |
14 |
1 |
- |
4 |
20072 |
15775 |
1.0 |
- |
flay05m |
9819726 |
1 |
1 |
1.0 |
1 |
1 |
240 |
1 |
1267341 |
1000945 |
1769081 |
1 |
- |
7712569 |
21 |
1 |
- |
4 |
875897 |
714014 |
1.0 |
- |
slay08m |
86288 |
1 |
1 |
1.0 |
1 |
1 |
562 |
1 |
15784 |
3646 |
5603 |
1 |
- |
326464 |
2 |
1 |
- |
4 |
12469 |
30314 |
1.0 |
- |
slay09m |
571176 |
1 |
1 |
1.0 |
1 |
1 |
844 |
1 |
46789 |
6019 |
315853 |
1 |
- |
3009109 |
21 |
1 |
- |
4 |
28417 |
302204 |
1.0 |
- |
slay10m |
15208417 |
1 |
1 |
1.0 |
1 |
1 |
160 |
1 |
207078 |
97298 |
958328 |
1 |
- |
13233166 |
8550381 |
1 |
- |
4 |
771645 |
6443605 |
1.0 |
- |
smallinvDAXr1b010-011 |
284061 |
1 |
1 |
1.0 |
1 |
1 |
60 |
1 |
828 |
2495 |
1190 |
1 |
- |
9828 |
7 |
1 |
- |
4 |
95707 |
16860 |
1.0 |
- |
smallinvDAXr1b020-022 |
879022 |
1 |
1 |
1.0 |
1 |
1 |
57 |
1 |
731 |
611 |
567 |
1 |
- |
5732 |
7 |
1 |
- |
4 |
560382 |
125975 |
1.0 |
- |
smallinvDAXr1b050-055 |
733738 |
1 |
1 |
1.0 |
1 |
1 |
83 |
1 |
853 |
3384 |
1058 |
1 |
- |
16940 |
12 |
1 |
- |
4 |
3064986 |
914099 |
1.0 |
- |
smallinvDAXr1b100-110 |
959262 |
1 |
1 |
1.0 |
1 |
1 |
107 |
1 |
130 |
3506 |
957 |
1 |
- |
15323 |
14 |
1 |
- |
4 |
7151698 |
1590361 |
1.0 |
- |
smallinvDAXr1b150-165 |
449911 |
1 |
1 |
1.0 |
1 |
1 |
127 |
1 |
115 |
2630 |
2773 |
1 |
- |
9160 |
9 |
1 |
- |
4 |
7890168 |
929298 |
1.0 |
- |
smallinvDAXr1b200-220 |
313613 |
1 |
1 |
1.0 |
1 |
1 |
98 |
1 |
101 |
3460 |
1379 |
1 |
- |
7215 |
14 |
1 |
- |
4 |
6819399 |
863857 |
1.0 |
- |
smallinvDAXr2b010-011 |
363892 |
1 |
1 |
1.0 |
1 |
1 |
60 |
1 |
839 |
2503 |
1180 |
1 |
- |
4828 |
8 |
1 |
- |
4 |
93624 |
28662 |
1.0 |
- |
smallinvDAXr2b100-110 |
1657347 |
1 |
1 |
1.0 |
1 |
1 |
105 |
1 |
134 |
3515 |
959 |
1 |
- |
15271 |
20 |
1 |
- |
4 |
7272987 |
266715 |
1.0 |
- |
smallinvDAXr2b150-165 |
329697 |
1 |
1 |
1.0 |
1 |
1 |
127 |
1 |
115 |
6311 |
2773 |
1 |
- |
17563 |
13 |
1 |
- |
4 |
8234846 |
1245561 |
1.0 |
- |
smallinvDAXr2b200-220 |
251537 |
1 |
1 |
1.0 |
1 |
1 |
96 |
1 |
101 |
3464 |
1381 |
1 |
- |
10156 |
15 |
1 |
- |
4 |
7055117 |
200670 |
1.0 |
- |
smallinvDAXr3b010-011 |
300192 |
1 |
1 |
1.0 |
1 |
1 |
69 |
1 |
803 |
2493 |
1180 |
1 |
- |
4406 |
8 |
1 |
- |
4 |
85569 |
14362 |
1.0 |
- |
smallinvDAXr3b020-022 |
836424 |
1 |
1 |
1.0 |
1 |
1 |
60 |
1 |
736 |
586 |
565 |
1 |
- |
9161 |
8 |
1 |
- |
4 |
558204 |
164570 |
1.0 |
- |
smallinvDAXr3b050-055 |
881355 |
1 |
1 |
1.0 |
1 |
1 |
85 |
1 |
1408 |
3406 |
1059 |
1 |
- |
13509 |
13 |
1 |
- |
4 |
3099975 |
1405626 |
1.0 |
- |
smallinvDAXr3b100-110 |
812873 |
1 |
1 |
1.0 |
1 |
1 |
77 |
1 |
116 |
3541 |
960 |
1 |
- |
16927 |
12 |
1 |
- |
4 |
6979315 |
170183 |
1.0 |
- |
smallinvDAXr3b150-165 |
430943 |
1 |
1 |
1.0 |
1 |
1 |
124 |
1 |
156 |
6336 |
2778 |
1 |
- |
13356 |
11 |
1 |
- |
4 |
8106591 |
18663 |
1.0 |
- |
smallinvDAXr3b200-220 |
249165 |
1 |
1 |
1.0 |
1 |
1 |
104 |
1 |
113 |
3461 |
1379 |
1 |
- |
10381 |
15 |
1 |
- |
4 |
6862231 |
1333679 |
1.0 |
- |
smallinvDAXr4b010-011 |
347664 |
1 |
1 |
1.0 |
1 |
1 |
74 |
1 |
912 |
2583 |
1181 |
1 |
- |
7587 |
7 |
1 |
- |
4 |
111659 |
13230 |
1.0 |
- |
smallinvDAXr4b100-110 |
1392420 |
1 |
1 |
1.0 |
1 |
1 |
81 |
1 |
116 |
3561 |
958 |
1 |
- |
20511 |
9 |
1 |
- |
4 |
7318748 |
426217 |
1.0 |
- |
smallinvDAXr4b150-165 |
252245 |
1 |
1 |
1.0 |
1 |
1 |
121 |
1 |
156 |
6379 |
2774 |
1 |
- |
7960 |
5 |
1 |
- |
4 |
8132963 |
845898 |
1.0 |
- |
smallinvDAXr4b200-220 |
159845 |
1 |
1 |
1.0 |
1 |
1 |
101 |
1 |
113 |
3478 |
1381 |
1 |
- |
5980 |
10 |
1 |
- |
4 |
6751938 |
216970 |
1.0 |
- |
smallinvDAXr5b010-011 |
318178 |
1 |
1 |
1.0 |
1 |
1 |
68 |
1 |
935 |
2637 |
1181 |
1 |
- |
5192 |
9 |
1 |
- |
4 |
91506 |
22405 |
1.0 |
- |
smallinvDAXr5b020-022 |
1275283 |
1 |
1 |
1.0 |
1 |
1 |
71 |
1 |
925 |
592 |
562 |
1 |
- |
6007 |
7 |
1 |
- |
4 |
548739 |
100888 |
1.0 |
- |
smallinvDAXr5b050-055 |
601384 |
1 |
1 |
1.0 |
1 |
1 |
82 |
1 |
868 |
3420 |
1062 |
1 |
- |
13131 |
10 |
1 |
- |
4 |
3043756 |
913962 |
1.0 |
- |
smallinvDAXr5b100-110 |
1488162 |
1 |
1 |
1.0 |
1 |
1 |
84 |
1 |
116 |
3596 |
960 |
1 |
- |
12526 |
14 |
1 |
- |
4 |
7624142 |
1611432 |
1.0 |
- |
smallinvDAXr5b150-165 |
178075 |
1 |
1 |
1.0 |
1 |
1 |
122 |
1 |
156 |
6448 |
2773 |
1 |
- |
8812 |
15 |
1 |
- |
4 |
6994757 |
186925 |
1.0 |
- |
smallinvDAXr5b200-220 |
280852 |
1 |
1 |
1.0 |
1 |
1 |
107 |
1 |
113 |
4175 |
1380 |
1 |
- |
8012 |
15 |
1 |
- |
4 |
6779917 |
1210706 |
1.0 |
- |
st_test1 |
106 |
1 |
1 |
1.0 |
1 |
1 |
14 |
1 |
1 |
84 |
65 |
1 |
- |
1 |
1 |
1 |
- |
4 |
1 |
3 |
1.0 |
- |
tls12 |
36450294 |
1 |
1 |
- |
1 |
1 |
202 |
1 |
4869740 |
845538 |
1937623 |
1 |
- |
17705649 |
11116073 |
1 |
- |
1 |
8321329 |
23853303 |
1.0 |
- |
unitcommit1 |
1935 |
1 |
1 |
1.0 |
1 |
1 |
667 |
1 |
7053 |
44613 |
655440 |
1 |
- |
23447 |
1 |
1 |
- |
4 |
1694382 |
9833 |
1.0 |
- |