|
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 |
4958561.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1029.00 |
1.00 |
1.00 |
19953.00 |
14339.00 |
1.00 |
- |
15345.00 |
1.00 |
1.00 |
- |
4.00 |
1.00 |
3.00 |
- |
batch |
548.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
51.00 |
1.00 |
991.00 |
87.00 |
634.00 |
1.00 |
- |
18809.00 |
1.00 |
1.00 |
- |
4.00 |
593.00 |
265.00 |
- |
clay0203m |
2204.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
71.00 |
1.00 |
649.00 |
7164.00 |
4425.00 |
1.00 |
- |
5728.00 |
3.00 |
1.00 |
- |
4.00 |
6409.00 |
625.00 |
- |
clay0204m |
15543.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
67.00 |
1.00 |
3666.00 |
30831.00 |
21647.00 |
1.00 |
- |
33764.00 |
5.00 |
1.00 |
- |
4.00 |
9702.00 |
4350.00 |
- |
clay0205m |
165579.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
72.00 |
1.00 |
29931.00 |
598910.00 |
475295.00 |
1.00 |
- |
272244.00 |
7.00 |
1.00 |
- |
4.00 |
131328.00 |
53655.00 |
- |
clay0304m |
36989539.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
120.00 |
1.00 |
2710.00 |
116278.00 |
304370.00 |
1.00 |
- |
141864.00 |
8.00 |
1.00 |
- |
4.00 |
51454.00 |
231463.00 |
- |
clay0305m |
314033.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
135.00 |
1.00 |
51897.00 |
786789.00 |
357972.00 |
1.00 |
- |
405047.00 |
3.00 |
1.00 |
- |
4.00 |
144362.00 |
89095.00 |
- |
cvxnonsep_normcon20 |
574485.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1037.00 |
1.00 |
11451.00 |
107.00 |
357.00 |
1.00 |
- |
5793.00 |
20.00 |
1.00 |
- |
4.00 |
202.00 |
480104.00 |
- |
cvxnonsep_normcon30 |
31483204.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
960.00 |
1.00 |
275932.00 |
687.00 |
851.00 |
1.00 |
- |
22936.00 |
1723050.00 |
1.00 |
- |
4.00 |
1301.00 |
3027284.00 |
- |
cvxnonsep_nsig40 |
15982748.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1588.00 |
1.00 |
2332193.00 |
533.00 |
1209.00 |
1.00 |
- |
32492.00 |
37.00 |
1.00 |
- |
24.00 |
25859052.00 |
1146903.00 |
- |
enpro56pb |
3760.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
131.00 |
1.00 |
11663.00 |
9652.00 |
68158.00 |
1.00 |
- |
109629743.00 |
1.00 |
1.00 |
- |
4.00 |
30844.00 |
5137.00 |
- |
ex1223a |
55.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
47.00 |
1.00 |
33.00 |
22.00 |
31.00 |
1.00 |
- |
37.00 |
1.00 |
1.00 |
- |
4.00 |
1.00 |
5.00 |
- |
flay04m |
152262.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
296.00 |
1.00 |
32526.00 |
31854.00 |
32141.00 |
1.00 |
- |
151490.00 |
14.00 |
1.00 |
- |
4.00 |
20072.00 |
15775.00 |
- |
flay05m |
9819726.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
240.00 |
1.00 |
1267341.00 |
1000945.00 |
1769081.00 |
1.00 |
- |
7712569.00 |
21.00 |
1.00 |
- |
4.00 |
875897.00 |
714014.00 |
- |
gbd |
5.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
9.00 |
1.00 |
1.00 |
1.00 |
5.00 |
1.00 |
- |
4.00 |
1.00 |
1.00 |
- |
4.00 |
1.00 |
1.00 |
- |
slay08m |
86288.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
562.00 |
1.00 |
15784.00 |
3646.00 |
5603.00 |
1.00 |
- |
326464.00 |
2.00 |
1.00 |
- |
4.00 |
12469.00 |
30314.00 |
- |
slay09m |
571176.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
844.00 |
1.00 |
46789.00 |
6019.00 |
315853.00 |
1.00 |
- |
3009109.00 |
21.00 |
1.00 |
- |
4.00 |
28417.00 |
302204.00 |
- |
slay10m |
15208417.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
160.00 |
1.00 |
207078.00 |
97298.00 |
958328.00 |
1.00 |
- |
13233166.00 |
8550381.00 |
1.00 |
- |
4.00 |
771645.00 |
6443605.00 |
- |
smallinvDAXr1b010-011 |
284061.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
60.00 |
1.00 |
828.00 |
2495.00 |
1190.00 |
1.00 |
- |
9828.00 |
7.00 |
1.00 |
- |
4.00 |
95707.00 |
16860.00 |
- |
smallinvDAXr1b020-022 |
879022.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
57.00 |
1.00 |
731.00 |
611.00 |
567.00 |
1.00 |
- |
5732.00 |
7.00 |
1.00 |
- |
4.00 |
560382.00 |
125975.00 |
- |
smallinvDAXr1b050-055 |
733738.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
83.00 |
1.00 |
853.00 |
3384.00 |
1058.00 |
1.00 |
- |
16940.00 |
12.00 |
1.00 |
- |
4.00 |
3064986.00 |
914099.00 |
- |
smallinvDAXr1b100-110 |
959262.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
107.00 |
1.00 |
130.00 |
3506.00 |
957.00 |
1.00 |
- |
15323.00 |
14.00 |
1.00 |
- |
4.00 |
7151698.00 |
1590361.00 |
- |
smallinvDAXr1b150-165 |
449911.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
127.00 |
1.00 |
115.00 |
2630.00 |
2773.00 |
1.00 |
- |
9160.00 |
9.00 |
1.00 |
- |
4.00 |
7890168.00 |
929298.00 |
- |
smallinvDAXr1b200-220 |
313613.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
98.00 |
1.00 |
101.00 |
3460.00 |
1379.00 |
1.00 |
- |
7215.00 |
14.00 |
1.00 |
- |
4.00 |
6819399.00 |
863857.00 |
- |
smallinvDAXr2b010-011 |
363892.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
60.00 |
1.00 |
839.00 |
2503.00 |
1180.00 |
1.00 |
- |
4828.00 |
8.00 |
1.00 |
- |
4.00 |
93624.00 |
28662.00 |
- |
smallinvDAXr2b100-110 |
1657347.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
105.00 |
1.00 |
134.00 |
3515.00 |
959.00 |
1.00 |
- |
15271.00 |
20.00 |
1.00 |
- |
4.00 |
7272987.00 |
266715.00 |
- |
smallinvDAXr2b150-165 |
329697.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
127.00 |
1.00 |
115.00 |
6311.00 |
2773.00 |
1.00 |
- |
17563.00 |
13.00 |
1.00 |
- |
4.00 |
8234846.00 |
1245561.00 |
- |
smallinvDAXr2b200-220 |
251537.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
96.00 |
1.00 |
101.00 |
3464.00 |
1381.00 |
1.00 |
- |
10156.00 |
15.00 |
1.00 |
- |
4.00 |
7055117.00 |
200670.00 |
- |
smallinvDAXr3b010-011 |
300192.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
69.00 |
1.00 |
803.00 |
2493.00 |
1180.00 |
1.00 |
- |
4406.00 |
8.00 |
1.00 |
- |
4.00 |
85569.00 |
14362.00 |
- |
smallinvDAXr3b020-022 |
836424.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
60.00 |
1.00 |
736.00 |
586.00 |
565.00 |
1.00 |
- |
9161.00 |
8.00 |
1.00 |
- |
4.00 |
558204.00 |
164570.00 |
- |
smallinvDAXr3b050-055 |
881355.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
85.00 |
1.00 |
1408.00 |
3406.00 |
1059.00 |
1.00 |
- |
13509.00 |
13.00 |
1.00 |
- |
4.00 |
3099975.00 |
1405626.00 |
- |
smallinvDAXr3b100-110 |
812873.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
77.00 |
1.00 |
116.00 |
3541.00 |
960.00 |
1.00 |
- |
16927.00 |
12.00 |
1.00 |
- |
4.00 |
6979315.00 |
170183.00 |
- |
smallinvDAXr3b150-165 |
430943.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
124.00 |
1.00 |
156.00 |
6336.00 |
2778.00 |
1.00 |
- |
13356.00 |
11.00 |
1.00 |
- |
4.00 |
8106591.00 |
18663.00 |
- |
smallinvDAXr3b200-220 |
249165.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
104.00 |
1.00 |
113.00 |
3461.00 |
1379.00 |
1.00 |
- |
10381.00 |
15.00 |
1.00 |
- |
4.00 |
6862231.00 |
1333679.00 |
- |
smallinvDAXr4b010-011 |
347664.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
74.00 |
1.00 |
912.00 |
2583.00 |
1181.00 |
1.00 |
- |
7587.00 |
7.00 |
1.00 |
- |
4.00 |
111659.00 |
13230.00 |
- |
smallinvDAXr4b100-110 |
1392420.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
81.00 |
1.00 |
116.00 |
3561.00 |
958.00 |
1.00 |
- |
20511.00 |
9.00 |
1.00 |
- |
4.00 |
7318748.00 |
426217.00 |
- |
smallinvDAXr4b150-165 |
252245.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
121.00 |
1.00 |
156.00 |
6379.00 |
2774.00 |
1.00 |
- |
7960.00 |
5.00 |
1.00 |
- |
4.00 |
8132963.00 |
845898.00 |
- |
smallinvDAXr4b200-220 |
159845.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
101.00 |
1.00 |
113.00 |
3478.00 |
1381.00 |
1.00 |
- |
5980.00 |
10.00 |
1.00 |
- |
4.00 |
6751938.00 |
216970.00 |
- |
smallinvDAXr5b010-011 |
318178.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
68.00 |
1.00 |
935.00 |
2637.00 |
1181.00 |
1.00 |
- |
5192.00 |
9.00 |
1.00 |
- |
4.00 |
91506.00 |
22405.00 |
- |
smallinvDAXr5b020-022 |
1275283.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
71.00 |
1.00 |
925.00 |
592.00 |
562.00 |
1.00 |
- |
6007.00 |
7.00 |
1.00 |
- |
4.00 |
548739.00 |
100888.00 |
- |
smallinvDAXr5b050-055 |
601384.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
82.00 |
1.00 |
868.00 |
3420.00 |
1062.00 |
1.00 |
- |
13131.00 |
10.00 |
1.00 |
- |
4.00 |
3043756.00 |
913962.00 |
- |
smallinvDAXr5b100-110 |
1488162.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
84.00 |
1.00 |
116.00 |
3596.00 |
960.00 |
1.00 |
- |
12526.00 |
14.00 |
1.00 |
- |
4.00 |
7624142.00 |
1611432.00 |
- |
smallinvDAXr5b150-165 |
178075.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
122.00 |
1.00 |
156.00 |
6448.00 |
2773.00 |
1.00 |
- |
8812.00 |
15.00 |
1.00 |
- |
4.00 |
6994757.00 |
186925.00 |
- |
smallinvDAXr5b200-220 |
280852.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
107.00 |
1.00 |
113.00 |
4175.00 |
1380.00 |
1.00 |
- |
8012.00 |
15.00 |
1.00 |
- |
4.00 |
6779917.00 |
1210706.00 |
- |
st_test1 |
106.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
14.00 |
1.00 |
1.00 |
84.00 |
65.00 |
1.00 |
- |
1.00 |
1.00 |
1.00 |
- |
4.00 |
1.00 |
3.00 |
- |
tls12 |
36450294.00 |
1.00 |
1.00 |
- |
1.00 |
1.00 |
202.00 |
1.00 |
4869740.00 |
845538.00 |
1937623.00 |
1.00 |
- |
17705649.00 |
11116073.00 |
1.00 |
- |
1.00 |
8321329.00 |
23853303.00 |
- |
unitcommit1 |
1935.00 |
1.00 |
1.00 |
1.00 |
1.00 |
1.00 |
667.00 |
1.00 |
7053.00 |
44613.00 |
655440.00 |
1.00 |
- |
23447.00 |
1.00 |
1.00 |
- |
4.00 |
1694382.00 |
9833.00 |
- |