Feature performance overview

Overview of Feature Values

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

obs (number of observations within the feature set)
NAs (number of NAs, i.e., missing values, within the feature set)
min (minimum), mean (arithmetic mean), max (maximum), std_dev (standard deviation)
1st_qu (1st quartile = lower quartile = 25%-quantile)
median (median = 50%-quantile)
3rd_qu (3rd quartile = upper quartile = 75%-quantile)
co_var (coefficient of variation = standard deviation / arithmetic mean)

Instance Feature Values

	obs	nas	min	qu_1st	med	mean	qu_3rd	max	sd	coeff_var
nvarsOrig	2000	1	48	4.1e+03	3e+04	1.4e+05	1.5e+05	9.7e+06	3.4e+05	2.4
nclausesOrig	2000	1	1.5e+02	3.3e+04	1.7e+05	9e+05	7.9e+05	1.9e+07	2e+06	2.2
nvars	2000	1	0	2.2e+03	1.2e+04	5.2e+04	4.9e+04	1.5e+06	1.2e+05	2.3
nclauses	2000	1	0	2.6e+04	1.2e+05	6.5e+05	4.2e+05	1.9e+07	1.8e+06	2.7
reducedVars	2000	1	-5.1e+02	0.13	0.76	-5.2	2.1	1.7e+03	77	-15
reducedClauses	2000	1	-5.1e+02	0.024	0.31	-7.4	0.94	4.5e+02	66	-9
vars.clauses.ratio	2000	1	-5.1e+02	0.055	0.14	-8.3	0.18	0.29	65	-7.8
POSNEG.RATIO.CLAUSE.mean	2000	1	0	0.37	0.44	0.45	0.49	1	0.17	0.38
POSNEG.RATIO.CLAUSE.coeff.variation	2000	1	0	0.6	0.74	0.78	0.97	3.6	0.35	0.45
POSNEG.RATIO.CLAUSE.min	2000	1	0	0	0	0.005	0	1	0.066	13
POSNEG.RATIO.CLAUSE.max	2000	1	0	1	1	0.98	1	1	0.13	0.13
POSNEG.RATIO.CLAUSE.entropy	2000	1	-5.1e+02	1	1.4	-6.1	1.6	2.6	61	-10
VCG.CLAUSE.mean	2000	1	0	6.1e-05	0.00028	0.0021	0.0014	0.35	0.0096	4.6
VCG.CLAUSE.coeff.variation	2000	1	0	0.31	0.49	0.82	0.93	14	0.98	1.2
VCG.CLAUSE.min	2000	1	0	3.7e-05	0.00015	0.0012	0.00085	0.29	0.0072	6
VCG.CLAUSE.max	2000	1	0	0.00086	0.0028	0.012	0.011	0.71	0.032	2.6
VCG.CLAUSE.entropy	2000	1	-5.1e+02	0.67	1	-6.4	1.4	3.1	61	-9.6
UNARY	2000	1	-5.1e+02	0	0	-8.5	0	0	65	-7.7
BINARYp	2000	1	-5.1e+02	0.1	0.24	-8.1	0.61	0.99	65	-8.1
TRINARYp	2000	1	-5.1e+02	0.54	0.75	-7.8	0.92	1	65	-8.4
VCG.VAR.mean	2000	1	0	6.1e-05	0.00028	0.0021	0.0014	0.35	0.0096	4.6
VCG.VAR.coeff.variation	2000	1	0	0.54	0.94	1.6	1.9	22	2.1	1.3
VCG.VAR.min	2000	1	0	1.2e-05	5.3e-05	0.00068	0.00029	0.24	0.0059	8.7
VCG.VAR.max	2000	1	0	0.0011	0.0043	0.012	0.013	0.44	0.022	1.9
VCG.VAR.entropy	2000	1	-5.1e+02	2.3	2.9	-4.5	3.6	5.7	62	-14
POSNEG.RATIO.VAR.mean	2000	1	0	0.12	0.18	0.24	0.34	0.85	0.18	0.76
POSNEG.RATIO.VAR.stdev	2000	1	0	0.089	0.16	0.16	0.23	0.44	0.088	0.55
POSNEG.RATIO.VAR.min	2000	1	0	0	0	0.015	0	0.78	0.082	5.6
POSNEG.RATIO.VAR.max	2000	1	0	0.69	0.89	0.8	0.98	1	0.24	0.3
POSNEG.RATIO.VAR.entropy	2000	1	-5.1e+02	1.8	2.6	-5	3.2	4.3	62	-12
HORNY.VAR.mean	2000	1	0	2.8e-05	0.0001	0.0009	0.00055	0.26	0.0063	7
HORNY.VAR.coeff.variation	2000	1	0	0.53	0.92	1.6	2	28	2.1	1.3
HORNY.VAR.min	2000	1	0	5.1e-08	7.8e-06	0.00027	4.8e-05	0.2	0.0046	17
HORNY.VAR.max	2000	1	0	0.00045	0.0019	0.0053	0.0056	0.32	0.012	2.3
HORNY.VAR.entropy	2000	1	-5.1e+02	2.1	2.5	-4.8	3	5.3	62	-13
horn.clauses.fraction	2000	1	-5.1e+02	0.46	0.55	-7.9	0.72	1	65	-8.3
VG.mean	2000	1	0	6.6e-05	0.00027	0.0017	0.0011	0.24	0.0073	4.3
VG.coeff.variation	2000	1	0	0.49	0.84	1.2	1.7	12	1.2	0.93
VG.min	2000	1	0	9.2e-06	4e-05	0.00066	0.00022	0.24	0.006	9.1
VG.max	2000	1	0	0.00094	0.0037	0.0078	0.009	0.24	0.014	1.8
CG.mean	2000	1	-1	-1	-1	-0.61	0.00044	0.34	0.49	-0.81
CG.coeff.variation	2000	1	-0	-0	-0	0.36	0.56	2.9	0.62	1.7
CG.min	2000	1	-1	-1	-1	-0.61	7.1e-05	0.16	0.49	-0.8
CG.max	2000	1	0	0	0	0.014	0.0049	0.66	0.048	3.5
CG.entropy	2000	1	-5.1e+02	-5.1e+02	-5.1e+02	-3.2e+02	3	5.4	2.5e+02	-0.77
cluster.coeff.mean	2000	1	-1	-1	-1	-0.53	0.16	0.69	0.59	-1.1
cluster.coeff.coeff.variation	2000	1	-0	-0	-0	0.16	0.31	1.3	0.25	1.5
cluster.coeff.min	2000	1	-1	-1	-1	-0.6	0.0069	0.29	0.5	-0.84
cluster.coeff.max	2000	1	0	0	0	0.23	0.56	1	0.31	1.4
cluster.coeff.entropy	2000	1	-5.1e+02	-0	-0	-6.3	2.9	3.8	61	-9.7
SP.bias.mean	2000	4	0	0.26	0.5	0.47	0.67	0.99	0.25	0.54
SP.bias.coeff.variation	2000	4	0	0.34	0.56	0.63	0.8	4.5	0.46	0.74
SP.bias.min	2000	4	0	0	1.4e-06	0.025	0.00023	0.85	0.11	4.4
SP.bias.max	2000	4	0	0.95	0.99	0.92	1	1	0.17	0.18
SP.bias.q90	2000	4	-5.1e+02	0.56	0.82	-6.7	0.94	1	61	-9.1
SP.bias.q10	2000	4	-5.1e+02	0.03	0.083	-7.3	0.25	0.98	61	-8.5
SP.bias.q75	2000	4	-5.1e+02	0.39	0.7	-6.8	0.85	1	61	-9
SP.bias.q25	2000	4	-5.1e+02	0.091	0.22	-7.1	0.54	1	61	-8.6
SP.bias.q50	2000	4	-5.1e+02	0.18	0.53	-6.9	0.75	1	61	-8.8
SP.unconstraint.mean	2000	4	0	0.029	0.05	0.061	0.075	0.68	0.06	0.99
SP.unconstraint.coeff.variation	2000	4	0	0.73	0.95	1.2	1.3	22	1.7	1.4
SP.unconstraint.min	2000	4	-0	-0	0	0.0016	1.5e-06	0.21	0.012	7.5
SP.unconstraint.max	2000	4	0	0.22	0.31	0.35	0.46	1	0.22	0.62
SP.unconstraint.q90	2000	4	-5.1e+02	0.056	0.1	-7.3	0.18	1	61	-8.4
SP.unconstraint.q10	2000	4	-5.1e+02	5.2e-05	0.0011	-7.4	0.0093	0.49	61	-8.2
SP.unconstraint.q75	2000	4	-5.1e+02	0.034	0.06	-7.4	0.11	1	61	-8.3
SP.unconstraint.q25	2000	4	-5.1e+02	0.0015	0.01	-7.4	0.025	0.5	61	-8.3
SP.unconstraint.q50	2000	4	-5.1e+02	0.011	0.031	-7.4	0.056	1	61	-8.3
DIAMETER.mean	2000	0	0	5.6	8.5	15	14	4.2e+02	25	1.7
DIAMETER.coeff.variation	2000	0	0	0.049	0.078	0.08	0.11	1.1	0.056	0.7
DIAMETER.min	2000	0	0	5	7	12	12	3.6e+02	21	1.7
DIAMETER.max	2000	0	0	6	10	17	16	5e+02	29	1.7
DIAMETER.entropy	2000	0	-5.1e+02	0.6	0.86	-6.4	1.3	4.5	61	-9.6
cl.num.mean	2000	0	0	92	4.1e+02	8.1e+02	9.7e+02	4.9e+03	1.1e+03	1.3
cl.num.coeff.variation	2000	0	0	0.047	0.28	0.38	0.45	4.7	0.46	1.2
cl.num.min	2000	0	0	5	1.4e+02	5.2e+02	5.3e+02	4.9e+03	9.3e+02	1.8
cl.num.max	2000	0	0	2.9e+02	7.9e+02	1.2e+03	1.8e+03	4.9e+03	1.3e+03	1
cl.num.q90	2000	0	-5.1e+02	1.8e+02	6.1e+02	1.1e+03	1.4e+03	4.9e+03	1.3e+03	1.2
cl.num.q10	2000	0	-5.1e+02	11	2.3e+02	5.7e+02	6.2e+02	4.9e+03	9.4e+02	1.7
cl.num.q75	2000	0	-5.1e+02	96	5e+02	9.4e+02	1.2e+03	4.9e+03	1.2e+03	1.3
cl.num.q25	2000	0	-5.1e+02	20	3e+02	6.6e+02	7.3e+02	4.9e+03	1e+03	1.5
cl.num.q50	2000	0	-5.1e+02	41	4e+02	8e+02	9e+02	4.9e+03	1.1e+03	1.4
cl.size.mean	2000	0	0	7.1	17	38	33	4.1e+03	1.4e+02	3.7
cl.size.coeff.variation	2000	0	0	0.057	0.21	0.28	0.37	5.3	0.35	1.3
cl.size.min	2000	0	0	2.7	8	19	21	1.9e+03	58	3
cl.size.max	2000	0	0	13	29	98	53	3e+04	8.1e+02	8.3
cl.size.q90	2000	0	-5.1e+02	8.9	24	61	45	1.5e+04	4.4e+02	7.3
cl.size.q10	2000	0	-5.1e+02	3.7	9.9	14	23	1.9e+03	87	6.4
cl.size.q75	2000	0	-5.1e+02	7.6	20	39	38	4.6e+03	2e+02	5.1
cl.size.q25	2000	0	-5.1e+02	5.5	12	17	26	1.9e+03	91	5.2
cl.size.q50	2000	0	-5.1e+02	6.6	17	25	32	1.9e+03	1.1e+02	4.2
vars.reduced.depth.1	2000	4	-5.1e+02	0	0	-7.4	0.00042	0.57	61	-8.2
vars.reduced.depth.4	2000	4	-5.1e+02	0	0.00049	-7.4	0.0065	0.91	61	-8.3
vars.reduced.depth.16	2000	4	-5.1e+02	0.00025	0.005	-7.4	0.041	0.99	61	-8.3
vars.reduced.depth.64	2000	4	-5.1e+02	0.0012	0.016	-7.3	0.13	0.99	61	-8.4
vars.reduced.depth.256	2000	4	-5.1e+02	0.0039	0.03	-7.3	0.19	0.99	61	-8.4
saps_BestSolution_Mean	2000	4	-5.1e+02	69	4.3e+02	5.2e+04	7.2e+03	2.4e+06	2.1e+05	4.1
saps_BestSolution_CoeffVariance	2000	4	-5.1e+02	0	0.31	-6.3	1.2	24	61	-9.7
saps_FirstLocalMinStep_Mean	2000	4	-5.1e+02	0	5.7e+02	2.1e+03	3.2e+03	2.3e+04	3.3e+03	1.6
saps_FirstLocalMinStep_CoeffVariance	2000	4	-5.1e+02	0	0.033	-7.3	0.11	1.4	61	-8.4
saps_FirstLocalMinStep_Median	2000	4	-5.1e+02	0	5.8e+02	2.2e+03	3.4e+03	2.3e+04	3.5e+03	1.6
saps_FirstLocalMinStep_Q.10	2000	4	-5.1e+02	0	2.6e+02	1.5e+03	1.3e+03	2.3e+04	3.2e+03	2.1
saps_FirstLocalMinStep_Q.90	2000	4	-5.1e+02	0	5.4e+02	2.1e+03	2.8e+03	2.3e+04	3.5e+03	1.6
saps_BestAvgImprovement_Mean	2000	4	-5.1e+02	0.82	2	21	6.3	3.1e+03	1.8e+02	8.3
saps_BestAvgImprovement_CoeffVariance	2000	4	-5.1e+02	0	0.22	-7.1	0.44	3.4	61	-8.6
saps_FirstLocalMinRatio_Mean	2000	4	-5.1e+02	0.86	0.97	-5.9	1.1	72	62	-10
saps_FirstLocalMinRatio_CoeffVariance	2000	4	-5.1e+02	0	0.016	-7.3	0.068	4.6	61	-8.3
gsat_BestSolution_Mean	2000	4	-5.1e+02	89	6.7e+02	2.5e+04	2.9e+03	1.3e+06	1.2e+05	4.9
gsat_BestSolution_CoeffVariance	2000	4	-5.1e+02	0.051	0.17	-6.8	0.56	17	61	-9
gsat_FirstLocalMinStep_Mean	2000	4	-5.1e+02	3.7e+02	1.4e+03	6.5e+03	6.2e+03	9.7e+04	1.2e+04	1.8
gsat_FirstLocalMinStep_CoeffVariance	2000	4	-5.1e+02	0.0076	0.028	-7.3	0.1	1.4	61	-8.4
gsat_FirstLocalMinStep_Median	2000	4	-5.1e+02	3.7e+02	1.4e+03	6.7e+03	6.5e+03	9.7e+04	1.2e+04	1.8
gsat_FirstLocalMinStep_Q.10	2000	4	-5.1e+02	0	6e+02	5.1e+03	4e+03	9.7e+04	1.1e+04	2.3
gsat_FirstLocalMinStep_Q.90	2000	4	-5.1e+02	2.6e+02	1.2e+03	6.2e+03	5.5e+03	9.7e+04	1.2e+04	1.9
gsat_BestAvgImprovement_Mean	2000	4	-5.1e+02	0.35	0.81	7.8	3.4	1.4e+03	1e+02	13
gsat_BestAvgImprovement_CoeffVariance	2000	4	-5.1e+02	0.2	0.33	-6.9	0.85	5.2	61	-8.9
gsat_FirstLocalMinRatio_Mean	2000	4	-5.1e+02	0.87	0.95	-6.4	1	61	61	-9.6
gsat_FirstLocalMinRatio_CoeffVariance	2000	4	-5.1e+02	0.0022	0.012	-7.4	0.045	4.2	61	-8.3
lobjois.mean.depth.over.vars	2000	4	-5.1e+02	0.063	0.14	-7.2	0.28	0.99	61	-8.5
lobjois.log.num.nodes.over.vars	2000	4	-5.1e+02	0.2	0.47	-7	0.73	1	61	-8.8
tud_clauses	2000	0	1.5e+02	3.2e+04	1.6e+05	8.3e+05	7.3e+05	1.9e+07	1.9e+06	2.3
tud_vars	2000	0	48	4.1e+03	3e+04	1.4e+05	1.5e+05	9.7e+06	3.4e+05	2.4
tud_clauses_size_1	2000	0	0	1	68	1.2e+04	2.1e+03	5.9e+05	4e+04	3.4
tud_clauses_size_2	2000	0	0	1.2e+04	5.2e+04	5.8e+05	4.2e+05	1.8e+07	1.5e+06	2.6
tud_clauses_size_3	2000	0	0	5.1e+03	3.6e+04	1.9e+05	1.4e+05	5.8e+06	4.9e+05	2.7
tud_clauses_size_4	2000	0	0	0	3.5e+02	2.1e+04	6.3e+03	2.9e+06	1.2e+05	5.7
tud_clauses_size_5	2000	0	0	0	40	8e+03	4.8e+03	8.5e+05	3.4e+04	4.2
tud_clauses_size_6	2000	0	0	0	0	6.1e+03	7.6e+02	7.4e+05	3.3e+04	5.4
tud_clauses_size_7	2000	0	0	0	0	3.9e+03	6.2e+02	4.3e+05	1.9e+04	4.9
tud_clauses_size_8	2000	0	0	0	0	3.3e+03	52	4.7e+05	2.9e+04	8.7
tud_clauses_size_.._9	2000	0	0	0	28	1.1e+04	2.6e+03	1.2e+06	5.8e+04	5.1
tud_horn_clauses	2000	0	1.5e+02	2.8e+04	1.4e+05	8e+05	6.9e+05	1.9e+07	1.8e+06	2.3
tud_clause.variable_degree_min	2000	0	1	1	1	1.3	1	6	0.54	0.43
tud_clause.variable_degree_max	2000	0	3	5	11	1.2e+02	39	6.7e+03	5.3e+02	4.6
tud_clause.variable_degree_mode	2000	0	1	2	2	2.7	3	12	1.4	0.5
tud_clause.variable_degree_mean	2000	0	1.6	2.3	2.6	3.1	3	35	1.9	0.62
tud_clause.variable_degree_stdev	2000	0	0	0.25	0.9	22	2.4	1.2e+04	2.9e+02	13
tud_clause.variable_degree_entropy	2000	0	0	0.56	0.7	0.76	0.98	2.4	0.43	0.57
tud_clause.variable_degree_valuesRate	2000	0	6.7e-07	1.5e-05	5.5e-05	0.00031	0.00023	0.033	0.0013	4.2
tud_clause.variable_degree_Q1	2000	0	1	2	2	2.5	3	12	1	0.42
tud_clause.variable_degree_Q2	2000	0	2	2	2	2.8	3	12	1.3	0.47
tud_clause.variable_degree_Q3	2000	0	2	2	3	3.6	3	46	3.8	1.1
tud_variable.clause_degree_zcount	2000	0	0	0	0	4.8e+03	0	9.5e+06	2.1e+05	44
tud_variable.clause_degree_min	2000	0	1	1	1	11	1	1e+03	70	6.3
tud_variable.clause_degree_max	2000	0	10	76	2.7e+02	4.8e+03	1.3e+03	2.3e+05	2.1e+04	4.4
tud_variable.clause_degree_mode	2000	0	1	5	6	27	11	1.7e+03	1e+02	3.9
tud_variable.clause_degree_mean	2000	0	2.4	8	12	56	33	1.8e+03	1.6e+02	2.8
tud_variable.clause_degree_stdev	2000	0	0	87	3.3e+02	9.7e+04	4.4e+03	3.1e+07	1e+06	10
tud_variable.clause_degree_entropy	2000	0	0	1.3	2.3	2.3	2.8	5.7	1.2	0.52
tud_variable.clause_degree_valuesRate	2000	0	6.3e-06	0.00072	0.0033	0.026	0.012	0.82	0.077	3
tud_variable.clause_degree_Q1	2000	0	1	5	5	24	10	1.4e+03	97	4.1
tud_variable.clause_degree_Q2	2000	0	1	5	8	41	17	1.6e+03	1.5e+02	3.6
tud_variable.clause_degree_Q3	2000	0	1	7	12	65	41	2.6e+03	2.1e+02	3.2
tud_clause.variable_polarity_min	2000	0	0.5	0.5	0.5	0.51	0.5	1	0.049	0.096
tud_clause.variable_polarity_max	2000	0	1	1	1	1	1	1	0	0
tud_clause.variable_polarity_mode	2000	0	0.5	0.5	0.67	0.72	1	1	0.21	0.29
tud_clause.variable_polarity_mean	2000	0	0.52	0.66	0.73	0.73	0.77	1	0.094	0.13
tud_clause.variable_polarity_stdev	2000	0	0	0.021	0.033	0.033	0.048	0.062	0.016	0.48
tud_clause.variable_polarity_entropy	2000	0	0	0.83	1	1.1	1.2	2.6	0.42	0.39
tud_clause.variable_polarity_valuesRate	2000	0	6.6e-07	1.6e-05	6.5e-05	0.00039	0.00028	0.033	0.0014	3.5
tud_clause.variable_polarity_Q1	2000	0	0.5	0.5	0.5	0.59	0.67	1	0.14	0.23
tud_clause.variable_polarity_Q2	2000	0	0.5	0.67	0.67	0.7	0.67	1	0.16	0.23
tud_clause.variable_polarity_Q3	2000	0	0.5	0.67	1	0.86	1	1	0.16	0.18
tud_variable.clause_polarity_zcount	2000	0	0	0	0	0	0	0	0
tud_variable.clause_polarity_min	2000	0	0.5	0.5	0.5	0.51	0.5	0.99	0.051	0.1
tud_variable.clause_polarity_max	2000	0	0.5	1	1	0.98	1	1	0.077	0.079
tud_variable.clause_polarity_mode	2000	0	0.5	0.5	0.6	0.61	0.6	1	0.14	0.23
tud_variable.clause_polarity_mean	2000	0	0.5	0.58	0.62	0.65	0.72	0.99	0.1	0.16
tud_variable.clause_polarity_stdev	2000	0	0	0.002	0.0095	0.014	0.025	0.05	0.013	0.93
tud_variable.clause_polarity_entropy	2000	0	0	1.1	1.8	2.2	2.9	6.4	1.3	0.61
tud_variable.clause_polarity_valuesRate	2000	0	5e-06	0.00063	0.0035	0.034	0.019	0.99	0.11	3.1
tud_variable.clause_polarity_Q1	2000	0	0.5	0.5	0.57	0.58	0.6	1	0.097	0.17
tud_variable.clause_polarity_Q2	2000	0	0.5	0.57	0.6	0.64	0.69	1	0.12	0.19
tud_variable.clause_polarity_Q3	2000	0	0.5	0.6	0.61	0.71	0.88	1	0.16	0.22
tud_Clause.Var_steps	2000	0	6.4e+02	1.2e+05	5.8e+05	2.9e+06	2.7e+06	5.9e+07	6.1e+06	2.1
tud_SymmTime0_zcount	2000	0	0	0	0	0	0	0	0
tud_SymmTime0_min	2000	0	1	1	1	2.6	1	4.4e+02	21	8.1
tud_SymmTime0_max	2000	0	1	8.5e+02	6.6e+03	6.2e+04	4.8e+04	9.5e+06	2.5e+05	4.1
tud_SymmTime0_mode	2000	0	1	1	1	6.8	2	4.6e+02	34	5
tud_SymmTime0_mean	2000	0	1	27	1.1e+02	8.3e+02	6.1e+02	1.6e+05	4.2e+03	5.1
tud_SymmTime0_stdev	2000	0	0	1.1e+04	3.4e+05	2.5e+08	1.5e+07	1.9e+11	5e+09	20
tud_SymmTime0_entropy	2000	0	0	1.8	2.5	2.5	3.2	5.2	0.96	0.39
tud_SymmTime0_valuesRate	2000	0	0.001	0.11	0.25	0.32	0.49	1	0.25	0.8
tud_SymmTime0_Q1	2000	0	1	1	2	6.5	4	8.9e+02	32	4.9
tud_SymmTime0_Q2	2000	0	1	2	4	32	20	1.3e+03	89	2.8
tud_SymmTime0_Q3	2000	0	1	4	21	2.3e+02	79	4.1e+04	1.6e+03	7
tud_Symmetry0_steps	2000	0	4.1e+02	1.2e+05	5.7e+05	2.4e+06	2.1e+06	5.8e+07	5.4e+06	2.2
tud_SymmTime1_zcount	2000	0	0	0	0	0	0	0	0
tud_SymmTime1_min	2000	0	1	1	1	2.5	1	4.4e+02	21	8.5
tud_SymmTime1_max	2000	0	1	2.1e+02	1.5e+03	2.5e+04	1.3e+04	9.5e+06	2.2e+05	8.8
tud_SymmTime1_mode	2000	0	1	1	1	3.8	1	5.1e+02	24	6.3
tud_SymmTime1_mean	2000	0	1	2.8	15	1.6e+02	55	1.1e+05	2.6e+03	16
tud_SymmTime1_stdev	2000	0	0	67	6.8e+03	3.4e+07	1.7e+05	3.8e+10	9.9e+08	29
tud_SymmTime1_entropy	2000	0	0	1.1	1.9	1.9	2.5	4.1	0.95	0.51
tud_SymmTime1_valuesRate	2000	0	2.3e-05	0.012	0.034	0.083	0.11	1	0.13	1.6
tud_SymmTime1_Q1	2000	0	1	1	1	3	1	4.4e+02	21	7.1
tud_SymmTime1_Q2	2000	0	1	1	2	6.6	3	5.1e+02	28	4.2
tud_SymmTime1_Q3	2000	0	1	2	5	29	14	1.1e+03	84	2.9
tud_Symmetry1_steps	2000	0	4.3e+02	1.3e+05	5.7e+05	2.5e+06	2.1e+06	5.8e+07	5.5e+06	2.2
tud_SymmTime2_zcount	2000	0	0	0	0	0	0	0	0
tud_SymmTime2_min	2000	0	1	1	1	2.5	1	4.4e+02	21	8.5
tud_SymmTime2_max	2000	0	1	72	7.2e+02	1.9e+04	7.9e+03	9.5e+06	2.2e+05	11
tud_SymmTime2_mode	2000	0	1	1	1	3	1	4.4e+02	21	7
tud_SymmTime2_mean	2000	0	1	1.7	3.7	79	14	8.8e+04	2e+03	25
tud_SymmTime2_stdev	2000	0	0	7.7	4.4e+02	1.7e+07	1.5e+04	2.1e+10	5.2e+08	31
tud_SymmTime2_entropy	2000	0	0	0.53	1.2	1.3	1.8	3.8	0.87	0.69
tud_SymmTime2_valuesRate	2000	0	9.1e-06	0.0024	0.0075	0.029	0.021	1	0.082	2.8
tud_SymmTime2_Q1	2000	0	1	1	1	2.7	1	4.4e+02	21	7.7
tud_SymmTime2_Q2	2000	0	1	1	1	3.5	2	4.4e+02	21	6
tud_SymmTime2_Q3	2000	0	1	1	2	1.1e+02	5	2e+05	4.4e+03	41
tud_Symmetry2_steps	2000	0	4.3e+02	1.3e+05	5.9e+05	2.5e+06	2.2e+06	5.8e+07	5.5e+06	2.2
tud_Symmetry_computation_steps	2000	0	1.3e+03	3.8e+05	1.7e+06	7.4e+06	6.3e+06	1.8e+08	1.6e+07	2.2
tud_clauses_graph_degree_zcount	2000	437	0	2	1.2e+02	6.1e+03	1.8e+03	3.7e+05	1.7e+04	2.8
tud_clauses_graph_degree_min	2000	437	1	1	2	9.4	4	4.3e+02	46	4.9
tud_clauses_graph_degree_max	2000	437	17	1e+02	2.8e+02	8.5e+02	8.8e+02	1e+04	1.4e+03	1.6
tud_clauses_graph_degree_mode	2000	437	1	5	13	68	58	1.8e+03	1.5e+02	2.1
tud_clauses_graph_degree_mean	2000	437	6.3	23	48	1.4e+02	1e+02	4.1e+03	2.7e+02	1.9
tud_clauses_graph_degree_stdev	2000	437	3.3	3.7e+02	1.7e+03	1.1e+05	8.2e+03	1.6e+07	8.4e+05	7.9
tud_clauses_graph_degree_entropy	2000	437	1.8	3.4	3.9	4.1	4.7	7.4	1.1	0.26
tud_clauses_graph_degree_valuesRate	2000	437	2.5e-05	0.00075	0.0026	0.01	0.0073	0.21	0.022	2.2
tud_clauses_graph_degree_Q1	2000	437	1	6	13	63	46	1.2e+03	1.3e+02	2.1
tud_clauses_graph_degree_Q2	2000	437	5	14	23	98	83	1.4e+03	1.8e+02	1.8
tud_clauses_graph_degree_Q3	2000	437	8	25	55	2e+02	1.3e+02	8.3e+03	5.5e+02	2.8
tud_clauses_graph_weights_min	2000	437	1	1	1	1	1	2	0.062	0.062
tud_clauses_graph_weights_max	2000	437	2	4	4	14	12	7.8e+02	37	2.5
tud_clauses_graph_weights_mode	2000	437	1	1	1	1.5	2	7	0.52	0.35
tud_clauses_graph_weights_mean	2000	437	1.3	1.5	1.5	1.7	1.8	6.6	0.36	0.21
tud_clauses_graph_weights_stdev	2000	437	0	0.25	0.26	1.7	0.63	5e+02	14	8.3
tud_clauses_graph_weights_entropy	2000	437	0	0.69	0.7	0.8	0.92	2.1	0.3	0.38
tud_clauses_graph_weights_valuesRate	2000	437	1.9e-08	5.8e-07	2.5e-06	3.2e-05	1.5e-05	0.007	0.00021	6.5
tud_clauses_graph_weights_Q1	2000	437	1	1	1	1.1	1	5	0.34	0.3
tud_clauses_graph_weights_Q2	2000	437	1	1	2	1.6	2	7	0.53	0.34
tud_clauses_graph_weights_Q3	2000	437	1	2	2	2.1	2	8	0.36	0.17
tud_Clause_graph_steps	2000	437	5.4e+03	4.7e+06	3.1e+07	1.3e+08	1.7e+08	1.4e+09	2.3e+08	1.7
tud_resolution_graph_degree_zcount	2000	297	0	1	1.5e+02	6.6e+03	1.5e+03	9.8e+04	1.7e+04	2.6
tud_resolution_graph_degree_min	2000	297	1	1	2	15	3	1.7e+03	1.1e+02	7.6
tud_resolution_graph_degree_max	2000	297	9	1.3e+02	4.8e+02	3.2e+03	1.4e+03	1.6e+05	1e+04	3.3
tud_resolution_graph_degree_mode	2000	297	1	3	6	61	13	2.7e+03	2.1e+02	3.5
tud_resolution_graph_degree_mean	2000	297	3.4	15	30	1.3e+02	92	4.1e+03	3.5e+02	2.7
tud_resolution_graph_degree_stdev	2000	297	0.82	2.5e+02	2e+03	1.2e+05	1.7e+04	1.7e+07	7.3e+05	5.9
tud_resolution_graph_degree_entropy	2000	297	0.0065	2.8	3.4	3.5	4.2	8.3	1.4	0.39
tud_resolution_graph_degree_valuesRate	2000	297	1.4e-05	0.00061	0.0017	0.0074	0.0051	0.18	0.019	2.5
tud_resolution_graph_degree_Q1	2000	297	2	4	6	49	17	2.7e+03	1.9e+02	4
tud_resolution_graph_degree_Q2	2000	297	2	8	15	88	56	3.2e+03	2.7e+02	3
tud_resolution_graph_degree_Q3	2000	297	2	16	31	1.7e+02	1.2e+02	6.5e+03	5.3e+02	3.1
tud_resolution_graph_weights_min	2000	297	0	1e-10	6.1e-05	0.016	0.016	0.062	0.026	1.6
tud_resolution_graph_weights_max	2000	297	1.9e-09	0.25	0.25	0.27	0.25	0.5	0.093	0.34
tud_resolution_graph_weights_mode	2000	297	0	0.016	0.062	0.083	0.12	0.25	0.071	0.85
tud_resolution_graph_weights_mean	2000	297	1e-10	0.039	0.071	0.082	0.13	0.24	0.054	0.66
tud_resolution_graph_weights_stdev	2000	297	0	0.00066	0.0022	0.0031	0.0045	0.013	0.0028	0.91
tud_resolution_graph_weights_entropy	2000	297	0	0.9	1.2	1.3	1.6	6	0.73	0.57
tud_resolution_graph_weights_valuesRate	2000	297	1.4e-08	9.1e-07	3.6e-06	8.5e-05	4.2e-05	0.013	0.00055	6.4
tud_resolution_graph_weights_Q1	2000	297	0	0.0039	0.062	0.055	0.062	0.25	0.053	0.96
tud_resolution_graph_weights_Q2	2000	297	0	0.031	0.062	0.071	0.12	0.25	0.059	0.82
tud_resolution_graph_weights_Q3	2000	297	0	0.062	0.12	0.11	0.12	0.25	0.079	0.74
tud_Resolution_graph_steps	2000	297	3.3e+03	3.4e+06	3.6e+07	2.7e+08	1.7e+08	1.7e+10	1.1e+09	4
tud_variables_graph_degree_zcount	2000	99	0	1	80	1.6e+04	2.4e+03	9.5e+06	2.2e+05	14
tud_variables_graph_degree_min	2000	99	1	1	2	12	3	8.4e+02	60	5.2
tud_variables_graph_degree_max	2000	99	14	1e+02	3.4e+02	3.2e+03	1.5e+03	1.9e+05	1.3e+04	3.9
tud_variables_graph_degree_mode	2000	99	1	4	6	32	17	1.4e+03	1e+02	3.2
tud_variables_graph_degree_mean	2000	99	5.1	9.5	19	76	58	4e+03	2.2e+02	3
tud_variables_graph_degree_stdev	2000	99	0	1.3e+02	6.6e+02	1.8e+05	6.2e+03	6.3e+07	2.5e+06	14
tud_variables_graph_degree_entropy	2000	99	0	2.1	3	3	3.7	7.4	1.3	0.45
tud_variables_graph_degree_valuesRate	2000	99	4.5e-05	0.0013	0.0067	0.047	0.028	0.85	0.11	2.3
tud_variables_graph_degree_Q1	2000	99	2	4	7	32	16	1.2e+03	1e+02	3.2
tud_variables_graph_degree_Q2	2000	99	2	6	12	53	32	2.7e+03	1.7e+02	3.2
tud_variables_graph_degree_Q3	2000	99	3	9	17	89	74	4.1e+03	2.7e+02	3
tud_variables_graph_weights_min	2000	99	0	1.9e-09	0.00049	0.033	0.062	0.12	0.051	1.5
tud_variables_graph_weights_max	2000	99	0.25	0.5	0.88	5.8	1.5	1.1e+03	40	6.9
tud_variables_graph_weights_mode	2000	99	0	0.25	0.31	0.29	0.38	0.5	0.14	0.49
tud_variables_graph_weights_mean	2000	99	0.0044	0.18	0.23	0.25	0.31	1.1	0.12	0.47
tud_variables_graph_weights_stdev	2000	99	9.5e-05	0.012	0.017	0.09	0.028	26	0.85	9.4
tud_variables_graph_weights_entropy	2000	99	0.036	0.96	1.7	2.1	2.5	11	1.8	0.83
tud_variables_graph_weights_valuesRate	2000	99	1.5e-06	5.2e-05	0.00039	0.014	0.0025	1	0.081	5.7
tud_variables_graph_weights_Q1	2000	99	0	0.027	0.12	0.13	0.25	0.5	0.12	0.86
tud_variables_graph_weights_Q2	2000	99	0	0.15	0.25	0.25	0.38	0.51	0.13	0.53
tud_variables_graph_weights_Q3	2000	99	0	0.25	0.31	0.31	0.38	0.69	0.14	0.44
tud_Var_graph_steps	2000	99	8.6e+02	5e+05	3.1e+06	3.7e+07	1e+07	2.4e+09	1.6e+08	4.3
tud_clause.variable_degree_derivative_zcount	2000	0	1.5e+02	3.2e+04	1.6e+05	8.3e+05	7.3e+05	1.9e+07	1.9e+06	2.3
tud_clause.variable_degree_derivative_min	2000	0	0	1	1	1.1	1	27	0.91	0.86
tud_clause.variable_degree_derivative_max	2000	0	0	1	3	23	10	1.1e+03	78	3.4
tud_clause.variable_degree_derivative_mode	2000	0	0	1	1	1.1	1	27	0.91	0.86
tud_clause.variable_degree_derivative_mean	2000	0	0	1	1.1	4.7	2.4	1.6e+02	14	2.9
tud_clause.variable_degree_derivative_stdev	2000	0	0	0	0.12	7.3e+02	7.4	7.8e+04	5.2e+03	7.1
tud_clause.variable_degree_derivative_entropy	2000	0	0	0	0.14	0.38	0.64	2.7	0.51	1.3
tud_clause.variable_degree_derivative_valuesRate	2000	0	0	0.14	0.29	0.35	0.5	1	0.27	0.76
tud_clause.variable_degree_derivative_Q1	2000	0	0	1	1	1.1	1	27	0.91	0.86
tud_clause.variable_degree_derivative_Q2	2000	0	0	1	1	1.1	1	33	1.2	1.1
tud_clause.variable_degree_derivative_Q3	2000	0	0	1	1	3.2	1	2.6e+02	16	5.1
tud_variable.clause_degree_derivative_zcount	2000	0	36	3.9e+03	3e+04	1.3e+05	1.5e+05	2.3e+06	2.6e+05	2
tud_variable.clause_degree_derivative_min	2000	0	0	1	1	1	1	8	0.33	0.32
tud_variable.clause_degree_derivative_max	2000	0	0	6	40	1.3e+03	2.4e+02	1.2e+05	6.2e+03	4.8
tud_variable.clause_degree_derivative_mode	2000	0	0	1	1	1.2	1	10	0.75	0.63
tud_variable.clause_degree_derivative_mean	2000	0	0	1.5	3.2	19	9	2.4e+03	1e+02	5.3
tud_variable.clause_degree_derivative_stdev	2000	0	0	0.84	39	4.5e+05	1.1e+03	2.4e+08	7.8e+06	17
tud_variable.clause_degree_derivative_entropy	2000	0	0	0.59	1.1	1.2	1.7	3.6	0.72	0.61
tud_variable.clause_degree_derivative_valuesRate	2000	0	0	0.06	0.11	0.15	0.2	1	0.12	0.82
tud_variable.clause_degree_derivative_Q1	2000	0	0	1	1	1.1	1	8	0.54	0.47
tud_variable.clause_degree_derivative_Q2	2000	0	0	1	1	1.5	2	13	1.1	0.73
tud_variable.clause_degree_derivative_Q3	2000	0	0	1	2	5.4	4	4e+03	91	17
tud_clause.variable_polarity_derivative_zcount	2000	0	1.5e+02	3.2e+04	1.6e+05	8.3e+05	7.3e+05	1.9e+07	1.9e+06	2.3
tud_clause.variable_polarity_derivative_min	2000	0	0	0.0043	0.024	0.068	0.17	0.33	0.082	1.2
tud_clause.variable_polarity_derivative_max	2000	0	0	0.14	0.17	0.21	0.33	0.47	0.1	0.49
tud_clause.variable_polarity_derivative_mode	2000	0	0	0.0091	0.033	0.072	0.17	0.33	0.08	1.1
tud_clause.variable_polarity_derivative_mean	2000	0	0	0.024	0.071	0.11	0.25	0.33	0.1	0.88
tud_clause.variable_polarity_derivative_stdev	2000	0	0	0.0005	0.0025	0.0053	0.014	0.025	0.0058	1.1
tud_clause.variable_polarity_derivative_entropy	2000	0	0	0.69	1.8	2.2	2.9	7.5	1.7	0.78
tud_clause.variable_polarity_derivative_valuesRate	2000	0	0	1	1	0.96	1	1	0.12	0.12
tud_clause.variable_polarity_derivative_Q1	2000	0	0	0.011	0.033	0.075	0.17	0.33	0.079	1.1
tud_clause.variable_polarity_derivative_Q2	2000	0	0	0.016	0.05	0.082	0.17	0.33	0.078	0.95
tud_clause.variable_polarity_derivative_Q3	2000	0	0	0.024	0.067	0.091	0.17	0.33	0.077	0.84
tud_variable.clause_polarity_derivative_zcount	2000	0	3	3.7e+03	3e+04	1.3e+05	1.5e+05	2.3e+06	2.6e+05	2
tud_variable.clause_polarity_derivative_min	2000	0	0	9.3e-06	7.9e-05	0.0011	0.00089	0.03	0.003	2.6
tud_variable.clause_polarity_derivative_max	2000	0	0	0.048	0.095	0.14	0.25	0.49	0.12	0.85
tud_variable.clause_polarity_derivative_mode	2000	0	0	5.7e-05	0.00055	0.0037	0.0028	0.1	0.0092	2.5
tud_variable.clause_polarity_derivative_mean	2000	0	0	0.0017	0.006	0.013	0.014	0.17	0.02	1.6
tud_variable.clause_polarity_derivative_stdev	2000	0	0	3.7e-05	0.00014	0.0016	0.0011	0.041	0.0042	2.6
tud_variable.clause_polarity_derivative_entropy	2000	0	0	3.5	4.3	4.4	5.2	8.3	1.5	0.35
tud_variable.clause_polarity_derivative_valuesRate	2000	0	0	0.99	1	0.98	1	1	0.092	0.094
tud_variable.clause_polarity_derivative_Q1	2000	0	0	0.00012	0.00053	0.0028	0.0026	0.093	0.006	2.2
tud_variable.clause_polarity_derivative_Q2	2000	0	0	0.0003	0.0014	0.0048	0.0057	0.15	0.0097	2
tud_variable.clause_polarity_derivative_Q3	2000	0	0	0.00078	0.0033	0.012	0.01	0.43	0.033	2.9
tud_SymmTime0_derivative_zcount	2000	0	0	38	1.1e+02	8.3e+02	4.4e+02	3e+04	2.7e+03	3.2
tud_SymmTime0_derivative_min	2000	0	0	1	1	1.2	1	72	2.4	2
tud_SymmTime0_derivative_max	2000	0	0	4e+02	3.8e+03	4.7e+04	2.6e+04	9.4e+06	2.4e+05	5.1
tud_SymmTime0_derivative_mode	2000	0	0	1	1	1.9	1	4e+02	10	5.2
tud_SymmTime0_derivative_mean	2000	0	0	22	1.8e+02	1.3e+03	7.9e+02	2.6e+05	7e+03	5.3
tud_SymmTime0_derivative_stdev	2000	0	0	4.7e+03	4.1e+05	7.7e+08	1.5e+07	8.2e+11	1.9e+10	25
tud_SymmTime0_derivative_entropy	2000	0	0	1.8	2.2	2.2	2.7	3.8	0.72	0.33
tud_SymmTime0_derivative_valuesRate	2000	0	0	0.3	0.44	0.48	0.64	1	0.23	0.48
tud_SymmTime0_derivative_Q1	2000	0	0	1	1	3.3	2	3.8e+02	16	4.8
tud_SymmTime0_derivative_Q2	2000	0	0	2	3	24	8	1.6e+04	4.1e+02	17
tud_SymmTime0_derivative_Q3	2000	0	0	6	15	2.7e+02	40	6.6e+04	2.7e+03	10
tud_SymmTime1_derivative_zcount	2000	0	0	4.3e+02	1.6e+03	1e+04	4.8e+03	8.2e+05	4.1e+04	4.1
tud_SymmTime1_derivative_min	2000	0	0	1	1	1.1	1	35	1.1	1.1
tud_SymmTime1_derivative_max	2000	0	0	72	6.4e+02	1.8e+04	7.9e+03	9.4e+06	2.1e+05	12
tud_SymmTime1_derivative_mode	2000	0	0	1	1	1.4	1	64	3.5	2.4
tud_SymmTime1_derivative_mean	2000	0	0	7	35	2.2e+02	1.2e+02	7.9e+04	2e+03	9.1
tud_SymmTime1_derivative_stdev	2000	0	0	2.5e+02	2e+04	2.2e+08	7e+05	3.8e+11	8.6e+09	39
tud_SymmTime1_derivative_entropy	2000	0	0	1.2	1.8	1.7	2.2	3.4	0.78	0.46
tud_SymmTime1_derivative_valuesRate	2000	0	0	0.18	0.28	0.33	0.43	1	0.2	0.62
tud_SymmTime1_derivative_Q1	2000	0	0	1	1	1.3	1	36	2.1	1.6
tud_SymmTime1_derivative_Q2	2000	0	0	1	1	2.9	2	1.3e+02	7.3	2.5
tud_SymmTime1_derivative_Q3	2000	0	0	2	5	18	10	2.7e+03	83	4.5
tud_SymmTime2_derivative_zcount	2000	0	0	9.5e+02	4.5e+03	2.1e+04	1.6e+04	8.8e+05	5.8e+04	2.7
tud_SymmTime2_derivative_min	2000	0	0	1	1	14	1	8.9e+02	92	6.4
tud_SymmTime2_derivative_max	2000	0	0	23	4.4e+02	1.6e+04	6.2e+03	9.4e+06	2.1e+05	13
tud_SymmTime2_derivative_mode	2000	0	0	1	1	15	1	8.9e+02	92	6.3
tud_SymmTime2_derivative_mean	2000	0	0	3.7	26	2.1e+02	1.3e+02	5.7e+04	1.8e+03	8.5
tud_SymmTime2_derivative_stdev	2000	0	0	20	5.3e+03	2.7e+08	5.2e+05	5.2e+11	1.2e+10	42
tud_SymmTime2_derivative_entropy	2000	0	0	0.8	1.4	1.4	2	3.2	0.79	0.58
tud_SymmTime2_derivative_valuesRate	2000	0	0	0.18	0.3	0.36	0.46	1	0.25	0.71
tud_SymmTime2_derivative_Q1	2000	0	0	1	1	14	1	8.9e+02	91	6.4
tud_SymmTime2_derivative_Q2	2000	0	0	1	1	15	2	8.9e+02	91	6
tud_SymmTime2_derivative_Q3	2000	0	0	2	3	23	8	2e+03	1.1e+02	4.7
tud_bin_implication_graph_degree_zcount	2000	1	31	3.1e+03	2.4e+04	1.1e+05	1.4e+05	2.3e+06	2.2e+05	2
tud_bin_implication_graph_degree_min	2000	1	0	1	1	1.4	1	1e+02	4.3	3.1
tud_bin_implication_graph_degree_max	2000	1	0	21	63	1.8e+03	2.2e+02	1.1e+05	9.3e+03	5.3
tud_bin_implication_graph_degree_mode	2000	1	0	1	3	6.4	3	1.4e+02	18	2.7
tud_bin_implication_graph_degree_mean	2000	1	0	2.2	3.2	12	6.5	1.8e+02	25	2
tud_bin_implication_graph_degree_stdev	2000	1	0	4.6	19	1e+04	1.5e+02	2e+06	8.6e+04	8.4
tud_bin_implication_graph_degree_entropy	2000	1	0	1.1	1.4	1.6	2	5.3	1.1	0.66
tud_bin_implication_graph_degree_valuesRate	2000	1	0	0.00024	0.00097	0.01	0.0048	0.2	0.028	2.8
tud_bin_implication_graph_degree_Q1	2000	1	0	1	2	5.7	3	1.4e+02	16	2.9
tud_bin_implication_graph_degree_Q2	2000	1	0	2	3	9.4	4	1.4e+02	20	2.2
tud_bin_implication_graph_degree_Q3	2000	1	0	2	3	14	7	1.5e+02	26	1.9
tud_Bin_Implication_graph_steps	2000	1	2.3e+02	4e+04	2e+05	9.9e+05	9.2e+05	2e+07	2.1e+06	2.1
tud_Exactly1Lit_zcount	2000	1	96	8.3e+03	5.9e+04	2.6e+05	2.8e+05	4.5e+06	5.2e+05	2
tud_Exactly1Lit_min	2000	1	0	0	0	2	2	70	7	3.5
tud_Exactly1Lit_max	2000	1	0	0	0	9.8	4	4.7e+02	34	3.5
tud_Exactly1Lit_mode	2000	1	0	0	0	2.6	2	70	7.6	2.9
tud_Exactly1Lit_mean	2000	1	0	0	0	3.9	2.3	2.8e+02	16	4.1
tud_Exactly1Lit_stdev	2000	1	0	0	0	1.4e+02	0.31	5.1e+04	2.4e+03	16
tud_Exactly1Lit_entropy	2000	1	0	0	0	0.22	0.26	3.6	0.48	2.2
tud_Exactly1Lit_valuesRate	2000	1	0	0	0	0.028	0.007	0.45	0.071	2.5
tud_Exactly1Lit_Q1	2000	1	0	0	0	2.3	2	70	7.3	3.1
tud_Exactly1Lit_Q2	2000	1	0	0	0	3.9	2	4.5e+02	23	6
tud_Exactly1Lit_Q3	2000	1	0	0	0	5.2	2	4.7e+02	26	4.9
tud_Exactly1Lit_steps	2000	1	1.7e+02	1.3e+05	5.8e+05	2.3e+06	2e+06	6.8e+07	5.4e+06	2.4
tud_Full_AND_gate_degree_zcount	2000	1	96	5.7e+03	4.6e+04	2e+05	2.3e+05	4.5e+06	4.3e+05	2.1
tud_Full_AND_gate_degree_min	2000	1	0	0	1	0.9	1	31	1.9	2.1
tud_Full_AND_gate_degree_max	2000	1	0	0	3	1.4e+03	78	1.1e+05	9e+03	6.4
tud_Full_AND_gate_degree_mode	2000	1	0	0	1	1.2	1	50	3.8	3.2
tud_Full_AND_gate_degree_mean	2000	1	0	0	1.1	3.9	1.9	5.4e+02	16	4.1
tud_Full_AND_gate_degree_stdev	2000	1	0	0	0.098	1.6e+04	25	1.1e+07	2.7e+05	16
tud_Full_AND_gate_degree_entropy	2000	1	0	0	0.29	0.53	0.81	5.3	0.72	1.4
tud_Full_AND_gate_degree_valuesRate	2000	1	0	0	0.00042	0.0065	0.0026	0.5	0.026	3.9
tud_Full_AND_gate_degree_Q1	2000	1	0	0	1	1.1	1	47	3.1	2.9
tud_Full_AND_gate_degree_Q2	2000	1	0	0	1	1.4	1	52	4.2	2.9
tud_Full_AND_gate_degree_Q3	2000	1	0	0	1	2.1	1	1.9e+02	7.3	3.5
tud_Full_AND_gate_weights_min	2000	1	0	0	6.1e-05	0.094	0.25	0.25	0.12	1.2
tud_Full_AND_gate_weights_max	2000	1	0	0	0.25	0.18	0.25	0.25	0.11	0.6
tud_Full_AND_gate_weights_mode	2000	1	0	0	0.25	0.15	0.25	0.25	0.12	0.79
tud_Full_AND_gate_weights_mean	2000	1	0	0	0.15	0.14	0.25	0.25	0.11	0.81
tud_Full_AND_gate_weights_stdev	2000	1	0	0	0	0.0019	0.0033	0.015	0.0034	1.7
tud_Full_AND_gate_weights_entropy	2000	1	0	0	0	0.65	0.71	5.4	1.2	1.8
tud_Full_AND_gate_weights_valuesRate	2000	1	0	0	5.3e-05	0.0037	0.00049	0.5	0.023	6.1
tud_Full_AND_gate_weights_Q1	2000	1	0	0	0.12	0.12	0.25	0.25	0.12	0.97
tud_Full_AND_gate_weights_Q2	2000	1	0	0	0.12	0.14	0.25	0.25	0.12	0.87
tud_Full_AND_gate_weights_Q3	2000	1	0	0	0.25	0.15	0.25	0.25	0.12	0.78
tud_Full_AND_gate_steps	2000	1	1.7e+02	1.4e+05	6.6e+05	2.9e+06	2.2e+06	9.2e+07	7.6e+06	2.6
tud_Blocked_AND_gate_degree_zcount	2000	1	96	8.3e+03	6e+04	2.7e+05	3e+05	4.5e+06	5.2e+05	2
tud_Blocked_AND_gate_degree_min	2000	1	0	0	0	0.27	0	63	1.5	5.5
tud_Blocked_AND_gate_degree_max	2000	1	0	0	0	33	0	4.9e+03	2.8e+02	8.5
tud_Blocked_AND_gate_degree_mode	2000	1	0	0	0	0.5	0	63	3.5	7
tud_Blocked_AND_gate_degree_mean	2000	1	0	0	0	0.63	0	63	3.1	5
tud_Blocked_AND_gate_degree_stdev	2000	1	0	0	0	97	0	2.3e+04	1.1e+03	12
tud_Blocked_AND_gate_degree_entropy	2000	1	0	0	0	0.08	0	1.4	0.22	2.7
tud_Blocked_AND_gate_degree_valuesRate	2000	1	0	0	0	0.014	0	0.67	0.057	4.1
tud_Blocked_AND_gate_degree_Q1	2000	1	0	0	0	0.35	0	63	2.7	7.7
tud_Blocked_AND_gate_degree_Q2	2000	1	0	0	0	0.5	0	63	3.5	7
tud_Blocked_AND_gate_degree_Q3	2000	1	0	0	0	0.54	0	63	3.5	6.4
tud_Blocked_AND_gate_weights_min	2000	1	0	0	0	0.033	0	0.25	0.08	2.4
tud_Blocked_AND_gate_weights_max	2000	1	0	0	0	0.05	0	0.25	0.097	1.9
tud_Blocked_AND_gate_weights_mode	2000	1	0	0	0	0.037	0	0.25	0.085	2.3
tud_Blocked_AND_gate_weights_mean	2000	1	0	0	0	0.037	0	0.25	0.082	2.2
tud_Blocked_AND_gate_weights_stdev	2000	1	0	0	0	0.00035	0	0.011	0.0015	4.3
tud_Blocked_AND_gate_weights_entropy	2000	1	0	0	0	0.11	0	3	0.42	3.9
tud_Blocked_AND_gate_weights_valuesRate	2000	1	0	0	0	0.0086	0	0.5	0.046	5.4
tud_Blocked_AND_gate_weights_Q1	2000	1	0	0	0	0.034	0	0.25	0.081	2.4
tud_Blocked_AND_gate_weights_Q2	2000	1	0	0	0	0.036	0	0.25	0.083	2.3
tud_Blocked_AND_gate_weights_Q3	2000	1	0	0	0	0.039	0	0.25	0.086	2.2
tud_Blocked_AND_gate_steps	2000	1	1.7e+02	1.3e+05	5.8e+05	2.2e+06	1.9e+06	6.8e+07	5.4e+06	2.4
tud_RWH.1_zcount	2000	0	0	4	1.5e+02	3.3e+04	5.3e+03	1.9e+07	4.3e+05	13
tud_RWH.1_min	2000	0	1	1	8	51	25	2.6e+03	2.6e+02	5.2
tud_RWH.1_max	2000	0	2.5e+02	2.9e+03	1e+04	2.3e+05	3.5e+04	1.4e+07	1.2e+06	5.2
tud_RWH.1_mode	2000	0	1	47	1.5e+02	2.9e+02	3.8e+02	1.1e+04	7.6e+02	2.6
tud_RWH.1_mean	2000	0	95	2.6e+02	3e+02	9.6e+02	6.4e+02	1.3e+04	1.7e+03	1.8
tud_RWH.1_stdev	2000	0	1.6e+03	1e+05	3.4e+05	7.4e+07	3e+06	1.5e+10	6.3e+08	8.4
tud_RWH.1_entropy	2000	0	0.2	2.1	2.8	2.9	3.4	6.3	1	0.36
tud_RWH.1_valuesRate	2000	0	5e-06	0.00094	0.0039	0.025	0.015	0.76	0.071	2.9
tud_RWH.1_Q1	2000	0	1	50	75	1.3e+02	1.2e+02	2.7e+03	2.9e+02	2.3
tud_RWH.1_Q2	2000	0	1	1.5e+02	2.5e+02	4.7e+02	2.8e+02	2.3e+04	1.7e+03	3.7
tud_RWH.1_Q3	2000	0	51	3.5e+02	3.8e+02	1.3e+03	7.5e+02	2.3e+04	2.8e+03	2.2
tud_RWH.1steps	2000	0	4.6e+02	1.3e+05	6.3e+05	2.7e+06	2.4e+06	5.9e+07	5.7e+06	2.1
tud_RWH.2_zcount	2000	0	0	0	0	0	0	0	0
tud_RWH.2_min	2000	0	1	1	1	1.7e+09	1	7.4e+11	3.2e+10	19
tud_RWH.2_max	2000	0	-5.1e+02	9.4e+02	2.6e+04	3.3e+35	1.3e+08	3.2e+38	8.3e+36	25
tud_RWH.2_mode	2000	0	-5.1e+02	1	14	6.4e+23	1.1e+02	1.3e+27	2.9e+25	45
tud_RWH.2_mean	2000	0	-5.1e+02	1.8e+02	9.4e+02	2.2e+35	1.5e+06	1.4e+38	4.2e+36	19
tud_RWH.2_stdev	2000	0	-5.1e+02	-5.1e+02	3.5e+05	3e+35	2.1e+09	1.8e+38	6.1e+36	20
tud_RWH.2_entropy	2000	0	0.21	4.7	6.2	6.1	7.3	12	1.9	0.3
tud_RWH.2_valuesRate	2000	0	1.7e-05	0.022	0.069	0.21	0.33	1	0.26	1.3
tud_RWH.2_Q1	2000	0	1	38	1.1e+02	5.7e+11	1.4e+02	4.3e+14	1.3e+13	23
tud_RWH.2_Q2	2000	0	1	1.6e+02	2.9e+02	2.2e+24	6.4e+02	1.2e+27	4.5e+25	21
tud_RWH.2_Q3	2000	0	-5.1e+02	3.5e+02	8.8e+02	8.6e+34	3e+03	1.6e+38	3.6e+36	42
tud_RWH.2steps	2000	0	4.6e+02	1.3e+05	6.4e+05	2.7e+06	2.5e+06	5.9e+07	5.8e+06	2.1
tud_RWH.3_zcount	2000	0	0	4	1.5e+02	3.3e+04	5.3e+03	1.9e+07	4.3e+05	13
tud_RWH.3_min	2000	0	-5.1e+02	1	5	1.5e+02	25	1.7e+04	1.5e+03	10
tud_RWH.3_max	2000	0	-5.1e+02	2.6e+03	4.3e+04	5.6e+28	1.3e+06	8.6e+31	2e+30	35
tud_RWH.3_mode	2000	0	-5.1e+02	5.1	50	1.5e+19	1.8e+02	2.6e+22	5.9e+20	38
tud_RWH.3_mean	2000	0	-5.1e+02	4.3e+02	1.3e+03	1.8e+26	6e+03	1.5e+29	5e+27	28
tud_RWH.3_stdev	2000	0	-5.1e+02	1e+05	1e+07	5.1e+34	1.4e+09	6.6e+37	1.7e+36	33
tud_RWH.3_entropy	2000	0	0	3.5	6.6	5.8	8.4	13	3.3	0.57
tud_RWH.3_valuesRate	2000	0	2.3e-07	0.011	0.14	0.29	0.49	1	0.34	1.2
tud_RWH.3_Q1	2000	0	-5.1e+02	25	1.1e+02	2.3e+02	2e+02	2e+04	1.5e+03	6.3
tud_RWH.3_Q2	2000	0	-5.1e+02	1.8e+02	3.5e+02	8.4e+02	4.8e+02	5.8e+04	4.4e+03	5.3
tud_RWH.3_Q3	2000	0	-5.1e+02	3.8e+02	7.3e+02	1.4e+19	1.4e+03	2.3e+22	5.3e+20	38
tud_RWH.3steps	2000	0	4.6e+02	1.3e+05	6.3e+05	2.7e+06	2.4e+06	5.9e+07	5.7e+06	2.1
tud_XOR_gate_degree_zcount	2000	6	90	6.8e+03	4.6e+04	2.3e+05	2.8e+05	4e+06	4.5e+05	1.9
tud_XOR_gate_degree_min	2000	6	0	0	1	0.76	1	4	0.58	0.76
tud_XOR_gate_degree_max	2000	6	0	0	3	23	14	1e+03	70	3
tud_XOR_gate_degree_mode	2000	6	0	0	1	1.2	2	4	1.1	0.94
tud_XOR_gate_degree_mean	2000	6	0	0	1.1	1.5	2.4	8.9	1.5	1
tud_XOR_gate_degree_stdev	2000	6	0	0	0.054	13	2.3	1e+03	57	4.5
tud_XOR_gate_degree_entropy	2000	6	0	0	0.11	0.44	0.74	2.7	0.55	1.3
tud_XOR_gate_degree_valuesRate	2000	6	0	0	0.00032	0.013	0.0043	0.5	0.056	4.2
tud_XOR_gate_degree_Q1	2000	6	0	0	1	1.1	2	4	0.97	0.9
tud_XOR_gate_degree_Q2	2000	6	0	0	1	1.2	2	7	1.1	0.95
tud_XOR_gate_degree_Q3	2000	6	0	0	1	1.6	2	14	1.9	1.2
tud_XOR_gate_weights_min	2000	6	0	0	0.12	0.11	0.25	0.25	0.1	0.88
tud_XOR_gate_weights_max	2000	6	0	0	0.25	0.16	0.25	0.25	0.11	0.7
tud_XOR_gate_weights_mode	2000	6	0	0	0.12	0.12	0.25	0.25	0.1	0.86
tud_XOR_gate_weights_mean	2000	6	0	0	0.13	0.12	0.25	0.25	0.1	0.82
tud_XOR_gate_weights_stdev	2000	6	0	0	0	0.00058	0.00038	0.0062	0.0012	2
tud_XOR_gate_weights_entropy	2000	6	0	0	0	0.15	0.15	1.3	0.28	1.9
tud_XOR_gate_weights_valuesRate	2000	6	0	0	5.7e-05	0.02	0.0012	1	0.11	5.3
tud_XOR_gate_weights_Q1	2000	6	0	0	0.12	0.12	0.25	0.25	0.1	0.88
tud_XOR_gate_weights_Q2	2000	6	0	0	0.12	0.12	0.25	0.25	0.1	0.86
tud_XOR_gate_weights_Q3	2000	6	0	0	0.12	0.13	0.25	0.25	0.1	0.82
tud_XOR_used_clauses	2000	6	1.4e+02	2.9e+04	1.5e+05	7.9e+05	6.9e+05	1.9e+07	1.8e+06	2.3
tud_XOR_used_clauses_ratio	2000	6	0.0036	0.96	0.99	0.94	1	1	0.15	0.16
tud_XOR_gate_steps	2000	6	1.3e+02	1.1e+04	9.7e+04	3.7e+05	4.1e+05	9.4e+06	7.2e+05	1.9

Algorithm Feature Values

	obs	min	qu_1st	med	mean	qu_3rd	max	sd	coeff_var
Lines..Average.	8	6.6	6.9	7.1	8.9	8.6	17	3.7	0.42
Lines..Total.	8	3.2e+03	3.4e+03	3.5e+03	9.3e+03	4.1e+03	4.8e+04	1.6e+04	1.7
Size..Average.	8	8.8e+03	8.9e+03	9.1e+03	1.9e+04	9.4e+03	9.1e+04	2.9e+04	1.5
Size..Total.	8	2e+05	2.1e+05	2.1e+05	4.5e+05	2.3e+05	2.1e+06	6.6e+05	1.5
Number.of.files	8	3	22	23	46	24	2.3e+02	75	1.6
Cyclomatic..Average.	8	1.7	1.9	1.9	2.2	2.3	3.1	0.56	0.26
Cyclomatic..Total.	8	6.9e+02	7.6e+02	7.9e+02	1.6e+03	9.2e+02	7.3e+03	2.3e+03	1.4
Max.Indent..Average.	8	1.3	1.3	1.3	1.4	1.4	1.9	0.2	0.14
Max.Indent..Total.	8	5.4e+02	5.5e+02	5.6e+02	1.1e+03	5.8e+02	4.5e+03	1.4e+03	1.3
nb_nodes	8	1.2e+05	1.3e+05	1.6e+05	1.1e+06	1.7e+05	8e+06	2.8e+06	2.4
nb_edges	8	1.3e+05	1.4e+05	1.7e+05	1.2e+06	1.8e+05	8.4e+06	2.9e+06	2.5
degree_min	8	1	1	1	1	1	1	0	0
degree_max	8	9.9e+02	2.6e+03	3.3e+03	9.6e+03	4.1e+03	5.6e+04	1.9e+04	1.9
degree_mean	8	2.1	2.1	2.1	2.1	2.1	2.1	0.0091	0.0044
degree_variance	8	15	1.1e+02	1.5e+02	1.6e+02	1.7e+02	4.1e+02	1.2e+02	0.73
degree_entropy	8	1.3	1.3	1.3	1.3	1.3	1.4	0.021	0.016
transitivity	8	2.6e-05	7.1e-05	8e-05	0.00013	0.00012	0.00049	0.00015	1.1
clustering_min	8	0	0	0	0	0	0	0
clustering_max	8	0.5	0.5	0.5	0.5	0.5	0.5	0	0
clustering_mean	8	0.0015	0.0026	0.0027	0.0026	0.0028	0.003	0.00048	0.18
clustering_variance	8	0.00023	0.00042	0.00046	0.00043	0.00047	0.0005	8.5e-05	0.2
path_min	8	1	1	1	1	1	1	0	0
paths_max	8	22	24	26	28	33	33	4.8	0.17
path_mean	8	5.5	5.5	5.5	5.9	6.3	7.1	0.65	0.11
path_variance	8	11	12	12	12	12	13	0.52	0.043
path_entropy	8	2.1	2.1	2.1	2.2	2.4	2.5	0.19	0.083
Stmt	8	0.44	0.45	0.46	0.49	0.5	0.61	0.059	0.12
Type	8	0.033	0.036	0.036	0.041	0.047	0.056	0.0087	0.21
Decl	8	0.24	0.36	0.39	0.37	0.4	0.41	0.056	0.15
Attribute	8	0.0068	0.017	0.033	0.026	0.034	0.034	0.011	0.42
Operator	8	0.044	0.047	0.049	0.049	0.05	0.06	0.0049	0.1
Literal	8	0.021	0.025	0.029	0.029	0.03	0.044	0.007	0.24
edge_ss	8	3.2e+03	3.3e+03	3.4e+03	3.6e+03	3.7e+03	4.6e+03	4.6e+02	0.13
edge_st	8	5	11	16	14	18	22	5.5	0.38
edge_sd	8	3.8e+02	3.9e+02	4.3e+02	4.3e+02	4.5e+02	5.3e+02	51	0.12
edge_sa	8	0	0	0.5	0.88	2	2	0.99	1.1
edge_so	8	5.2e+02	5.7e+02	6.5e+02	6.3e+02	6.6e+02	8.1e+02	91	0.14
edge_sl	8	0	0	0	0.12	0	1	0.35	2.8
edge_ts	8	7	10	10	15	19	31	8.1	0.55
edge_tt	8	3.9e+02	4.1e+02	4.3e+02	5.3e+02	6.2e+02	8.9e+02	1.8e+02	0.34
edge_td	8	1.3e+02	1.5e+02	1.6e+02	1.6e+02	1.7e+02	2e+02	20	0.12
edge_ta	8	0	0	0	0	0	0	0
edge_to	8	0	0	0	0	0	0	0
edge_tl	8	0	0	0	0	0	0	0
edge_ds	8	61	71	84	88	1e+02	1.3e+02	24	0.27
edge_dt	8	41	50	60	70	82	1.2e+02	29	0.42
edge_dd	8	2.1e+03	3.2e+03	3.6e+03	3.3e+03	3.6e+03	3.7e+03	5.7e+02	0.17
edge_da	8	0	0	0	0	0	0	0
edge_do	8	0	0	0	0	0	0	0
edge_dl	8	0	0	0	0	0	0	0
edge_as	8	0	0	0	0.25	0	2	0.71	2.8
edge_at	8	0	0	1	0.62	1	1	0.52	0.83
edge_ad	8	67	1.5e+02	3.1e+02	2.5e+02	3.2e+02	3.4e+02	1.1e+02	0.44
edge_aa	8	0	0	0	0	0	0	0
edge_ao	8	0	0	0	0	0	0	0
edge_al	8	0	0	0	0	0	0	0
edge_os	8	3e+02	3.5e+02	3.6e+02	3.7e+02	3.7e+02	4.7e+02	49	0.13
edge_ot	8	0	0	0	0	0	0	0
edge_od	8	7	8.5	9.5	10	12	18	3.6	0.34
edge_oa	8	0	0	0	0	0	0	0
edge_oo	8	71	87	97	96	1.1e+02	1.2e+02	16	0.16
edge_ol	8	0	0	0	0	0	0	0
edge_ls	8	1.3e+02	1.8e+02	2e+02	2.1e+02	2.2e+02	3.7e+02	71	0.34
edge_lt	8	0	0	0	0	0	0	0
edge_ld	8	13	17	20	20	25	25	4.7	0.23
edge_la	8	0	0	0	0	0	0	0
edge_lo	8	65	80	92	89	1e+02	1e+02	15	0.17
edge_ll	8	0	0	0	0	0	0	0
op_short	8	0	0	0	0.0009	0.0014	0.0044	0.0015	1.7
op_int	8	0.25	0.34	0.46	0.43	0.52	0.53	0.1	0.24
op_long	8	0.046	0.051	0.078	0.1	0.13	0.23	0.069	0.67
op_long_long	8	0.0049	0.015	0.017	0.015	0.019	0.019	0.0047	0.31
op_float	8	0	0.0014	0.0038	0.0033	0.0048	0.0061	0.0022	0.68
op_double	8	0.002	0.015	0.02	0.024	0.028	0.054	0.016	0.69
op_bit	8	0.046	0.06	0.076	0.069	0.078	0.082	0.014	0.2

Summary of feature steps

The following table summarizes the feature steps over all instances.

size (percentage of features affected by this step)
ok, ..., other (percentage of run status)
cost_min, cost_mean, cost_max (range of costs for this step)
cost_na (percentage of missing values occuring in costs)

	size	ok	timeout	memout	presolved	crash	cost_min	cost_mean	cost_max	cost_na
base	1	98	0.05	0	1.7	0	0	56	4.1e+03	0.0005
sp	1	98	0	0	1.5	0.2	0	17	1.8e+03	0.002
dia	1	99	0	0	1.5	0	0	16	1e+03	0
cl	1	99	0	0	1.5	0	0	13	9.8e+02	0
unit	1	98	0	0	1.5	0.2	0	32	1.7e+03	0.002
ls	1	98	0	0	1.5	0.2	0.024	14	1e+03	0.002
lobjois	1	99	0	0	1.5	0	0.008	11	9.9e+02	0
tud_base	1	1e+02	0	0	0	0	0.008	0.78	18	0
tud_clausesf	2	78	0	22	0	0	0	2.4	20	0.22
tud_resf	2	85	0	15	0	0	0	3.5	69	0.15
tud_varf	2	95	0	5	0	0	0	0.56	22	0.05
tud_derivativef	2	1e+02	0	0	0	0	0	0.017	1.8	0
tud_big	2	1e+02	0	0.05	0	0	0	0.26	6.9	0.0005
tud_const	2	1e+02	0	0.05	0	0	0	3.9	9.9e+02	0.0005
tud_rwhf	2	1e+02	0	0	0	0	0	0.32	6.7	0
tud_xor	2	1e+02	0	0.3	0	0	0	0.59	10	0.003
code	1	1e+02	0	0		0
AST	1	1e+02	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.