## Scenario id : SAT11-HAND ## Performance measures : runtime ## Performance types : runtime ## Algorithm cutoff time : 5000 ## Algorithm cutoff mem : NA ## Feature cutoff time : 5000 ## Feature cutoff mem : NA ## Nr. of instances : 296 ## Features (deterministic) (115) : nvarsOrig, nclausesOrig, nvars, nclauses, reducedVars, re... ## Features (stochastic) : - ## Feature repetitions : 1 - 1 ## Feature costs : Yes ## Algo. (deterministic) ( 15) : MPhaseSAT_2011.02.15, Sol_2011.04.04, QuteRSat_2011.05.12... ## Algo. (stochastic) : - ## Algo. repetitions : 1 - 1 ## Algo. runs (inst x algo x rep) : 4440 ## Feature steps ( 10) : Pre, Basic, KLB, CG, DIAMETER, cl, sp, ls_saps, ls_gsat, ... ## CV repetitions : 1 ## CV folds : 10