XCSP 2.1 Benchmark Database

Instance: rand-2-40-40-135-650-66_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:36
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 135

General features

Number of coarse blocks: 10,760
Number of unique subscopes: 39

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

Arity 2 2 2.00 2.00 270 MAX VALUE 93.57 0.00 0.00 0.00

Coarse blocks size 4 26 13.91 14.00 149,699 MAX VALUE 28,063.50 3.00 0.22 2.52

Relational linkage 0.10 0.45 0.25 0.25 391.68 0.00 -2,185.64 0.05 0.19 2.05

Tightness 0.62 0.68 0.65 0.65 88.06 0.00 -57.71 0.01 0.02 3.99

Tuples 515 606 556.36 555.00 75,108 MAX VALUE 853.31 19.09 0.03 3.99

Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00

Constraints per subscope 3 12 6.90 7.00 269 8.44e+31 73.51 2.02 0.29 2.06

Partitions per subscope 40 40 40.00 40.00 1,560 MAX VALUE 143.87 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	270	MAX VALUE	93.57	0.00	0.00	0.00
Coarse blocks size	4	26	13.91	14.00	149,699	MAX VALUE	28,063.50	3.00	0.22	2.52
Relational linkage	0.10	0.45	0.25	0.25	391.68	0.00	-2,185.64	0.05	0.19	2.05
Tightness	0.62	0.68	0.65	0.65	88.06	0.00	-57.71	0.01	0.02	3.99
Tuples	515	606	556.36	555.00	75,108	MAX VALUE	853.31	19.09	0.03	3.99
Domain size	40	40	40.00	40.00	1,600	MAX VALUE	147.56	0.00	0.00	0.00
Constraints per subscope	3	12	6.90	7.00	269	8.44e+31	73.51	2.02	0.29	2.06
Partitions per subscope	40	40	40.00	40.00	1,560	MAX VALUE	143.87	0.00	0.00	0.00

Tree decomposition

Number of clusters: 24
Number of leaves: 10
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 1 32 11.42 9.00 274 6.63e+22 52.55 7.93 0.69 2.56

Cluster variables 2 17 8.54 7.50 205 1.53e+21 48.78 3.92 0.46 2.42

Separator constraints 0 28 5.79 3.50 139 0 None 6.61 1.14 2.39

Separator variables 0 16 6.88 6.00 165 0 None 3.78 0.55 2.47

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	32	11.42	9.00	274	6.63e+22	52.55	7.93	0.69	2.56
Cluster variables	2	17	8.54	7.50	205	1.53e+21	48.78	3.92	0.46	2.42
Separator constraints	0	28	5.79	3.50	139	0	None	6.61	1.14	2.39
Separator variables	0	16	6.88	6.00	165	0	None	3.78	0.55	2.47

Dual tree decomposition

Number of clusters: 38
Number of leaves: 15
Tree depth: 6
Dot-file path: None
PDF-file path: None

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

Cluster constraints 16 159 61.39 49.00 2,333 MAX VALUE 149.82 37.44 0.61 3.42

Cluster variables 8 55 20.13 16.00 765 MAX VALUE 108.44 12.13 0.60 2.90

Separator constraints 0 86 38.42 32.00 1,460 0 None 22.32 0.58 3.27

Separator variables 0 41 16.58 14.50 630 0 None 9.26 0.56 3.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	16	159	61.39	49.00	2,333	MAX VALUE	149.82	37.44	0.61	3.42
Cluster variables	8	55	20.13	16.00	765	MAX VALUE	108.44	12.13	0.60	2.90
Separator constraints	0	86	38.42	32.00	1,460	0	None	22.32	0.58	3.27
Separator variables	0	41	16.58	14.50	630	0	None	9.26	0.56	3.00

Primal graph

Density: 17.31%
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.50 None 0.15 None None None None None 3.10

Degree 1 12 6.75 7.00 270 8.44e+31 73.51 2.20 0.33 2.12

Eccentricity 3 4 3.30 3.00 132 3.84e+20 47.40 0.46 0.14 0.61

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.50	None	0.15	None	None	None	None	None	3.10
Degree	1	12	6.75	7.00	270	8.44e+31	73.51	2.20	0.33	2.12
Eccentricity	3	4	3.30	3.00	132	3.84e+20	47.40	0.46	0.14	0.61

Triangulated primal graph

Density: 38.59%

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

Clustering coefficient 0.56 1.00 None 0.80 None None None None None 3.18

Degree 1 28 15.05 14.50 602 MAX VALUE 98.20 8.82 0.59 2.89

Eccentricity 2 3 2.55 3.00 102 8.23e+15 36.65 0.50 0.20 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.56	1.00	None	0.80	None	None	None	None	None	3.18
Degree	1	28	15.05	14.50	602	MAX VALUE	98.20	8.82	0.59	2.89
Eccentricity	2	3	2.55	3.00	102	8.23e+15	36.65	0.50	0.20	0.69

Dual graph

Density: 9.65%
MCB compute time (ms): 439
MCB cycles: 841
Triangles: 1,823
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.43 1.00 0.50 0.49 68.09 0.00 -93.14 0.06 0.12 3.76

Degree 7 20 12.93 13.00 1,746 MAX VALUE 342.59 2.67 0.21 2.37

Eccentricity 3 4 3.32 3.00 448 MAX VALUE 160.68 0.47 0.14 0.63

MCB cycle size 3 5 3.22 3.00 2,705 MAX VALUE 974.61 0.48 0.15 0.56

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.43	1.00	0.50	0.49	68.09	0.00	-93.14	0.06	0.12	3.76
Degree	7	20	12.93	13.00	1,746	MAX VALUE	342.59	2.67	0.21	2.37
Eccentricity	3	4	3.32	3.00	448	MAX VALUE	160.68	0.47	0.14	0.63
MCB cycle size	3	5	3.22	3.00	2,705	MAX VALUE	974.61	0.48	0.15	0.56

Minimal dual graph

Density: 2.54%
MCB compute time (ms): 66
MCB cycles: 96

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

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

Degree 1 5 3.41 3.00 460 MAX VALUE 162.52 0.68 0.20 1.02

Eccentricity 6 9 6.89 7.00 930 MAX VALUE 259.84 0.71 0.10 1.05

MCB cycle size 3 9 6.72 7.00 645 MAX VALUE 181.19 1.15 0.17 1.45

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.17	None	0.00	None	None	None	None	None	0.17
Degree	1	5	3.41	3.00	460	MAX VALUE	162.52	0.68	0.20	1.02
Eccentricity	6	9	6.89	7.00	930	MAX VALUE	259.84	0.71	0.10	1.05
MCB cycle size	3	9	6.72	7.00	645	MAX VALUE	181.19	1.15	0.17	1.45

Triangulated dual graph

Density: 39.52%
Triangles: 59,645

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

Clustering coefficient 0.62 1.00 0.82 0.79 110.24 0.00 -28.39 0.10 0.13 4.44

Degree 7 96 52.96 56.00 7,150 MAX VALUE 505.17 28.64 0.54 3.92

Eccentricity 2 3 2.46 2.00 332 MAX VALUE 118.71 0.50 0.20 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.62	1.00	0.82	0.79	110.24	0.00	-28.39	0.10	0.13	4.44
Degree	7	96	52.96	56.00	7,150	MAX VALUE	505.17	28.64	0.54	3.92
Eccentricity	2	3	2.46	2.00	332	MAX VALUE	118.71	0.50	0.20	0.69

Triangulated minimal dual graph

Density: 11.84%

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

Clustering coefficient 0.33 1.00 None 0.71 None None None None None 3.29

Degree 1 50 15.87 7.00 2,142 MAX VALUE 294.39 16.42 1.03 2.95

Eccentricity 3 5 3.79 4.00 511 MAX VALUE 178.16 0.56 0.15 0.84

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	None	0.71	None	None	None	None	None	3.29
Degree	1	50	15.87	7.00	2,142	MAX VALUE	294.39	16.42	1.03	2.95
Eccentricity	3	5	3.79	4.00	511	MAX VALUE	178.16	0.56	0.15	0.84

Incidence graph

Density: 1.77%
MCB compute time (ms): 60
MCB cycles: 96
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 None 0.00 None None None None None 0.39

Degree 1 12 3.09 2.00 540 MAX VALUE 167.09 2.25 0.73 1.02

Eccentricity 6 9 7.30 7.00 1,277 MAX VALUE 347.05 0.69 0.09 1.01

MCB cycle size 6 8 7.12 8.00 684 MAX VALUE 187.54 0.99 0.14 0.69

XCSP 2.1 Benchmarks