## Scenario id : SAT18-EXP-ALGO ## Performance measures : runtime ## Performance types : runtime ## Algorithm cutoff time : 5000 ## Algorithm cutoff mem : NA ## Instance Feature cutoff time : NA ## Instance Feature cutoff mem : NA ## Algorithm Feature cutoff time : NA ## Algorithm Feature cutoff mem : NA ## Nr. of instances : 353 ## Instance Features (deterministic) ( 50) : nvarsOrig, nclausesOrig, nvars, nclauses, reducedVars, re... ## Instance Features (stochastic) : - ## Algorithm Features (deterministic) ( 75) : Lines..Average., Lines..Total., Size..Average., Size..Tot... ## Algorithm Features (stochastic) : - ## Feature repetitions : 1 - 1 ## Feature costs : No ## Algo. ( 37) : abcdsat_r18, CaDiCaL, Candy, cms55.main.all4fixed, COMini... ## Algo. repetitions : 1 - 1 ## Algo. runs (inst x algo x rep) : 13061 ## Feature steps : instance ## CV repetitions : 1 ## CV folds : 10