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

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

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.