## Scenario id : QBF-2011 ## Performance measures : runtime ## Performance types : runtime ## Algorithm cutoff time : 3600 ## Algorithm cutoff mem : 16384 ## Feature cutoff time : NA ## Feature cutoff mem : NA ## Nr. of instances : 1368 ## Features (deterministic) ( 46) : EXIST_VARS, FORALL_VARS, TOTAL_VARS, CLAUSES, LITERALS, E... ## Features (stochastic) : - ## Feature repetitions : 1 - 1 ## Feature costs : No ## Algo. (deterministic) ( 5) : X2clsQ, quantor, QuBE, sKizzo, sSolve ## Algo. (stochastic) : - ## Algo. repetitions : 1 - 1 ## Algo. runs (inst x algo x rep) : 6840 ## Feature steps : all_feats ## CV repetitions : 1 ## CV folds : 10