XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-8_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:57:05
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 250

General features

Number of coarse blocks: 8,000
Number of unique subscopes: 40

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

Arity 2 2 2.00 2.00 500 MAX VALUE 173.29 0.00 0.00 0.00

Coarse blocks size 3 16 10.36 10.00 82,898 MAX VALUE 18,559.00 1.91 0.18 2.06

Relational linkage 0.19 0.69 0.45 0.44 287.19 0.00 -522.16 0.07 0.16 1.58

Tightness 0.28 0.43 0.35 0.35 88.09 0.00 -261.52 0.03 0.08 3.28

Tuples 146 185 165.80 166.00 41,449 MAX VALUE 1,277.47 6.91 0.04 3.28

Domain size 16 16 16.00 16.00 640 MAX VALUE 110.90 0.00 0.00 0.00

Constraints per subscope 7 19 12.50 13.00 500 MAX VALUE 99.86 2.97 0.24 2.30

Partitions per subscope 16 16 16.00 16.00 640 MAX VALUE 110.90 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	500	MAX VALUE	173.29	0.00	0.00	0.00
Coarse blocks size	3	16	10.36	10.00	82,898	MAX VALUE	18,559.00	1.91	0.18	2.06
Relational linkage	0.19	0.69	0.45	0.44	287.19	0.00	-522.16	0.07	0.16	1.58
Tightness	0.28	0.43	0.35	0.35	88.09	0.00	-261.52	0.03	0.08	3.28
Tuples	146	185	165.80	166.00	41,449	MAX VALUE	1,277.47	6.91	0.04	3.28
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	7	19	12.50	13.00	500	MAX VALUE	99.86	2.97	0.24	2.30
Partitions per subscope	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00

Tree decomposition

Number of clusters: 16
Number of leaves: 8
Tree depth: 4
Dot-file path: None
PDF-file path: None

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

Cluster constraints 13 111 53.69 44.00 859 5.69e+25 59.30 36.62 0.68 2.69

Cluster variables 8 25 16.00 15.50 256 5.02e+18 43.06 6.26 0.39 2.22

Separator constraints 0 100 38.06 27.50 609 0 None 34.57 0.91 2.39

Separator variables 0 24 13.50 12.00 216 0 None 6.78 0.50 2.34

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	13	111	53.69	44.00	859	5.69e+25	59.30	36.62	0.68	2.69
Cluster variables	8	25	16.00	15.50	256	5.02e+18	43.06	6.26	0.39	2.22
Separator constraints	0	100	38.06	27.50	609	0	None	34.57	0.91	2.39
Separator variables	0	24	13.50	12.00	216	0	None	6.78	0.50	2.34

Dual tree decomposition

Number of clusters: 38
Number of leaves: 17
Tree depth: 5
Dot-file path: None
PDF-file path: None

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

Cluster constraints 51 825 268.18 201.00 10,191 MAX VALUE 203.56 194.75 0.73 3.56

Cluster variables 14 129 42.84 32.00 1,628 MAX VALUE 135.91 28.81 0.67 3.35

Separator constraints 0 460 187.87 162.00 7,139 0 None 114.38 0.61 3.56

Separator variables 0 96 36.26 28.50 1,378 0 None 21.83 0.60 3.28

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	51	825	268.18	201.00	10,191	MAX VALUE	203.56	194.75	0.73	3.56
Cluster variables	14	129	42.84	32.00	1,628	MAX VALUE	135.91	28.81	0.67	3.35
Separator constraints	0	460	187.87	162.00	7,139	0	None	114.38	0.61	3.56
Separator variables	0	96	36.26	28.50	1,378	0	None	21.83	0.60	3.28

Primal graph

Density: 32.05%
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.14 0.42 0.31 0.32 12.43 0.00 -47.71 0.06 0.21 3.45

Degree 7 19 12.50 13.00 500 MAX VALUE 99.86 2.97 0.24 2.30

Eccentricity 2 3 2.23 2.00 89 4.23e+13 31.38 0.42 0.19 0.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.14	0.42	0.31	0.32	12.43	0.00	-47.71	0.06	0.21	3.45
Degree	7	19	12.50	13.00	500	MAX VALUE	99.86	2.97	0.24	2.30
Eccentricity	2	3	2.23	2.00	89	4.23e+13	31.38	0.42	0.19	0.53

Triangulated primal graph

Density: 66.15%

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

Clustering coefficient 0.76 1.00 0.87 0.86 34.83 0.00 -5.69 0.08 0.09 3.24

Degree 7 34 25.80 30.50 1,032 MAX VALUE 126.02 9.18 0.36 2.57

Eccentricity 2 3 2.10 2.00 84 5.57e+12 29.35 0.30 0.14 0.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.76	1.00	0.87	0.86	34.83	0.00	-5.69	0.08	0.09	3.24
Degree	7	34	25.80	30.50	1,032	MAX VALUE	126.02	9.18	0.36	2.57
Eccentricity	2	3	2.10	2.00	84	5.57e+12	29.35	0.30	0.14	0.33

Dual graph

Density: 9.81%
MCB compute time (ms): 3,653
MCB cycles: 3,163
Triangles: 12,471
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.46 0.62 0.51 0.50 126.73 0.00 -170.06 0.02 0.04 4.69

Degree 13 36 24.42 24.00 6,104 MAX VALUE 794.94 4.19 0.17 2.81

Eccentricity 3 3 3.00 3.00 750 MAX VALUE 274.65 0.00 0.00 0.00

MCB cycle size 3 4 3.08 3.00 9,737 MAX VALUE 3,546.26 0.27 0.09 0.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.46	0.62	0.51	0.50	126.73	0.00	-170.06	0.02	0.04	4.69
Degree	13	36	24.42	24.00	6,104	MAX VALUE	794.94	4.19	0.17	2.81
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.08	3.00	9,737	MAX VALUE	3,546.26	0.27	0.09	0.27

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 318
MCB cycles: 211

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

Clustering coefficient 0.00 0.10 0.00 0.00 0.27 0.00 None 0.01 9.22 0.07

Degree 2 6 3.68 4.00 920 MAX VALUE 319.81 0.81 0.22 1.17

Eccentricity 6 8 7.09 7.00 1,773 MAX VALUE 489.10 0.51 0.07 0.75

MCB cycle size 3 10 6.76 7.00 1,426 MAX VALUE 399.80 1.17 0.17 1.57

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.10	0.00	0.00	0.27	0.00	None	0.01	9.22	0.07
Degree	2	6	3.68	4.00	920	MAX VALUE	319.81	0.81	0.22	1.17
Eccentricity	6	8	7.09	7.00	1,773	MAX VALUE	489.10	0.51	0.07	0.75
MCB cycle size	3	10	6.76	7.00	1,426	MAX VALUE	399.80	1.17	0.17	1.57

Triangulated dual graph

Density: 52.93%
Triangles: 683,745

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

Clustering coefficient 0.73 1.00 0.85 0.82 211.74 0.00 -42.57 0.08 0.09 4.86

Degree 13 195 131.81 164.00 32,952 MAX VALUE 1,179.07 57.52 0.44 4.04

Eccentricity 2 3 2.19 2.00 548 MAX VALUE 192.75 0.39 0.18 0.49

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.73	1.00	0.85	0.82	211.74	0.00	-42.57	0.08	0.09	4.86
Degree	13	195	131.81	164.00	32,952	MAX VALUE	1,179.07	57.52	0.44	4.04
Eccentricity	2	3	2.19	2.00	548	MAX VALUE	192.75	0.39	0.18	0.49

Triangulated minimal dual graph

Density: 11.31%

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

Clustering coefficient 0.51 1.00 0.81 0.77 203.75 0.00 -54.88 0.14 0.17 3.50

Degree 2 88 28.16 8.00 7,040 MAX VALUE 626.15 32.79 1.16 3.22

Eccentricity 3 5 3.74 4.00 936 MAX VALUE 327.58 0.51 0.14 0.75

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	1.00	0.81	0.77	203.75	0.00	-54.88	0.14	0.17	3.50
Degree	2	88	28.16	8.00	7,040	MAX VALUE	626.15	32.79	1.16	3.22
Eccentricity	3	5	3.74	4.00	936	MAX VALUE	327.58	0.51	0.14	0.75

Incidence graph

Density: 1.19%
MCB compute time (ms): 239
MCB cycles: 211
Dot-file path: None
PDF-file path: None

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 19 3.45 2.00 1,000 MAX VALUE 273.14 3.79 1.10 0.72

Eccentricity 5 7 5.90 6.00 1,711 MAX VALUE 514.27 0.32 0.05 0.38

MCB cycle size 6 8 6.11 6.00 1,290 MAX VALUE 381.51 0.46 0.08 0.22

XCSP 2.1 Benchmarks