XCSP 2.1 Benchmark Database

Instance: rand-2-40-40-135-650-39_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:33
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,800
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 270 MAX VALUE 93.57 0.00 0.00 0.00

Coarse blocks size 4 25 13.95 14.00 150,658 MAX VALUE 28,196.20 3.01 0.22 2.52

Relational linkage 0.10 0.42 0.25 0.25 406.25 0.00 -2,222.90 0.05 0.19 2.05

Tightness 0.62 0.68 0.65 0.65 87.92 0.00 -57.92 0.01 0.02 3.93

Tuples 511 603 557.99 556.00 75,329 MAX VALUE 853.71 18.74 0.03 3.93

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

Constraints per subscope 3 14 6.75 6.50 270 1.03e+32 73.71 2.52 0.37 2.13

Partitions per subscope 40 40 40.00 40.00 1,600 MAX VALUE 147.56 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	25	13.95	14.00	150,658	MAX VALUE	28,196.20	3.01	0.22	2.52
Relational linkage	0.10	0.42	0.25	0.25	406.25	0.00	-2,222.90	0.05	0.19	2.05
Tightness	0.62	0.68	0.65	0.65	87.92	0.00	-57.92	0.01	0.02	3.93
Tuples	511	603	557.99	556.00	75,329	MAX VALUE	853.71	18.74	0.03	3.93
Domain size	40	40	40.00	40.00	1,600	MAX VALUE	147.56	0.00	0.00	0.00
Constraints per subscope	3	14	6.75	6.50	270	1.03e+32	73.71	2.52	0.37	2.13
Partitions per subscope	40	40	40.00	40.00	1,600	MAX VALUE	147.56	0.00	0.00	0.00

Tree decomposition

Number of clusters: 24
Number of leaves: 11
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 3 33 13.08 9.50 314 1.05e+24 55.32 9.29 0.71 2.61

Cluster variables 4 17 9.04 8.00 217 6.36e+21 50.20 4.20 0.46 2.38

Separator constraints 0 28 7.46 3.00 179 0 None 8.64 1.16 2.33

Separator variables 0 15 7.38 6.50 177 0 None 4.15 0.56 2.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	33	13.08	9.50	314	1.05e+24	55.32	9.29	0.71	2.61
Cluster variables	4	17	9.04	8.00	217	6.36e+21	50.20	4.20	0.46	2.38
Separator constraints	0	28	7.46	3.00	179	0	None	8.64	1.16	2.33
Separator variables	0	15	7.38	6.50	177	0	None	4.15	0.56	2.38

Dual tree decomposition

Number of clusters: 38
Number of leaves: 16
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 13 168 62.87 47.50 2,389 MAX VALUE 147.27 46.62 0.74 3.37

Cluster variables 7 52 20.03 15.50 761 MAX VALUE 107.55 12.50 0.62 3.13

Separator constraints 0 109 39.11 29.00 1,486 0 None 29.19 0.75 3.27

Separator variables 0 40 16.47 14.00 626 0 None 9.64 0.59 3.06

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	13	168	62.87	47.50	2,389	MAX VALUE	147.27	46.62	0.74	3.37
Cluster variables	7	52	20.03	15.50	761	MAX VALUE	107.55	12.50	0.62	3.13
Separator constraints	0	109	39.11	29.00	1,486	0	None	29.19	0.75	3.27
Separator variables	0	40	16.47	14.00	626	0	None	9.64	0.59	3.06

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 0.15 0.15 6.14 0.00 None 0.12 0.76 2.91

Degree 3 14 6.75 6.50 270 1.03e+32 73.71 2.52 0.37 2.13

Eccentricity 2 4 3.02 3.00 121 1.44e+19 44.11 0.27 0.09 0.31

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.50	0.15	0.15	6.14	0.00	None	0.12	0.76	2.91
Degree	3	14	6.75	6.50	270	1.03e+32	73.71	2.52	0.37	2.13
Eccentricity	2	4	3.02	3.00	121	1.44e+19	44.11	0.27	0.09	0.31

Triangulated primal graph

Density: 40.13%

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

Clustering coefficient 0.56 1.00 0.82 0.80 32.68 0.00 -8.67 0.14 0.17 2.99

Degree 3 30 15.65 18.00 626 MAX VALUE 100.49 8.94 0.57 2.87

Eccentricity 2 3 2.50 2.50 100 3.66e+15 35.84 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	0.82	0.80	32.68	0.00	-8.67	0.14	0.17	2.99
Degree	3	30	15.65	18.00	626	MAX VALUE	100.49	8.94	0.57	2.87
Eccentricity	2	3	2.50	2.50	100	3.66e+15	35.84	0.50	0.20	0.69

Dual graph

Density: 9.98%
MCB compute time (ms): 330
MCB cycles: 880
Triangles: 2,115
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 0.75 0.51 0.49 68.53 0.00 -92.25 0.05 0.11 3.93

Degree 6 26 13.38 13.00 1,806 MAX VALUE 344.04 4.03 0.30 2.71

Eccentricity 3 4 3.41 3.00 461 MAX VALUE 164.42 0.49 0.14 0.68

MCB cycle size 3 5 3.21 3.00 2,823 MAX VALUE 1,017.81 0.47 0.15 0.55

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.43	0.75	0.51	0.49	68.53	0.00	-92.25	0.05	0.11	3.93
Degree	6	26	13.38	13.00	1,806	MAX VALUE	344.04	4.03	0.30	2.71
Eccentricity	3	4	3.41	3.00	461	MAX VALUE	164.42	0.49	0.14	0.68
MCB cycle size	3	5	3.21	3.00	2,823	MAX VALUE	1,017.81	0.47	0.15	0.55

Minimal dual graph

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

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 5 3.41 3.00 460 MAX VALUE 162.75 0.67 0.20 1.02

Eccentricity 5 8 6.73 7.00 909 MAX VALUE 257.08 0.49 0.07 0.69

MCB cycle size 4 9 6.80 7.00 653 MAX VALUE 182.70 1.10 0.16 1.48

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	5	3.41	3.00	460	MAX VALUE	162.75	0.67	0.20	1.02
Eccentricity	5	8	6.73	7.00	909	MAX VALUE	257.08	0.49	0.07	0.69
MCB cycle size	4	9	6.80	7.00	653	MAX VALUE	182.70	1.10	0.16	1.48

Triangulated dual graph

Density: 39.82%
Triangles: 60,099

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

Clustering coefficient 0.62 1.00 0.82 0.80 110.32 0.00 -28.32 0.10 0.13 4.38

Degree 6 96 53.36 63.00 7,204 MAX VALUE 506.18 28.43 0.53 3.90

Eccentricity 2 3 2.53 3.00 341 MAX VALUE 122.36 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.80	110.32	0.00	-28.32	0.10	0.13	4.38
Degree	6	96	53.36	63.00	7,204	MAX VALUE	506.18	28.43	0.53	3.90
Eccentricity	2	3	2.53	3.00	341	MAX VALUE	122.36	0.50	0.20	0.69

Triangulated minimal dual graph

Density: 12.08%

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

Clustering coefficient 0.48 1.00 0.78 0.74 104.72 0.00 -37.27 0.16 0.21 3.16

Degree 2 48 16.19 6.00 2,186 MAX VALUE 297.33 16.73 1.03 2.95

Eccentricity 3 5 3.76 4.00 508 MAX VALUE 177.49 0.53 0.14 0.79

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	0.78	0.74	104.72	0.00	-37.27	0.16	0.21	3.16
Degree	2	48	16.19	6.00	2,186	MAX VALUE	297.33	16.73	1.03	2.95
Eccentricity	3	5	3.76	4.00	508	MAX VALUE	177.49	0.53	0.14	0.79

Incidence graph

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

Degree 2 14 3.09 2.00 540 MAX VALUE 167.28 2.33 0.75 1.02

Eccentricity 5 8 7.14 7.00 1,250 MAX VALUE 343.16 0.71 0.10 1.05

MCB cycle size 6 10 7.02 7.00 674 MAX VALUE 186.04 1.04 0.15 0.74

XCSP 2.1 Benchmarks