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
EXIST_VARS 1368 0 8 2.8e+02 1.4e+03 8.7e+03 3.6e+03 2.2e+06 8.1e+04 9.3
FORALL_VARS 1368 0 0 20 92 1.7e+02 2e+02 1.6e+04 5.4e+02 3.2
TOTAL_VARS 1368 0 11 3.2e+02 1.5e+03 8.9e+03 3.7e+03 2.2e+06 8.1e+04 9.2
CLAUSES 1368 0 22 1.2e+03 4.5e+03 2.6e+04 1.1e+04 5.5e+06 2e+05 7.8
LITERALS 1368 0 44 4.4e+03 1.2e+04 8.7e+04 3.4e+04 1.3e+07 6e+05 6.8
EXIST_SET 1368 0 1 1 2 10 5 4.9e+02 38 3.7
FORALL_SET 1368 0 0 1 1 9.7 4 4.9e+02 38 3.9
TOTAL_SET 1368 0 1 2 3 20 9 9.7e+02 75 3.8
UNARY_CLAUSES 1368 0 0 0 1 70 4 2.4e+04 8.2e+02 12
BINARY_CLAUSES 1368 0 0 3.2e+02 1.5e+03 1.3e+04 4.5e+03 4.1e+06 1.3e+05 10
TERNARY_MORE_CLAUSES 1368 0 4 5.1e+02 1.4e+03 1.3e+04 4.3e+03 2.9e+06 9.6e+04 7.5
POS_HORN 1368 0 7 7e+02 1.9e+03 1.8e+04 6.2e+03 4.6e+06 1.7e+05 9.7
NEG_HORN 1368 0 4 4e+02 1.6e+03 1.4e+04 4.4e+03 4.4e+06 1.4e+05 11
EXIST_LIT_PER_CLAUSE 1368 0 1 2.1 2.2 2.5 3 13 0.82 0.33
FORALL_LIT_PER_CLAUSE 1368 0 0 0.31 0.61 1.1 0.96 14 1.4 1.3
EXIST_VARS_PER_SET 1368 0 2.9 92 3.2e+02 4.2e+03 1.9e+03 1.1e+06 4.1e+04 9.8
FORALL_POS_LITS_PER_CLAUSE 1368 0 0 0.16 0.36 0.59 0.54 7.1 0.71 1.2
FORALL_NEG_LITS_PER_CLAUSE 1368 0 0 0.11 0.22 0.52 0.44 6.8 0.71 1.4
OCCS_POS_NO_PER_VAR 1368 0 1.1 2.8 3.4 12 9.7 2.3e+03 80 6.4
OCCS_FORALL_NO_PER_VAR 1368 0 0 10 20 1.8e+03 60 5.7e+05 2.5e+04 13
OCCS_FORALL_POS_NO_PER_VAR 1368 0 0 5.2 11 9.5e+02 30 2.9e+05 1.2e+04 13
W_OCCS_POS_NO_PER_VAR 1368 0 1.2 7 17 59 34 4.8e+03 2.2e+02 3.7
W_OCCS_FORALL_NO_PER_VAR 1368 0 0 19 54 4.1e+03 2e+02 1.1e+06 5.1e+04 12
W_OCCS_FORALL_POS_NO_PER_VAR 1368 0 0 9.2 27 2.1e+03 1.3e+02 5.7e+05 2.6e+04 12
W_PRODUCTS 1368 0 3.8 40 92 4.3e+03 8.8e+02 2.7e+06 7.4e+04 17
LITN_LIT 1368 0 0.37 0.5 0.55 0.55 0.6 0.97 0.074 0.13
LITEP_LIT 1368 0 0.022 0.25 0.27 0.32 0.41 0.62 0.1 0.32
LITEN_LITE 1368 0 0.37 0.51 0.56 0.58 0.64 0.97 0.093 0.16
LITEN_LITN 1368 0 0.085 0.74 0.86 0.79 0.93 1 0.19 0.24
LITFN_LIT 1368 0 0 0.04 0.079 0.11 0.16 0.46 0.093 0.83
LITFP_LITFN 1368 0 0 1 1 1.7 1.3 7.3 1.8 1
OCCP_OCCN 1368 0 0.034 0.67 0.83 0.84 1 1.7 0.23 0.28
OCCE_OCC 1368 0 0.07 0.87 0.94 0.91 1 1.2 0.13 0.14
OCCEN_OCC 1368 0 0.043 0.48 0.52 0.53 0.57 1.1 0.1 0.2
OCCFP_OCCF 1368 0 0 0.5 0.5 0.56 0.57 0.88 0.12 0.21
OCCEN_OCCE 1368 0 0.37 0.51 0.56 0.58 0.64 0.97 0.093 0.16
OCCEN_OCCN 1368 0 0.086 0.94 0.98 0.95 1 1.3 0.12 0.13
OCCFP_OCCFN 1368 0 0 1 1 1.7 1.3 7.3 1.8 1
TERMORE_CLAUSE 1368 0 0.0058 0.24 0.51 0.55 0.96 1 0.34 0.62
NEG_HORN_CLAUSE 1368 0 0.00042 0.12 0.5 0.42 0.63 0.85 0.25 0.59
WOCCN_WOCC 1368 0 0.37 0.5 0.55 0.56 0.59 0.97 0.076 0.14
WOCCEP_WOCC 1368 0 0.029 0.33 0.42 0.44 0.5 0.73 0.15 0.33
WOCCFN_WOCC 1368 0 0 0.33 0.5 24 1.6 5.4e+03 2.7e+02 11
WOCCEP_WOCCE 1368 0 0.031 0.36 0.44 0.42 0.49 0.64 0.092 0.22
WOCCEP_WOCCP 1368 0 0.059 0.87 0.96 0.97 1 1.4 0.22 0.23
WOCCFN_WOCCN 1368 0 0 0.65 0.82 47 2.6 1.1e+04 5.3e+02 11

Summary of feature steps

The following table summarizes the feature steps over all instances.
size ok timeout memout presolved crash other unknown
all_feats 1 1e+02 0 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 2 C880.blif_0.10_0.20_0_0_out_exact +++++++ C880.blif_0.10_0.20_0_1_out_exact
2 2 Core1108_tbm_02.tex.moduleQ3.2S.000007 +++++++ Core1108_tbm_02.tex.moduleQ3.2S.000077
3 2 Core1108_tbm_02.tex.moduleQ3.2S.000099 +++++++ Core1108_tbm_02.tex.moduleQ3.2S.000108
4 2 Core1108_tbm_03.tex.module.000038 +++++++ Core1108_tbm_03.tex.module.000039
5 2 Core1108_tbm_03.tex.moduleQ3.2S.000002 +++++++ Core1108_tbm_03.tex.moduleQ3.2S.000018
6 2 Core1108_tbm_03.tex.moduleQ3.2S.000009 +++++++ Core1108_tbm_03.tex.moduleQ3.2S.000048
7 2 Core1108_tbm_09.tex.module.000008 +++++++ Core1108_tbm_09.tex.module.000010
8 4 Core1108_tbm_09.tex.moduleQ3.10S.000001 +++++++ Core1108_tbm_09.tex.moduleQ3.2S.000005 +++++++ Core1108_tbm_09.tex.moduleQ3.2S.000011 +++++++ Core1108_tbm_09.tex.moduleQ3.9S.000001
9 2 Core1108_tbm_21.tex.moduleQ3.2S.000007 +++++++ Core1108_tbm_21.tex.moduleQ3.2S.000027
10 4 Core1108_tbm_21.tex.moduleQ3.2S.000011 +++++++ Core1108_tbm_21.tex.moduleQ3.2S.000015 +++++++ Core1108_tbm_21.tex.moduleQ3.2S.000019 +++++++ Core1108_tbm_21.tex.moduleQ3.2S.000024
11 3 robots_1_5_2_10.2 +++++++ robots_1_5_2_14.2 +++++++ robots_1_5_2_47.2
12 3 robots_1_5_2_100.2 +++++++ robots_1_5_2_31.2 +++++++ robots_1_5_2_85.2
13 8 robots_1_5_2_100.4 +++++++ robots_1_5_2_21.4 +++++++ robots_1_5_2_3.4 +++++++ robots_1_5_2_39.4 +++++++ robots_1_5_2_45.4 +++++++ ...
14 5 robots_1_5_2_100.8 +++++++ robots_1_5_2_40.8 +++++++ robots_1_5_2_54.8 +++++++ robots_1_5_2_61.8 +++++++ robots_1_5_2_9.8
15 2 robots_1_5_2_32.8 +++++++ robots_1_5_2_75.8
16 3 robots_1_5_2_33.2 +++++++ robots_1_5_2_49.2 +++++++ robots_1_5_2_81.2
17 2 robots_1_5_2_67.8 +++++++ robots_1_5_2_82.8
18 5 robots_1_5_3_100.2 +++++++ robots_1_5_3_51.2 +++++++ robots_1_5_3_62.2 +++++++ robots_1_5_3_80.2 +++++++ robots_1_5_3_91.2
19 4 robots_1_5_3_100.4 +++++++ robots_1_5_3_16.4 +++++++ robots_1_5_3_44.4 +++++++ robots_1_5_3_66.4
20 5 robots_1_5_3_100.8 +++++++ robots_1_5_3_16.8 +++++++ robots_1_5_3_27.8 +++++++ robots_1_5_3_39.8 +++++++ robots_1_5_3_44.8
21 3 robots_1_5_3_2.4 +++++++ robots_1_5_3_20.4 +++++++ robots_1_5_3_52.4
22 2 robots_1_5_3_24.4 +++++++ robots_1_5_3_57.4
23 4 robots_1_5_3_25.2 +++++++ robots_1_5_3_26.2 +++++++ robots_1_5_3_30.2 +++++++ robots_1_5_3_52.2
24 3 robots_1_5_3_55.8 +++++++ robots_1_5_3_64.8 +++++++ robots_1_5_3_8.8
25 2 robots_1_5_3_70.8 +++++++ robots_1_5_3_90.8
26 5 robots_1_5_4_100.2 +++++++ robots_1_5_4_22.2 +++++++ robots_1_5_4_32.2 +++++++ robots_1_5_4_71.2 +++++++ robots_1_5_4_73.2
27 3 robots_1_5_4_100.4 +++++++ robots_1_5_4_46.4 +++++++ robots_1_5_4_50.4
28 4 robots_1_5_4_100.8 +++++++ robots_1_5_4_46.8 +++++++ robots_1_5_4_96.8 +++++++ robots_1_5_4_99.8
29 5 robots_1_5_4_17.8 +++++++ robots_1_5_4_24.8 +++++++ robots_1_5_4_56.8 +++++++ robots_1_5_4_75.8 +++++++ robots_1_5_4_91.8
30 4 robots_1_5_4_2.4 +++++++ robots_1_5_4_51.4 +++++++ robots_1_5_4_91.4 +++++++ robots_1_5_4_98.4
31 3 robots_1_5_4_30.4 +++++++ robots_1_5_4_31.4 +++++++ robots_1_5_4_87.4
32 3 robots_1_5_4_44.2 +++++++ robots_1_5_4_52.2 +++++++ robots_1_5_4_81.2
33 2 robots_1_5_4_59.2 +++++++ robots_1_5_4_75.2
34 10 robots_1_5_5_10.8 +++++++ robots_1_5_5_100.8 +++++++ robots_1_5_5_12.8 +++++++ robots_1_5_5_14.8 +++++++ robots_1_5_5_33.8 +++++++ ...
35 10 robots_1_5_5_100.2 +++++++ robots_1_5_5_15.2 +++++++ robots_1_5_5_24.2 +++++++ robots_1_5_5_31.2 +++++++ robots_1_5_5_38.2 +++++++ ...
36 10 robots_1_5_5_100.4 +++++++ robots_1_5_5_12.4 +++++++ robots_1_5_5_26.4 +++++++ robots_1_5_5_30.4 +++++++ robots_1_5_5_34.4 +++++++ ...
37 2 S-adeu-1 +++++++ S-adeu-3
38 2 S-edau-1 +++++++ S-edau-3
39 2 T-adeu-1 +++++++ T-adeu-3
40 2 T-edau-1 +++++++ T-edau-3
41 2 test1_quant_squaring2 +++++++ test1_quant2
42 2 test4_quant_squaring2 +++++++ test4_quant2
43 2 Umbrella_tbm_14.tex.moduleQ2.1S.000812 +++++++ Umbrella_tbm_14.tex.moduleQ2.2S.000003
44 2 Umbrella_tbm_21.tex.module.000044 +++++++ Umbrella_tbm_21.tex.module.000049
45 3 Umbrella_tbm_24.tex.moduleQ2.1S.000022 +++++++ Umbrella_tbm_24.tex.moduleQ2.1S.000136 +++++++ Umbrella_tbm_24.tex.moduleQ2.1S.000188
46 2 Umbrella_tbm_25.tex.moduleQ3.2S.000052 +++++++ Umbrella_tbm_25.tex.moduleQ3.2S.000075
47 3 Umbrella_tbm_26.tex.moduleQ3.2S.000009 +++++++ Umbrella_tbm_26.tex.moduleQ3.2S.000020 +++++++ Umbrella_tbm_26.tex.moduleQ3.2S.000037