Scenario SAT12-ALL

## Scenario id                           : SAT12-ALL
## Performance measures                  : runtime
## Performance types                     : runtime
## Algorithm cutoff time                 : 1200
## Algorithm cutoff mem                  : NA
## Instance Feature cutoff time          : 1200
## Instance Feature cutoff mem           : NA
## Algorithm Feature cutoff time         : -
## Algorithm Feature cutoff mem          : -
## Nr. of instances                      : 1614
## Instance Features (deterministic) (115)  : nvarsOrig, nclausesOrig, nvars, nclauses, reducedVars, re...
## Instance Features (stochastic)        : -
## Algorithm Features (deterministic)        : -
## Algorithm Features (stochastic)        : -
## Feature repetitions                   : 1 - 1
## Feature costs                         : Yes
## Algo.                          ( 31)  : clasp1, clasp2, cryptominisat2011, eagleup, ebglucose, eb...
## Algo. repetitions                     : 1 - 1
## Algo. runs (inst x algo x rep)        : 50034
## Feature steps                  ( 10)  : Basic, CG, DIAMETER, KLB, Pre, cl, lobjois, ls_gsat, ls_s...
## CV repetitions                        : 1
## CV folds                              : 10
Back to scenario list