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 767 5 20 2.7e+02 7.6e+02 4.5e+03 2.1e+03 1.9e+05 1.7e+04 3.7
nclausesOrig 767 5 80 2.3e+03 1.8e+04 1.3e+05 7.3e+04 3.6e+06 3.8e+05 3
nvars 767 5 3 2.4e+02 7.2e+02 3.1e+03 1.8e+03 1.6e+05 1.1e+04 3.6
nclauses 767 5 12 2.2e+03 1.6e+04 1.1e+05 6.6e+04 3.6e+06 3.5e+05 3.1
reducedVars 767 5 0 0 0.038 0.39 0.23 83 3.6 9.2
reducedClauses 767 5 0 0 0.013 0.36 0.081 85 3.8 10
vars_clauses_ratio 767 5 0.0001 0.015 0.064 0.12 0.18 0.51 0.14 1.1
POSNEG_RATIO_CLAUSE_mean 767 5 0.24 0.42 0.5 0.64 1 1 0.28 0.43
POSNEG_RATIO_CLAUSE_coeff_variation 767 5 0 0.013 0.59 0.5 0.84 1.1 0.39 0.79
POSNEG_RATIO_CLAUSE_min 767 5 0 0 0 0.35 0.88 1 0.43 1.2
POSNEG_RATIO_CLAUSE_max 767 5 1 1 1 1 1 1 0 0
POSNEG_RATIO_CLAUSE_entropy 767 5 0 0.18 0.92 0.9 1.3 3 0.79 0.88
VCG_CLAUSE_mean 767 5 0 0.0022 0.0058 0.016 0.016 0.67 0.043 2.7
VCG_CLAUSE_coeff_variation 767 5 0 0.19 0.45 0.72 1.2 2.8 0.69 0.96
VCG_CLAUSE_min 767 5 0 0.0011 0.0031 0.011 0.01 0.67 0.039 3.4
VCG_CLAUSE_max 767 5 0 0.011 0.026 0.041 0.055 0.67 0.051 1.2
VCG_CLAUSE_entropy 767 5 0 0.16 0.43 0.61 0.88 2.6 0.63 1
UNARY 767 5 0 0 0 0 0 0 0
BINARYp 767 5 0 0.0009 0.093 0.37 0.88 1 0.42 1.1
TRINARYp 767 5 0 0.19 0.85 0.64 0.95 1 0.39 0.6
VCG_VAR_mean 767 5 0 0.0022 0.0058 0.016 0.016 0.67 0.043 2.7
VCG_VAR_coeff_variation 767 5 0 0.06 0.2 0.6 0.71 6.8 0.97 1.6
VCG_VAR_min 767 5 0 0.0004 0.0024 0.013 0.011 0.67 0.043 3.4
VCG_VAR_max 767 5 0.0001 0.0052 0.012 0.046 0.031 0.71 0.11 2.5
VCG_VAR_entropy 767 5 0 0.26 2.6 2.4 4 6.6 2 0.82
POSNEG_RATIO_VAR_mean 767 5 0 0.034 0.21 0.24 0.34 1 0.22 0.91
POSNEG_RATIO_VAR_stdev 767 5 0 0.0039 0.066 0.1 0.16 0.43 0.11 1
POSNEG_RATIO_VAR_min 767 5 0 0 0 0.069 0.098 1 0.12 1.7
POSNEG_RATIO_VAR_max 767 5 0 0.28 0.43 0.51 0.87 1 0.35 0.69
POSNEG_RATIO_VAR_entropy 767 5 0 0.019 1.7 1.7 2.8 4.4 1.4 0.82
HORNY_VAR_mean 767 5 0 0.0008 0.0021 0.0059 0.006 0.5 0.023 3.8
HORNY_VAR_coeff_variation 767 5 0 0.19 0.36 0.7 0.84 7.2 0.91 1.3
HORNY_VAR_min 767 5 0 0 0.0005 0.004 0.0021 0.5 0.023 5.6
HORNY_VAR_max 767 5 0.0001 0.0029 0.0059 0.013 0.012 0.5 0.029 2.3
HORNY_VAR_entropy 767 5 0 1.5 2.5 2.6 3.9 6.3 1.6 0.62
horn_clauses_fraction 767 5 0.0071 0.36 0.51 0.57 0.82 0.99 0.28 0.5
VG_mean 767 5 0 0.0021 0.0055 0.015 0.015 0.34 0.03 2.1
VG_coeff_variation 767 5 0 0.024 0.19 0.42 0.49 5.9 0.62 1.5
VG_min 767 5 0 0.0003 0.0027 0.012 0.012 0.33 0.03 2.4
VG_max 767 5 0.0001 0.0044 0.0092 0.024 0.024 0.37 0.042 1.7
CG_mean 767 430 0 0.0076 0.016 0.028 0.036 0.58 0.045 1.6
CG_coeff_variation 767 430 0 0.11 0.54 0.63 0.89 3.5 0.65 1
CG_min 767 430 0 0.0021 0.0093 0.018 0.021 0.58 0.038 2.1
CG_max 767 430 0 0.024 0.043 0.074 0.099 0.58 0.08 1.1
CG_entropy 767 430 0 0.43 1 1.8 3.1 5.1 1.6 0.9
cluster_coeff_mean 767 430 0 0.12 0.19 0.23 0.35 0.64 0.14 0.58
cluster_coeff_coeff_variation 767 430 0 0.083 0.28 0.31 0.35 1.5 0.28 0.91
cluster_coeff_min 767 430 0 0.019 0.065 0.12 0.15 0.64 0.13 1.1
cluster_coeff_max 767 430 0 0.2 0.4 0.39 0.53 0.98 0.24 0.62
cluster_coeff_entropy 767 430 0 0.45 0.88 1.4 2.6 3.9 1.1 0.79
DIAMETER_mean 767 5 0 3 4 7 5.8 7.5e+02 39 5.6
DIAMETER_coeff_variation 767 5 0 0 0.052 0.053 0.091 0.24 0.052 0.98
DIAMETER_min 767 5 0 3 4 6.3 5 7.4e+02 38 6.1
DIAMETER_max 767 5 0 3 5 7.8 7 7.6e+02 40 5.1
DIAMETER_entropy 767 5 0 0 0.21 0.37 0.57 4.5 0.51 1.4
cl_num_mean 767 5 0 5.7e+02 1.7e+03 2.2e+03 4e+03 4.9e+03 1.7e+03 0.79
cl_num_coeff_variation 767 5 0 0.025 0.18 0.32 0.48 2.4 0.38 1.2
cl_num_min 767 5 0 1.1e+02 7.5e+02 1.7e+03 3.7e+03 4.9e+03 1.8e+03 1.1
cl_num_max 767 5 0 1.4e+03 3.2e+03 2.8e+03 4.5e+03 4.9e+03 1.7e+03 0.6
cl_num_q90 767 5 0 1e+03 2.9e+03 2.7e+03 4.4e+03 4.9e+03 1.7e+03 0.65
cl_num_q10 767 5 0 2e+02 8.9e+02 1.8e+03 3.8e+03 4.9e+03 1.8e+03 1
cl_num_q75 767 5 0 5.8e+02 2.3e+03 2.4e+03 4.2e+03 4.9e+03 1.8e+03 0.74
cl_num_q25 767 5 0 3e+02 1.3e+03 1.9e+03 3.8e+03 4.9e+03 1.8e+03 0.91
cl_num_q50 767 5 0 4.2e+02 1.8e+03 2.2e+03 4e+03 4.9e+03 1.8e+03 0.82
cl_size_mean 767 5 0 19 32 39 53 4e+02 34 0.85
cl_size_coeff_variation 767 5 0 0.047 0.1 0.14 0.18 0.88 0.14 1
cl_size_min 767 5 0 15 28 31 43 2.7e+02 27 0.85
cl_size_max 767 5 0 24 38 53 69 1.3e+03 68 1.3
cl_size_q90 767 5 0 23 37 49 63 7.4e+02 49 1
cl_size_q10 767 5 0 16 28 33 44 2.7e+02 27 0.83
cl_size_q75 767 5 0 21 34 44 57 5.4e+02 40 0.93
cl_size_q25 767 5 0 17 30 35 47 2.7e+02 28 0.81
cl_size_q50 767 5 0 19 31 39 52 3.9e+02 34 0.88
SP_bias_mean 767 5 0 0.19 0.62 0.53 0.82 0.98 0.33 0.61
SP_bias_coeff_variation 767 5 0 0.018 0.15 0.44 0.61 8.4 0.69 1.6
SP_bias_min 767 5 0 0 0.007 0.28 0.61 0.94 0.35 1.2
SP_bias_max 767 5 0 0.57 0.9 0.73 0.98 1 0.32 0.44
SP_bias_q90 767 5 0 0.35 0.82 0.64 0.91 1 0.33 0.52
SP_bias_q10 767 5 0 0.011 0.51 0.42 0.73 0.97 0.34 0.82
SP_bias_q75 767 5 0 0.26 0.76 0.6 0.89 1 0.35 0.59
SP_bias_q25 767 5 0 0.027 0.58 0.47 0.8 0.99 0.35 0.75
SP_bias_q50 767 5 0 0.097 0.67 0.54 0.84 1 0.36 0.66
SP_unconstraint_mean 767 5 0 0.0011 0.051 0.13 0.23 0.5 0.15 1.2
SP_unconstraint_coeff_variation 767 5 0 0.047 0.6 1.7 1.8 18 2.8 1.6
SP_unconstraint_min 767 5 0 0 0 0.062 0.052 0.5 0.12 1.9
SP_unconstraint_max 767 5 0 0.0063 0.18 0.25 0.36 1 0.29 1.2
SP_unconstraint_q90 767 5 0 0.0016 0.091 0.16 0.32 0.99 0.18 1.1
SP_unconstraint_q10 767 5 0 0 0.0095 0.08 0.12 0.5 0.12 1.5
SP_unconstraint_q75 767 5 0 0.00055 0.059 0.14 0.26 0.94 0.18 1.2
SP_unconstraint_q25 767 5 0 0 0.021 0.11 0.23 0.5 0.16 1.5
SP_unconstraint_q50 767 5 0 0.00013 0.039 0.13 0.23 0.5 0.17 1.3
saps_BestSolution_Mean 767 5 0 6.5 18 2e+03 57 2.3e+05 1.5e+04 7.6
saps_BestSolution_CoeffVariance 767 5 0 0.21 0.44 3.2 2.3 61 7.7 2.4
saps_FirstLocalMinStep_Mean 767 5 0 57 1.4e+02 5.5e+02 4.6e+02 1.4e+04 1.3e+03 2.3
saps_FirstLocalMinStep_CoeffVariance 767 5 0 0.065 0.094 0.13 0.14 1.4 0.14 1.1
saps_FirstLocalMinStep_Median 767 5 0 57 1.4e+02 5.8e+02 4.6e+02 1.4e+04 1.4e+03 2.3
saps_FirstLocalMinStep_Q10 767 5 0 42 1.2e+02 4.3e+02 3.9e+02 1.4e+04 1.1e+03 2.5
saps_FirstLocalMinStep_Q90 767 5 0 63 1.5e+02 5.7e+02 4.7e+02 1.4e+04 1.3e+03 2.3
saps_BestAvgImprovement_Mean 767 5 0 1.1 3.5 13 19 2.1e+02 21 1.6
saps_BestAvgImprovement_CoeffVariance 767 5 0 0.14 0.21 0.27 0.31 3.9 0.26 0.96
saps_FirstLocalMinRatio_Mean 767 5 0 0.89 0.98 0.99 1 23 0.83 0.83
saps_FirstLocalMinRatio_CoeffVariance 767 5 0 0.0087 0.032 0.092 0.072 4.7 0.29 3.1
gsat_BestSolution_Mean 767 5 0 4.3 19 4.1e+02 53 2.9e+04 2.1e+03 5.1
gsat_BestSolution_CoeffVariance 767 5 0 0.14 0.22 2.5 0.57 68 8.3 3.3
gsat_FirstLocalMinStep_Mean 767 5 0 57 1.4e+02 6.9e+02 5e+02 2.9e+04 2.1e+03 3
gsat_FirstLocalMinStep_CoeffVariance 767 5 0 0.053 0.088 0.11 0.13 1.4 0.11 0.98
gsat_FirstLocalMinStep_Median 767 5 0 57 1.4e+02 7.2e+02 5e+02 2.9e+04 2.1e+03 3
gsat_FirstLocalMinStep_Q10 767 5 0 45 1.2e+02 6e+02 4.3e+02 2.9e+04 2e+03 3.4
gsat_FirstLocalMinStep_Q90 767 5 0 65 1.6e+02 7.2e+02 5.2e+02 2.9e+04 2.1e+03 2.9
gsat_BestAvgImprovement_Mean 767 5 0 0.51 2.7 13 16 1.8e+02 21 1.7
gsat_BestAvgImprovement_CoeffVariance 767 5 0 0.2 0.32 0.4 0.42 4.2 0.41 1
gsat_FirstLocalMinRatio_Mean 767 5 0 0.88 0.98 0.99 1 27 1.1 1.1
gsat_FirstLocalMinRatio_CoeffVariance 767 5 0 0.0024 0.023 0.057 0.047 3.1 0.21 3.7
lobjois_mean_depth_over_vars 767 5 0.0055 0.28 0.59 0.55 0.82 1 0.3 0.54
lobjois_log_num_nodes_over_vars 767 5 0.018 0.62 0.83 0.75 0.94 1 0.23 0.31

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 99 0 0 0.65 0 0 0 0 0.023 0.8 0.0026
CG 2 44 0 0 0.26 56 0 0 0 38 1.7e+04 0.0026
DIAMETER 2 99 0 0 0.65 0 0 0 0 0.95 3.1 0.0065
KLB 2 99 0 0 0.65 0 0 0 0 0.42 70 0.0026
Pre 1 99 0 0 0.65 0 0 0 0 1 41 0.0013
cl 2 99 0 0 0.65 0 0 0 0 1.9 2 0.0065
lobjois 2 99 0 0 0.65 0 0 0 0.01 2.6 5.1e+02 0.0052
ls_gsat 2 99 0 0 0.65 0 0 0 0.03 2.1 5.4 0.0065
ls_saps 2 99 0 0 0.65 0 0 0 0.18 2 5.4 0.0065
sp 2 99 0 0 0.65 0 0 0 0 1.2 17 0.0065

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.

block numbers instances
1 3 SAT_Competition2007/crafted/Medium/contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf +++++++ SAT_Competition2007/crafted/Medium/contest05/pebbling/sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf +++++++ SAT_Competition2009/CRAFTED/Difficult/contest05/sabharwal/grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
2 2 SAT_Competition2009/CRAFTED/parity-games/instance_n2_i2_pp.cnf +++++++ SAT_Competition2009/CRAFTED/ramseycube/Q3inK13.cnf