## Scenario id : QBF-2016 ## Performance measures : PAR10 ## Performance types : runtime ## Algorithm cutoff time : 1800 ## Algorithm cutoff mem : NA ## Instance Feature cutoff time : 1800 ## Instance Feature cutoff mem : 4096 ## Algorithm Feature cutoff time : - ## Algorithm Feature cutoff mem : - ## Nr. of instances : 825 ## Instance Features (deterministic) ( 46) : EXIST_VARS, FORALL_VARS, TOTAL_VARS, CLAUSES, LITERALS, E... ## Instance Features (stochastic) : - ## Algorithm Features (deterministic) : - ## Algorithm Features (stochastic) : - ## Feature repetitions : 1 - 1 ## Feature costs : Yes ## Algo. ( 24) : AIGSolve, aqua.f3v, aqua.s2v, aqua.s3o, caqe.minisat, caq... ## Algo. repetitions : 1 - 1 ## Algo. runs (inst x algo x rep) : 19800 ## Feature steps : base ## CV repetitions : 1 ## CV folds : 10