XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-73_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.40 10.00 83,178 MAX VALUE 18,587.50 1.91 0.18 2.06

Relational linkage 0.19 0.62 0.45 0.44 288.56 0.00 -518.99 0.07 0.16 1.55

Tightness 0.28 0.43 0.35 0.35 87.54 0.00 -263.15 0.03 0.08 3.30

Tuples 145 185 166.36 166.00 41,589 MAX VALUE 1,278.30 7.21 0.04 3.30

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

Constraints per subscope 7 19 12.50 12.00 500 MAX VALUE 99.84 2.97 0.24 2.41

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.40	10.00	83,178	MAX VALUE	18,587.50	1.91	0.18	2.06
Relational linkage	0.19	0.62	0.45	0.44	288.56	0.00	-518.99	0.07	0.16	1.55
Tightness	0.28	0.43	0.35	0.35	87.54	0.00	-263.15	0.03	0.08	3.30
Tuples	145	185	166.36	166.00	41,589	MAX VALUE	1,278.30	7.21	0.04	3.30
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	7	19	12.50	12.00	500	MAX VALUE	99.84	2.97	0.24	2.41
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: 7
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 12 104 51.76 49.00 880 1.98e+27 62.85 34.79 0.67 2.48

Cluster variables 8 24 15.65 16.00 266 5.56e+19 45.47 6.01 0.38 1.92

Separator constraints 0 96 37.06 17.00 630 0 None 33.25 0.90 2.48

Separator variables 0 23 13.29 11.00 226 0 None 6.54 0.49 2.07

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	12	104	51.76	49.00	880	1.98e+27	62.85	34.79	0.67	2.48
Cluster variables	8	24	15.65	16.00	266	5.56e+19	45.47	6.01	0.38	1.92
Separator constraints	0	96	37.06	17.00	630	0	None	33.25	0.90	2.48
Separator variables	0	23	13.29	11.00	226	0	None	6.54	0.49	2.07

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 51 878 266.03 197.50 10,109 MAX VALUE 203.28 195.33 0.73 3.56

Cluster variables 14 132 42.58 30.00 1,618 MAX VALUE 135.67 28.85 0.68 3.35

Separator constraints 0 467 185.71 156.00 7,057 0 None 115.36 0.62 3.53

Separator variables 0 99 36.00 28.00 1,368 0 None 21.93 0.61 3.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	51	878	266.03	197.50	10,109	MAX VALUE	203.28	195.33	0.73	3.56
Cluster variables	14	132	42.58	30.00	1,618	MAX VALUE	135.67	28.85	0.68	3.35
Separator constraints	0	467	185.71	156.00	7,057	0	None	115.36	0.62	3.53
Separator variables	0	99	36.00	28.00	1,368	0	None	21.93	0.61	3.33

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.39 0.31 0.32 12.46 0.00 -47.05 0.04 0.13 3.45

Degree 7 19 12.50 12.00 500 MAX VALUE 99.84 2.97 0.24 2.41

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.22	0.39	0.31	0.32	12.46	0.00	-47.05	0.04	0.13	3.45
Degree	7	19	12.50	12.00	500	MAX VALUE	99.84	2.97	0.24	2.41
Eccentricity	2	3	2.33	2.00	93	2.14e+14	33.00	0.47	0.20	0.63

Triangulated primal graph

Density: 64.36%

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

Clustering coefficient 0.69 1.00 0.86 0.86 34.59 0.00 -6.01 0.09 0.10 3.24

Degree 7 36 25.10 29.50 1,004 MAX VALUE 124.82 9.22 0.37 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.69	1.00	0.86	0.86	34.59	0.00	-6.01	0.09	0.10	3.24
Degree	7	36	25.10	29.50	1,004	MAX VALUE	124.82	9.22	0.37	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.81%
MCB compute time (ms): 3,777
MCB cycles: 3,277
Triangles: 12,432
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.62 0.51 0.50 126.99 0.00 -169.57 0.02 0.04 4.69

Degree 13 35 24.42 24.00 6,104 MAX VALUE 795.28 4.00 0.16 2.78

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

MCB cycle size 3 4 3.11 3.00 10,177 MAX VALUE 3,699.69 0.31 0.10 0.34

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.62	0.51	0.50	126.99	0.00	-169.57	0.02	0.04	4.69
Degree	13	35	24.42	24.00	6,104	MAX VALUE	795.28	4.00	0.16	2.78
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.11	3.00	10,177	MAX VALUE	3,699.69	0.31	0.10	0.34

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 487
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.30 0.00 None 0.01 10.04 0.07

Degree 2 6 3.68 4.00 920 MAX VALUE 319.38 0.84 0.23 1.20

Eccentricity 6 9 7.17 7.00 1,792 MAX VALUE 491.48 0.62 0.09 0.93

MCB cycle size 3 10 6.78 7.00 1,430 MAX VALUE 400.94 1.05 0.15 1.43

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.17	0.00	0.00	0.30	0.00	None	0.01	10.04	0.07
Degree	2	6	3.68	4.00	920	MAX VALUE	319.38	0.84	0.23	1.20
Eccentricity	6	9	7.17	7.00	1,792	MAX VALUE	491.48	0.62	0.09	0.93
MCB cycle size	3	10	6.78	7.00	1,430	MAX VALUE	400.94	1.05	0.15	1.43

Triangulated dual graph

Density: 52.62%
Triangles: 685,541

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

Clustering coefficient 0.73 1.00 0.85 0.83 212.44 0.00 -41.63 0.07 0.09 4.86

Degree 13 197 131.02 159.00 32,754 MAX VALUE 1,175.13 58.62 0.45 4.14

Eccentricity 2 3 2.19 2.00 548 MAX VALUE 192.75 0.39 0.18 0.49

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.73	1.00	0.85	0.83	212.44	0.00	-41.63	0.07	0.09	4.86
Degree	13	197	131.02	159.00	32,754	MAX VALUE	1,175.13	58.62	0.45	4.14
Eccentricity	2	3	2.19	2.00	548	MAX VALUE	192.75	0.39	0.18	0.49

Triangulated minimal dual graph

Density: 10.68%

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

Clustering coefficient 0.49 1.00 0.80 0.75 201.01 0.00 -58.93 0.15 0.19 3.51

Degree 2 87 26.59 8.00 6,648 MAX VALUE 618.77 30.70 1.15 3.32

Eccentricity 3 5 3.90 4.00 974 MAX VALUE 337.22 0.57 0.15 0.85

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	1.00	0.80	0.75	201.01	0.00	-58.93	0.15	0.19	3.51
Degree	2	87	26.59	8.00	6,648	MAX VALUE	618.77	30.70	1.15	3.32
Eccentricity	3	5	3.90	4.00	974	MAX VALUE	337.22	0.57	0.15	0.85

Incidence graph

Density: 1.19%
MCB compute time (ms): 344
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 273.12 3.79 1.10 0.73

Eccentricity 5 7 5.91 6.00 1,715 MAX VALUE 515.00 0.30 0.05 0.35

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