## Scenario id : SAT03-16_INDU ## Performance measures : PAR10 ## Performance types : runtime ## Algorithm cutoff time : 5000 ## Algorithm cutoff mem : NA ## Instance Feature cutoff time : 5000 ## Instance Feature cutoff mem : 4096 ## Algorithm Feature cutoff time : - ## Algorithm Feature cutoff mem : - ## Nr. of instances : 2000 ## Instance Features (deterministic) (483) : nvarsOrig, nclausesOrig, nvars, nclauses, reducedVars, re... ## Instance Features (stochastic) : - ## Algorithm Features (deterministic) : - ## Algorithm Features (stochastic) : - ## Feature repetitions : 1 - 1 ## Feature costs : Yes ## Algo. ( 10) : beans_and_eggs, cominisatps, glucose_kiel, maplecms, mapl... ## Algo. repetitions : 1 - 1 ## Algo. runs (inst x algo x rep) : 20000 ## Feature steps ( 16) : base, sp, dia, cl, unit, ls, lobjois, tud_base, tud_claus... ## CV repetitions : 1 ## CV folds : 10