algorithm_cutoff_memory: 2000
algorithm_cutoff_time: 3600
default_steps:
- csp
feature_steps:
  csp:
    provides:
    - csp_log_lists
    - csp_log_bits
    - csp_log_constraints
    - csp_percent_avg_continuity
    - csp_log_extra_booleans
    - csp_percent_dec_predicate
    - csp_percent_wsum
    - csp_log_booleans
    - csp_percent_alldiff
    - csp_perten_largeext
    - csp_num_alldiff
    - csp_sqrt_max_domsize
    - csp_log_ranges
    - csp_percent_min_continuity
    - csp_log_extra_bits
    - csp_percent_cumulative
    - csp_percent_ext
    - csp_sqrt_avg_domsize
    - csp_percent_element
    - csp_perten_naryext
    - csp_perten_avg_predarity
    - csp_dyn_log_stdev_weight
    - csp_dyn_log_nodes
    - csp_dyn_log_avg_weight
    - csp_max_arity
    - csp_percent_global
    - csp_perten_avg_predsize
    - csp_perten_binext
    - csp_log_values
    - csp_log_extra_ranges
    - csp_log_search_vars
    - csp_dyn_log_propags
    - csp_perten_avg_predshape
    - csp_log_constants
    - csp_log_extra_values
    - csp_percent_gac_predicate
  direct:
    provides:
    - direct_reducedVars
    - direct_KLB-featuretime
    - direct_CG-entropy
    - direct_POSNEG-RATIO-VAR-entropy
    - direct_horn-clauses-fraction
    - direct_VCG-CLAUSE-max
    - direct_VCG-VAR-mean
    - direct_HORNY-VAR-coeff-variation
    - direct_POSNEG-RATIO-VAR-mean
    - direct_cluster-coeff-mean
    - direct_nvarsOrig
    - direct_TRINARY+
    - direct_POSNEG-RATIO-CLAUSE-coeff-variation
    - direct_nclauses
    - direct_CG-coeff-variation
    - direct_VCG-CLAUSE-entropy
    - direct_CG-max
    - direct_VCG-VAR-entropy
    - direct_cluster-coeff-coeff-variation
    - direct_UNARY
    - direct_POSNEG-RATIO-CLAUSE-min
    - direct_cluster-coeff-max
    - direct_CG-mean
    - direct_POSNEG-RATIO-CLAUSE-max
    - direct_cluster-coeff-min
    - direct_POSNEG-RATIO-VAR-min
    - direct_HORNY-VAR-min
    - direct_CG-featuretime
    - direct_POSNEG-RATIO-VAR-max
    - direct_Basic-featuretime
    - direct_nclausesOrig
    - direct_CG-min
    - direct_VCG-VAR-max
    - direct_VCG-CLAUSE-mean
    - direct_VCG-VAR-min
    - direct_BINARY+
    - direct_POSNEG-RATIO-CLAUSE-entropy
    - direct_VCG-CLAUSE-coeff-variation
    - direct_VG-coeff-variation
    - direct_HORNY-VAR-entropy
    - direct_vars-clauses-ratio
    - direct_nvars
    - direct_HORNY-VAR-mean
    - direct_POSNEG-RATIO-VAR-stdev
    - direct_VG-mean
    - direct_VG-min
    - direct_VCG-VAR-coeff-variation
    - direct_VG-max
    - direct_Pre-featuretime
    - direct_VCG-CLAUSE-min
    - direct_POSNEG-RATIO-CLAUSE-mean
    - direct_cluster-coeff-entropy
    - direct_HORNY-VAR-max
    - direct_reducedClauses
  directorder:
    provides:
    - directorder_reducedVars
    - directorder_KLB-featuretime
    - directorder_CG-entropy
    - directorder_POSNEG-RATIO-VAR-entropy
    - directorder_horn-clauses-fraction
    - directorder_VCG-CLAUSE-max
    - directorder_VCG-VAR-mean
    - directorder_HORNY-VAR-coeff-variation
    - directorder_POSNEG-RATIO-VAR-mean
    - directorder_cluster-coeff-mean
    - directorder_nvarsOrig
    - directorder_TRINARY+
    - directorder_POSNEG-RATIO-CLAUSE-coeff-variation
    - directorder_nclauses
    - directorder_CG-coeff-variation
    - directorder_VCG-CLAUSE-entropy
    - directorder_CG-max
    - directorder_VCG-VAR-entropy
    - directorder_cluster-coeff-coeff-variation
    - directorder_UNARY
    - directorder_POSNEG-RATIO-CLAUSE-min
    - directorder_cluster-coeff-max
    - directorder_CG-mean
    - directorder_POSNEG-RATIO-CLAUSE-max
    - directorder_cluster-coeff-min
    - directorder_POSNEG-RATIO-VAR-min
    - directorder_HORNY-VAR-min
    - directorder_CG-featuretime
    - directorder_POSNEG-RATIO-VAR-max
    - directorder_Basic-featuretime
    - directorder_nclausesOrig
    - directorder_CG-min
    - directorder_VCG-VAR-max
    - directorder_VCG-CLAUSE-mean
    - directorder_VCG-VAR-min
    - directorder_BINARY+
    - directorder_POSNEG-RATIO-CLAUSE-entropy
    - directorder_VCG-CLAUSE-coeff-variation
    - directorder_VG-coeff-variation
    - directorder_HORNY-VAR-entropy
    - directorder_vars-clauses-ratio
    - directorder_nvars
    - directorder_HORNY-VAR-mean
    - directorder_POSNEG-RATIO-VAR-stdev
    - directorder_VG-mean
    - directorder_VG-min
    - directorder_VCG-VAR-coeff-variation
    - directorder_VG-max
    - directorder_Pre-featuretime
    - directorder_VCG-CLAUSE-min
    - directorder_POSNEG-RATIO-CLAUSE-mean
    - directorder_cluster-coeff-entropy
    - directorder_HORNY-VAR-max
    - directorder_reducedClauses
  support:
    provides:
    - support_reducedVars
    - support_KLB-featuretime
    - support_CG-entropy
    - support_POSNEG-RATIO-VAR-entropy
    - support_horn-clauses-fraction
    - support_VCG-CLAUSE-max
    - support_VCG-VAR-mean
    - support_HORNY-VAR-coeff-variation
    - support_POSNEG-RATIO-VAR-mean
    - support_cluster-coeff-mean
    - support_nvarsOrig
    - support_TRINARY+
    - support_POSNEG-RATIO-CLAUSE-coeff-variation
    - support_nclauses
    - support_CG-coeff-variation
    - support_VCG-CLAUSE-entropy
    - support_CG-max
    - support_VCG-VAR-entropy
    - support_cluster-coeff-coeff-variation
    - support_UNARY
    - support_POSNEG-RATIO-CLAUSE-min
    - support_cluster-coeff-max
    - support_CG-mean
    - support_POSNEG-RATIO-CLAUSE-max
    - support_cluster-coeff-min
    - support_POSNEG-RATIO-VAR-min
    - support_HORNY-VAR-min
    - support_CG-featuretime
    - support_POSNEG-RATIO-VAR-max
    - support_Basic-featuretime
    - support_nclausesOrig
    - support_CG-min
    - support_VCG-VAR-max
    - support_VCG-CLAUSE-mean
    - support_VCG-VAR-min
    - support_BINARY+
    - support_POSNEG-RATIO-CLAUSE-entropy
    - support_VCG-CLAUSE-coeff-variation
    - support_VG-coeff-variation
    - support_HORNY-VAR-entropy
    - support_vars-clauses-ratio
    - support_nvars
    - support_HORNY-VAR-mean
    - support_POSNEG-RATIO-VAR-stdev
    - support_VG-mean
    - support_VG-min
    - support_VCG-VAR-coeff-variation
    - support_VG-max
    - support_Pre-featuretime
    - support_VCG-CLAUSE-min
    - support_POSNEG-RATIO-CLAUSE-mean
    - support_cluster-coeff-entropy
    - support_HORNY-VAR-max
    - support_reducedClauses
features_cutoff_memory: 2000
features_cutoff_time: 900
features_deterministic:
- direct_reducedVars
- direct_KLB-featuretime
- direct_CG-entropy
- direct_POSNEG-RATIO-VAR-entropy
- direct_horn-clauses-fraction
- direct_VCG-CLAUSE-max
- direct_VCG-VAR-mean
- direct_HORNY-VAR-coeff-variation
- direct_POSNEG-RATIO-VAR-mean
- direct_cluster-coeff-mean
- direct_nvarsOrig
- direct_TRINARY+
- direct_POSNEG-RATIO-CLAUSE-coeff-variation
- direct_nclauses
- direct_CG-coeff-variation
- direct_VCG-CLAUSE-entropy
- direct_CG-max
- direct_VCG-VAR-entropy
- direct_cluster-coeff-coeff-variation
- direct_UNARY
- direct_POSNEG-RATIO-CLAUSE-min
- direct_cluster-coeff-max
- direct_CG-mean
- direct_POSNEG-RATIO-CLAUSE-max
- direct_cluster-coeff-min
- direct_POSNEG-RATIO-VAR-min
- direct_HORNY-VAR-min
- direct_CG-featuretime
- direct_POSNEG-RATIO-VAR-max
- direct_Basic-featuretime
- direct_nclausesOrig
- direct_CG-min
- direct_VCG-VAR-max
- direct_VCG-CLAUSE-mean
- direct_VCG-VAR-min
- direct_BINARY+
- direct_POSNEG-RATIO-CLAUSE-entropy
- direct_VCG-CLAUSE-coeff-variation
- direct_VG-coeff-variation
- direct_HORNY-VAR-entropy
- direct_vars-clauses-ratio
- direct_nvars
- direct_HORNY-VAR-mean
- direct_POSNEG-RATIO-VAR-stdev
- direct_VG-mean
- direct_VG-min
- direct_VCG-VAR-coeff-variation
- direct_VG-max
- direct_Pre-featuretime
- direct_VCG-CLAUSE-min
- direct_POSNEG-RATIO-CLAUSE-mean
- direct_cluster-coeff-entropy
- direct_HORNY-VAR-max
- direct_reducedClauses
- support_reducedVars
- support_KLB-featuretime
- support_CG-entropy
- support_POSNEG-RATIO-VAR-entropy
- support_horn-clauses-fraction
- support_VCG-CLAUSE-max
- support_VCG-VAR-mean
- support_HORNY-VAR-coeff-variation
- support_POSNEG-RATIO-VAR-mean
- support_cluster-coeff-mean
- support_nvarsOrig
- support_TRINARY+
- support_POSNEG-RATIO-CLAUSE-coeff-variation
- support_nclauses
- support_CG-coeff-variation
- support_VCG-CLAUSE-entropy
- support_CG-max
- support_VCG-VAR-entropy
- support_cluster-coeff-coeff-variation
- support_UNARY
- support_POSNEG-RATIO-CLAUSE-min
- support_cluster-coeff-max
- support_CG-mean
- support_POSNEG-RATIO-CLAUSE-max
- support_cluster-coeff-min
- support_POSNEG-RATIO-VAR-min
- support_HORNY-VAR-min
- support_CG-featuretime
- support_POSNEG-RATIO-VAR-max
- support_Basic-featuretime
- support_nclausesOrig
- support_CG-min
- support_VCG-VAR-max
- support_VCG-CLAUSE-mean
- support_VCG-VAR-min
- support_BINARY+
- support_POSNEG-RATIO-CLAUSE-entropy
- support_VCG-CLAUSE-coeff-variation
- support_VG-coeff-variation
- support_HORNY-VAR-entropy
- support_vars-clauses-ratio
- support_nvars
- support_HORNY-VAR-mean
- support_POSNEG-RATIO-VAR-stdev
- support_VG-mean
- support_VG-min
- support_VCG-VAR-coeff-variation
- support_VG-max
- support_Pre-featuretime
- support_VCG-CLAUSE-min
- support_POSNEG-RATIO-CLAUSE-mean
- support_cluster-coeff-entropy
- support_HORNY-VAR-max
- support_reducedClauses
- directorder_reducedVars
- directorder_KLB-featuretime
- directorder_CG-entropy
- directorder_POSNEG-RATIO-VAR-entropy
- directorder_horn-clauses-fraction
- directorder_VCG-CLAUSE-max
- directorder_VCG-VAR-mean
- directorder_HORNY-VAR-coeff-variation
- directorder_POSNEG-RATIO-VAR-mean
- directorder_cluster-coeff-mean
- directorder_nvarsOrig
- directorder_TRINARY+
- directorder_POSNEG-RATIO-CLAUSE-coeff-variation
- directorder_nclauses
- directorder_CG-coeff-variation
- directorder_VCG-CLAUSE-entropy
- directorder_CG-max
- directorder_VCG-VAR-entropy
- directorder_cluster-coeff-coeff-variation
- directorder_UNARY
- directorder_POSNEG-RATIO-CLAUSE-min
- directorder_cluster-coeff-max
- directorder_CG-mean
- directorder_POSNEG-RATIO-CLAUSE-max
- directorder_cluster-coeff-min
- directorder_POSNEG-RATIO-VAR-min
- directorder_HORNY-VAR-min
- directorder_CG-featuretime
- directorder_POSNEG-RATIO-VAR-max
- directorder_Basic-featuretime
- directorder_nclausesOrig
- directorder_CG-min
- directorder_VCG-VAR-max
- directorder_VCG-CLAUSE-mean
- directorder_VCG-VAR-min
- directorder_BINARY+
- directorder_POSNEG-RATIO-CLAUSE-entropy
- directorder_VCG-CLAUSE-coeff-variation
- directorder_VG-coeff-variation
- directorder_HORNY-VAR-entropy
- directorder_vars-clauses-ratio
- directorder_nvars
- directorder_HORNY-VAR-mean
- directorder_POSNEG-RATIO-VAR-stdev
- directorder_VG-mean
- directorder_VG-min
- directorder_VCG-VAR-coeff-variation
- directorder_VG-max
- directorder_Pre-featuretime
- directorder_VCG-CLAUSE-min
- directorder_POSNEG-RATIO-CLAUSE-mean
- directorder_cluster-coeff-entropy
- directorder_HORNY-VAR-max
- directorder_reducedClauses
- csp_log_lists
- csp_log_bits
- csp_log_constraints
- csp_percent_avg_continuity
- csp_log_extra_booleans
- csp_percent_dec_predicate
- csp_percent_wsum
- csp_log_booleans
- csp_percent_alldiff
- csp_perten_largeext
- csp_num_alldiff
- csp_sqrt_max_domsize
- csp_log_ranges
- csp_percent_min_continuity
- csp_log_extra_bits
- csp_percent_cumulative
- csp_percent_ext
- csp_sqrt_avg_domsize
- csp_percent_element
- csp_perten_naryext
- csp_perten_avg_predarity
- csp_dyn_log_stdev_weight
- csp_dyn_log_nodes
- csp_dyn_log_avg_weight
- csp_max_arity
- csp_percent_global
- csp_perten_avg_predsize
- csp_perten_binext
- csp_log_values
- csp_log_extra_ranges
- csp_log_search_vars
- csp_dyn_log_propags
- csp_perten_avg_predshape
- csp_log_constants
- csp_log_extra_values
- csp_percent_gac_predicate
features_stochastic: null
maximize:
- false
metainfo_algorithms:
  abscon:
    configuration: ''
    deterministic: true
  choco:
    configuration: ''
    deterministic: true
  claspcnf_direct:
    configuration: ''
    deterministic: true
  claspcnf_directorder:
    configuration: ''
    deterministic: true
  claspcnf_support:
    configuration: ''
    deterministic: true
  cryptominisat_direct:
    configuration: ''
    deterministic: true
  cryptominisat_directorder:
    configuration: ''
    deterministic: true
  cryptominisat_support:
    configuration: ''
    deterministic: true
  gecode:
    configuration: ''
    deterministic: true
  glucose_direct:
    configuration: ''
    deterministic: true
  glucose_directorder:
    configuration: ''
    deterministic: true
  glucose_support:
    configuration: ''
    deterministic: true
  lingeling_direct:
    configuration: ''
    deterministic: true
  lingeling_directorder:
    configuration: ''
    deterministic: true
  lingeling_support:
    configuration: ''
    deterministic: true
  minisat22_direct:
    configuration: ''
    deterministic: true
  minisat22_directorder:
    configuration: ''
    deterministic: true
  minisat22_support:
    configuration: ''
    deterministic: true
  mistral_nj:
    configuration: ''
    deterministic: true
  riss3g_direct:
    configuration: ''
    deterministic: true
  riss3g_directorder:
    configuration: ''
    deterministic: true
  riss3g_support:
    configuration: ''
    deterministic: true
number_of_feature_steps: 4
performance_measures:
- runtime
performance_type:
- runtime
scenario_id: PROTEUS-2014