XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-90_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:56:59
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 2 16 10.39 10.00 83,104 MAX VALUE 18,584.70 1.88 0.18 2.05

Relational linkage 0.12 0.69 0.46 0.44 291.94 0.00 -511.99 0.08 0.17 1.59

Tightness 0.29 0.43 0.35 0.35 87.69 0.00 -262.75 0.03 0.08 3.34

Tuples 147 183 166.21 166.00 41,552 MAX VALUE 1,278.07 7.29 0.04 3.34

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

Constraints per subscope 4 19 12.50 13.00 500 MAX VALUE 99.66 2.99 0.24 2.33

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	2	16	10.39	10.00	83,104	MAX VALUE	18,584.70	1.88	0.18	2.05
Relational linkage	0.12	0.69	0.46	0.44	291.94	0.00	-511.99	0.08	0.17	1.59
Tightness	0.29	0.43	0.35	0.35	87.69	0.00	-262.75	0.03	0.08	3.34
Tuples	147	183	166.21	166.00	41,552	MAX VALUE	1,278.07	7.29	0.04	3.34
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	4	19	12.50	13.00	500	MAX VALUE	99.66	2.99	0.24	2.33
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: 16
Number of leaves: 9
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 5 98 44.00 39.50 704 9.23e+24 57.48 24.09 0.55 2.77

Cluster variables 5 25 14.69 14.50 235 1.38e+18 41.77 5.39 0.37 2.43

Separator constraints 0 65 28.38 23.00 454 0 None 20.02 0.71 2.69

Separator variables 0 21 12.19 12.50 195 0 None 5.65 0.46 2.43

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	5	98	44.00	39.50	704	9.23e+24	57.48	24.09	0.55	2.77
Cluster variables	5	25	14.69	14.50	235	1.38e+18	41.77	5.39	0.37	2.43
Separator constraints	0	65	28.38	23.00	454	0	None	20.02	0.71	2.69
Separator variables	0	21	12.19	12.50	195	0	None	5.65	0.46	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 62 921 274.68 194.00 10,438 MAX VALUE 204.50 202.97 0.74 3.60

Cluster variables 14 137 43.29 29.00 1,645 MAX VALUE 136.18 29.46 0.68 3.26

Separator constraints 0 467 194.32 161.00 7,384 0 None 121.10 0.62 3.56

Separator variables 0 95 36.71 27.00 1,395 0 None 22.38 0.61 3.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	62	921	274.68	194.00	10,438	MAX VALUE	204.50	202.97	0.74	3.60
Cluster variables	14	137	43.29	29.00	1,645	MAX VALUE	136.18	29.46	0.68	3.26
Separator constraints	0	467	194.32	161.00	7,384	0	None	121.10	0.62	3.56
Separator variables	0	95	36.71	27.00	1,395	0	None	22.38	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.14 0.52 0.34 0.34 13.52 0.00 -44.38 0.07 0.20 3.52

Degree 4 19 12.50 13.00 500 MAX VALUE 99.66 2.99 0.24 2.33

Eccentricity 2 3 2.33 2.00 93 2.14e+14 33.00 0.47 0.20 0.63

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.14	0.52	0.34	0.34	13.52	0.00	-44.38	0.07	0.20	3.52
Degree	4	19	12.50	13.00	500	MAX VALUE	99.66	2.99	0.24	2.33
Eccentricity	2	3	2.33	2.00	93	2.14e+14	33.00	0.47	0.20	0.63

Triangulated primal graph

Density: 63.46%

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

Clustering coefficient 0.73 1.00 0.86 0.83 34.39 0.00 -6.25 0.09 0.10 3.09

Degree 4 34 24.75 30.00 990 MAX VALUE 123.95 9.25 0.37 2.61

Eccentricity 2 3 2.12 2.00 85 8.35e+12 29.75 0.33 0.16 0.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.73	1.00	0.86	0.83	34.39	0.00	-6.25	0.09	0.10	3.09
Degree	4	34	24.75	30.00	990	MAX VALUE	123.95	9.25	0.37	2.61
Eccentricity	2	3	2.12	2.00	85	8.35e+12	29.75	0.33	0.16	0.38

Dual graph

Density: 9.81%
MCB compute time (ms): 3,641
MCB cycles: 2,986
Triangles: 12,428
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.68 0.51 0.50 127.09 0.00 -169.44 0.03 0.05 4.54

Degree 13 36 24.43 25.00 6,108 MAX VALUE 795.57 3.91 0.16 2.74

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

MCB cycle size 3 4 3.03 3.00 9,039 MAX VALUE 3,303.76 0.16 0.05 0.12

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.68	0.51	0.50	127.09	0.00	-169.44	0.03	0.05	4.54
Degree	13	36	24.43	25.00	6,108	MAX VALUE	795.57	3.91	0.16	2.74
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.03	3.00	9,039	MAX VALUE	3,303.76	0.16	0.05	0.12

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 355
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.37 0.00 None 0.01 9.37 0.07

Degree 2 6 3.68 3.50 920 MAX VALUE 319.44 0.84 0.23 1.17

Eccentricity 6 8 7.11 7.00 1,778 MAX VALUE 489.85 0.49 0.07 0.72

MCB cycle size 3 9 6.69 7.00 1,411 MAX VALUE 397.64 1.13 0.17 1.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.17	0.00	0.00	0.37	0.00	None	0.01	9.37	0.07
Degree	2	6	3.68	3.50	920	MAX VALUE	319.44	0.84	0.23	1.17
Eccentricity	6	8	7.11	7.00	1,778	MAX VALUE	489.85	0.49	0.07	0.72
MCB cycle size	3	9	6.69	7.00	1,411	MAX VALUE	397.64	1.13	0.17	1.53

Triangulated dual graph

Density: 54.15%
Triangles: 720,027

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

Clustering coefficient 0.75 1.00 0.85 0.83 212.78 0.00 -41.21 0.07 0.09 4.84

Degree 13 192 134.82 170.00 33,706 MAX VALUE 1,185.08 58.19 0.43 3.77

Eccentricity 2 3 2.13 2.00 532 MAX VALUE 186.26 0.33 0.16 0.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.75	1.00	0.85	0.83	212.78	0.00	-41.21	0.07	0.09	4.84
Degree	13	192	134.82	170.00	33,706	MAX VALUE	1,185.08	58.19	0.43	3.77
Eccentricity	2	3	2.13	2.00	532	MAX VALUE	186.26	0.33	0.16	0.38

Triangulated minimal dual graph

Density: 10.98%

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

Clustering coefficient 0.44 1.00 0.81 0.76 203.01 0.00 -56.20 0.15 0.18 3.50

Degree 2 89 27.35 7.00 6,838 MAX VALUE 619.56 31.99 1.17 3.19

Eccentricity 3 5 3.74 4.00 935 MAX VALUE 327.23 0.52 0.14 0.76

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.44	1.00	0.81	0.76	203.01	0.00	-56.20	0.15	0.18	3.50
Degree	2	89	27.35	7.00	6,838	MAX VALUE	619.56	31.99	1.17	3.19
Eccentricity	3	5	3.74	4.00	935	MAX VALUE	327.23	0.52	0.14	0.76

Incidence graph

Density: 1.19%
MCB compute time (ms): 226
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.95 3.79 1.10 0.72

Eccentricity 5 7 5.95 6.00 1,725 MAX VALUE 516.54 0.36 0.06 0.48

MCB cycle size 6 8 6.07 6.00 1,280 MAX VALUE 380.07 0.36 0.06 0.15

XCSP 2.1 Benchmarks