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 |