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
EXIST_VARS	1254	14	63	9.8e+02	3.1e+03	1.1e+04	8.9e+03	5.8e+05	3.1e+04	2.8
FORALL_VARS	1254	14	1	8	33	3.8e+02	1.7e+02	2.3e+04	1.8e+03	4.8
TOTAL_VARS	1254	14	70	1e+03	3.2e+03	1.1e+04	9.2e+03	5.8e+05	3.1e+04	2.7
CLAUSES	1254	14	1.8e+02	7.1e+03	2.2e+04	1.6e+05	8.1e+04	5.2e+06	4.5e+05	2.9
LITERALS	1254	14	4.5e+02	3e+04	1e+05	5.8e+05	3.4e+05	1.6e+07	1.5e+06	2.6
EXIST_SET	1254	14	1	2	2	4.6	4	2.2e+02	9.3	2
FORALL_SET	1254	14	1	1	1	3.7	3	2.2e+02	9.4	2.5
TOTAL_SET	1254	14	2	3	3	8.3	7	4.4e+02	19	2.2
UNARY_CLAUSES	1254	14	0	0	1	3.1e+03	29	1.1e+05	1.3e+04	4.2
BINARY_CLAUSES	1254	14	0	1.1e+03	9.2e+03	1.3e+05	4.8e+04	5.1e+06	4.3e+05	3.2
TERNARY_MORE_CLAUSES	1254	14	47	2.4e+03	6e+03	2.1e+04	1.5e+04	2.9e+06	1.1e+05	5.3
POS_HORN	1254	14	14	3.3e+03	1.3e+04	1.4e+05	5.6e+04	5.1e+06	4.5e+05	3.1
NEG_HORN	1254	14	4	1.2e+03	4.4e+03	1.8e+04	2.1e+04	6.9e+05	3.6e+04	2.1
EXIST_LIT_PER_CLAUSE	1254	14	1	2.1	2.4	8.1	4	2.3e+02	24	3
FORALL_LIT_PER_CLAUSE	1254	14	2.7e-05	0.015	0.12	1.2	0.49	40	3.6	2.9
EXIST_VARS_PER_SET	1254	14	24	2.5e+02	9.9e+02	5.1e+03	4.4e+03	2.9e+05	1.6e+04	3
FORALL_POS_LITS_PER_CLAUSE	1254	14	1.8e-05	0.0076	0.059	0.72	0.25	20	2.3	3.2
FORALL_NEG_LITS_PER_CLAUSE	1254	14	7e-06	0.0074	0.056	0.51	0.22	20	1.5	2.9
OCCS_POS_NO_PER_VAR	1254	14	1.1	3.2	4	48	24	3.8e+03	2e+02	4.2
OCCS_FORALL_NO_PER_VAR	1254	14	2	8.6	27	5.1e+03	2.5e+02	5.7e+05	3.7e+04	7.2
OCCS_FORALL_POS_NO_PER_VAR	1254	14	1	4.4	16	2.6e+03	1.3e+02	2.9e+05	1.9e+04	7.3
W_OCCS_POS_NO_PER_VAR	1254	14	2.5	6.7	13	2.1e+02	1e+02	7.9e+03	6.4e+02	3.1
W_OCCS_FORALL_NO_PER_VAR	1254	14	4	23	77	1.4e+04	8.6e+02	1.1e+06	7.9e+04	5.7
W_OCCS_FORALL_POS_NO_PER_VAR	1254	14	2	10	38	7.2e+03	4.4e+02	5.7e+05	4.1e+04	5.6
W_PRODUCTS	1254	14	6.3	38	2.7e+02	7e+04	3.5e+03	7.6e+06	3.8e+05	5.4
LITN_LIT	1254	14	0.069	0.49	0.58	0.64	0.85	0.98	0.19	0.3
LITEP_LIT	1254	14	0.0043	0.12	0.34	0.3	0.46	0.9	0.18	0.6
LITEN_LITE	1254	14	0.03	0.5	0.6	0.65	0.85	1	0.2	0.31
LITEN_LITN	1254	14	0.082	0.89	0.98	0.9	1	1	0.17	0.19
LITFN_LIT	1254	14	3e-06	0.003	0.013	0.048	0.058	0.46	0.081	1.7
LITFP_LITFN	1254	14	0.13	1	1	1.5	1.2	1.8e+02	5.6	3.8
OCCP_OCCN	1254	14	0.016	0.18	0.72	0.73	1	13	0.79	1.1
OCCE_OCC	1254	14	0.07	0.92	1	0.94	1	1.3	0.15	0.16
OCCEN_OCC	1254	14	0.031	0.48	0.56	0.63	0.86	1.3	0.25	0.39
OCCFP_OCCF	1254	14	0.11	0.5	0.5	0.53	0.55	0.99	0.079	0.15
OCCEN_OCCE	1254	14	0.03	0.5	0.6	0.65	0.85	1	0.2	0.31
OCCEN_OCCN	1254	14	0.086	0.93	1	0.95	1	1.5	0.16	0.17
OCCFP_OCCFN	1254	14	0.13	1	1	1.5	1.2	1.8e+02	5.6	3.8
TERMORE_CLAUSE	1254	14	0.0058	0.088	0.3	0.41	0.85	1	0.37	0.9
NEG_HORN_CLAUSE	1254	14	0.00042	0.037	0.3	0.37	0.73	0.98	0.33	0.89
WOCCN_WOCC	1254	14	0.05	0.49	0.57	0.62	0.8	0.97	0.18	0.3
WOCCEP_WOCC	1254	14	0.0044	0.18	0.39	0.35	0.49	1.2	0.19	0.54
WOCCFN_WOCC	1254	14	0.0072	0.2	0.55	22	2.3	2.4e+03	1.6e+02	7.6
WOCCEP_WOCCE	1254	14	0.004	0.19	0.42	0.37	0.51	0.97	0.19	0.52
WOCCEP_WOCCP	1254	14	0.06	0.91	0.98	0.91	1	1.7	0.21	0.23
WOCCFN_WOCCN	1254	14	0.025	0.35	0.93	43	5	4.7e+03	3.3e+02	7.7

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	other	unknown
default	1	99	0	0	0	1.1	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	2	applications/complexity/query06_query05_1344 +++++++ applications/complexity/query71_query04_1344
2	2	applications/complexity/query31_eequery_1344n +++++++ applications/complexity/query36_query25_1344n
3	2	applications/complexity/query71_query31_1344n +++++++ applications/complexity/query71_query36_1344n
4	2	applications/planning/depots01_4 +++++++ applications/planning/depots01_5
5	2	applications/planning/depots03_7 +++++++ applications/planning/depots03_8
6	2	applications/planning/depots04_7 +++++++ applications/planning/depots04_8
7	3	applications/planning/depots05_7 +++++++ applications/planning/depots05_8 +++++++ applications/planning/depots05_9
8	2	applications/planning/depots06_15 +++++++ applications/planning/depots06_16
9	2	applications/planning/depots08_6 +++++++ applications/planning/depots08_7
10	2	applications/planning/depots09_11 +++++++ applications/planning/depots09_12
11	2	applications/planning/depots13_7 +++++++ applications/planning/depots13_8
12	2	applications/planning/depots16_5 +++++++ applications/planning/depots16_6
13	2	applications/planning/driverlog01_5 +++++++ applications/planning/driverlog01_6
14	2	applications/planning/driverlog15_6 +++++++ applications/planning/driverlog15_7
15	2	applications/planning/freecell02_4 +++++++ applications/planning/freecell02_5
16	2	applications/planning/freecell03_5 +++++++ applications/planning/freecell03_6
17	2	applications/planning/freecell04_7 +++++++ applications/planning/freecell04_8
18	2	applications/planning/pipesnotankage11_6 +++++++ applications/planning/pipesnotankage11_7
19	2	applications/planning/pipesnotankage12_7 +++++++ applications/planning/pipesnotankage12_8
20	3	applications/planning/pipesnotankage13_5 +++++++ applications/planning/pipesnotankage13_6 +++++++ applications/planning/pipesnotankage13_7
21	2	applications/planning/pipesnotankage14_10 +++++++ applications/planning/pipesnotankage14_9
22	2	applications/planning/pipesnotankage15_8 +++++++ applications/planning/pipesnotankage15_9
23	2	applications/planning/pipesnotankage16_8 +++++++ applications/planning/pipesnotankage16_9
24	3	applications/planning/pipesnotankage17_5 +++++++ applications/planning/pipesnotankage17_6 +++++++ applications/planning/pipesnotankage17_7
25	3	applications/planning/pipesnotankage18_7 +++++++ applications/planning/pipesnotankage18_8 +++++++ applications/planning/pipesnotankage18_9
26	2	applications/planning/pipesnotankage19_7 +++++++ applications/planning/pipesnotankage19_8
27	3	applications/testing/b14_PR_1_2 +++++++ applications/testing/b14_PR_1_75 +++++++ applications/testing/b14_PR_7_20
28	2	applications/testing/b14_PR_1_5 +++++++ applications/testing/b14_PR_7_90
29	2	applications/testing/b15_PR_2_20 +++++++ applications/testing/b15_PR_2_75
30	2	applications/testing/b15_PR_3_2 +++++++ applications/testing/b15_PR_3_5
31	2	applications/testing/b15_PR_3_50 +++++++ applications/testing/b15_PR_3_75
32	2	applications/testing/b15_PR_4_10 +++++++ applications/testing/b15_PR_4_5
33	4	applications/testing/b17_PR_1_2 +++++++ applications/testing/b17_PR_1_75 +++++++ applications/testing/b17_PR_2_2 +++++++ applications/testing/b17_PR_2_75
34	2	applications/testing/b17_PR_2_10 +++++++ applications/testing/b17_PR_2_20
35	4	applications/testing/b17_PR_5_5 +++++++ applications/testing/b17_PR_6_2 +++++++ applications/testing/b17_PR_6_20 +++++++ applications/testing/b17_PR_6_90
36	2	applications/testing/b17_PR_6_50 +++++++ applications/testing/b17_PR_7_50
37	2	applications/testing/b18_PR_1_90 +++++++ applications/testing/b18_PR_3_50
38	2	applications/testing/b18_PR_2_10 +++++++ applications/testing/b18_PR_2_5
39	2	applications/testing/b18_PR_6_50 +++++++ applications/testing/b18_PR_8_75
40	6	applications/testing/b20_PR_5_10 +++++++ applications/testing/b20_PR_5_2 +++++++ applications/testing/b20_PR_5_50 +++++++ applications/testing/b20_PR_6_10 +++++++ applications/testing/b20_PR_6_50 +++++++ ...
41	3	applications/testing/b20_PR_5_20 +++++++ applications/testing/b20_PR_7_20 +++++++ applications/testing/b20_PR_7_90
42	2	applications/testing/b20_PR_8_75 +++++++ applications/testing/b20_PR_9_20
43	3	applications/testing/b21_PR_0_20 +++++++ applications/testing/b21_PR_0_5 +++++++ applications/testing/b21_PR_2_5
44	4	applications/testing/b22_PR_3_75 +++++++ applications/testing/b22_PR_3_90 +++++++ applications/testing/b22_PR_4_2 +++++++ applications/testing/b22_PR_4_5
45	2	applications/testing/b22_PR_9_2 +++++++ applications/testing/b22_PR_9_50
46	3	applications/testing/s01423_PR_6_20 +++++++ applications/testing/s01423_PR_6_5 +++++++ applications/testing/s01423_PR_8_2
47	7	applications/testing/s05378_PR_0_20 +++++++ applications/testing/s05378_PR_1_2 +++++++ applications/testing/s05378_PR_1_75 +++++++ applications/testing/s05378_PR_2_2 +++++++ applications/testing/s05378_PR_4_2 +++++++ ...
48	2	applications/testing/s05378_PR_1_10 +++++++ applications/testing/s05378_PR_7_50
49	2	applications/testing/s05378_PR_6_5 +++++++ applications/testing/s05378_PR_6_50
50	9	applications/testing/s09234_PR_2_2 +++++++ applications/testing/s09234_PR_2_75 +++++++ applications/testing/s09234_PR_3_5 +++++++ applications/testing/s09234_PR_3_50 +++++++ applications/testing/s09234_PR_4_75 +++++++ ...
51	4	applications/testing/s15850_PR_0_2 +++++++ applications/testing/s15850_PR_5_90 +++++++ applications/testing/s15850_PR_8_10 +++++++ applications/testing/s15850_PR_8_50
52	2	applications/testing/s15850_PR_3_5 +++++++ applications/testing/s15850_PR_6_20
53	2	applications/testing/s15850_PR_5_75 +++++++ applications/testing/s15850_PR_9_5
54	2	applications/testing/s38584_PR_1_2 +++++++ applications/testing/s38584_PR_3_5
55	4	applications/testing/s38584_PR_4_10 +++++++ applications/testing/s38584_PR_5_10 +++++++ applications/testing/s38584_PR_5_90 +++++++ applications/testing/s38584_PR_7_10
56	2	eval2012r2/C880.blif_0.10_0.20_0_0_out_exact +++++++ eval2012r2/C880.blif_0.10_0.20_0_1_out_exact
57	3	eval2012r2/lights3_021_0_009 +++++++ eval2012r2/lights3_021_0_013 +++++++ eval2012r2/lights3_021_0_027
58	3	eval2012r2/lights3_035_0_002 +++++++ eval2012r2/lights3_035_0_027 +++++++ eval2012r2/lights3_035_0_051
59	2	eval2012r2/s510_d26_s +++++++ preproc_track_set/s510_d26_s
60	2	eval2012r2/test1_quant_squaring2 +++++++ eval2012r2/test1_quant2
61	2	eval2012r2/test2_quant_squaring2 +++++++ eval2012r2/test2_quant2
62	2	eval2012r2/Umbrella_tbm_26.tex.moduleQ3.2S.000020 +++++++ eval2012r2/Umbrella_tbm_26.tex.moduleQ3.2S.000037
63	14	preproc_track_set/k_ph_n-16 +++++++ preproc_track_set/k_ph_n-17 +++++++ preproc_track_set/k_ph_n-18 +++++++ preproc_track_set/k_ph_n-20 +++++++ preproc_track_set/k_ph_n-21 +++++++ ...