|
dicopt |
muriqui |
shot |
baron |
aoa |
knitro |
alphaecp |
knitrobb |
scip |
bbb |
sbb |
mtaurbnb |
juniper |
lindo |
boa |
mtaurqg |
pavito |
antigone |
couenne |
bhyb |
virt. worst |
ball_mk2_10 |
- |
- |
1511.00 |
1.00 |
- |
3070.00 |
- |
2047.00 |
1.00 |
2046.00 |
2046.00 |
1.00 |
- |
2045.00 |
1.00 |
1.00 |
- |
1.00 |
1.00 |
1.00 |
- |
batch |
- |
- |
1.00 |
3.00 |
- |
33.00 |
- |
17.00 |
1.00 |
4.00 |
42.00 |
1.00 |
- |
214.00 |
1.00 |
1.00 |
- |
1.00 |
19.00 |
6.00 |
- |
clay0203m |
- |
- |
59.00 |
73.00 |
- |
417.00 |
- |
245.00 |
15.00 |
249.00 |
322.00 |
1.00 |
- |
47.00 |
1.00 |
1.00 |
- |
7.00 |
315.00 |
40.00 |
- |
clay0204m |
- |
- |
144.00 |
9.00 |
- |
1235.00 |
- |
1695.00 |
445.00 |
1501.00 |
2561.00 |
1.00 |
- |
829.00 |
1.00 |
1.00 |
- |
1.00 |
1023.00 |
672.00 |
- |
clay0205m |
- |
- |
5018.00 |
35.00 |
- |
28675.00 |
- |
23529.00 |
3105.00 |
17201.00 |
50549.00 |
1.00 |
- |
175067.00 |
1.00 |
1.00 |
- |
1.00 |
14380.00 |
5201.00 |
- |
clay0304m |
- |
- |
1520.00 |
216.00 |
- |
43276.00 |
- |
2683.00 |
226.00 |
3191.00 |
19939.00 |
1.00 |
- |
4499.00 |
1.00 |
1.00 |
- |
23.00 |
4147.00 |
22360.00 |
- |
clay0305m |
- |
- |
4252.00 |
11.00 |
- |
69904.00 |
- |
17228.00 |
6021.00 |
18689.00 |
34883.00 |
1.00 |
- |
11216.00 |
1.00 |
1.00 |
- |
2.00 |
15701.00 |
7001.00 |
- |
cvxnonsep_normcon20 |
- |
- |
849.00 |
26.00 |
- |
5384.00 |
- |
25.00 |
341.00 |
14.00 |
22.00 |
1.00 |
- |
109.00 |
1.00 |
1.00 |
- |
1.00 |
4.00 |
88501.00 |
- |
cvxnonsep_normcon30 |
- |
- |
19035.00 |
128.00 |
- |
104531.00 |
- |
101.00 |
6546.00 |
101.00 |
56.00 |
1.00 |
- |
98.00 |
325455.00 |
1.00 |
- |
1.00 |
118.00 |
444729.00 |
- |
cvxnonsep_nsig40 |
- |
- |
16170.00 |
9.00 |
- |
122803.00 |
- |
19.00 |
387.00 |
70.00 |
67.00 |
1.00 |
- |
324.00 |
1.00 |
1.00 |
- |
45282.00 |
449624.00 |
255663.00 |
- |
enpro56pb |
- |
- |
125.00 |
23.00 |
- |
3721.00 |
- |
491.00 |
386.00 |
541.00 |
3741.00 |
1.00 |
- |
19064.00 |
1.00 |
1.00 |
- |
1.00 |
1688.00 |
301.00 |
- |
ex1223a |
- |
- |
1.00 |
1.00 |
- |
4.00 |
- |
3.00 |
1.00 |
2.00 |
4.00 |
1.00 |
- |
2.00 |
1.00 |
1.00 |
- |
1.00 |
1.00 |
1.00 |
- |
flay04m |
- |
- |
732.00 |
1527.00 |
- |
2622.00 |
- |
2683.00 |
1801.00 |
2597.00 |
2551.00 |
1.00 |
- |
2026.00 |
1.00 |
1.00 |
- |
15.00 |
2501.00 |
2282.00 |
- |
flay05m |
- |
- |
47153.00 |
60665.00 |
- |
110641.00 |
- |
94179.00 |
67983.00 |
82201.00 |
108161.00 |
1.00 |
- |
112598.00 |
1.00 |
1.00 |
- |
329.00 |
117101.00 |
115101.00 |
- |
gbd |
- |
- |
1.00 |
1.00 |
- |
1.00 |
- |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
- |
1.00 |
1.00 |
1.00 |
- |
1.00 |
1.00 |
1.00 |
- |
slay08m |
- |
- |
1.00 |
22114.00 |
- |
32235.00 |
- |
2411.00 |
299.00 |
265.00 |
395.00 |
1.00 |
- |
333.00 |
1.00 |
1.00 |
- |
3.00 |
966.00 |
2701.00 |
- |
slay09m |
- |
- |
1.00 |
37721.00 |
- |
138273.00 |
- |
5565.00 |
1072.00 |
393.00 |
19600.00 |
1.00 |
- |
3811.00 |
1.00 |
1.00 |
- |
3.00 |
2423.00 |
22101.00 |
- |
slay10m |
- |
- |
1.00 |
4725.00 |
- |
115928.00 |
- |
30155.00 |
3823.00 |
6301.00 |
55894.00 |
1.00 |
- |
25491.00 |
554319.00 |
1.00 |
- |
3.00 |
56101.00 |
377201.00 |
- |
smallinvDAXr1b010-011 |
- |
- |
1157.00 |
50.00 |
- |
4917.00 |
- |
119.00 |
79.00 |
178.00 |
156.00 |
1.00 |
- |
58501.00 |
1.00 |
1.00 |
- |
5.00 |
5612.00 |
7701.00 |
- |
smallinvDAXr1b020-022 |
- |
- |
2015.00 |
57.00 |
- |
4394.00 |
- |
67.00 |
57.00 |
59.00 |
67.00 |
1.00 |
- |
61377.00 |
1.00 |
1.00 |
- |
8.00 |
24280.00 |
54701.00 |
- |
smallinvDAXr1b050-055 |
- |
- |
955.00 |
135.00 |
- |
4669.00 |
- |
161.00 |
81.00 |
288.00 |
152.00 |
1.00 |
- |
60245.00 |
1.00 |
1.00 |
- |
7.00 |
103051.00 |
420201.00 |
- |
smallinvDAXr1b100-110 |
- |
- |
726.00 |
212.00 |
- |
6934.00 |
- |
137.00 |
1.00 |
274.00 |
140.00 |
1.00 |
- |
60959.00 |
1.00 |
1.00 |
- |
12.00 |
187739.00 |
722859.00 |
- |
smallinvDAXr1b150-165 |
- |
- |
275.00 |
62.00 |
- |
5940.00 |
- |
327.00 |
1.00 |
210.00 |
417.00 |
1.00 |
- |
60450.00 |
1.00 |
1.00 |
- |
5.00 |
181275.00 |
425827.00 |
- |
smallinvDAXr1b200-220 |
- |
- |
4.00 |
41.00 |
- |
3376.00 |
- |
141.00 |
1.00 |
273.00 |
175.00 |
1.00 |
- |
62321.00 |
1.00 |
1.00 |
- |
10.00 |
152790.00 |
395317.00 |
- |
smallinvDAXr2b010-011 |
- |
- |
1209.00 |
52.00 |
- |
5908.00 |
- |
119.00 |
79.00 |
178.00 |
156.00 |
1.00 |
- |
59247.00 |
1.00 |
1.00 |
- |
12.00 |
5598.00 |
12601.00 |
- |
smallinvDAXr2b100-110 |
- |
- |
509.00 |
284.00 |
- |
5496.00 |
- |
137.00 |
1.00 |
274.00 |
140.00 |
1.00 |
- |
61159.00 |
1.00 |
1.00 |
- |
4.00 |
190616.00 |
118884.00 |
- |
smallinvDAXr2b150-165 |
- |
- |
262.00 |
27.00 |
- |
4906.00 |
- |
327.00 |
1.00 |
507.00 |
417.00 |
1.00 |
- |
59855.00 |
1.00 |
1.00 |
- |
8.00 |
189469.00 |
545577.00 |
- |
smallinvDAXr2b200-220 |
- |
- |
3.00 |
54.00 |
- |
3357.00 |
- |
141.00 |
1.00 |
273.00 |
175.00 |
1.00 |
- |
61199.00 |
1.00 |
1.00 |
- |
4.00 |
160085.00 |
91673.00 |
- |
smallinvDAXr3b010-011 |
- |
- |
1056.00 |
52.00 |
- |
3969.00 |
- |
119.00 |
81.00 |
176.00 |
156.00 |
1.00 |
- |
61146.00 |
1.00 |
1.00 |
- |
4.00 |
5300.00 |
6599.00 |
- |
smallinvDAXr3b020-022 |
- |
- |
898.00 |
83.00 |
- |
3594.00 |
- |
67.00 |
57.00 |
57.00 |
67.00 |
1.00 |
- |
60514.00 |
1.00 |
1.00 |
- |
5.00 |
23798.00 |
70701.00 |
- |
smallinvDAXr3b050-055 |
- |
- |
1712.00 |
140.00 |
- |
7403.00 |
- |
161.00 |
174.00 |
288.00 |
152.00 |
1.00 |
- |
60307.00 |
1.00 |
1.00 |
- |
22.00 |
102819.00 |
599550.00 |
- |
smallinvDAXr3b100-110 |
- |
- |
294.00 |
250.00 |
- |
4792.00 |
- |
137.00 |
1.00 |
274.00 |
140.00 |
1.00 |
- |
60842.00 |
1.00 |
1.00 |
- |
8.00 |
190891.00 |
75989.00 |
- |
smallinvDAXr3b150-165 |
- |
- |
134.00 |
24.00 |
- |
2434.00 |
- |
327.00 |
1.00 |
507.00 |
417.00 |
1.00 |
- |
59813.00 |
1.00 |
1.00 |
- |
5.00 |
187549.00 |
8456.00 |
- |
smallinvDAXr3b200-220 |
- |
- |
52.00 |
41.00 |
- |
4587.00 |
- |
141.00 |
1.00 |
273.00 |
175.00 |
1.00 |
- |
59693.00 |
1.00 |
1.00 |
- |
6.00 |
156207.00 |
615213.00 |
- |
smallinvDAXr4b010-011 |
- |
- |
1241.00 |
52.00 |
- |
4293.00 |
- |
119.00 |
89.00 |
178.00 |
156.00 |
1.00 |
- |
43128.00 |
1.00 |
1.00 |
- |
1.00 |
6544.00 |
6101.00 |
- |
smallinvDAXr4b100-110 |
- |
- |
447.00 |
192.00 |
- |
4396.00 |
- |
137.00 |
1.00 |
274.00 |
140.00 |
1.00 |
- |
61088.00 |
1.00 |
1.00 |
- |
9.00 |
193651.00 |
191499.00 |
- |
smallinvDAXr4b150-165 |
- |
- |
62.00 |
56.00 |
- |
3575.00 |
- |
327.00 |
1.00 |
507.00 |
417.00 |
1.00 |
- |
60160.00 |
1.00 |
1.00 |
- |
5.00 |
186495.00 |
372109.00 |
- |
smallinvDAXr4b200-220 |
- |
- |
41.00 |
41.00 |
- |
3848.00 |
- |
141.00 |
1.00 |
273.00 |
175.00 |
1.00 |
- |
61055.00 |
1.00 |
1.00 |
- |
6.00 |
155366.00 |
98860.00 |
- |
smallinvDAXr5b010-011 |
- |
- |
1171.00 |
52.00 |
- |
4435.00 |
- |
119.00 |
92.00 |
180.00 |
156.00 |
1.00 |
- |
61899.00 |
1.00 |
1.00 |
- |
11.00 |
5548.00 |
9601.00 |
- |
smallinvDAXr5b020-022 |
- |
- |
970.00 |
83.00 |
- |
3844.00 |
- |
67.00 |
111.00 |
57.00 |
67.00 |
1.00 |
- |
59695.00 |
1.00 |
1.00 |
- |
12.00 |
23668.00 |
45201.00 |
- |
smallinvDAXr5b050-055 |
- |
- |
1092.00 |
117.00 |
- |
3847.00 |
- |
161.00 |
82.00 |
288.00 |
152.00 |
1.00 |
- |
59489.00 |
1.00 |
1.00 |
- |
6.00 |
100901.00 |
429901.00 |
- |
smallinvDAXr5b100-110 |
- |
- |
736.00 |
29.00 |
- |
5939.00 |
- |
137.00 |
1.00 |
274.00 |
140.00 |
1.00 |
- |
60500.00 |
1.00 |
1.00 |
- |
7.00 |
195711.00 |
719857.00 |
- |
smallinvDAXr5b150-165 |
- |
- |
54.00 |
27.00 |
- |
5614.00 |
- |
327.00 |
1.00 |
505.00 |
417.00 |
1.00 |
- |
60274.00 |
1.00 |
1.00 |
- |
8.00 |
199055.00 |
88836.00 |
- |
smallinvDAXr5b200-220 |
- |
- |
21.00 |
44.00 |
- |
6216.00 |
- |
141.00 |
1.00 |
330.00 |
175.00 |
1.00 |
- |
61512.00 |
1.00 |
1.00 |
- |
12.00 |
154676.00 |
536997.00 |
- |
st_test1 |
- |
- |
1.00 |
1.00 |
- |
24.00 |
- |
15.00 |
1.00 |
14.00 |
14.00 |
1.00 |
- |
1.00 |
1.00 |
1.00 |
- |
1.00 |
1.00 |
1.00 |
- |
tls12 |
- |
- |
430384.00 |
44.00 |
- |
84795.00 |
- |
10073.00 |
11553.00 |
25922.00 |
59101.00 |
1.00 |
- |
7571.00 |
360238.00 |
1.00 |
- |
1.00 |
50078.00 |
71746.00 |
- |
unitcommit1 |
- |
- |
1.00 |
1.00 |
- |
26125.00 |
- |
3701.00 |
1.00 |
953.00 |
34781.00 |
1.00 |
- |
35.00 |
1.00 |
1.00 |
- |
1.00 |
23548.00 |
65.00 |
- |