XCSP 2.1 Benchmark Database

Instance: normalized-b1_ext
Number of variables: 24
Number of constraints: 45
Satisfiable: None
Timestamp: 2018-04-21 10:27:35
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 24
Number of constraints: 45

General features

Number of coarse blocks: 846
Number of unique subscopes: 43

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Arity 2 9 3.20 2.00 144 2.71e+20 47.05 1.75 0.55 1.37

Coarse blocks size 1 256 17.45 7.00 14,764 MAX VALUE 1,566.29 38.29 2.19 2.25

Relational linkage 0.50 1.00 0.92 1.00 221.50 0.00 -27.06 0.17 0.19 0.88

Tightness 0.00 0.25 0.17 0.25 7.52 0.00 -99.81 0.10 0.60 1.37

Tuples 3 511 28.69 3.00 1,291 MAX VALUE 91.26 82.65 2.88 1.37

Domain size 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00

Constraints per subscope 2 9 4.56 4.00 196 2.05e+26 60.58 2.02 0.44 1.94

Partitions per subscope 2 32 5.63 2.00 242 2.42e+24 56.14 6.95 1.23 1.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	9	3.20	2.00	144	2.71e+20	47.05	1.75	0.55	1.37
Coarse blocks size	1	256	17.45	7.00	14,764	MAX VALUE	1,566.29	38.29	2.19	2.25
Relational linkage	0.50	1.00	0.92	1.00	221.50	0.00	-27.06	0.17	0.19	0.88
Tightness	0.00	0.25	0.17	0.25	7.52	0.00	-99.81	0.10	0.60	1.37
Tuples	3	511	28.69	3.00	1,291	MAX VALUE	91.26	82.65	2.88	1.37
Domain size	2	2	2.00	2.00	48	16,777,200	16.64	0.00	0.00	0.00
Constraints per subscope	2	9	4.56	4.00	196	2.05e+26	60.58	2.02	0.44	1.94
Partitions per subscope	2	32	5.63	2.00	242	2.42e+24	56.14	6.95	1.23	1.27

Tree decomposition

Number of clusters: 10
Number of leaves: 3
Tree depth: 4
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-b1_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-b1_ext/Tree1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Cluster constraints 3 10 6.00 5.50 60 29,767,500 17.21 2.19 0.37 1.70

Cluster variables 3 13 8.40 8.00 84 737,837,000 20.42 3.20 0.38 2.03

Separator constraints 0 5 1.50 1.00 15 0 None 1.28 0.86 1.09

Separator variables 0 12 6.00 6.00 60 0 None 3.35 0.56 2.03

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	10	6.00	5.50	60	29,767,500	17.21	2.19	0.37	1.70
Cluster variables	3	13	8.40	8.00	84	737,837,000	20.42	3.20	0.38	2.03
Separator constraints	0	5	1.50	1.00	15	0	None	1.28	0.86	1.09
Separator variables	0	12	6.00	6.00	60	0	None	3.35	0.56	2.03

Dual tree decomposition

Number of clusters: 18
Number of leaves: 5
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-b1_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-b1_ext/DualTree1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Cluster constraints 12 74 49.61 46.00 893 1.00e+30 69.08 15.52 0.31 2.63

Cluster variables 6 18 13.22 13.50 238 9.44e+19 45.99 2.80 0.21 1.92

Separator constraints 0 57 33.17 33.00 597 0 None 15.02 0.45 2.43

Separator variables 0 14 10.72 12.00 193 0 None 3.33 0.31 1.60

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	12	74	49.61	46.00	893	1.00e+30	69.08	15.52	0.31	2.63
Cluster variables	6	18	13.22	13.50	238	9.44e+19	45.99	2.80	0.21	1.92
Separator constraints	0	57	33.17	33.00	597	0	None	15.02	0.45	2.43
Separator variables	0	14	10.72	12.00	193	0	None	3.33	0.31	1.60

Primal graph

Density: 52.17%
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-b1_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-b1_ext/Primal1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.53 1.00 0.77 0.77 18.54 0.00 -6.57 0.13 0.17 2.56

Degree 2 18 12.00 12.50 288 5.33e+24 56.94 4.73 0.39 2.37

Eccentricity 2 4 2.83 3.00 68 4.41e+10 24.51 0.55 0.20 0.82

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.53	1.00	0.77	0.77	18.54	0.00	-6.57	0.13	0.17	2.56
Degree	2	18	12.00	12.50	288	5.33e+24	56.94	4.73	0.39	2.37
Eccentricity	2	4	2.83	3.00	68	4.41e+10	24.51	0.55	0.20	0.82

Triangulated primal graph

Density: 56.52%

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.63 1.00 0.83 0.83 19.88 0.01 -4.78 0.12 0.15 2.58

Degree 2 20 13.00 14.00 312 3.25e+25 58.74 5.05 0.39 2.29

Eccentricity 2 4 2.79 3.00 67 2.94e+10 24.10 0.58 0.21 0.86

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.63	1.00	0.83	0.83	19.88	0.01	-4.78	0.12	0.15	2.58
Degree	2	20	13.00	14.00	312	3.25e+25	58.74	5.05	0.39	2.29
Eccentricity	2	4	2.79	3.00	67	2.94e+10	24.10	0.58	0.21	0.86

Dual graph

Density: 29.90%
MCB compute time (ms): 9
MCB cycles: 260
Triangles: 727
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-b1_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-b1_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.37 0.81 0.59 0.60 26.34 0.00 -24.64 0.09 0.15 3.06

Degree 5 28 13.16 12.00 592 MAX VALUE 113.61 4.55 0.35 2.41

Eccentricity 2 4 2.87 3.00 129 2.05e+20 46.77 0.45 0.16 0.64

MCB cycle size 3 5 3.04 3.00 790 MAX VALUE 288.45 0.21 0.07 0.16

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.37	0.81	0.59	0.60	26.34	0.00	-24.64	0.09	0.15	3.06
Degree	5	28	13.16	12.00	592	MAX VALUE	113.61	4.55	0.35	2.41
Eccentricity	2	4	2.87	3.00	129	2.05e+20	46.77	0.45	0.16	0.64
MCB cycle size	3	5	3.04	3.00	790	MAX VALUE	288.45	0.21	0.07	0.16

Minimal dual graph

Density: 7.78%
MCB compute time (ms): 3
MCB cycles: 33

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.00 0.17 0.01 0.00 0.50 0.00 None 0.04 3.74 0.24

Degree 2 4 3.42 3.00 154 4.91e+23 54.55 0.61 0.18 0.89

Eccentricity 5 7 5.58 6.00 251 3.08e+33 77.11 0.58 0.10 0.84

MCB cycle size 3 8 5.21 5.00 172 2.04e+23 53.67 1.15 0.22 1.50

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.17	0.01	0.00	0.50	0.00	None	0.04	3.74	0.24
Degree	2	4	3.42	3.00	154	4.91e+23	54.55	0.61	0.18	0.89
Eccentricity	5	7	5.58	6.00	251	3.08e+33	77.11	0.58	0.10	0.84
MCB cycle size	3	8	5.21	5.00	172	2.04e+23	53.67	1.15	0.22	1.50

Triangulated dual graph

Density: 49.19%
Triangles: 2,788

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.59 1.00 0.81 0.81 36.42 0.00 -10.03 0.12 0.15 3.47

Degree 5 36 21.64 23.00 974 MAX VALUE 134.89 7.73 0.36 2.76

Eccentricity 2 3 2.58 3.00 116 1.33e+18 41.73 0.49 0.19 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.59	1.00	0.81	0.81	36.42	0.00	-10.03	0.12	0.15	3.47
Degree	5	36	21.64	23.00	974	MAX VALUE	134.89	7.73	0.36	2.76
Eccentricity	2	3	2.58	3.00	116	1.33e+18	41.73	0.49	0.19	0.68

Triangulated minimal dual graph

Density: 20.20%

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.43 1.00 0.74 0.72 33.31 0.00 -15.32 0.20 0.27 2.70

Degree 2 22 8.89 6.00 400 3.96e+37 86.57 6.16 0.69 2.58

Eccentricity 3 5 3.67 4.00 165 1.36e+25 57.87 0.60 0.16 0.88

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.43	1.00	0.74	0.72	33.31	0.00	-15.32	0.20	0.27	2.70
Degree	2	22	8.89	6.00	400	3.96e+37	86.57	6.16	0.69	2.58
Eccentricity	3	5	3.67	4.00	165	1.36e+25	57.87	0.60	0.16	0.88

Incidence graph

Density: 6.14%
MCB compute time (ms): 6
MCB cycles: 76
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-b1_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-b1_ext/Incidence1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00

Degree 2 9 4.17 4.00 288 2.67e+38 88.48 2.23 0.53 1.78

Eccentricity 5 8 6.19 6.00 427 MAX VALUE 125.16 0.82 0.13 1.20

MCB cycle size 4 8 4.89 4.00 372 MAX VALUE 119.03 1.05 0.21 0.74

XCSP 2.1 Benchmarks