## Scenario id : MAXSAT12-PMS ## Performance measures : runtime ## Performance types : runtime ## Algorithm cutoff time : 2100 ## Algorithm cutoff mem : NA ## Instance Feature cutoff time : 500 ## Instance Feature cutoff mem : NA ## Algorithm Feature cutoff time : - ## Algorithm Feature cutoff mem : - ## Nr. of instances : 876 ## Instance Features (deterministic) ( 37) : numVars, numClauses, perc_soft, soft_mean, soft_std, soft... ## Instance Features (stochastic) : - ## Algorithm Features (deterministic) : - ## Algorithm Features (stochastic) : - ## Feature repetitions : 1 - 1 ## Feature costs : Yes ## Algo. ( 6) : DSWPM1_924, akmaxsat, akmaxsat_ls, pwbo2.1, qmaxsat0.21co... ## Algo. repetitions : 1 - 1 ## Algo. runs (inst x algo x rep) : 5256 ## Feature steps : group_basics ## CV repetitions : 1 ## CV folds : 10