Scenario SAT11-HAND

## Scenario id                           : SAT11-HAND
## Performance measures                  : runtime
## Performance types                     : runtime
## Algorithm cutoff time                 : 5000
## Algorithm cutoff mem                  : NA
## Instance Feature cutoff time          : 5000
## Instance Feature cutoff mem           : NA
## Algorithm Feature cutoff time         : -
## Algorithm Feature cutoff mem          : -
## Nr. of instances                      : 296
## 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.                          ( 15)  : CryptoMiniSat_Strange.Night2.st_fixed_, MPhaseSAT_2011.02...
## Algo. repetitions                     : 1 - 1
## Algo. runs (inst x algo x rep)        : 4440
## Feature steps                  ( 10)  : Basic, CG, DIAMETER, KLB, Pre, cl, lobjois, ls_gsat, ls_s...
## CV repetitions                        : 1
## CV folds                              : 10
Back to scenario list