XCSP 2.1 Benchmark Database

Instance: rand-2-40-40-135-650-31_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:42
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 26 13.94 14.00 150,556 MAX VALUE 28,190.40 2.99 0.21 2.51

Relational linkage 0.10 0.40 0.25 0.25 405.85 0.00 -2,227.26 0.05 0.19 2.10

Tightness 0.62 0.68 0.65 0.65 87.95 0.00 -57.87 0.01 0.02 3.96

Tuples 515 608 557.62 558.00 75,278 MAX VALUE 853.62 18.35 0.03 3.96

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

Constraints per subscope 3 11 6.75 7.00 270 8.72e+31 73.55 2.41 0.36 2.18

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	26	13.94	14.00	150,556	MAX VALUE	28,190.40	2.99	0.21	2.51
Relational linkage	0.10	0.40	0.25	0.25	405.85	0.00	-2,227.26	0.05	0.19	2.10
Tightness	0.62	0.68	0.65	0.65	87.95	0.00	-57.87	0.01	0.02	3.96
Tuples	515	608	557.62	558.00	75,278	MAX VALUE	853.62	18.35	0.03	3.96
Domain size	40	40	40.00	40.00	1,600	MAX VALUE	147.56	0.00	0.00	0.00
Constraints per subscope	3	11	6.75	7.00	270	8.72e+31	73.55	2.41	0.36	2.18
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: 25
Number of leaves: 15
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 3 24 9.64 8.00 241 5.60e+22 52.38 5.84 0.61 2.57

Cluster variables 4 16 7.72 7.00 193 1.47e+21 48.74 3.55 0.46 2.18

Separator constraints 0 17 4.24 3.00 106 0 None 4.58 1.08 2.23

Separator variables 0 14 6.12 5.00 153 0 None 3.36 0.55 2.18

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	24	9.64	8.00	241	5.60e+22	52.38	5.84	0.61	2.57
Cluster variables	4	16	7.72	7.00	193	1.47e+21	48.74	3.55	0.46	2.18
Separator constraints	0	17	4.24	3.00	106	0	None	4.58	1.08	2.23
Separator variables	0	14	6.12	5.00	153	0	None	3.36	0.55	2.18

Dual tree decomposition

Number of clusters: 38
Number of leaves: 16
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 9 146 61.92 54.00 2,353 MAX VALUE 149.87 34.69 0.56 3.51

Cluster variables 6 54 19.74 16.50 750 MAX VALUE 107.82 11.48 0.58 3.01

Separator constraints 0 81 38.45 34.00 1,461 0 None 20.82 0.54 3.37

Separator variables 0 39 16.18 14.00 615 0 None 8.70 0.54 3.01

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	9	146	61.92	54.00	2,353	MAX VALUE	149.87	34.69	0.56	3.51
Cluster variables	6	54	19.74	16.50	750	MAX VALUE	107.82	11.48	0.58	3.01
Separator constraints	0	81	38.45	34.00	1,461	0	None	20.82	0.54	3.37
Separator variables	0	39	16.18	14.00	615	0	None	8.70	0.54	3.01

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.20 0.18 7.88 0.00 None 0.11 0.55 2.99

Degree 3 11 6.75 7.00 270 8.72e+31 73.55 2.41 0.36 2.18

Eccentricity 3 3 3.00 3.00 120 1.22e+19 43.94 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.50	0.20	0.18	7.88	0.00	None	0.11	0.55	2.99
Degree	3	11	6.75	7.00	270	8.72e+31	73.55	2.41	0.36	2.18
Eccentricity	3	3	3.00	3.00	120	1.22e+19	43.94	0.00	0.00	0.00

Triangulated primal graph

Density: 35.00%

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

Clustering coefficient 0.51 1.00 0.81 0.79 32.51 0.00 -9.20 0.17 0.21 2.58

Degree 3 28 13.65 12.50 546 MAX VALUE 93.85 8.72 0.64 2.82

Eccentricity 2 3 2.52 3.00 101 5.48e+15 36.24 0.50 0.20 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	1.00	0.81	0.79	32.51	0.00	-9.20	0.17	0.21	2.58
Degree	3	28	13.65	12.50	546	MAX VALUE	93.85	8.72	0.64	2.82
Eccentricity	2	3	2.52	3.00	101	5.48e+15	36.24	0.50	0.20	0.69

Dual graph

Density: 9.86%
MCB compute time (ms): 223
MCB cycles: 844
Triangles: 1,958
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.40 0.70 0.52 0.50 70.36 0.00 -88.76 0.06 0.11 4.04

Degree 5 20 13.21 13.00 1,784 MAX VALUE 345.26 2.77 0.21 2.39

Eccentricity 3 4 3.27 3.00 442 MAX VALUE 158.96 0.45 0.14 0.59

MCB cycle size 3 5 3.17 3.00 2,679 MAX VALUE 968.29 0.43 0.14 0.49

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.70	0.52	0.50	70.36	0.00	-88.76	0.06	0.11	4.04
Degree	5	20	13.21	13.00	1,784	MAX VALUE	345.26	2.77	0.21	2.39
Eccentricity	3	4	3.27	3.00	442	MAX VALUE	158.96	0.45	0.14	0.59
MCB cycle size	3	5	3.17	3.00	2,679	MAX VALUE	968.29	0.43	0.14	0.49

Minimal dual graph

Density: 2.54%
MCB compute time (ms): 49
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.49 0.71 0.21 1.07

Eccentricity 6 8 6.78 7.00 915 MAX VALUE 257.83 0.59 0.09 0.88

MCB cycle size 4 9 6.64 7.00 637 MAX VALUE 180.28 1.09 0.16 1.49

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.49	0.71	0.21	1.07
Eccentricity	6	8	6.78	7.00	915	MAX VALUE	257.83	0.59	0.09	0.88
MCB cycle size	4	9	6.64	7.00	637	MAX VALUE	180.28	1.09	0.16	1.49

Triangulated dual graph

Density: 37.87%
Triangles: 53,901

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

Clustering coefficient 0.65 1.00 0.81 0.77 109.28 0.00 -29.69 0.11 0.13 4.30

Degree 5 87 50.74 51.00 6,850 MAX VALUE 499.90 27.64 0.54 3.72

Eccentricity 2 4 2.73 3.00 369 MAX VALUE 133.36 0.49 0.18 0.70

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.65	1.00	0.81	0.77	109.28	0.00	-29.69	0.11	0.13	4.30
Degree	5	87	50.74	51.00	6,850	MAX VALUE	499.90	27.64	0.54	3.72
Eccentricity	2	4	2.73	3.00	369	MAX VALUE	133.36	0.49	0.18	0.70

Triangulated minimal dual graph

Density: 11.49%

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

Clustering coefficient 0.51 1.00 0.77 0.69 103.69 0.00 -39.00 0.17 0.23 3.17

Degree 2 48 15.39 6.00 2,078 MAX VALUE 293.38 15.80 1.03 3.05

Eccentricity 3 6 4.14 4.00 559 MAX VALUE 190.04 0.67 0.16 1.01

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	1.00	0.77	0.69	103.69	0.00	-39.00	0.17	0.23	3.17
Degree	2	48	15.39	6.00	2,078	MAX VALUE	293.38	15.80	1.03	3.05
Eccentricity	3	6	4.14	4.00	559	MAX VALUE	190.04	0.67	0.16	1.01

Incidence graph

Density: 1.77%
MCB compute time (ms): 59
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 11 3.09 2.00 540 MAX VALUE 167.12 2.30 0.75 1.04

Eccentricity 6 8 7.06 7.00 1,235 MAX VALUE 341.31 0.60 0.09 0.91

MCB cycle size 6 8 6.92 6.00 664 MAX VALUE 184.67 1.00 0.14 0.69

XCSP 2.1 Benchmarks