Scenario MAXSAT19-UCMS

## Scenario id                           : MAXSAT19-UCMS
## Performance measures                  : runtime
## Performance types                     : runtime
## Algorithm cutoff time                 : 3600
## Algorithm cutoff mem                  : NA
## Instance Feature cutoff time          : NA
## Instance Feature cutoff mem           : NA
## Algorithm Feature cutoff time         : -
## Algorithm Feature cutoff mem          : -
## Nr. of instances                      : 572
## Instance Features (deterministic) ( 54)  : nvarsOrig, nclausesOrig, nvars, nclauses, reducedVars, re...
## Instance Features (stochastic)        : -
## Algorithm Features (deterministic)        : -
## Algorithm Features (stochastic)        : -
## Feature repetitions                   : 1 - 1
## Feature costs                         : Yes
## Algo.                          (  7)  : MaxHS, Open.WBO.g, Open.WBO.ms, Open.WBO.ms.pre, QMaxSAT2...
## Algo. repetitions                     : 1 - 1
## Algo. runs (inst x algo x rep)        : 4004
## Feature steps                         : ALL
## CV repetitions                        : 1
## CV folds                              : 10
Back to scenario list