algorithm_cutoff_memory: '?' algorithm_cutoff_time: 5000.0 algorithms_deterministic: - abcdsat_r18 - CaDiCaL - Candy - cms55-main-all4fixed - COMiniSatPS_Pulsar_drup - expGlucose - expMC_LRB_VSIDS_Switch - expMC_LRB_VSIDS_Switch_2500 - expMC_VSIDS_LRB_Switch_2500 - GHackCOMSPS_drup - glu_mix - Glucose_Hack_Kiel_fastBVE - glucose-3.0_PADC_10 - glucose-3.0_PADC_3 - glucose3.0 - glucose4.2.1 - gluHack - inIDGlucose - Lingeling - Maple_CM - Maple_CM_Dist - Maple_CM_ordUIP - Maple_CM_ordUIP+ - Maple_LCM_M1 - Maple_LCM_Scavel_200_fix2 - Maple_LCM_Scavel_fix2 - Maple_LCM+BCrestart - Maple_LCM+BCrestart_M1 - MapleCOMSPS_CHB_VSIDS_drup - MapleCOMSPS_LRB_VSIDS_2_fix - MapleCOMSPS_LRB_VSIDS_drup - MapleLCMDistChronoBT - Minisat-v2.2.0-106-ge2dd095 - Riss7.1-fix - smallsat - Sparrow2Riss-2018-fixfix - YalSAT algorithms_stochastic: '' default_steps: - instance - code - AST feature_steps: instance: provides: - 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 - BINARY. - TRINARY. - 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 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: '?' 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 - BINARY. - TRINARY. - 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 features_stochastic: '' 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: '' maximize: - false metainfo_algorithms: abcdsat_r18: configuration: '' deterministic: yes CaDiCaL: configuration: '' deterministic: yes Candy: configuration: '' deterministic: yes cms55-main-all4fixed: configuration: '' deterministic: yes COMiniSatPS_Pulsar_drup: configuration: '' deterministic: yes expGlucose: configuration: '' deterministic: yes YalSAT: configuration: '' deterministic: yes smallsat: configuration: '' deterministic: yes Maple_LCM_Scavel_200_fix2: configuration: '' deterministic: yes Maple_LCM_Scavel_fix2: configuration: '' deterministic: yes Maple_LCM_M1: configuration: '' deterministic: yes Maple_LCM+BCrestart_M1: configuration: '' deterministic: yes Maple_LCM+BCrestart: configuration: '' deterministic: yes Maple_CM_ordUIP+: configuration: '' deterministic: yes Maple_CM_ordUIP: configuration: '' deterministic: yes Maple_CM_Dist: configuration: '' deterministic: yes Maple_CM: configuration: '' deterministic: yes MapleLCMDistChronoBT: configuration: '' deterministic: yes Lingeling: configuration: '' deterministic: yes inIDGlucose: configuration: '' deterministic: yes glu_mix: configuration: '' deterministic: yes gluHack: configuration: '' deterministic: yes Glucose_Hack_Kiel_fastBVE: configuration: '' deterministic: yes glucose-3.0_PADC_3: configuration: '' deterministic: yes glucose-3.0_PADC_10: configuration: '' deterministic: yes glucose4.2.1: configuration: '' deterministic: yes expMC_VSIDS_LRB_Switch_2500: configuration: '' deterministic: yes expMC_LRB_VSIDS_Switch_2500: configuration: '' deterministic: yes expMC_LRB_VSIDS_Switch: configuration: '' deterministic: yes GHackCOMSPS_drup: configuration: '' deterministic: yes glucose3.0: configuration: '' deterministic: yes MapleCOMSPS_CHB_VSIDS_drup: configuration: '' deterministic: yes MapleCOMSPS_LRB_VSIDS_2_fix: configuration: '' deterministic: yes MapleCOMSPS_LRB_VSIDS_drup: configuration: '' deterministic: yes Minisat-v2.2.0-106-ge2dd095: configuration: '' deterministic: yes Riss7.1-fix: configuration: '' deterministic: yes Sparrow2Riss-2018-fixfix: configuration: '' deterministic: yes number_of_feature_steps: 2 performance_measures: - runtime performance_type: - runtime scenario_id: SAT18-EXP-ALGO