XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-6_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:56:58
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.35 10.00 82,804 MAX VALUE 18,548.70 1.91 0.18 2.06

Relational linkage 0.19 0.75 0.45 0.44 288.56 0.00 -520.38 0.08 0.18 1.66

Tightness 0.28 0.44 0.35 0.36 88.27 0.00 -261.19 0.03 0.09 3.36

Tuples 143 184 165.61 165.00 41,402 MAX VALUE 1,277.13 7.75 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 2 19 12.50 12.50 500 MAX VALUE 98.86 3.42 0.27 2.48

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.35	10.00	82,804	MAX VALUE	18,548.70	1.91	0.18	2.06
Relational linkage	0.19	0.75	0.45	0.44	288.56	0.00	-520.38	0.08	0.18	1.66
Tightness	0.28	0.44	0.35	0.36	88.27	0.00	-261.19	0.03	0.09	3.36
Tuples	143	184	165.61	165.00	41,402	MAX VALUE	1,277.13	7.75	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	2	19	12.50	12.50	500	MAX VALUE	98.86	3.42	0.27	2.48
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 3 103 42.59 33.00 724 5.97e+25 59.35 27.84 0.65 2.83

Cluster variables 3 24 13.76 13.00 234 4.10e+18 42.86 5.61 0.41 2.51

Separator constraints 0 82 27.88 18.00 474 0 None 23.35 0.84 2.75

Separator variables 0 22 11.41 11.00 194 0 None 5.75 0.50 2.51

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	103	42.59	33.00	724	5.97e+25	59.35	27.84	0.65	2.83
Cluster variables	3	24	13.76	13.00	234	4.10e+18	42.86	5.61	0.41	2.51
Separator constraints	0	82	27.88	18.00	474	0	None	23.35	0.84	2.75
Separator variables	0	22	11.41	11.00	194	0	None	5.75	0.50	2.51

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 47 832 275.97 208.00 10,487 MAX VALUE 203.94 206.05 0.75 3.51

Cluster variables 11 127 42.68 31.00 1,622 MAX VALUE 135.38 29.18 0.68 3.15

Separator constraints 0 524 194.16 175.00 7,378 0 None 124.57 0.64 3.49

Separator variables 0 100 36.11 28.50 1,372 0 None 22.32 0.62 3.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	47	832	275.97	208.00	10,487	MAX VALUE	203.94	206.05	0.75	3.51
Cluster variables	11	127	42.68	31.00	1,622	MAX VALUE	135.38	29.18	0.68	3.15
Separator constraints	0	524	194.16	175.00	7,378	0	None	124.57	0.64	3.49
Separator variables	0	100	36.11	28.50	1,372	0	None	22.32	0.62	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.23 1.00 0.36 0.34 14.56 0.00 -41.89 0.12 0.33 3.54

Degree 2 19 12.50 12.50 500 MAX VALUE 98.86 3.42 0.27 2.48

Eccentricity 2 3 2.60 3.00 104 1.85e+16 37.46 0.49 0.19 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.23	1.00	0.36	0.34	14.56	0.00	-41.89	0.12	0.33	3.54
Degree	2	19	12.50	12.50	500	MAX VALUE	98.86	3.42	0.27	2.48
Eccentricity	2	3	2.60	3.00	104	1.85e+16	37.46	0.49	0.19	0.67

Triangulated primal graph

Density: 60.26%

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

Clustering coefficient 0.71 1.00 0.86 0.83 34.29 0.00 -6.42 0.10 0.11 3.08

Degree 2 34 23.50 29.00 940 MAX VALUE 120.75 9.56 0.41 2.79

Eccentricity 2 3 2.20 2.00 88 2.82e+13 30.97 0.40 0.18 0.50

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.71	1.00	0.86	0.83	34.29	0.00	-6.42	0.10	0.11	3.08
Degree	2	34	23.50	29.00	940	MAX VALUE	120.75	9.56	0.41	2.79
Eccentricity	2	3	2.20	2.00	88	2.82e+13	30.97	0.40	0.18	0.50

Dual graph

Density: 9.99%
MCB compute time (ms): 3,940
MCB cycles: 3,093
Triangles: 12,962
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.85 0.51 0.50 128.07 0.00 -167.73 0.04 0.07 4.74

Degree 10 35 24.87 25.00 6,218 MAX VALUE 799.60 4.16 0.17 2.80

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

MCB cycle size 3 4 3.04 3.00 9,405 MAX VALUE 3,434.26 0.20 0.07 0.17

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.85	0.51	0.50	128.07	0.00	-167.73	0.04	0.07	4.74
Degree	10	35	24.87	25.00	6,218	MAX VALUE	799.60	4.16	0.17	2.80
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.04	3.00	9,405	MAX VALUE	3,434.26	0.20	0.07	0.17

Minimal dual graph

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

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

Clustering coefficient 0.00 0.17 0.00 0.00 0.33 0.00 None 0.01 9.70 0.08

Degree 2 6 3.68 4.00 920 MAX VALUE 320.10 0.79 0.21 1.14

Eccentricity 6 8 7.10 7.00 1,776 MAX VALUE 489.54 0.50 0.07 0.74

MCB cycle size 3 10 6.80 7.00 1,434 MAX VALUE 400.51 1.23 0.18 1.60

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.17	0.00	0.00	0.33	0.00	None	0.01	9.70	0.08
Degree	2	6	3.68	4.00	920	MAX VALUE	320.10	0.79	0.21	1.14
Eccentricity	6	8	7.10	7.00	1,776	MAX VALUE	489.54	0.50	0.07	0.74
MCB cycle size	3	10	6.80	7.00	1,434	MAX VALUE	400.51	1.23	0.18	1.60

Triangulated dual graph

Density: 52.78%
Triangles: 683,307

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

Clustering coefficient 0.73 1.00 0.85 0.82 212.00 0.00 -42.23 0.08 0.09 4.86

Degree 10 196 131.43 156.50 32,858 MAX VALUE 1,176.95 57.94 0.44 4.18

Eccentricity 2 3 2.19 2.00 547 MAX VALUE 192.34 0.39 0.18 0.48

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.73	1.00	0.85	0.82	212.00	0.00	-42.23	0.08	0.09	4.86
Degree	10	196	131.43	156.50	32,858	MAX VALUE	1,176.95	57.94	0.44	4.18
Eccentricity	2	3	2.19	2.00	547	MAX VALUE	192.34	0.39	0.18	0.48

Triangulated minimal dual graph

Density: 11.45%

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

Clustering coefficient 0.54 1.00 0.81 0.77 203.61 0.00 -55.17 0.14 0.18 3.52

Degree 2 86 28.52 8.00 7,130 MAX VALUE 629.41 32.90 1.15 3.17

Eccentricity 3 5 3.66 4.00 915 MAX VALUE 321.93 0.50 0.14 0.71

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.54	1.00	0.81	0.77	203.61	0.00	-55.17	0.14	0.18	3.52
Degree	2	86	28.52	8.00	7,130	MAX VALUE	629.41	32.90	1.15	3.17
Eccentricity	3	5	3.66	4.00	915	MAX VALUE	321.93	0.50	0.14	0.71

Incidence graph

Density: 1.19%
MCB compute time (ms): 161
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 19 3.45 2.00 1,000 MAX VALUE 272.15 3.84 1.11 0.72

Eccentricity 5 7 6.17 6.00 1,789 MAX VALUE 526.71 0.50 0.08 0.73

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