XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-65_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:56:57
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,880 MAX VALUE 18,556.10 1.91 0.18 2.06

Relational linkage 0.19 0.69 0.45 0.44 286.19 0.00 -525.20 0.08 0.17 1.61

Tightness 0.27 0.45 0.35 0.35 88.12 0.00 -261.68 0.03 0.09 3.36

Tuples 142 186 165.76 165.50 41,440 MAX VALUE 1,277.34 8.05 0.05 3.36

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

Constraints per subscope 6 20 12.50 13.00 500 MAX VALUE 99.56 3.28 0.26 2.36

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,880	MAX VALUE	18,556.10	1.91	0.18	2.06
Relational linkage	0.19	0.69	0.45	0.44	286.19	0.00	-525.20	0.08	0.17	1.61
Tightness	0.27	0.45	0.35	0.35	88.12	0.00	-261.68	0.03	0.09	3.36
Tuples	142	186	165.76	165.50	41,440	MAX VALUE	1,277.34	8.05	0.05	3.36
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	6	20	12.50	13.00	500	MAX VALUE	99.56	3.28	0.26	2.36
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: 18
Number of leaves: 10
Tree depth: 3
Dot-file path: None
PDF-file path: None

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

Cluster constraints 12 99 42.22 31.00 760 3.64e+27 63.46 28.53 0.68 2.66

Cluster variables 7 23 13.67 12.00 246 8.04e+19 45.83 5.15 0.38 2.40

Separator constraints 0 89 28.33 17.50 510 0 None 25.50 0.90 2.63

Separator variables 0 22 11.44 10.00 206 0 None 5.40 0.47 2.48

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	12	99	42.22	31.00	760	3.64e+27	63.46	28.53	0.68	2.66
Cluster variables	7	23	13.67	12.00	246	8.04e+19	45.83	5.15	0.38	2.40
Separator constraints	0	89	28.33	17.50	510	0	None	25.50	0.90	2.63
Separator variables	0	22	11.44	10.00	206	0	None	5.40	0.47	2.48

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 61 937 270.63 205.00 10,284 MAX VALUE 203.77 203.04 0.75 3.56

Cluster variables 15 133 42.66 31.50 1,621 MAX VALUE 135.69 29.02 0.68 3.35

Separator constraints 0 517 189.32 161.50 7,194 0 None 121.40 0.64 3.56

Separator variables 0 99 36.08 29.00 1,371 0 None 22.09 0.61 3.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	61	937	270.63	205.00	10,284	MAX VALUE	203.77	203.04	0.75	3.56
Cluster variables	15	133	42.66	31.50	1,621	MAX VALUE	135.69	29.02	0.68	3.35
Separator constraints	0	517	189.32	161.50	7,194	0	None	121.40	0.64	3.56
Separator variables	0	99	36.08	29.00	1,371	0	None	22.09	0.61	3.30

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.24 0.47 0.33 0.33 13.30 0.00 -44.49 0.05 0.15 3.23

Degree 6 20 12.50 13.00 500 MAX VALUE 99.56 3.28 0.26 2.36

Eccentricity 2 3 2.25 2.00 90 6.34e+13 31.78 0.43 0.19 0.56

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.24	0.47	0.33	0.33	13.30	0.00	-44.49	0.05	0.15	3.23
Degree	6	20	12.50	13.00	500	MAX VALUE	99.56	3.28	0.26	2.36
Eccentricity	2	3	2.25	2.00	90	6.34e+13	31.78	0.43	0.19	0.56

Triangulated primal graph

Density: 58.85%

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

Clustering coefficient 0.63 1.00 0.85 0.83 34.02 0.00 -6.79 0.11 0.12 3.11

Degree 6 36 22.95 28.00 918 MAX VALUE 120.37 9.51 0.41 2.74

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.63	1.00	0.85	0.83	34.02	0.00	-6.79	0.11	0.12	3.11
Degree	6	36	22.95	28.00	918	MAX VALUE	120.37	9.51	0.41	2.74
Eccentricity	2	3	2.10	2.00	84	5.57e+12	29.35	0.30	0.14	0.33

Dual graph

Density: 9.93%
MCB compute time (ms): 3,357
MCB cycles: 3,377
Triangles: 12,902
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.48 0.63 0.51 0.50 128.43 0.00 -166.87 0.03 0.05 4.70

Degree 14 36 24.72 25.00 6,180 MAX VALUE 798.19 4.20 0.17 2.82

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

MCB cycle size 3 4 3.12 3.00 10,525 MAX VALUE 3,823.36 0.32 0.10 0.36

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.63	0.51	0.50	128.43	0.00	-166.87	0.03	0.05	4.70
Degree	14	36	24.72	25.00	6,180	MAX VALUE	798.19	4.20	0.17	2.82
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.12	3.00	10,525	MAX VALUE	3,823.36	0.32	0.10	0.36

Minimal dual graph

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

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

Clustering coefficient 0.00 0.33 0.00 0.00 0.83 0.00 None 0.03 9.43 0.07

Degree 2 5 3.68 4.00 920 MAX VALUE 320.32 0.77 0.21 1.10

Eccentricity 6 8 7.22 7.00 1,805 MAX VALUE 493.55 0.52 0.07 0.77

MCB cycle size 3 10 6.84 7.00 1,443 MAX VALUE 402.58 1.11 0.16 1.49

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	0.83	0.00	None	0.03	9.43	0.07
Degree	2	5	3.68	4.00	920	MAX VALUE	320.32	0.77	0.21	1.10
Eccentricity	6	8	7.22	7.00	1,805	MAX VALUE	493.55	0.52	0.07	0.77
MCB cycle size	3	10	6.84	7.00	1,443	MAX VALUE	402.58	1.11	0.16	1.49

Triangulated dual graph

Density: 52.84%
Triangles: 691,753

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

Clustering coefficient 0.75 1.00 0.85 0.83 212.52 0.00 -41.51 0.07 0.09 4.91

Degree 14 192 131.57 159.50 32,892 MAX VALUE 1,176.45 58.72 0.45 4.06

Eccentricity 2 3 2.18 2.00 546 MAX VALUE 191.94 0.39 0.18 0.48

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.75	1.00	0.85	0.83	212.52	0.00	-41.51	0.07	0.09	4.91
Degree	14	192	131.57	159.50	32,892	MAX VALUE	1,176.45	58.72	0.45	4.06
Eccentricity	2	3	2.18	2.00	546	MAX VALUE	191.94	0.39	0.18	0.48

Triangulated minimal dual graph

Density: 11.28%

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

Clustering coefficient 0.51 1.00 0.82 0.76 204.65 0.00 -54.08 0.15 0.18 3.52

Degree 2 87 28.10 8.00 7,024 MAX VALUE 624.84 32.57 1.16 3.11

Eccentricity 3 5 3.73 4.00 932 MAX VALUE 326.43 0.52 0.14 0.76

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	1.00	0.82	0.76	204.65	0.00	-54.08	0.15	0.18	3.52
Degree	2	87	28.10	8.00	7,024	MAX VALUE	624.84	32.57	1.16	3.11
Eccentricity	3	5	3.73	4.00	932	MAX VALUE	326.43	0.52	0.14	0.76

Incidence graph

Density: 1.19%
MCB compute time (ms): 230
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 20 3.45 2.00 1,000 MAX VALUE 272.85 3.82 1.11 0.73

Eccentricity 5 7 5.91 6.00 1,715 MAX VALUE 514.91 0.34 0.06 0.42

MCB cycle size 6 8 6.03 6.00 1,272 MAX VALUE 378.92 0.24 0.04 0.07

XCSP 2.1 Benchmarks