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 300 18 4.5e+02 2.2e+03 6.6e+03 3.6e+04 1.6e+04 4.9e+05 7.4e+04 2.1
nclausesOrig 300 18 2.7e+03 1.6e+04 5e+04 3e+05 1.5e+05 6.6e+06 8.1e+05 2.7
nvars 300 18 2.2e+02 1.9e+03 3.6e+03 1.5e+04 1.1e+04 1.6e+05 3.2e+04 2.1
nclauses 300 18 1.6e+03 1.4e+04 3.4e+04 2.2e+05 1.1e+05 6.1e+06 7.3e+05 3.4
reducedVars 300 18 0 0.056 0.69 1.5 1.1 60 5.9 4
reducedClauses 300 18 0 0.014 0.23 0.41 0.54 5.3 0.65 1.6
Pre.featuretime 300 18 0 0.02 0.11 0.96 0.5 24 2.8 2.9
vars.clauses.ratio 300 18 0.0061 0.055 0.1 0.12 0.2 0.24 0.073 0.59
POSNEG.RATIO.CLAUSE.mean 300 18 0.19 0.35 0.41 0.43 0.5 0.97 0.12 0.28
POSNEG.RATIO.CLAUSE.coeff.variation 300 18 0.17 0.59 0.7 0.75 0.8 1.6 0.23 0.31
POSNEG.RATIO.CLAUSE.min 300 18 0 0 0 0 0 0 0
POSNEG.RATIO.CLAUSE.max 300 18 1 1 1 1 1 1 0 0
POSNEG.RATIO.CLAUSE.entropy 300 18 0.21 1.1 1.4 1.5 1.8 2.6 0.54 0.36
VCG.CLAUSE.mean 300 18 1.7e-05 0.00045 0.00096 0.0025 0.0018 0.019 0.004 1.6
VCG.CLAUSE.coeff.variation 300 18 0.057 0.24 0.37 0.47 0.53 3.1 0.41 0.87
VCG.CLAUSE.min 300 18 1.3e-05 0.00019 0.00056 0.001 0.0014 0.0093 0.0012 1.2
VCG.CLAUSE.max 300 18 6.3e-05 0.0017 0.0048 0.011 0.012 0.091 0.015 1.4
VCG.CLAUSE.entropy 300 18 0.14 0.97 1.1 1.2 1.4 2.2 0.5 0.43
UNARY 300 18 0 0 0 0 0 0 0
BINARY. 300 18 0 0.0083 0.14 0.24 0.52 0.97 0.26 1.1
TRINARY. 300 18 0.032 0.35 0.75 0.6 0.88 1 0.34 0.56
Basic.featuretime 300 18 -0 0 0 0.018 0.02 0.52 0.059 3.2
VCG.VAR.mean 300 18 1.7e-05 0.00045 0.00096 0.0025 0.0018 0.019 0.004 1.6
VCG.VAR.coeff.variation 300 18 0.0037 0.52 0.7 1.2 1.5 14 1.2 1.1
VCG.VAR.min 300 18 3.3e-07 5.2e-05 0.00023 0.00041 0.00054 0.0043 0.00063 1.5
VCG.VAR.max 300 18 5.4e-05 0.0028 0.0078 0.017 0.024 0.16 0.021 1.2
VCG.VAR.entropy 300 18 0.62 2.3 2.9 3.1 3.8 5.5 1.2 0.37
POSNEG.RATIO.VAR.mean 300 18 0.0026 0.12 0.22 0.25 0.28 0.63 0.17 0.67
POSNEG.RATIO.VAR.stdev 300 18 0.0013 0.11 0.16 0.15 0.17 0.39 0.065 0.43
POSNEG.RATIO.VAR.min 300 18 0 0 0 0.0074 0 0.52 0.057 7.6
POSNEG.RATIO.VAR.max 300 18 0.1 0.74 0.8 0.8 0.92 1 0.16 0.2
POSNEG.RATIO.VAR.entropy 300 18 -0 2.4 2.9 2.7 3.3 4.3 0.87 0.32
HORNY.VAR.mean 300 18 1e-05 0.00011 0.00042 0.00058 0.00071 0.0052 0.0007 1.2
HORNY.VAR.coeff.variation 300 18 0.0037 0.49 0.65 1.2 1.6 13 1.3 1.1
HORNY.VAR.min 300 18 0 4.5e-06 3.2e-05 0.00012 9e-05 0.003 0.00033 2.8
HORNY.VAR.max 300 18 3.4e-05 0.00089 0.0026 0.0058 0.0084 0.12 0.0093 1.6
HORNY.VAR.entropy 300 18 0.62 2.2 2.5 2.5 3 5 0.84 0.33
horn.clauses.fraction 300 18 0.059 0.32 0.51 0.5 0.69 1 0.24 0.47
VG.mean 300 18 1.3e-05 0.00023 0.00077 0.0013 0.0018 0.014 0.0018 1.4
VG.coeff.variation 300 18 0.013 0.35 0.47 0.86 1.2 11 0.93 1.1
VG.min 300 18 3.3e-07 4.7e-05 0.00017 0.00048 0.00043 0.0086 0.0012 2.4
VG.max 300 18 5.4e-05 0.0013 0.005 0.0077 0.01 0.075 0.0097 1.3
KLB.featuretime 300 18 -0 0 0.02 1.5 0.22 29 5 3.2
CG.mean 300 18 -1 -1 3.9e-05 -0.48 0.0018 0.052 0.5 -1
CG.coeff.variation 300 18 -0 -0 0.24 0.34 0.56 1.9 0.44 1.3
CG.min 300 18 -1 -1 4.5e-06 -0.49 0.00036 0.0041 0.5 -1
CG.max 300 18 0 0 0.00019 0.014 0.0087 0.27 0.033 2.4
CG.entropy 300 18 -5.1e+02 -5.1e+02 2.9 -2.5e+02 3.5 4.9 2.6e+02 -1
cluster.coeff.mean 300 18 -1 -1 0.12 -0.37 0.18 0.69 0.62 -1.7
cluster.coeff.coeff.variation 300 18 -0 -0 0.21 0.21 0.43 0.92 0.24 1.1
cluster.coeff.min 300 18 -1 -1 0.0017 -0.46 0.036 0.24 0.52 -1.1
cluster.coeff.max 300 18 0 0 0.37 0.33 0.61 1 0.34 1
cluster.coeff.entropy 300 18 -0 -0 2.7 1.7 3.3 3.8 1.6 0.99
CG.featuretime 300 18 0.04 0.47 19 12 20 37 9.2 0.75

Summary of feature steps

The following table summarizes the feature steps over all instances.
size ok timeout memout presolved crash other unknown
ALL 1 94 6 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.

block numbers instances
1 18 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf +++++++ ACG-20-10p1.cnf +++++++ ACG-20-5p0.cnf +++++++ atco_enc3_opt1_13_48.cnf +++++++ atco_enc3_opt2_10_12.cnf +++++++ ...
2 2 manthey_DimacsSorter_32_1.cnf +++++++ manthey_DimacsSorterHalf_32_1.cnf
3 2 manthey_DimacsSorter_37_6.cnf +++++++ manthey_DimacsSorterHalf_37_6.cnf