## Scenario id : MAXSAT19-UCMS ## Performance measures : runtime ## Performance types : runtime ## Algorithm cutoff time : 3600 ## Algorithm cutoff mem : NA ## Instance Feature cutoff time : NA ## Instance Feature cutoff mem : NA ## Algorithm Feature cutoff time : - ## Algorithm Feature cutoff mem : - ## Nr. of instances : 572 ## Instance Features (deterministic) ( 54) : nvarsOrig, nclausesOrig, nvars, nclauses, reducedVars, re... ## Instance Features (stochastic) : - ## Algorithm Features (deterministic) : - ## Algorithm Features (stochastic) : - ## Feature repetitions : 1 - 1 ## Feature costs : Yes ## Algo. ( 7) : MaxHS, Open.WBO.g, Open.WBO.ms, Open.WBO.ms.pre, QMaxSAT2... ## Algo. repetitions : 1 - 1 ## Algo. runs (inst x algo x rep) : 4004 ## Feature steps : ALL ## CV repetitions : 1 ## CV folds : 10