Algorithm Selection Benchmark Library
Scenario Name |
Instances |
Algorithms |
Features |
Type |
Stoch. Feat. |
Stoch. Alg. |
Feature Costs |
ASP-POTASSCO
|
1294
|
11
|
138
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
BNSL-2016
|
1179
|
8
|
86
|
runtime
|
TRUE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
CPMP-2015
|
527
|
4
|
22
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
FALSE
|
CSP-2010
|
2024
|
2
|
86
|
runtime
|
TRUE, max. reps = 1
|
FALSE, max. reps = 1
|
FALSE
|
CSP-Minizinc-Obj-2016
|
100
|
22
|
95
|
solution_quality
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
CSP-Minizinc-Time-2016
|
100
|
20
|
95
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
CSP-MZN-2013
|
4642
|
11
|
155
|
runtime
|
TRUE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
GLUHACK-18
|
353
|
8
|
50
|
runtime
|
FALSE, max. reps = 1
|
TRUE, max. reps = 1
|
FALSE
|
GLUHACK-18-ALGO
|
353
|
8
|
125
|
runtime
|
FALSE, max. reps = 1
|
TRUE, max. reps = 1
|
FALSE
|
GRAPHS-2015
|
5725
|
7
|
35
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
GRAPHS-2015-ALGO
|
5725
|
4
|
110
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
MAXSAT-PMS-2016
|
601
|
19
|
37
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
MAXSAT-WPMS-2016
|
630
|
18
|
37
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
MAXSAT12-PMS
|
876
|
6
|
37
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
MAXSAT15-PMS-INDU
|
601
|
29
|
37
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
FALSE
|
MAXSAT19-UCMS
|
572
|
7
|
54
|
runtime
|
FALSE, max. reps = 1
|
TRUE, max. reps = 1
|
TRUE
|
MAXSAT19-UCMS-ALGO
|
572
|
7
|
129
|
runtime
|
FALSE, max. reps = 1
|
TRUE, max. reps = 1
|
TRUE
|
MIP-2016
|
218
|
5
|
143
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
OPENML-WEKA-2017
|
105
|
30
|
103
|
solution_quality
|
FALSE, max. reps = 1
|
TRUE, max. reps = 1
|
FALSE
|
OPENML-WEKA-2017-ALGO
|
105
|
21
|
129
|
solution_quality
|
FALSE, max. reps = 1
|
TRUE, max. reps = 1
|
FALSE
|
PROTEUS-2014
|
4021
|
22
|
198
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
QBF-2011
|
1368
|
5
|
46
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
FALSE
|
QBF-2014
|
1254
|
14
|
46
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
FALSE
|
QBF-2016
|
825
|
24
|
46
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT03-16_INDU
|
2000
|
10
|
483
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT03-16_INDU-ALGO
|
2000
|
8
|
558
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT11-HAND
|
296
|
15
|
115
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT11-HAND-ALGO
|
296
|
11
|
190
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT11-INDU
|
300
|
18
|
115
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT11-INDU-ALGO
|
300
|
18
|
190
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT11-RAND
|
600
|
9
|
115
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT11-RAND-ALGO
|
600
|
8
|
190
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT12-ALL
|
1614
|
31
|
115
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT12-HAND
|
767
|
31
|
115
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT12-INDU
|
1167
|
31
|
115
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT12-RAND
|
1362
|
31
|
115
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
TRUE
|
SAT15-INDU
|
300
|
28
|
54
|
runtime
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
FALSE
|
SAT18-EXP
|
353
|
37
|
50
|
runtime
|
FALSE, max. reps = 1
|
TRUE, max. reps = 1
|
FALSE
|
SAT18-EXP-ALGO
|
353
|
37
|
125
|
runtime
|
FALSE, max. reps = 1
|
TRUE, max. reps = 1
|
FALSE
|
TTP-2016
|
9720
|
21
|
55
|
solution_quality
|
FALSE, max. reps = 1
|
FALSE, max. reps = 1
|
FALSE
|