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
CSP-2010 2024 2 86 runtime TRUE, max. reps = 1 FALSE, max. reps = 1 FALSE
MAXSAT12-PMS 876 6 37 runtime FALSE, max. reps = 1 FALSE, max. reps = 1 TRUE
PREMARSHALLING-ASTAR-2013 527 4 16 runtime FALSE, max. reps = 1 FALSE, max. reps = 1 FALSE
QBF-2011 1368 5 46 runtime FALSE, max. reps = 1 FALSE, max. reps = 1 FALSE
SAT11-HAND 296 15 115 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-RAND 600 9 115 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