scenario_id: SAT03-16_INDU performance_measures: - PAR10 maximize: - false performance_type: - runtime algorithm_cutoff_time: 5000 algorithm_cutoff_memory: '?' features_cutoff_time: 5000 features_cutoff_memory: '4096' number_of_feature_steps: 16 feature_steps: base: 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 - 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 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 dia: provides: - DIAMETER-mean - DIAMETER-coeff-variation - DIAMETER-min - DIAMETER-max - DIAMETER-entropy 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 unit: provides: - vars-reduced-depth-1 - vars-reduced-depth-4 - vars-reduced-depth-16 - vars-reduced-depth-64 - vars-reduced-depth-256 ls: provides: - saps_BestSolution_Mean - saps_BestSolution_CoeffVariance - saps_FirstLocalMinStep_Mean - saps_FirstLocalMinStep_CoeffVariance - saps_FirstLocalMinStep_Median - saps_FirstLocalMinStep_Q.10 - saps_FirstLocalMinStep_Q.90 - 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_Q.10 - gsat_FirstLocalMinStep_Q.90 - gsat_BestAvgImprovement_Mean - gsat_BestAvgImprovement_CoeffVariance - gsat_FirstLocalMinRatio_Mean - gsat_FirstLocalMinRatio_CoeffVariance lobjois: provides: - lobjois-mean-depth-over-vars - lobjois-log-num-nodes-over-vars tud_base: provides: - tud_clauses - tud_vars - tud_clauses_size_1 - tud_clauses_size_2 - tud_clauses_size_3 - tud_clauses_size_4 - tud_clauses_size_5 - tud_clauses_size_6 - tud_clauses_size_7 - tud_clauses_size_8 - tud_clauses_size_>=_9 - tud_horn_clauses - tud_clause-variable_degree_min - tud_clause-variable_degree_max - tud_clause-variable_degree_mode - tud_clause-variable_degree_mean - tud_clause-variable_degree_stdev - tud_clause-variable_degree_entropy - tud_clause-variable_degree_valuesRate - tud_clause-variable_degree_Q1 - tud_clause-variable_degree_Q2 - tud_clause-variable_degree_Q3 - tud_variable-clause_degree_zcount - tud_variable-clause_degree_min - tud_variable-clause_degree_max - tud_variable-clause_degree_mode - tud_variable-clause_degree_mean - tud_variable-clause_degree_stdev - tud_variable-clause_degree_entropy - tud_variable-clause_degree_valuesRate - tud_variable-clause_degree_Q1 - tud_variable-clause_degree_Q2 - tud_variable-clause_degree_Q3 - tud_clause-variable_polarity_min - tud_clause-variable_polarity_max - tud_clause-variable_polarity_mode - tud_clause-variable_polarity_mean - tud_clause-variable_polarity_stdev - tud_clause-variable_polarity_entropy - tud_clause-variable_polarity_valuesRate - tud_clause-variable_polarity_Q1 - tud_clause-variable_polarity_Q2 - tud_clause-variable_polarity_Q3 - tud_variable-clause_polarity_zcount - tud_variable-clause_polarity_min - tud_variable-clause_polarity_max - tud_variable-clause_polarity_mode - tud_variable-clause_polarity_mean - tud_variable-clause_polarity_stdev - tud_variable-clause_polarity_entropy - tud_variable-clause_polarity_valuesRate - tud_variable-clause_polarity_Q1 - tud_variable-clause_polarity_Q2 - tud_variable-clause_polarity_Q3 - tud_Clause-Var_steps - tud_SymmTime0_zcount - tud_SymmTime0_min - tud_SymmTime0_max - tud_SymmTime0_mode - tud_SymmTime0_mean - tud_SymmTime0_stdev - tud_SymmTime0_entropy - tud_SymmTime0_valuesRate - tud_SymmTime0_Q1 - tud_SymmTime0_Q2 - tud_SymmTime0_Q3 - tud_Symmetry0_steps - tud_SymmTime1_zcount - tud_SymmTime1_min - tud_SymmTime1_max - tud_SymmTime1_mode - tud_SymmTime1_mean - tud_SymmTime1_stdev - tud_SymmTime1_entropy - tud_SymmTime1_valuesRate - tud_SymmTime1_Q1 - tud_SymmTime1_Q2 - tud_SymmTime1_Q3 - tud_Symmetry1_steps - tud_SymmTime2_zcount - tud_SymmTime2_min - tud_SymmTime2_max - tud_SymmTime2_mode - tud_SymmTime2_mean - tud_SymmTime2_stdev - tud_SymmTime2_entropy - tud_SymmTime2_valuesRate - tud_SymmTime2_Q1 - tud_SymmTime2_Q2 - tud_SymmTime2_Q3 - tud_Symmetry2_steps - tud_Symmetry_computation_steps tud_clausesf: requires: - tud_base provides: - tud_clauses_graph_degree_zcount - tud_clauses_graph_degree_min - tud_clauses_graph_degree_max - tud_clauses_graph_degree_mode - tud_clauses_graph_degree_mean - tud_clauses_graph_degree_stdev - tud_clauses_graph_degree_entropy - tud_clauses_graph_degree_valuesRate - tud_clauses_graph_degree_Q1 - tud_clauses_graph_degree_Q2 - tud_clauses_graph_degree_Q3 - tud_clauses_graph_weights_min - tud_clauses_graph_weights_max - tud_clauses_graph_weights_mode - tud_clauses_graph_weights_mean - tud_clauses_graph_weights_stdev - tud_clauses_graph_weights_entropy - tud_clauses_graph_weights_valuesRate - tud_clauses_graph_weights_Q1 - tud_clauses_graph_weights_Q2 - tud_clauses_graph_weights_Q3 - tud_Clause_graph_steps tud_resf: requires: - tud_base provides: - tud_resolution_graph_degree_zcount - tud_resolution_graph_degree_min - tud_resolution_graph_degree_max - tud_resolution_graph_degree_mode - tud_resolution_graph_degree_mean - tud_resolution_graph_degree_stdev - tud_resolution_graph_degree_entropy - tud_resolution_graph_degree_valuesRate - tud_resolution_graph_degree_Q1 - tud_resolution_graph_degree_Q2 - tud_resolution_graph_degree_Q3 - tud_resolution_graph_weights_min - tud_resolution_graph_weights_max - tud_resolution_graph_weights_mode - tud_resolution_graph_weights_mean - tud_resolution_graph_weights_stdev - tud_resolution_graph_weights_entropy - tud_resolution_graph_weights_valuesRate - tud_resolution_graph_weights_Q1 - tud_resolution_graph_weights_Q2 - tud_resolution_graph_weights_Q3 - tud_Resolution_graph_steps tud_varf: requires: - tud_base provides: - tud_variables_graph_degree_zcount - tud_variables_graph_degree_min - tud_variables_graph_degree_max - tud_variables_graph_degree_mode - tud_variables_graph_degree_mean - tud_variables_graph_degree_stdev - tud_variables_graph_degree_entropy - tud_variables_graph_degree_valuesRate - tud_variables_graph_degree_Q1 - tud_variables_graph_degree_Q2 - tud_variables_graph_degree_Q3 - tud_variables_graph_weights_min - tud_variables_graph_weights_max - tud_variables_graph_weights_mode - tud_variables_graph_weights_mean - tud_variables_graph_weights_stdev - tud_variables_graph_weights_entropy - tud_variables_graph_weights_valuesRate - tud_variables_graph_weights_Q1 - tud_variables_graph_weights_Q2 - tud_variables_graph_weights_Q3 - tud_Var_graph_steps tud_derivativef: requires: - tud_base provides: - tud_clause-variable_degree_derivative_zcount - tud_clause-variable_degree_derivative_min - tud_clause-variable_degree_derivative_max - tud_clause-variable_degree_derivative_mode - tud_clause-variable_degree_derivative_mean - tud_clause-variable_degree_derivative_stdev - tud_clause-variable_degree_derivative_entropy - tud_clause-variable_degree_derivative_valuesRate - tud_clause-variable_degree_derivative_Q1 - tud_clause-variable_degree_derivative_Q2 - tud_clause-variable_degree_derivative_Q3 - tud_variable-clause_degree_derivative_zcount - tud_variable-clause_degree_derivative_min - tud_variable-clause_degree_derivative_max - tud_variable-clause_degree_derivative_mode - tud_variable-clause_degree_derivative_mean - tud_variable-clause_degree_derivative_stdev - tud_variable-clause_degree_derivative_entropy - tud_variable-clause_degree_derivative_valuesRate - tud_variable-clause_degree_derivative_Q1 - tud_variable-clause_degree_derivative_Q2 - tud_variable-clause_degree_derivative_Q3 - tud_clause-variable_polarity_derivative_zcount - tud_clause-variable_polarity_derivative_min - tud_clause-variable_polarity_derivative_max - tud_clause-variable_polarity_derivative_mode - tud_clause-variable_polarity_derivative_mean - tud_clause-variable_polarity_derivative_stdev - tud_clause-variable_polarity_derivative_entropy - tud_clause-variable_polarity_derivative_valuesRate - tud_clause-variable_polarity_derivative_Q1 - tud_clause-variable_polarity_derivative_Q2 - tud_clause-variable_polarity_derivative_Q3 - tud_variable-clause_polarity_derivative_zcount - tud_variable-clause_polarity_derivative_min - tud_variable-clause_polarity_derivative_max - tud_variable-clause_polarity_derivative_mode - tud_variable-clause_polarity_derivative_mean - tud_variable-clause_polarity_derivative_stdev - tud_variable-clause_polarity_derivative_entropy - tud_variable-clause_polarity_derivative_valuesRate - tud_variable-clause_polarity_derivative_Q1 - tud_variable-clause_polarity_derivative_Q2 - tud_variable-clause_polarity_derivative_Q3 - tud_SymmTime0_derivative_zcount - tud_SymmTime0_derivative_min - tud_SymmTime0_derivative_max - tud_SymmTime0_derivative_mode - tud_SymmTime0_derivative_mean - tud_SymmTime0_derivative_stdev - tud_SymmTime0_derivative_entropy - tud_SymmTime0_derivative_valuesRate - tud_SymmTime0_derivative_Q1 - tud_SymmTime0_derivative_Q2 - tud_SymmTime0_derivative_Q3 - tud_SymmTime1_derivative_zcount - tud_SymmTime1_derivative_min - tud_SymmTime1_derivative_max - tud_SymmTime1_derivative_mode - tud_SymmTime1_derivative_mean - tud_SymmTime1_derivative_stdev - tud_SymmTime1_derivative_entropy - tud_SymmTime1_derivative_valuesRate - tud_SymmTime1_derivative_Q1 - tud_SymmTime1_derivative_Q2 - tud_SymmTime1_derivative_Q3 - tud_SymmTime2_derivative_zcount - tud_SymmTime2_derivative_min - tud_SymmTime2_derivative_max - tud_SymmTime2_derivative_mode - tud_SymmTime2_derivative_mean - tud_SymmTime2_derivative_stdev - tud_SymmTime2_derivative_entropy - tud_SymmTime2_derivative_valuesRate - tud_SymmTime2_derivative_Q1 - tud_SymmTime2_derivative_Q2 - tud_SymmTime2_derivative_Q3 tud_big: requires: - tud_base provides: - tud_bin_implication_graph_degree_zcount - tud_bin_implication_graph_degree_min - tud_bin_implication_graph_degree_max - tud_bin_implication_graph_degree_mode - tud_bin_implication_graph_degree_mean - tud_bin_implication_graph_degree_stdev - tud_bin_implication_graph_degree_entropy - tud_bin_implication_graph_degree_valuesRate - tud_bin_implication_graph_degree_Q1 - tud_bin_implication_graph_degree_Q2 - tud_bin_implication_graph_degree_Q3 - tud_Bin_Implication_graph_steps tud_const: requires: - tud_base provides: - tud_bin_implication_graph_degree_zcount - tud_bin_implication_graph_degree_min - tud_bin_implication_graph_degree_max - tud_bin_implication_graph_degree_mode - tud_bin_implication_graph_degree_mean - tud_bin_implication_graph_degree_stdev - tud_bin_implication_graph_degree_entropy - tud_bin_implication_graph_degree_valuesRate - tud_bin_implication_graph_degree_Q1 - tud_bin_implication_graph_degree_Q2 - tud_bin_implication_graph_degree_Q3 - tud_Bin_Implication_graph_steps - tud_Exactly1Lit_zcount - tud_Exactly1Lit_min - tud_Exactly1Lit_max - tud_Exactly1Lit_mode - tud_Exactly1Lit_mean - tud_Exactly1Lit_stdev - tud_Exactly1Lit_entropy - tud_Exactly1Lit_valuesRate - tud_Exactly1Lit_Q1 - tud_Exactly1Lit_Q2 - tud_Exactly1Lit_Q3 - tud_Exactly1Lit_steps - tud_Full_AND_gate_degree_zcount - tud_Full_AND_gate_degree_min - tud_Full_AND_gate_degree_max - tud_Full_AND_gate_degree_mode - tud_Full_AND_gate_degree_mean - tud_Full_AND_gate_degree_stdev - tud_Full_AND_gate_degree_entropy - tud_Full_AND_gate_degree_valuesRate - tud_Full_AND_gate_degree_Q1 - tud_Full_AND_gate_degree_Q2 - tud_Full_AND_gate_degree_Q3 - tud_Full_AND_gate_weights_min - tud_Full_AND_gate_weights_max - tud_Full_AND_gate_weights_mode - tud_Full_AND_gate_weights_mean - tud_Full_AND_gate_weights_stdev - tud_Full_AND_gate_weights_entropy - tud_Full_AND_gate_weights_valuesRate - tud_Full_AND_gate_weights_Q1 - tud_Full_AND_gate_weights_Q2 - tud_Full_AND_gate_weights_Q3 - tud_Full_AND_gate_steps - tud_Blocked_AND_gate_degree_zcount - tud_Blocked_AND_gate_degree_min - tud_Blocked_AND_gate_degree_max - tud_Blocked_AND_gate_degree_mode - tud_Blocked_AND_gate_degree_mean - tud_Blocked_AND_gate_degree_stdev - tud_Blocked_AND_gate_degree_entropy - tud_Blocked_AND_gate_degree_valuesRate - tud_Blocked_AND_gate_degree_Q1 - tud_Blocked_AND_gate_degree_Q2 - tud_Blocked_AND_gate_degree_Q3 - tud_Blocked_AND_gate_weights_min - tud_Blocked_AND_gate_weights_max - tud_Blocked_AND_gate_weights_mode - tud_Blocked_AND_gate_weights_mean - tud_Blocked_AND_gate_weights_stdev - tud_Blocked_AND_gate_weights_entropy - tud_Blocked_AND_gate_weights_valuesRate - tud_Blocked_AND_gate_weights_Q1 - tud_Blocked_AND_gate_weights_Q2 - tud_Blocked_AND_gate_weights_Q3 - tud_Blocked_AND_gate_steps tud_rwhf: requires: - tud_base provides: - tud_RWH-1_zcount - tud_RWH-1_min - tud_RWH-1_max - tud_RWH-1_mode - tud_RWH-1_mean - tud_RWH-1_stdev - tud_RWH-1_entropy - tud_RWH-1_valuesRate - tud_RWH-1_Q1 - tud_RWH-1_Q2 - tud_RWH-1_Q3 - tud_RWH-1steps - tud_RWH-2_zcount - tud_RWH-2_min - tud_RWH-2_max - tud_RWH-2_mode - tud_RWH-2_mean - tud_RWH-2_stdev - tud_RWH-2_entropy - tud_RWH-2_valuesRate - tud_RWH-2_Q1 - tud_RWH-2_Q2 - tud_RWH-2_Q3 - tud_RWH-2steps - tud_RWH-3_zcount - tud_RWH-3_min - tud_RWH-3_max - tud_RWH-3_mode - tud_RWH-3_mean - tud_RWH-3_stdev - tud_RWH-3_entropy - tud_RWH-3_valuesRate - tud_RWH-3_Q1 - tud_RWH-3_Q2 - tud_RWH-3_Q3 - tud_RWH-3steps tud_xor: requires: - tud_base provides: - tud_bin_implication_graph_degree_zcount - tud_bin_implication_graph_degree_min - tud_bin_implication_graph_degree_max - tud_bin_implication_graph_degree_mode - tud_bin_implication_graph_degree_mean - tud_bin_implication_graph_degree_stdev - tud_bin_implication_graph_degree_entropy - tud_bin_implication_graph_degree_valuesRate - tud_bin_implication_graph_degree_Q1 - tud_bin_implication_graph_degree_Q2 - tud_bin_implication_graph_degree_Q3 - tud_Bin_Implication_graph_steps - tud_XOR_gate_degree_zcount - tud_XOR_gate_degree_min - tud_XOR_gate_degree_max - tud_XOR_gate_degree_mode - tud_XOR_gate_degree_mean - tud_XOR_gate_degree_stdev - tud_XOR_gate_degree_entropy - tud_XOR_gate_degree_valuesRate - tud_XOR_gate_degree_Q1 - tud_XOR_gate_degree_Q2 - tud_XOR_gate_degree_Q3 - tud_XOR_gate_weights_min - tud_XOR_gate_weights_max - tud_XOR_gate_weights_mode - tud_XOR_gate_weights_mean - tud_XOR_gate_weights_stdev - tud_XOR_gate_weights_entropy - tud_XOR_gate_weights_valuesRate - tud_XOR_gate_weights_Q1 - tud_XOR_gate_weights_Q2 - tud_XOR_gate_weights_Q3 - tud_XOR_used_clauses - tud_XOR_used_clauses_ratio - tud_XOR_gate_steps default_steps: - base - tud_base 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 - 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 - 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 - vars-reduced-depth-1 - vars-reduced-depth-4 - vars-reduced-depth-16 - vars-reduced-depth-64 - vars-reduced-depth-256 - saps_BestSolution_Mean - saps_BestSolution_CoeffVariance - saps_FirstLocalMinStep_Mean - saps_FirstLocalMinStep_CoeffVariance - saps_FirstLocalMinStep_Median - saps_FirstLocalMinStep_Q.10 - saps_FirstLocalMinStep_Q.90 - 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_Q.10 - gsat_FirstLocalMinStep_Q.90 - gsat_BestAvgImprovement_Mean - gsat_BestAvgImprovement_CoeffVariance - gsat_FirstLocalMinRatio_Mean - gsat_FirstLocalMinRatio_CoeffVariance - lobjois-mean-depth-over-vars - lobjois-log-num-nodes-over-vars - tud_clauses - tud_vars - tud_clauses_size_1 - tud_clauses_size_2 - tud_clauses_size_3 - tud_clauses_size_4 - tud_clauses_size_5 - tud_clauses_size_6 - tud_clauses_size_7 - tud_clauses_size_8 - tud_clauses_size_>=_9 - tud_horn_clauses - tud_clause-variable_degree_min - tud_clause-variable_degree_max - tud_clause-variable_degree_mode - tud_clause-variable_degree_mean - tud_clause-variable_degree_stdev - tud_clause-variable_degree_entropy - tud_clause-variable_degree_valuesRate - tud_clause-variable_degree_Q1 - tud_clause-variable_degree_Q2 - tud_clause-variable_degree_Q3 - tud_variable-clause_degree_zcount - tud_variable-clause_degree_min - tud_variable-clause_degree_max - tud_variable-clause_degree_mode - tud_variable-clause_degree_mean - tud_variable-clause_degree_stdev - tud_variable-clause_degree_entropy - tud_variable-clause_degree_valuesRate - tud_variable-clause_degree_Q1 - tud_variable-clause_degree_Q2 - tud_variable-clause_degree_Q3 - tud_clause-variable_polarity_min - tud_clause-variable_polarity_max - tud_clause-variable_polarity_mode - tud_clause-variable_polarity_mean - tud_clause-variable_polarity_stdev - tud_clause-variable_polarity_entropy - tud_clause-variable_polarity_valuesRate - tud_clause-variable_polarity_Q1 - tud_clause-variable_polarity_Q2 - tud_clause-variable_polarity_Q3 - tud_variable-clause_polarity_zcount - tud_variable-clause_polarity_min - tud_variable-clause_polarity_max - tud_variable-clause_polarity_mode - tud_variable-clause_polarity_mean - tud_variable-clause_polarity_stdev - tud_variable-clause_polarity_entropy - tud_variable-clause_polarity_valuesRate - tud_variable-clause_polarity_Q1 - tud_variable-clause_polarity_Q2 - tud_variable-clause_polarity_Q3 - tud_Clause-Var_steps - tud_SymmTime0_zcount - tud_SymmTime0_min - tud_SymmTime0_max - tud_SymmTime0_mode - tud_SymmTime0_mean - tud_SymmTime0_stdev - tud_SymmTime0_entropy - tud_SymmTime0_valuesRate - tud_SymmTime0_Q1 - tud_SymmTime0_Q2 - tud_SymmTime0_Q3 - tud_Symmetry0_steps - tud_SymmTime1_zcount - tud_SymmTime1_min - tud_SymmTime1_max - tud_SymmTime1_mode - tud_SymmTime1_mean - tud_SymmTime1_stdev - tud_SymmTime1_entropy - tud_SymmTime1_valuesRate - tud_SymmTime1_Q1 - tud_SymmTime1_Q2 - tud_SymmTime1_Q3 - tud_Symmetry1_steps - tud_SymmTime2_zcount - tud_SymmTime2_min - tud_SymmTime2_max - tud_SymmTime2_mode - tud_SymmTime2_mean - tud_SymmTime2_stdev - tud_SymmTime2_entropy - tud_SymmTime2_valuesRate - tud_SymmTime2_Q1 - tud_SymmTime2_Q2 - tud_SymmTime2_Q3 - tud_Symmetry2_steps - tud_Symmetry_computation_steps - tud_clauses_graph_degree_zcount - tud_clauses_graph_degree_min - tud_clauses_graph_degree_max - tud_clauses_graph_degree_mode - tud_clauses_graph_degree_mean - tud_clauses_graph_degree_stdev - tud_clauses_graph_degree_entropy - tud_clauses_graph_degree_valuesRate - tud_clauses_graph_degree_Q1 - tud_clauses_graph_degree_Q2 - tud_clauses_graph_degree_Q3 - tud_clauses_graph_weights_min - tud_clauses_graph_weights_max - tud_clauses_graph_weights_mode - tud_clauses_graph_weights_mean - tud_clauses_graph_weights_stdev - tud_clauses_graph_weights_entropy - tud_clauses_graph_weights_valuesRate - tud_clauses_graph_weights_Q1 - tud_clauses_graph_weights_Q2 - tud_clauses_graph_weights_Q3 - tud_Clause_graph_steps - tud_resolution_graph_degree_zcount - tud_resolution_graph_degree_min - tud_resolution_graph_degree_max - tud_resolution_graph_degree_mode - tud_resolution_graph_degree_mean - tud_resolution_graph_degree_stdev - tud_resolution_graph_degree_entropy - tud_resolution_graph_degree_valuesRate - tud_resolution_graph_degree_Q1 - tud_resolution_graph_degree_Q2 - tud_resolution_graph_degree_Q3 - tud_resolution_graph_weights_min - tud_resolution_graph_weights_max - tud_resolution_graph_weights_mode - tud_resolution_graph_weights_mean - tud_resolution_graph_weights_stdev - tud_resolution_graph_weights_entropy - tud_resolution_graph_weights_valuesRate - tud_resolution_graph_weights_Q1 - tud_resolution_graph_weights_Q2 - tud_resolution_graph_weights_Q3 - tud_Resolution_graph_steps - tud_variables_graph_degree_zcount - tud_variables_graph_degree_min - tud_variables_graph_degree_max - tud_variables_graph_degree_mode - tud_variables_graph_degree_mean - tud_variables_graph_degree_stdev - tud_variables_graph_degree_entropy - tud_variables_graph_degree_valuesRate - tud_variables_graph_degree_Q1 - tud_variables_graph_degree_Q2 - tud_variables_graph_degree_Q3 - tud_variables_graph_weights_min - tud_variables_graph_weights_max - tud_variables_graph_weights_mode - tud_variables_graph_weights_mean - tud_variables_graph_weights_stdev - tud_variables_graph_weights_entropy - tud_variables_graph_weights_valuesRate - tud_variables_graph_weights_Q1 - tud_variables_graph_weights_Q2 - tud_variables_graph_weights_Q3 - tud_Var_graph_steps - tud_clause-variable_degree_derivative_zcount - tud_clause-variable_degree_derivative_min - tud_clause-variable_degree_derivative_max - tud_clause-variable_degree_derivative_mode - tud_clause-variable_degree_derivative_mean - tud_clause-variable_degree_derivative_stdev - tud_clause-variable_degree_derivative_entropy - tud_clause-variable_degree_derivative_valuesRate - tud_clause-variable_degree_derivative_Q1 - tud_clause-variable_degree_derivative_Q2 - tud_clause-variable_degree_derivative_Q3 - tud_variable-clause_degree_derivative_zcount - tud_variable-clause_degree_derivative_min - tud_variable-clause_degree_derivative_max - tud_variable-clause_degree_derivative_mode - tud_variable-clause_degree_derivative_mean - tud_variable-clause_degree_derivative_stdev - tud_variable-clause_degree_derivative_entropy - tud_variable-clause_degree_derivative_valuesRate - tud_variable-clause_degree_derivative_Q1 - tud_variable-clause_degree_derivative_Q2 - tud_variable-clause_degree_derivative_Q3 - tud_clause-variable_polarity_derivative_zcount - tud_clause-variable_polarity_derivative_min - tud_clause-variable_polarity_derivative_max - tud_clause-variable_polarity_derivative_mode - tud_clause-variable_polarity_derivative_mean - tud_clause-variable_polarity_derivative_stdev - tud_clause-variable_polarity_derivative_entropy - tud_clause-variable_polarity_derivative_valuesRate - tud_clause-variable_polarity_derivative_Q1 - tud_clause-variable_polarity_derivative_Q2 - tud_clause-variable_polarity_derivative_Q3 - tud_variable-clause_polarity_derivative_zcount - tud_variable-clause_polarity_derivative_min - tud_variable-clause_polarity_derivative_max - tud_variable-clause_polarity_derivative_mode - tud_variable-clause_polarity_derivative_mean - tud_variable-clause_polarity_derivative_stdev - tud_variable-clause_polarity_derivative_entropy - tud_variable-clause_polarity_derivative_valuesRate - tud_variable-clause_polarity_derivative_Q1 - tud_variable-clause_polarity_derivative_Q2 - tud_variable-clause_polarity_derivative_Q3 - tud_SymmTime0_derivative_zcount - tud_SymmTime0_derivative_min - tud_SymmTime0_derivative_max - tud_SymmTime0_derivative_mode - tud_SymmTime0_derivative_mean - tud_SymmTime0_derivative_stdev - tud_SymmTime0_derivative_entropy - tud_SymmTime0_derivative_valuesRate - tud_SymmTime0_derivative_Q1 - tud_SymmTime0_derivative_Q2 - tud_SymmTime0_derivative_Q3 - tud_SymmTime1_derivative_zcount - tud_SymmTime1_derivative_min - tud_SymmTime1_derivative_max - tud_SymmTime1_derivative_mode - tud_SymmTime1_derivative_mean - tud_SymmTime1_derivative_stdev - tud_SymmTime1_derivative_entropy - tud_SymmTime1_derivative_valuesRate - tud_SymmTime1_derivative_Q1 - tud_SymmTime1_derivative_Q2 - tud_SymmTime1_derivative_Q3 - tud_SymmTime2_derivative_zcount - tud_SymmTime2_derivative_min - tud_SymmTime2_derivative_max - tud_SymmTime2_derivative_mode - tud_SymmTime2_derivative_mean - tud_SymmTime2_derivative_stdev - tud_SymmTime2_derivative_entropy - tud_SymmTime2_derivative_valuesRate - tud_SymmTime2_derivative_Q1 - tud_SymmTime2_derivative_Q2 - tud_SymmTime2_derivative_Q3 - tud_bin_implication_graph_degree_zcount - tud_bin_implication_graph_degree_min - tud_bin_implication_graph_degree_max - tud_bin_implication_graph_degree_mode - tud_bin_implication_graph_degree_mean - tud_bin_implication_graph_degree_stdev - tud_bin_implication_graph_degree_entropy - tud_bin_implication_graph_degree_valuesRate - tud_bin_implication_graph_degree_Q1 - tud_bin_implication_graph_degree_Q2 - tud_bin_implication_graph_degree_Q3 - tud_Bin_Implication_graph_steps - tud_Exactly1Lit_zcount - tud_Exactly1Lit_min - tud_Exactly1Lit_max - tud_Exactly1Lit_mode - tud_Exactly1Lit_mean - tud_Exactly1Lit_stdev - tud_Exactly1Lit_entropy - tud_Exactly1Lit_valuesRate - tud_Exactly1Lit_Q1 - tud_Exactly1Lit_Q2 - tud_Exactly1Lit_Q3 - tud_Exactly1Lit_steps - tud_Full_AND_gate_degree_zcount - tud_Full_AND_gate_degree_min - tud_Full_AND_gate_degree_max - tud_Full_AND_gate_degree_mode - tud_Full_AND_gate_degree_mean - tud_Full_AND_gate_degree_stdev - tud_Full_AND_gate_degree_entropy - tud_Full_AND_gate_degree_valuesRate - tud_Full_AND_gate_degree_Q1 - tud_Full_AND_gate_degree_Q2 - tud_Full_AND_gate_degree_Q3 - tud_Full_AND_gate_weights_min - tud_Full_AND_gate_weights_max - tud_Full_AND_gate_weights_mode - tud_Full_AND_gate_weights_mean - tud_Full_AND_gate_weights_stdev - tud_Full_AND_gate_weights_entropy - tud_Full_AND_gate_weights_valuesRate - tud_Full_AND_gate_weights_Q1 - tud_Full_AND_gate_weights_Q2 - tud_Full_AND_gate_weights_Q3 - tud_Full_AND_gate_steps - tud_Blocked_AND_gate_degree_zcount - tud_Blocked_AND_gate_degree_min - tud_Blocked_AND_gate_degree_max - tud_Blocked_AND_gate_degree_mode - tud_Blocked_AND_gate_degree_mean - tud_Blocked_AND_gate_degree_stdev - tud_Blocked_AND_gate_degree_entropy - tud_Blocked_AND_gate_degree_valuesRate - tud_Blocked_AND_gate_degree_Q1 - tud_Blocked_AND_gate_degree_Q2 - tud_Blocked_AND_gate_degree_Q3 - tud_Blocked_AND_gate_weights_min - tud_Blocked_AND_gate_weights_max - tud_Blocked_AND_gate_weights_mode - tud_Blocked_AND_gate_weights_mean - tud_Blocked_AND_gate_weights_stdev - tud_Blocked_AND_gate_weights_entropy - tud_Blocked_AND_gate_weights_valuesRate - tud_Blocked_AND_gate_weights_Q1 - tud_Blocked_AND_gate_weights_Q2 - tud_Blocked_AND_gate_weights_Q3 - tud_Blocked_AND_gate_steps - tud_RWH-1_zcount - tud_RWH-1_min - tud_RWH-1_max - tud_RWH-1_mode - tud_RWH-1_mean - tud_RWH-1_stdev - tud_RWH-1_entropy - tud_RWH-1_valuesRate - tud_RWH-1_Q1 - tud_RWH-1_Q2 - tud_RWH-1_Q3 - tud_RWH-1steps - tud_RWH-2_zcount - tud_RWH-2_min - tud_RWH-2_max - tud_RWH-2_mode - tud_RWH-2_mean - tud_RWH-2_stdev - tud_RWH-2_entropy - tud_RWH-2_valuesRate - tud_RWH-2_Q1 - tud_RWH-2_Q2 - tud_RWH-2_Q3 - tud_RWH-2steps - tud_RWH-3_zcount - tud_RWH-3_min - tud_RWH-3_max - tud_RWH-3_mode - tud_RWH-3_mean - tud_RWH-3_stdev - tud_RWH-3_entropy - tud_RWH-3_valuesRate - tud_RWH-3_Q1 - tud_RWH-3_Q2 - tud_RWH-3_Q3 - tud_RWH-3steps - tud_XOR_gate_degree_zcount - tud_XOR_gate_degree_min - tud_XOR_gate_degree_max - tud_XOR_gate_degree_mode - tud_XOR_gate_degree_mean - tud_XOR_gate_degree_stdev - tud_XOR_gate_degree_entropy - tud_XOR_gate_degree_valuesRate - tud_XOR_gate_degree_Q1 - tud_XOR_gate_degree_Q2 - tud_XOR_gate_degree_Q3 - tud_XOR_gate_weights_min - tud_XOR_gate_weights_max - tud_XOR_gate_weights_mode - tud_XOR_gate_weights_mean - tud_XOR_gate_weights_stdev - tud_XOR_gate_weights_entropy - tud_XOR_gate_weights_valuesRate - tud_XOR_gate_weights_Q1 - tud_XOR_gate_weights_Q2 - tud_XOR_gate_weights_Q3 - tud_XOR_used_clauses - tud_XOR_used_clauses_ratio - tud_XOR_gate_steps features_stochastic: null metainfo_algorithms: beans_and_eggs: configuration: '' deterministic: true cominisatps: configuration: '' deterministic: true glucose_kiel: configuration: '' deterministic: true maplecms: configuration: '' deterministic: true maplecomsps: configuration: '' deterministic: true maplecomsps_lrb: configuration: '' deterministic: true maple_glucose: configuration: '' deterministic: true riss5: configuration: '' deterministic: true scavel_sat: configuration: '' deterministic: true splatz: configuration: '' deterministic: true