XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-18_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:57:02
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 4 16 10.46 11.00 83,680 MAX VALUE 18,639.10 1.89 0.18 2.05

Relational linkage 0.25 0.69 0.45 0.44 290.69 0.00 -514.08 0.07 0.16 1.57

Tightness 0.25 0.44 0.35 0.34 86.56 0.00 -266.07 0.03 0.09 3.34

Tuples 143 192 167.36 168.00 41,840 MAX VALUE 1,279.78 7.58 0.05 3.34

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 12.50 500 MAX VALUE 99.39 3.41 0.27 2.54

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	4	16	10.46	11.00	83,680	MAX VALUE	18,639.10	1.89	0.18	2.05
Relational linkage	0.25	0.69	0.45	0.44	290.69	0.00	-514.08	0.07	0.16	1.57
Tightness	0.25	0.44	0.35	0.34	86.56	0.00	-266.07	0.03	0.09	3.34
Tuples	143	192	167.36	168.00	41,840	MAX VALUE	1,279.78	7.58	0.05	3.34
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	12.50	500	MAX VALUE	99.39	3.41	0.27	2.54
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: 17
Number of leaves: 9
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 110 47.18 41.00 802 3.43e+26 61.10 31.74 0.67 2.75

Cluster variables 7 24 14.29 14.00 243 9.29e+18 43.68 5.93 0.41 2.34

Separator constraints 0 99 32.47 27.00 552 0 None 28.25 0.87 2.75

Separator variables 0 23 11.94 11.00 203 0 None 6.18 0.52 2.43

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	13	110	47.18	41.00	802	3.43e+26	61.10	31.74	0.67	2.75
Cluster variables	7	24	14.29	14.00	243	9.29e+18	43.68	5.93	0.41	2.34
Separator constraints	0	99	32.47	27.00	552	0	None	28.25	0.87	2.75
Separator variables	0	23	11.94	11.00	203	0	None	6.18	0.52	2.43

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 67 779 268.00 202.00 10,184 MAX VALUE 203.84 187.59 0.70 3.60

Cluster variables 16 125 42.47 31.00 1,614 MAX VALUE 135.66 28.24 0.66 3.26

Separator constraints 0 459 186.24 159.00 7,077 0 None 109.12 0.59 3.60

Separator variables 0 97 35.89 28.50 1,364 0 None 21.44 0.60 3.26

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	67	779	268.00	202.00	10,184	MAX VALUE	203.84	187.59	0.70	3.60
Cluster variables	16	125	42.47	31.00	1,614	MAX VALUE	135.66	28.24	0.66	3.26
Separator constraints	0	459	186.24	159.00	7,077	0	None	109.12	0.59	3.60
Separator variables	0	97	35.89	28.50	1,364	0	None	21.44	0.60	3.26

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.22 0.60 0.35 0.33 13.92 0.00 -43.07 0.07 0.21 3.36

Degree 6 20 12.50 12.50 500 MAX VALUE 99.39 3.41 0.27 2.54

Eccentricity 2 3 2.35 2.00 94 3.21e+14 33.40 0.48 0.20 0.65

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.22	0.60	0.35	0.33	13.92	0.00	-43.07	0.07	0.21	3.36
Degree	6	20	12.50	12.50	500	MAX VALUE	99.39	3.41	0.27	2.54
Eccentricity	2	3	2.35	2.00	94	3.21e+14	33.40	0.48	0.20	0.65

Triangulated primal graph

Density: 61.41%

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

Clustering coefficient 0.67 1.00 0.86 0.84 34.48 0.00 -6.18 0.09 0.11 3.19

Degree 6 35 23.95 29.00 958 MAX VALUE 122.07 9.47 0.40 2.78

Eccentricity 2 3 2.17 2.00 87 1.88e+13 30.56 0.38 0.17 0.46

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.67	1.00	0.86	0.84	34.48	0.00	-6.18	0.09	0.11	3.19
Degree	6	35	23.95	29.00	958	MAX VALUE	122.07	9.47	0.40	2.78
Eccentricity	2	3	2.17	2.00	87	1.88e+13	30.56	0.38	0.17	0.46

Dual graph

Density: 9.98%
MCB compute time (ms): 5,676
MCB cycles: 2,942
Triangles: 13,093
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.47 0.66 0.51 0.50 128.55 0.00 -166.74 0.03 0.06 4.81

Degree 15 36 24.86 25.00 6,214 MAX VALUE 799.09 4.49 0.18 2.88

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

MCB cycle size 3 4 3.01 3.00 8,870 MAX VALUE 3,244.78 0.12 0.04 0.08

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.66	0.51	0.50	128.55	0.00	-166.74	0.03	0.06	4.81
Degree	15	36	24.86	25.00	6,214	MAX VALUE	799.09	4.49	0.18	2.88
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.01	3.00	8,870	MAX VALUE	3,244.78	0.12	0.04	0.08

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 357
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.93 0.00 None 0.03 7.34 0.15

Degree 2 6 3.68 4.00 920 MAX VALUE 319.51 0.83 0.22 1.18

Eccentricity 6 9 7.35 7.00 1,837 MAX VALUE 497.77 0.60 0.08 0.91

MCB cycle size 3 10 6.64 7.00 1,402 MAX VALUE 395.48 1.22 0.18 1.55

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	0.93	0.00	None	0.03	7.34	0.15
Degree	2	6	3.68	4.00	920	MAX VALUE	319.51	0.83	0.22	1.18
Eccentricity	6	9	7.35	7.00	1,837	MAX VALUE	497.77	0.60	0.08	0.91
MCB cycle size	3	10	6.64	7.00	1,402	MAX VALUE	395.48	1.22	0.18	1.55

Triangulated dual graph

Density: 51.69%
Triangles: 649,018

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

Clustering coefficient 0.72 1.00 0.84 0.82 210.75 0.00 -43.86 0.08 0.10 4.83

Degree 15 194 128.72 151.50 32,180 MAX VALUE 1,173.19 56.99 0.44 4.10

Eccentricity 2 3 2.18 2.00 544 MAX VALUE 191.13 0.38 0.18 0.47

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.72	1.00	0.84	0.82	210.75	0.00	-43.86	0.08	0.10	4.83
Degree	15	194	128.72	151.50	32,180	MAX VALUE	1,173.19	56.99	0.44	4.10
Eccentricity	2	3	2.18	2.00	544	MAX VALUE	191.13	0.38	0.18	0.47

Triangulated minimal dual graph

Density: 10.61%

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

Clustering coefficient 0.49 1.00 0.81 0.78 203.40 0.00 -55.54 0.14 0.18 3.45

Degree 2 85 26.42 7.00 6,604 MAX VALUE 611.03 31.28 1.18 3.18

Eccentricity 3 5 3.76 4.00 940 MAX VALUE 328.73 0.50 0.13 0.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	1.00	0.81	0.78	203.40	0.00	-55.54	0.14	0.18	3.45
Degree	2	85	26.42	7.00	6,604	MAX VALUE	611.03	31.28	1.18	3.18
Eccentricity	3	5	3.76	4.00	940	MAX VALUE	328.73	0.50	0.13	0.73

Incidence graph

Density: 1.19%
MCB compute time (ms): 215
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.68 3.84 1.11 0.75

Eccentricity 5 7 5.93 6.00 1,721 MAX VALUE 515.95 0.33 0.06 0.41

MCB cycle size 6 8 6.05 6.00 1,276 MAX VALUE 379.50 0.30 0.05 0.11

XCSP 2.1 Benchmarks