algorithm_cutoff_memory: '?'
algorithm_cutoff_time: 5000
default_steps:
- Pre
- Basic
- KLB
- CG
- code
- AST
feature_steps:
  Basic:
    provides:
    - vars_clauses_ratio
    - POSNEG_RATIO_CLAUSE_mean
    - POSNEG_RATIO_CLAUSE_coeff_variation
    - POSNEG_RATIO_CLAUSE_min
    - POSNEG_RATIO_CLAUSE_max
    - POSNEG_RATIO_CLAUSE_entropy
    - VCG_CLAUSE_mean
    - VCG_CLAUSE_coeff_variation
    - VCG_CLAUSE_min
    - VCG_CLAUSE_max
    - VCG_CLAUSE_entropy
    - UNARY
    - BINARYp
    - TRINARYp
    requires:
    - Pre
  CG:
    provides:
    - CG_mean
    - CG_coeff_variation
    - CG_min
    - CG_max
    - CG_entropy
    - cluster_coeff_mean
    - cluster_coeff_coeff_variation
    - cluster_coeff_min
    - cluster_coeff_max
    - cluster_coeff_entropy
    requires:
    - Pre
  DIAMETER:
    provides:
    - DIAMETER_mean
    - DIAMETER_coeff_variation
    - DIAMETER_min
    - DIAMETER_max
    - DIAMETER_entropy
    requires:
    - Pre
  KLB:
    provides:
    - VCG_VAR_mean
    - VCG_VAR_coeff_variation
    - VCG_VAR_min
    - VCG_VAR_max
    - VCG_VAR_entropy
    - POSNEG_RATIO_VAR_mean
    - POSNEG_RATIO_VAR_stdev
    - POSNEG_RATIO_VAR_min
    - POSNEG_RATIO_VAR_max
    - POSNEG_RATIO_VAR_entropy
    - HORNY_VAR_mean
    - HORNY_VAR_coeff_variation
    - HORNY_VAR_min
    - HORNY_VAR_max
    - HORNY_VAR_entropy
    - horn_clauses_fraction
    - VG_mean
    - VG_coeff_variation
    - VG_min
    - VG_max
    requires:
    - Pre
  Pre:
    provides:
    - nvarsOrig
    - nclausesOrig
    - nvars
    - nclauses
    - reducedVars
    - reducedClauses
  cl:
    provides:
    - cl_num_mean
    - cl_num_coeff_variation
    - cl_num_min
    - cl_num_max
    - cl_num_q90
    - cl_num_q10
    - cl_num_q75
    - cl_num_q25
    - cl_num_q50
    - cl_size_mean
    - cl_size_coeff_variation
    - cl_size_min
    - cl_size_max
    - cl_size_q90
    - cl_size_q10
    - cl_size_q75
    - cl_size_q25
    - cl_size_q50
    requires:
    - Pre
  lobjois:
    provides:
    - lobjois_mean_depth_over_vars
    - lobjois_log_num_nodes_over_vars
    requires:
    - Pre
  ls_gsat:
    provides:
    - gsat_BestSolution_Mean
    - gsat_BestSolution_CoeffVariance
    - gsat_FirstLocalMinStep_Mean
    - gsat_FirstLocalMinStep_CoeffVariance
    - gsat_FirstLocalMinStep_Median
    - gsat_FirstLocalMinStep_Q10
    - gsat_FirstLocalMinStep_Q90
    - gsat_BestAvgImprovement_Mean
    - gsat_BestAvgImprovement_CoeffVariance
    - gsat_FirstLocalMinRatio_Mean
    - gsat_FirstLocalMinRatio_CoeffVariance
    requires:
    - Pre
  ls_saps:
    provides:
    - saps_BestSolution_Mean
    - saps_BestSolution_CoeffVariance
    - saps_FirstLocalMinStep_Mean
    - saps_FirstLocalMinStep_CoeffVariance
    - saps_FirstLocalMinStep_Median
    - saps_FirstLocalMinStep_Q10
    - saps_FirstLocalMinStep_Q90
    - saps_BestAvgImprovement_Mean
    - saps_BestAvgImprovement_CoeffVariance
    - saps_FirstLocalMinRatio_Mean
    - saps_FirstLocalMinRatio_CoeffVariance
    requires:
    - Pre
  sp:
    provides:
    - SP_bias_mean
    - SP_bias_coeff_variation
    - SP_bias_min
    - SP_bias_max
    - SP_bias_q90
    - SP_bias_q10
    - SP_bias_q75
    - SP_bias_q25
    - SP_bias_q50
    - SP_unconstraint_mean
    - SP_unconstraint_coeff_variation
    - SP_unconstraint_min
    - SP_unconstraint_max
    - SP_unconstraint_q90
    - SP_unconstraint_q10
    - SP_unconstraint_q75
    - SP_unconstraint_q25
    - SP_unconstraint_q50
    requires:
    - Pre
algorithm_feature_steps:
  code:
    provides:
    - Lines..Average. 
    - Lines..Total. 
    - Size..Average. 
    - Size..Total. 
    - Number.of.files 
    - Cyclomatic..Average. 
    - Cyclomatic..Total. 
    - Max.Indent..Average. 
    - Max.Indent..Total. 
  AST:
    provides:
    - nb_nodes 
    - nb_edges 
    - degree_min 
    - degree_max 
    - degree_mean 
    - degree_variance 
    - degree_entropy 
    - transitivity 
    - clustering_min 
    - clustering_max 
    - clustering_mean 
    - clustering_variance 
    - path_min 
    - paths_max 
    - path_mean 
    - path_variance 
    - path_entropy 
    - Stmt 
    - Type 
    - Decl 
    - Attribute 
    - Operator 
    - Literal 
    - edge_ss 
    - edge_st 
    - edge_sd 
    - edge_sa 
    - edge_so 
    - edge_sl 
    - edge_ts 
    - edge_tt 
    - edge_td 
    - edge_ta 
    - edge_to 
    - edge_tl 
    - edge_ds 
    - edge_dt 
    - edge_dd 
    - edge_da 
    - edge_do 
    - edge_dl 
    - edge_as 
    - edge_at 
    - edge_ad 
    - edge_aa 
    - edge_ao 
    - edge_al 
    - edge_os 
    - edge_ot 
    - edge_od 
    - edge_oa 
    - edge_oo 
    - edge_ol 
    - edge_ls 
    - edge_lt 
    - edge_ld 
    - edge_la 
    - edge_lo 
    - edge_ll 
    - op_short 
    - op_int 
    - op_long 
    - op_long_long 
    - op_float 
    - op_double 
    - op_bit 
features_cutoff_memory: '?'
features_cutoff_time: 5000
features_deterministic:
- nvarsOrig
- nclausesOrig
- nvars
- nclauses
- reducedVars
- reducedClauses
- vars_clauses_ratio
- POSNEG_RATIO_CLAUSE_mean
- POSNEG_RATIO_CLAUSE_coeff_variation
- POSNEG_RATIO_CLAUSE_min
- POSNEG_RATIO_CLAUSE_max
- POSNEG_RATIO_CLAUSE_entropy
- VCG_CLAUSE_mean
- VCG_CLAUSE_coeff_variation
- VCG_CLAUSE_min
- VCG_CLAUSE_max
- VCG_CLAUSE_entropy
- UNARY
- BINARYp
- TRINARYp
- VCG_VAR_mean
- VCG_VAR_coeff_variation
- VCG_VAR_min
- VCG_VAR_max
- VCG_VAR_entropy
- POSNEG_RATIO_VAR_mean
- POSNEG_RATIO_VAR_stdev
- POSNEG_RATIO_VAR_min
- POSNEG_RATIO_VAR_max
- POSNEG_RATIO_VAR_entropy
- HORNY_VAR_mean
- HORNY_VAR_coeff_variation
- HORNY_VAR_min
- HORNY_VAR_max
- HORNY_VAR_entropy
- horn_clauses_fraction
- VG_mean
- VG_coeff_variation
- VG_min
- VG_max
- CG_mean
- CG_coeff_variation
- CG_min
- CG_max
- CG_entropy
- cluster_coeff_mean
- cluster_coeff_coeff_variation
- cluster_coeff_min
- cluster_coeff_max
- cluster_coeff_entropy
- DIAMETER_mean
- DIAMETER_coeff_variation
- DIAMETER_min
- DIAMETER_max
- DIAMETER_entropy
- cl_num_mean
- cl_num_coeff_variation
- cl_num_min
- cl_num_max
- cl_num_q90
- cl_num_q10
- cl_num_q75
- cl_num_q25
- cl_num_q50
- cl_size_mean
- cl_size_coeff_variation
- cl_size_min
- cl_size_max
- cl_size_q90
- cl_size_q10
- cl_size_q75
- cl_size_q25
- cl_size_q50
- SP_bias_mean
- SP_bias_coeff_variation
- SP_bias_min
- SP_bias_max
- SP_bias_q90
- SP_bias_q10
- SP_bias_q75
- SP_bias_q25
- SP_bias_q50
- SP_unconstraint_mean
- SP_unconstraint_coeff_variation
- SP_unconstraint_min
- SP_unconstraint_max
- SP_unconstraint_q90
- SP_unconstraint_q10
- SP_unconstraint_q75
- SP_unconstraint_q25
- SP_unconstraint_q50
- saps_BestSolution_Mean
- saps_BestSolution_CoeffVariance
- saps_FirstLocalMinStep_Mean
- saps_FirstLocalMinStep_CoeffVariance
- saps_FirstLocalMinStep_Median
- saps_FirstLocalMinStep_Q10
- saps_FirstLocalMinStep_Q90
- saps_BestAvgImprovement_Mean
- saps_BestAvgImprovement_CoeffVariance
- saps_FirstLocalMinRatio_Mean
- saps_FirstLocalMinRatio_CoeffVariance
- gsat_BestSolution_Mean
- gsat_BestSolution_CoeffVariance
- gsat_FirstLocalMinStep_Mean
- gsat_FirstLocalMinStep_CoeffVariance
- gsat_FirstLocalMinStep_Median
- gsat_FirstLocalMinStep_Q10
- gsat_FirstLocalMinStep_Q90
- gsat_BestAvgImprovement_Mean
- gsat_BestAvgImprovement_CoeffVariance
- gsat_FirstLocalMinRatio_Mean
- gsat_FirstLocalMinRatio_CoeffVariance
- lobjois_mean_depth_over_vars
- lobjois_log_num_nodes_over_vars
features_stochastic: null
algorithm_features_cutoff_memory: '?'
algorithm_features_cutoff_time: '?'
algorithm_features_deterministic: 
- Lines..Average. 
- Lines..Total. 
- Size..Average. 
- Size..Total. 
- Number.of.files 
- Cyclomatic..Average. 
- Cyclomatic..Total. 
- Max.Indent..Average. 
- Max.Indent..Total. 
- nb_nodes 
- nb_edges 
- degree_min 
- degree_max 
- degree_mean 
- degree_variance 
- degree_entropy 
- transitivity 
- clustering_min 
- clustering_max 
- clustering_mean 
- clustering_variance 
- path_min 
- paths_max 
- path_mean 
- path_variance 
- path_entropy 
- Stmt 
- Type 
- Decl 
- Attribute 
- Operator 
- Literal 
- edge_ss 
- edge_st 
- edge_sd 
- edge_sa 
- edge_so 
- edge_sl 
- edge_ts 
- edge_tt 
- edge_td 
- edge_ta 
- edge_to 
- edge_tl 
- edge_ds 
- edge_dt 
- edge_dd 
- edge_da 
- edge_do 
- edge_dl 
- edge_as 
- edge_at 
- edge_ad 
- edge_aa 
- edge_ao 
- edge_al 
- edge_os 
- edge_ot 
- edge_od 
- edge_oa 
- edge_oo 
- edge_ol 
- edge_ls 
- edge_lt 
- edge_ld 
- edge_la 
- edge_lo 
- edge_ll 
- op_short 
- op_int 
- op_long 
- op_long_long 
- op_float 
- op_double 
- op_bit 
algorithm_features_stochastic: null
maximize:
- false
metainfo_algorithms:
  clasp_2.0.R4092.crafted:
    configuration: ''
    deterministic: true
  CryptoMiniSat_Strange.Night2.st_fixed_:
    configuration: ''
    deterministic: true
  glucose_2:
    configuration: ''
    deterministic: true
  MPhaseSAT_2011.02.15:
    configuration: ''
    deterministic: true
  PicoSAT_941:
    configuration: ''
    deterministic: true
  QuteRSat_2011.05.12_fixed_:
    configuration: ''
    deterministic: true
  RestartSAT_B95:
    configuration: ''
    deterministic: true
  SApperloT2010_2011.05.15_fixed_:
    configuration: ''
    deterministic: true
  SAT07referencesolverminisat_SAT2007:
    configuration: ''
    deterministic: true
  SAT09referencesolverclasp_1.2.0.SAT09.32:
    configuration: ''
    deterministic: true
  sathys_2011.04.01:
    configuration: ''
    deterministic: true
number_of_feature_steps: 12
performance_measures:
- runtime
performance_type:
- runtime
scenario_id: SAT11-HAND-ALGO