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 296 0 20 2.2e+02 7.6e+02 2.6e+03 1.9e+03 6.4e+04 8.3e+03 3.2
nclausesOrig 296 0 1e+02 2.9e+03 2.9e+04 1e+05 8.6e+04 1.7e+06 2e+05 2
nvars 296 0 20 2.2e+02 6.1e+02 1.8e+03 1.5e+03 3.4e+04 4.7e+03 2.7
nclauses 296 0 1e+02 2.6e+03 2.7e+04 9.6e+04 8.3e+04 1.7e+06 1.9e+05 2
reducedVars 296 0 0 0 0.032 0.36 0.14 54 3.1 8.8
reducedClauses 296 0 0 0 0.0091 0.28 0.024 55 3.2 12
vars_clauses_ratio 296 0 0.0006 0.0096 0.023 0.097 0.15 0.51 0.13 1.3
POSNEG_RATIO_CLAUSE_mean 296 0 0.24 0.48 0.99 0.75 1 1 0.29 0.38
POSNEG_RATIO_CLAUSE_coeff_variation 296 0 0 0 0.024 0.35 0.8 1.1 0.41 1.2
POSNEG_RATIO_CLAUSE_min 296 0 0 0 0.8 0.53 1 1 0.45 0.85
POSNEG_RATIO_CLAUSE_max 296 0 1 1 1 1 1 1 0 0
POSNEG_RATIO_CLAUSE_entropy 296 0 0 0 0.24 0.59 1.1 2.9 0.67 1.1
VCG_CLAUSE_mean 296 0 0.0001 0.0025 0.0058 0.017 0.018 0.35 0.033 2
VCG_CLAUSE_coeff_variation 296 0 0 0.36 0.81 0.97 1.6 2.8 0.75 0.77
VCG_CLAUSE_min 296 0 0.0001 0.0013 0.0033 0.011 0.011 0.35 0.028 2.7
VCG_CLAUSE_max 296 0 0.0001 0.018 0.039 0.049 0.071 0.35 0.044 0.88
VCG_CLAUSE_entropy 296 0 0 0.19 0.31 0.46 0.6 2.6 0.45 0.98
UNARY 296 0 0 0 0 0 0 0 0
BINARYp 296 0 0 0.0037 0.24 0.46 0.94 0.99 0.45 0.98
TRINARYp 296 0 0 0.098 0.89 0.64 0.95 1 0.4 0.63
VCG_VAR_mean 296 0 0.0001 0.0025 0.0058 0.017 0.018 0.35 0.033 2
VCG_VAR_coeff_variation 296 0 0 0.0066 0.18 0.38 0.26 4.6 0.72 1.9
VCG_VAR_min 296 0 0 0.0009 0.0033 0.013 0.012 0.33 0.03 2.4
VCG_VAR_max 296 0 0.0003 0.0043 0.011 0.03 0.028 0.71 0.063 2.1
VCG_VAR_entropy 296 0 0 0.039 3 2.8 4.9 6.6 2.2 0.8
POSNEG_RATIO_VAR_mean 296 0 0 0.032 0.18 0.2 0.32 0.94 0.19 0.94
POSNEG_RATIO_VAR_stdev 296 0 0 0 0.049 0.075 0.095 0.42 0.083 1.1
POSNEG_RATIO_VAR_min 296 0 0 0 0.047 0.075 0.12 0.5 0.094 1.3
POSNEG_RATIO_VAR_max 296 0 0 0.085 0.34 0.43 0.74 1 0.34 0.78
POSNEG_RATIO_VAR_entropy 296 0 0 0 2.6 1.8 2.9 4.2 1.4 0.79
HORNY_VAR_mean 296 0 0 0.0011 0.0026 0.0053 0.0073 0.13 0.0095 1.8
HORNY_VAR_coeff_variation 296 0 0 0.16 0.28 0.49 0.39 6 0.82 1.7
HORNY_VAR_min 296 0 0 0.0002 0.0008 0.0031 0.002 0.13 0.0093 3
HORNY_VAR_max 296 0 0.0002 0.0023 0.0054 0.012 0.011 0.21 0.028 2.3
HORNY_VAR_entropy 296 0 0 1.4 2.8 2.8 4.6 6.3 1.9 0.68
horn_clauses_fraction 296 0 0.0094 0.32 0.73 0.62 0.93 0.99 0.32 0.52
VG_mean 296 0 0.0001 0.0031 0.0074 0.022 0.017 0.34 0.044 2
VG_coeff_variation 296 0 0 0 0.072 0.24 0.21 2.1 0.43 1.8
VG_min 296 0 0 0.0012 0.005 0.021 0.016 0.33 0.043 2.1
VG_max 296 0 0.0002 0.005 0.01 0.027 0.023 0.37 0.047 1.7
CG_mean 296 181 0 0.01 0.021 0.038 0.043 0.32 0.048 1.3
CG_coeff_variation 296 181 0.0057 0.19 0.65 0.8 1.1 4.7 0.79 0.99
CG_min 296 181 0 0.0023 0.013 0.02 0.024 0.2 0.029 1.5
CG_max 296 181 0.0014 0.035 0.069 0.096 0.13 0.37 0.083 0.86
CG_entropy 296 181 0.044 0.42 0.82 1.6 2.9 5.9 1.5 0.95
cluster_coeff_mean 296 181 0.0097 0.077 0.18 0.21 0.35 0.59 0.16 0.73
cluster_coeff_coeff_variation 296 181 0.008 0.16 0.29 0.32 0.34 1.6 0.27 0.85
cluster_coeff_min 296 181 0.0004 0.0098 0.043 0.097 0.15 0.4 0.12 1.2
cluster_coeff_max 296 181 0.041 0.095 0.33 0.36 0.54 0.98 0.28 0.77
cluster_coeff_entropy 296 181 0.098 0.39 0.77 1.2 2 3.9 1.1 0.87
DIAMETER_mean 296 0 2 2 3 9.7 4.5 7.5e+02 62 6.4
DIAMETER_coeff_variation 296 0 0 0 0.0056 0.045 0.083 0.19 0.056 1.3
DIAMETER_min 296 0 2 2 3 8.9 4 7.4e+02 61 6.8
DIAMETER_max 296 0 2 2 3 11 5 7.6e+02 64 6.1
DIAMETER_entropy 296 0 0 0 0.017 0.29 0.44 4.5 0.58 2
cl_num_mean 296 0 0 3.7e+02 1.6e+03 2.1e+03 4e+03 4.9e+03 1.8e+03 0.85
cl_num_coeff_variation 296 0 0 0.015 0.24 0.39 0.65 2.4 0.45 1.1
cl_num_min 296 0 0 73 4.8e+02 1.7e+03 3.8e+03 4.9e+03 1.9e+03 1.1
cl_num_max 296 0 0 9e+02 3.5e+03 2.8e+03 4.5e+03 4.9e+03 1.8e+03 0.63
cl_num_q90 296 0 0 6e+02 3.3e+03 2.7e+03 4.5e+03 4.9e+03 1.8e+03 0.67
cl_num_q10 296 0 0 1.1e+02 5.2e+02 1.7e+03 3.8e+03 4.9e+03 1.9e+03 1.1
cl_num_q75 296 0 0 4e+02 2.3e+03 2.3e+03 4.2e+03 4.9e+03 1.8e+03 0.79
cl_num_q25 296 0 0 1.9e+02 8.4e+02 1.9e+03 4e+03 4.9e+03 1.9e+03 1
cl_num_q50 296 0 0 3e+02 1.6e+03 2.1e+03 4.1e+03 4.9e+03 1.9e+03 0.89
cl_size_mean 296 0 0 25 37 47 66 2.3e+02 35 0.74
cl_size_coeff_variation 296 0 0 0.046 0.097 0.13 0.16 0.91 0.14 1.1
cl_size_min 296 0 0 19 34 40 54 2.3e+02 31 0.78
cl_size_max 296 0 0 29 46 60 84 3.9e+02 45 0.76
cl_size_q90 296 0 0 28 43 56 79 3.9e+02 43 0.77
cl_size_q10 296 0 0 20 34 40 55 2.3e+02 31 0.77
cl_size_q75 296 0 0 26 40 52 72 3.9e+02 41 0.79
cl_size_q25 296 0 0 22 35 43 58 2.3e+02 32 0.74
cl_size_q50 296 0 0 24 38 48 63 3.9e+02 39 0.82
SP_bias_mean 296 0 0 0.35 0.71 0.59 0.84 0.98 0.31 0.54
SP_bias_coeff_variation 296 0 0 0.012 0.083 0.38 0.33 8.4 0.78 2.1
SP_bias_min 296 0 0 0.00047 0.5 0.4 0.74 0.94 0.34 0.87
SP_bias_max 296 0 0 0.58 0.89 0.75 0.98 1 0.3 0.39
SP_bias_q90 296 0 0 0.46 0.79 0.66 0.91 1 0.31 0.47
SP_bias_q10 296 0 0 0.1 0.62 0.51 0.79 0.97 0.33 0.65
SP_bias_q75 296 0 0 0.42 0.74 0.63 0.89 1 0.33 0.52
SP_bias_q25 296 0 0 0.2 0.66 0.55 0.82 0.99 0.33 0.61
SP_bias_q50 296 0 0 0.35 0.7 0.59 0.86 1 0.33 0.57
SP_unconstraint_mean 296 0 0 0 0.015 0.11 0.23 0.5 0.15 1.4
SP_unconstraint_coeff_variation 296 0 0 0.016 0.92 2.4 3.7 16 3.4 1.4
SP_unconstraint_min 296 0 0 0 0 0.07 0.06 0.5 0.13 1.9
SP_unconstraint_max 296 0 0 0.0001 0.034 0.19 0.33 1 0.26 1.3
SP_unconstraint_q90 296 0 0 0 0.029 0.13 0.24 0.99 0.18 1.3
SP_unconstraint_q10 296 0 0 0 0.0004 0.084 0.15 0.5 0.14 1.6
SP_unconstraint_q75 296 0 0 0 0.019 0.12 0.23 0.94 0.17 1.4
SP_unconstraint_q25 296 0 0 0 0.0031 0.1 0.22 0.5 0.15 1.5
SP_unconstraint_q50 296 0 0 0 0.0064 0.11 0.23 0.5 0.16 1.4
saps_BestSolution_Mean 296 0 0 7 16 5.2e+02 47 4.7e+04 3.3e+03 6.2
saps_BestSolution_CoeffVariance 296 0 0 0.21 0.43 3.8 3.6 55 8.4 2.2
saps_FirstLocalMinStep_Mean 296 0 0 65 1.6e+02 4.7e+02 5e+02 6.6e+03 9.3e+02 2
saps_FirstLocalMinStep_CoeffVariance 296 0 0 0.068 0.097 0.12 0.15 0.87 0.092 0.77
saps_FirstLocalMinStep_Median 296 0 0 65 1.6e+02 4.9e+02 5e+02 6.8e+03 9.7e+02 2
saps_FirstLocalMinStep_Q10 296 0 0 49 1.4e+02 4.2e+02 4e+02 6.6e+03 8.9e+02 2.1
saps_FirstLocalMinStep_Q90 296 0 0 73 1.7e+02 5e+02 5.2e+02 6.8e+03 9.8e+02 1.9
saps_BestAvgImprovement_Mean 296 0 0.2 1.6 7.2 19 28 1.7e+02 25 1.3
saps_BestAvgImprovement_CoeffVariance 296 0 0 0.13 0.2 0.22 0.26 1.3 0.16 0.7
saps_FirstLocalMinRatio_Mean 296 0 0.68 0.93 0.99 0.96 1 1.3 0.078 0.081
saps_FirstLocalMinRatio_CoeffVariance 296 0 0 0.0032 0.027 0.065 0.065 1.1 0.14 2.1
gsat_BestSolution_Mean 296 0 0 5.2 20 2.7e+02 52 2.1e+04 1.4e+03 5.2
gsat_BestSolution_CoeffVariance 296 0 0 0.14 0.24 2.8 1.1 59 8.2 3
gsat_FirstLocalMinStep_Mean 296 0 2.7 65 1.6e+02 4.9e+02 5e+02 6.8e+03 9.6e+02 2
gsat_FirstLocalMinStep_CoeffVariance 296 0 0.0014 0.05 0.089 0.11 0.13 1.4 0.13 1.2
gsat_FirstLocalMinStep_Median 296 0 3 65 1.6e+02 5e+02 5.1e+02 6.9e+03 9.9e+02 2
gsat_FirstLocalMinStep_Q10 296 0 0 50 1.4e+02 4.1e+02 4.1e+02 6.5e+03 8.1e+02 2
gsat_FirstLocalMinStep_Q90 296 0 0 72 1.7e+02 4.8e+02 4.8e+02 6.9e+03 9.2e+02 1.9
gsat_BestAvgImprovement_Mean 296 0 0.044 0.98 6.5 20 32 1.6e+02 27 1.4
gsat_BestAvgImprovement_CoeffVariance 296 0 0.02 0.16 0.26 0.34 0.38 5.9 0.42 1.3
gsat_FirstLocalMinRatio_Mean 296 0 0.69 0.91 0.99 0.98 1 8.5 0.44 0.45
gsat_FirstLocalMinRatio_CoeffVariance 296 0 0 0.0016 0.013 0.06 0.054 3.5 0.24 3.9
lobjois_mean_depth_over_vars 296 0 0.027 0.49 0.76 0.66 0.87 1 0.27 0.41
lobjois_log_num_nodes_over_vars 296 0 0.087 0.71 0.89 0.8 0.95 1 0.2 0.25

Algorithm Feature Values

obs nas min qu_1st med mean qu_3rd max sd coeff_var
Lines..Average. 11 0 3.4 7.2 8.8 13 21 24 7.9 0.61
Lines..Total. 11 0 8.4e+02 3.8e+03 7.3e+03 1.4e+04 1.3e+04 6.8e+04 1.9e+04 1.4
Size..Average. 11 0 5.8e+03 8.5e+03 1.1e+04 1.5e+04 1.8e+04 3.4e+04 9.6e+03 0.65
Size..Total. 11 0 6.3e+04 1.9e+05 3.1e+05 7.8e+05 7e+05 4.4e+06 1.2e+06 1.6
Number.of.files 11 0 7 11 22 51 65 2e+02 58 1.1
Cyclomatic..Average. 11 0 0.6 1.6 2 2.7 3.5 7.4 2 0.75
Cyclomatic..Total. 11 0 1.3e+02 7.3e+02 1.2e+03 2e+03 3.1e+03 4.7e+03 1.6e+03 0.82
Max.Indent..Average. 11 0 1.1 1.4 1.6 1.6 1.7 2.3 0.35 0.22
Max.Indent..Total. 11 0 2e+02 4.8e+02 1.1e+03 1.4e+03 1.8e+03 4.1e+03 1.3e+03 0.93
nb_nodes 11 0 3.5e+04 9e+04 3.1e+05 1.7e+06 3.2e+06 6.4e+06 2.2e+06 1.3
nb_edges 11 0 3.6e+04 9.3e+04 3.2e+05 1.8e+06 3.3e+06 6.6e+06 2.3e+06 1.3
degree_min 11 0 1 1 1 1 1 1 0 0
degree_max 11 0 1.2e+03 3.3e+03 4.3e+03 1.1e+05 1.4e+04 1.1e+06 3.3e+05 3.1
degree_mean 11 0 2 2.1 2.1 2.1 2.1 2.1 0.024 0.012
degree_variance 11 0 57 69 1.3e+02 1.7e+04 2.1e+02 1.9e+05 5.7e+04 3.3
degree_entropy 11 0 1.2 1.3 1.3 1.3 1.4 1.4 0.048 0.036
transitivity 11 0 3.6e-08 2.9e-05 0.0001 9.5e-05 0.00015 0.00022 7.3e-05 0.76
clustering_min 11 0 0 0 0 0 0 0 0
clustering_max 11 0 0.5 0.5 0.5 0.5 0.5 0.5 0 0
clustering_mean 11 0 0.0013 0.0021 0.0027 0.0025 0.0029 0.0032 0.00062 0.25
clustering_variance 11 0 0.00025 0.00035 0.00043 0.00041 0.0005 0.00052 0.0001 0.25
path_min 11 0 1 1 1 1 1 1 0 0
paths_max 11 0 22 28 33 39 38 72 17 0.45
path_mean 11 0 5 5.5 6.4 6.2 6.6 8.4 0.96 0.15
path_variance 11 0 8.5 11 11 15 13 38 8.5 0.58
path_entropy 11 0 1.9 2.1 2.4 2.3 2.4 2.8 0.28 0.12
Stmt 11 0 0.42 0.46 0.51 0.5 0.53 0.61 0.057 0.11
Type 11 0 0.017 0.039 0.044 0.044 0.051 0.064 0.012 0.28
Decl 11 0 0.12 0.29 0.34 0.32 0.36 0.43 0.084 0.26
Attribute 11 0 0.0069 0.01 0.019 0.027 0.033 0.099 0.026 0.99
Operator 11 0 0.03 0.044 0.052 0.06 0.063 0.13 0.028 0.46
Literal 11 0 0.02 0.023 0.031 0.048 0.044 0.19 0.05 1
edge_ss 11 0 2.7e+03 3.2e+03 3.7e+03 3.5e+03 3.7e+03 4.1e+03 4.2e+02 0.12
edge_st 11 0 0 4.5 10 9.4 14 19 6.8 0.72
edge_sd 11 0 93 3.4e+02 4.2e+02 3.8e+02 4.7e+02 5.4e+02 1.5e+02 0.38
edge_sa 11 0 0 0 0 0.36 1 1 0.5 1.4
edge_so 11 0 3.9e+02 5.2e+02 6.4e+02 7.5e+02 8.1e+02 1.7e+03 3.8e+02 0.51
edge_sl 11 0 0 0 0 0.091 0 1 0.3 3.3
edge_ts 11 0 0 4.5 13 12 22 27 9.8 0.79
edge_tt 11 0 2e+02 5e+02 5.2e+02 5.7e+02 6.8e+02 9.1e+02 1.9e+02 0.33
edge_td 11 0 86 1.6e+02 2e+02 1.9e+02 2.1e+02 2.5e+02 46 0.25
edge_ta 11 0 0 0 0 0 0 0 0
edge_to 11 0 0 0 0 0 0 0 0
edge_tl 11 0 0 0 0 0 0 0 0
edge_ds 11 0 56 67 98 95 1.1e+02 1.6e+02 33 0.34
edge_dt 11 0 30 50 65 77 1e+02 1.5e+02 35 0.46
edge_dd 11 0 1.1e+03 2.6e+03 3e+03 2.8e+03 3.2e+03 4e+03 7.9e+02 0.28
edge_da 11 0 0 0 0 0 0 0 0
edge_do 11 0 0 0 0 0 0 0 0
edge_dl 11 0 0 0 0 0 0 0 0
edge_as 11 0 0 0 0 0 0 0 0
edge_at 11 0 0 0 0 0.36 1 1 0.5 1.4
edge_ad 11 0 77 90 1.9e+02 2.6e+02 3.4e+02 9.2e+02 2.5e+02 0.96
edge_aa 11 0 0 0 0 0 0 0 0
edge_ao 11 0 0 0 0 0 0 0 0
edge_al 11 0 0 0 0 0 0 0 0
edge_os 11 0 2.1e+02 3.3e+02 3.8e+02 4.5e+02 4.6e+02 1e+03 2.3e+02 0.52
edge_ot 11 0 0 0 0 0 0 0 0
edge_od 11 0 1 7 11 11 16 22 6.2 0.54
edge_oa 11 0 0 0 0 0 0 0 0
edge_oo 11 0 48 76 91 1e+02 1.1e+02 2.4e+02 50 0.49
edge_ol 11 0 0 0 0 0 0 0 0
edge_ls 11 0 1.3e+02 1.6e+02 1.6e+02 3.4e+02 2.1e+02 1.7e+03 4.7e+02 1.4
edge_lt 11 0 0 0 0 0 0 0 0
edge_ld 11 0 7 12 14 16 20 25 6 0.38
edge_la 11 0 0 0 0 0 0 0 0
edge_lo 11 0 54 64 84 1.2e+02 1.5e+02 3e+02 83 0.68
edge_ll 11 0 0 0 0 0 0 0 0
op_short 11 0 0 0 0 0.00043 0 0.0048 0.0014 3.3
op_int 11 0 0.22 0.27 0.46 0.42 0.51 0.75 0.16 0.4
op_long 11 0 0.047 0.055 0.11 0.12 0.19 0.2 0.068 0.57
op_long_long 11 0 0.0029 0.0089 0.013 0.015 0.021 0.03 0.0088 0.58
op_float 11 0 0 0 0.00096 0.0013 0.0015 0.0054 0.0017 1.3
op_double 11 0 0.0024 0.0059 0.0089 0.013 0.02 0.035 0.011 0.81
op_bit 11 0 0.046 0.059 0.07 0.09 0.1 0.25 0.057 0.63

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.015 0.31 0
CG 2 39 0 0 0 61 0 0 0 40 1.6e+02 0
DIAMETER 2 1e+02 0 0 0 0 0 0 0 1 2.4 0
KLB 2 1e+02 0 0 0 0 0 0 0 0.11 4.2 0
Pre 1 1e+02 0 0 0 0 0 0 0 0.98 38 0
cl 2 1e+02 0 0 0 0 0 0 0 1.8 2 0
lobjois 2 1e+02 0 0 0 0 0 0 0.49 2 2.7 0
ls_gsat 2 1e+02 0 0 0 0 0 0 0.4 2.1 3.4 0
ls_saps 2 1e+02 0 0 0 0 0 0 0.22 2 3.5 0
sp 2 1e+02 0 0 0 0 0 0 0 1.3 8.8 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.