Overview of Feature Values

The following measures were taken for the results of each feature:

Instance Feature Values

obs nas min qu_1st med mean qu_3rd max sd coeff_var
nvarsOrig 600 0 50 1.2e+02 4e+02 4.2e+03 7.6e+02 5e+04 1e+04 2.5
nclausesOrig 600 0 1.1e+03 2.3e+03 4.1e+03 2.2e+04 2e+04 2.1e+05 4.3e+04 1.9
nvars 600 0 50 1.2e+02 4e+02 4.1e+03 7.6e+02 4.9e+04 1e+04 2.5
nclauses 600 0 1e+03 2.3e+03 4.1e+03 2.2e+04 2e+04 2.1e+05 4.3e+04 1.9
reducedVars 600 0 0 0 0.0043 0.012 0.025 0.055 0.013 1.1
reducedClauses 600 0 0 0 0.0008 0.0031 0.0062 0.015 0.0034 1.1
vars_clauses_ratio 600 0 0.011 0.038 0.14 0.13 0.23 0.23 0.1 0.78
POSNEG_RATIO_CLAUSE_mean 600 0 0.31 0.35 0.43 0.42 0.5 0.51 0.079 0.19
POSNEG_RATIO_CLAUSE_coeff_variation 600 0 0.58 0.59 0.62 0.63 0.67 0.7 0.041 0.065
POSNEG_RATIO_CLAUSE_min 600 0 0 0 0.071 0.086 0.16 0.2 0.088 1
POSNEG_RATIO_CLAUSE_max 600 0 1 1 1 1 1 1 0 0
POSNEG_RATIO_CLAUSE_entropy 600 0 0.61 0.71 0.8 0.81 0.89 1 0.13 0.15
VCG_CLAUSE_mean 600 0 0.0001 0.0043 0.0078 0.031 0.048 0.14 0.039 1.3
VCG_CLAUSE_coeff_variation 600 0 0 0 0.017 0.031 0.063 0.092 0.031 1
VCG_CLAUSE_min 600 0 0.0001 0.0043 0.0077 0.031 0.048 0.14 0.039 1.3
VCG_CLAUSE_max 600 0 0.0001 0.0058 0.011 0.032 0.048 0.14 0.039 1.2
VCG_CLAUSE_entropy 600 0 0 0 0.028 0.074 0.15 0.28 0.078 1.1
UNARY 600 0 0 0 0 0 0 0 0
BINARYp 600 0 0 0 0 0 0 0 0
TRINARYp 600 0 0 0 0.46 0.48 0.97 0.99 0.48 1
VCG_VAR_mean 600 0 0.0001 0.0043 0.0078 0.031 0.048 0.14 0.039 1.3
VCG_VAR_coeff_variation 600 0 0.03 0.068 0.19 0.18 0.29 0.33 0.11 0.63
VCG_VAR_min 600 0 0 0.0016 0.0034 0.026 0.038 0.13 0.036 1.4
VCG_VAR_max 600 0 0.0002 0.0086 0.016 0.038 0.054 0.16 0.042 1.1
VCG_VAR_entropy 600 0 2.6 2.7 2.9 3.2 3.7 4.5 0.56 0.18
POSNEG_RATIO_VAR_mean 600 0 0.022 0.054 0.15 0.14 0.23 0.25 0.087 0.62
POSNEG_RATIO_VAR_stdev 600 0 0.017 0.037 0.11 0.11 0.17 0.19 0.065 0.62
POSNEG_RATIO_VAR_min 600 0 0 0 0 0.00015 0 0.0099 0.00079 5.3
POSNEG_RATIO_VAR_max 600 0 0.074 0.18 0.55 0.58 1 1 0.39 0.67
POSNEG_RATIO_VAR_entropy 600 0 1.7 2.4 3.1 2.9 3.3 3.4 0.52 0.18
HORNY_VAR_mean 600 0 0 0.0012 0.003 0.004 0.006 0.02 0.0037 0.92
HORNY_VAR_coeff_variation 600 0 0.12 0.18 0.31 0.29 0.4 0.47 0.11 0.37
HORNY_VAR_min 600 0 0 0 0.0005 0.0017 0.0032 0.013 0.0023 1.3
HORNY_VAR_max 600 0 0.0001 0.002 0.0069 0.0071 0.01 0.031 0.0056 0.79
HORNY_VAR_entropy 600 0 2.2 2.3 2.4 2.6 2.9 3.3 0.31 0.12
horn_clauses_fraction 600 0 0.056 0.14 0.34 0.31 0.49 0.52 0.19 0.61
VG_mean 600 0 0.0001 0.0092 0.011 0.016 0.017 0.046 0.014 0.88
VG_coeff_variation 600 0 0 0.0005 0.17 0.15 0.29 0.33 0.14 0.89
VG_min 600 0 0 0.003 0.008 0.012 0.012 0.046 0.014 1.2
VG_max 600 0 0.0004 0.011 0.019 0.021 0.032 0.057 0.015 0.71
CG_mean 600 190 0.0001 0.0058 0.0093 0.035 0.019 0.23 0.054 1.6
CG_coeff_variation 600 190 0.05 0.064 0.24 0.19 0.24 0.28 0.081 0.42
CG_min 600 190 0 0.0017 0.0033 0.026 0.013 0.2 0.045 1.7
CG_max 600 190 0.0003 0.012 0.019 0.046 0.04 0.28 0.063 1.4
CG_entropy 600 190 2.9 2.9 3 3.3 4 4.2 0.51 0.16
cluster_coeff_mean 600 190 0.023 0.1 0.11 0.11 0.11 0.22 0.026 0.24
cluster_coeff_coeff_variation 600 190 0.034 0.12 0.24 0.19 0.24 0.27 0.081 0.42
cluster_coeff_min 600 190 0.016 0.042 0.051 0.059 0.058 0.2 0.032 0.54
cluster_coeff_max 600 190 0.035 0.22 0.26 0.26 0.33 0.67 0.096 0.38
cluster_coeff_entropy 600 190 0.46 1.2 2.3 1.9 2.3 2.4 0.59 0.3
DIAMETER_mean 600 0 2 2 3.5 3.4 4 6 1.2 0.35
DIAMETER_coeff_variation 600 0 0 0 0 0.028 0.041 0.2 0.048 1.7
DIAMETER_min 600 0 2 2 3 3.3 4 6 1.1 0.35
DIAMETER_max 600 0 2 3 3.5 3.7 5 6 1.4 0.37
DIAMETER_entropy 600 0 0 0 0 0.11 0.12 0.69 0.2 1.8
cl_num_mean 600 0 2.6 1.1e+02 3.9e+03 2.8e+03 4.3e+03 4.6e+03 1.9e+03 0.66
cl_num_coeff_variation 600 0 0 0.017 0.024 0.14 0.26 0.75 0.19 1.4
cl_num_min 600 0 0 67 3.8e+03 2.7e+03 4.2e+03 4.6e+03 1.9e+03 0.68
cl_num_max 600 0 7 2.4e+02 4e+03 3e+03 4.4e+03 4.7e+03 1.9e+03 0.63
cl_num_q90 600 0 5 1.3e+02 4e+03 3e+03 4.4e+03 4.7e+03 1.9e+03 0.65
cl_num_q10 600 0 1 78 3.8e+03 2.7e+03 4.2e+03 4.6e+03 1.9e+03 0.68
cl_num_q75 600 0 4 1.1e+02 4e+03 2.9e+03 4.4e+03 4.6e+03 1.9e+03 0.65
cl_num_q25 600 0 1 86 3.8e+03 2.8e+03 4.2e+03 4.6e+03 1.9e+03 0.67
cl_num_q50 600 0 2 96 3.9e+03 2.8e+03 4.3e+03 4.6e+03 1.9e+03 0.67
cl_size_mean 600 0 14 25 32 40 52 1.1e+02 21 0.54
cl_size_coeff_variation 600 0 0 0.024 0.055 0.088 0.094 0.5 0.1 1.2
cl_size_min 600 0 0 23 29 30 34 58 10 0.34
cl_size_max 600 0 14 26 35 57 59 3.8e+02 58 1
cl_size_q90 600 0 14 26 35 47 56 1.9e+02 33 0.71
cl_size_q10 600 0 13 23 30 34 46 63 13 0.39
cl_size_q75 600 0 14 26 33 43 54 1.3e+02 26 0.6
cl_size_q25 600 0 13 24 31 36 48 79 16 0.44
cl_size_q50 600 0 14 25 31 39 52 1.1e+02 20 0.52
SP_bias_mean 600 0 0.045 0.11 0.28 0.25 0.39 0.43 0.14 0.57
SP_bias_coeff_variation 600 0 0.52 0.58 0.61 0.64 0.7 0.88 0.076 0.12
SP_bias_min 600 0 0 0.0001 0.0005 0.0014 0.0018 0.037 0.0026 1.8
SP_bias_max 600 0 0.15 0.35 0.8 0.68 1 1 0.33 0.49
SP_bias_q90 600 0 0.093 0.22 0.53 0.47 0.71 0.77 0.25 0.53
SP_bias_q10 600 0 0.0037 0.018 0.06 0.054 0.086 0.12 0.035 0.64
SP_bias_q75 600 0 0.062 0.17 0.41 0.37 0.57 0.6 0.21 0.56
SP_bias_q25 600 0 0.016 0.04 0.14 0.13 0.2 0.25 0.079 0.63
SP_bias_q50 600 0 0.041 0.092 0.27 0.24 0.39 0.43 0.15 0.6
SP_unconstraint_mean 600 0 0.0001 0.0012 0.041 0.045 0.09 0.1 0.044 0.98
SP_unconstraint_coeff_variation 600 0 0.28 0.52 0.65 0.59 0.67 0.97 0.13 0.22
SP_unconstraint_min 600 0 0 7.5e-05 0.0005 0.0019 0.0034 0.012 0.0023 1.2
SP_unconstraint_max 600 0 0.0001 0.003 0.14 0.26 0.44 0.96 0.3 1.1
SP_unconstraint_q90 600 0 0.0001 0.0021 0.073 0.086 0.17 0.2 0.084 0.98
SP_unconstraint_q10 600 0 0 0.0004 0.011 0.014 0.027 0.032 0.013 0.98
SP_unconstraint_q75 600 0 0.0001 0.0015 0.054 0.061 0.12 0.14 0.06 0.98
SP_unconstraint_q25 600 0 0 0.00063 0.02 0.023 0.046 0.052 0.022 0.98
SP_unconstraint_q50 600 0 0.0001 0.001 0.032 0.039 0.077 0.087 0.038 0.98
saps_BestSolution_Mean 600 0 5.4 11 18 2.6e+02 36 1e+04 9.2e+02 3.5
saps_BestSolution_CoeffVariance 600 0 0 0.24 0.27 0.33 0.31 2.1 0.28 0.85
saps_FirstLocalMinStep_Mean 600 0 8.8 23 87 8e+02 1.7e+02 1.1e+04 2e+03 2.5
saps_FirstLocalMinStep_CoeffVariance 600 0 0 0.068 0.099 0.15 0.19 1.4 0.2 1.3
saps_FirstLocalMinStep_Median 600 0 9 23 86 8.2e+02 1.7e+02 1.1e+04 2.1e+03 2.5
saps_FirstLocalMinStep_Q10 600 0 0 12 67 6.4e+02 1.4e+02 1.1e+04 1.9e+03 3.1
saps_FirstLocalMinStep_Q90 600 0 0 24 86 7.6e+02 1.6e+02 1.1e+04 2e+03 2.7
saps_BestAvgImprovement_Mean 600 0 0.45 0.91 1 1.3 1.6 3.1 0.48 0.37
saps_BestAvgImprovement_CoeffVariance 600 0 0 0.21 0.24 0.29 0.3 1.4 0.19 0.66
saps_FirstLocalMinRatio_Mean 600 0 0.74 0.86 0.86 0.91 0.88 13 0.55 0.6
saps_FirstLocalMinRatio_CoeffVariance 600 0 0 0.036 0.06 0.098 0.092 2.7 0.19 2
gsat_BestSolution_Mean 600 0 4.6 9.7 14 1.4e+02 34 4e+03 4.3e+02 3.1
gsat_BestSolution_CoeffVariance 600 0 0.018 0.22 0.26 0.29 0.3 1.8 0.19 0.67
gsat_FirstLocalMinStep_Mean 600 0 8.8 24 87 8.7e+02 1.7e+02 1.1e+04 2.2e+03 2.5
gsat_FirstLocalMinStep_CoeffVariance 600 0 0.0012 0.063 0.086 0.12 0.17 0.67 0.088 0.77
gsat_FirstLocalMinStep_Median 600 0 9 24 87 8.9e+02 1.7e+02 1.1e+04 2.2e+03 2.5
gsat_FirstLocalMinStep_Q10 600 0 0 16 76 7.8e+02 1.5e+02 1.1e+04 2.1e+03 2.7
gsat_FirstLocalMinStep_Q90 600 0 11 28 96 9e+02 1.8e+02 1.1e+04 2.2e+03 2.5
gsat_BestAvgImprovement_Mean 600 0 0.062 0.3 0.42 0.78 1.3 2 0.61 0.78
gsat_BestAvgImprovement_CoeffVariance 600 0 0.023 0.38 0.42 0.48 0.43 2.9 0.32 0.67
gsat_FirstLocalMinRatio_Mean 600 0 0.82 0.84 0.85 0.86 0.87 5.8 0.21 0.24
gsat_FirstLocalMinRatio_CoeffVariance 600 0 0.003 0.031 0.048 0.065 0.086 1.9 0.1 1.6
lobjois_mean_depth_over_vars 600 0 0.19 0.31 0.41 0.44 0.61 0.71 0.17 0.37
lobjois_log_num_nodes_over_vars 600 0 0.23 0.52 0.6 0.59 0.72 0.78 0.16 0.27

Algorithm Feature Values

obs nas min qu_1st med mean qu_3rd max sd coeff_var
Lines..Average. 8 0 22 22 24 24 25 29 2.7 0.11
Lines..Total. 8 0 1.4e+03 1.6e+03 4.1e+03 6.6e+03 9.2e+03 1.8e+04 6.5e+03 0.98
Size..Average. 8 0 7.6e+03 1.1e+04 1.5e+04 2e+04 2.2e+04 5.8e+04 1.6e+04 0.81
Size..Total. 8 0 4.7e+04 6.5e+04 2e+05 2.7e+05 3.8e+05 6.5e+05 2.4e+05 0.91
Number.of.files 8 0 1 4.5 16 20 32 52 19 0.94
Cyclomatic..Average. 8 0 3.9 5.1 5.5 5.7 6 8.1 1.3 0.23
Cyclomatic..Total. 8 0 3.1e+02 3.9e+02 7.4e+02 1.4e+03 1.6e+03 4.8e+03 1.5e+03 1.1
Max.Indent..Average. 8 0 2.4 2.5 2.6 2.6 2.7 3 0.22 0.082
Max.Indent..Total. 8 0 1.4e+02 1.8e+02 3.5e+02 6.1e+02 8.4e+02 1.6e+03 6e+02 0.97
nb_nodes 8 0 1e+04 1.7e+04 8.9e+04 1.6e+05 2.7e+05 4.4e+05 1.7e+05 1.1
nb_edges 8 0 1e+04 1.7e+04 9.1e+04 1.6e+05 2.8e+05 4.5e+05 1.8e+05 1.1
degree_min 8 0 1 1 1 1 1 1 0 0
degree_max 8 0 6.8e+02 1.2e+03 7e+03 1.5e+04 1.3e+04 7.1e+04 2.4e+04 1.6
degree_mean 8 0 2 2 2.1 2.1 2.1 2.1 0.017 0.0083
degree_variance 8 0 27 46 4e+02 2.3e+03 2.2e+03 1.3e+04 4.5e+03 1.9
degree_entropy 8 0 1.3 1.3 1.3 1.3 1.3 1.4 0.03 0.023
transitivity 8 0 5e-07 3.5e-06 1.8e-05 9.1e-05 0.00012 0.00043 0.00015 1.6
clustering_min 8 0 0 0 0 0 0 0 0
clustering_max 8 0 0.5 0.5 0.5 0.5 0.5 0.5 0 0
clustering_mean 8 0 0.0018 0.0022 0.0023 0.0023 0.0024 0.0031 0.0004 0.17
clustering_variance 8 0 0.00033 0.00039 0.00041 0.00043 0.00048 0.00057 7.6e-05 0.18
path_min 8 0 1 1 1 1 1 1 0 0
paths_max 8 0 22 24 27 27 30 33 4.3 0.16
path_mean 8 0 3.8 4.5 5.3 5.4 6.7 6.7 1.2 0.22
path_variance 8 0 11 16 17 16 18 18 2.4 0.15
path_entropy 8 0 1.5 1.8 2.2 2.1 2.5 2.5 0.39 0.18
Stmt 8 0 0.34 0.4 0.46 0.47 0.54 0.59 0.093 0.2
Type 8 0 0.023 0.035 0.039 0.039 0.046 0.056 0.011 0.27
Decl 8 0 0.14 0.27 0.33 0.3 0.34 0.42 0.097 0.33
Attribute 8 0 0.012 0.028 0.052 0.066 0.11 0.13 0.047 0.71
Operator 8 0 0.046 0.063 0.082 0.086 0.098 0.14 0.036 0.42
Literal 8 0 0.022 0.033 0.04 0.045 0.056 0.075 0.018 0.4
edge_ss 8 0 2.5e+03 2.6e+03 3.2e+03 3.2e+03 3.7e+03 4e+03 6.1e+02 0.19
edge_st 8 0 0 0 0 2.8 2 14 5.3 1.9
edge_sd 8 0 91 1.1e+02 1.4e+02 2.2e+02 2.5e+02 5.4e+02 1.7e+02 0.76
edge_sa 8 0 0 0 0 0.88 1.2 4 1.5 1.7
edge_so 8 0 5.6e+02 8.1e+02 1.1e+03 1.1e+03 1.2e+03 1.7e+03 4.2e+02 0.38
edge_sl 8 0 0 0 0 0 0 0 0
edge_ts 8 0 0 0 0 4.2 3.2 21 8.2 1.9
edge_tt 8 0 2.5e+02 4.2e+02 4.5e+02 4.6e+02 5.1e+02 6.8e+02 1.3e+02 0.28
edge_td 8 0 1.3e+02 1.7e+02 2e+02 2e+02 2.2e+02 2.9e+02 53 0.27
edge_ta 8 0 0 0 0 0 0 0 0
edge_to 8 0 0 0 0 0 0 0 0
edge_tl 8 0 0 0 0 0 0 0 0
edge_ds 8 0 26 78 92 1.2e+02 1.4e+02 2.7e+02 84 0.69
edge_dt 8 0 27 40 44 50 54 96 21 0.42
edge_dd 8 0 1.1e+03 2.5e+03 3.1e+03 2.7e+03 3.1e+03 4e+03 9.9e+02 0.37
edge_da 8 0 0 0 0 0 0 0 0
edge_do 8 0 0 0 0 0 0 0 0
edge_dl 8 0 0 0 0 0 0 0 0
edge_as 8 0 0 0 0 0 0 0 0
edge_at 8 0 0 0.75 1.5 2.5 3.2 9 3 1.2
edge_ad 8 0 1.1e+02 3e+02 5.1e+02 6.4e+02 1.1e+03 1.2e+03 4.4e+02 0.68
edge_aa 8 0 0 0 0 0 0 0 0
edge_ao 8 0 0 0 0 0 0 0 0
edge_al 8 0 0 0 0 0 0 0 0
edge_os 8 0 3.2e+02 4.8e+02 6.9e+02 7.1e+02 8.3e+02 1.2e+03 3.4e+02 0.47
edge_ot 8 0 0 0 0 0 0 0 0
edge_od 8 0 1 4.8 7 8.9 12 23 6.9 0.78
edge_oa 8 0 0 0 0 0 0 0 0
edge_oo 8 0 58 92 1e+02 1.1e+02 1.4e+02 1.8e+02 42 0.37
edge_ol 8 0 0 0 0 0 0 0 0
edge_ls 8 0 1.1e+02 1.4e+02 1.6e+02 1.8e+02 2.3e+02 2.8e+02 64 0.35
edge_lt 8 0 0 0 0 0 0 0 0
edge_ld 8 0 1 6.8 14 18 24 49 16 0.89
edge_la 8 0 0 0 0 0 0 0 0
edge_lo 8 0 53 1.4e+02 2.3e+02 2.3e+02 2.9e+02 4.2e+02 1.4e+02 0.61
edge_ll 8 0 0 0 0 0 0 0 0
op_short 8 0 0 0 0 0.001 0.0014 0.0042 0.0016 1.6
op_int 8 0 0.27 0.52 0.63 0.61 0.7 0.81 0.18 0.29
op_long 8 0 0.021 0.053 0.08 0.081 0.094 0.19 0.052 0.65
op_long_long 8 0 0 0.011 0.014 0.023 0.046 0.046 0.02 0.87
op_float 8 0 0 0 0.0058 0.011 0.017 0.041 0.014 1.3
op_double 8 0 0.0073 0.012 0.015 0.019 0.022 0.042 0.012 0.65
op_bit 8 0 0.007 0.033 0.06 0.065 0.096 0.13 0.041 0.64

Summary of feature steps

The following table summarizes the feature steps over all instances.
size ok timeout memout presolved crash other unknown cost_min cost_mean cost_max cost_na
Basic 2 1e+02 0 0 0 0 0 0 0 0.0046 0.08 0
CG 2 68 0 0 0 32 0 0 0.01 22 60 0
DIAMETER 2 1e+02 0 0 0 0 0 0 0 0.54 2.1 0
KLB 2 1e+02 0 0 0 0 0 0 0 0.34 6.8 0
Pre 1 1e+02 0 0 0 0 0 0 0 0.079 0.98 0
cl 2 1e+02 0 0 0 0 0 0 0.26 2 2 0
lobjois 2 1e+02 0 0 0 0 0 0 2 2 2.2 0
ls_gsat 2 1e+02 0 0 0 0 0 0 1.6 2.3 2.6 0
ls_saps 2 1e+02 0 0 0 0 0 0 1 2.1 2.3 0
sp 2 1e+02 0 0 0 0 0 0 0 0.43 2.9 0
code 1 1e+02 0 0 0 0 0
AST 1 1e+02 0 0 0 0 0

Duplicated Features

Underneath, you'll find blocks of duplicated instnace features, i.e., observations that have equal values over all features. Please note, that only a maximum of 5 duplicates per block are shown.

There were no duplicated features.