XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-53_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:57:04
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.38 10.00 83,050 MAX VALUE 18,572.50 1.91 0.18 2.06

Relational linkage 0.12 0.62 0.45 0.44 285.56 0.00 -526.75 0.08 0.17 1.58

Tightness 0.27 0.42 0.35 0.35 87.79 0.00 -262.44 0.03 0.08 3.28

Tuples 149 186 166.10 166.00 41,525 MAX VALUE 1,277.91 7.24 0.04 3.28

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

Constraints per subscope 8 17 12.50 12.50 500 MAX VALUE 100.42 2.13 0.17 2.10

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.38	10.00	83,050	MAX VALUE	18,572.50	1.91	0.18	2.06
Relational linkage	0.12	0.62	0.45	0.44	285.56	0.00	-526.75	0.08	0.17	1.58
Tightness	0.27	0.42	0.35	0.35	87.79	0.00	-262.44	0.03	0.08	3.28
Tuples	149	186	166.10	166.00	41,525	MAX VALUE	1,277.91	7.24	0.04	3.28
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	8	17	12.50	12.50	500	MAX VALUE	100.42	2.13	0.17	2.10
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: 4
Dot-file path: None
PDF-file path: None

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

Cluster constraints 17 97 48.50 32.50 776 4.43e+25 59.05 29.90 0.62 2.60

Cluster variables 9 25 16.06 13.00 257 6.38e+18 43.30 6.08 0.38 2.05

Separator constraints 0 86 32.88 19.00 526 0 None 28.35 0.86 2.27

Separator variables 0 24 13.56 11.50 217 0 None 6.62 0.49 2.19

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	17	97	48.50	32.50	776	4.43e+25	59.05	29.90	0.62	2.60
Cluster variables	9	25	16.06	13.00	257	6.38e+18	43.30	6.08	0.38	2.05
Separator constraints	0	86	32.88	19.00	526	0	None	28.35	0.86	2.27
Separator variables	0	24	13.56	11.50	217	0	None	6.62	0.49	2.19

Dual tree decomposition

Number of clusters: 38
Number of leaves: 18
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 74 850 268.05 186.50 10,186 MAX VALUE 204.74 191.16 0.71 3.56

Cluster variables 17 135 43.66 30.50 1,659 MAX VALUE 136.81 29.68 0.68 3.35

Separator constraints 0 491 190.00 151.50 7,220 0 None 113.07 0.60 3.53

Separator variables 0 103 37.08 28.50 1,409 0 None 22.61 0.61 3.42

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	74	850	268.05	186.50	10,186	MAX VALUE	204.74	191.16	0.71	3.56
Cluster variables	17	135	43.66	30.50	1,659	MAX VALUE	136.81	29.68	0.68	3.35
Separator constraints	0	491	190.00	151.50	7,220	0	None	113.07	0.60	3.53
Separator variables	0	103	37.08	28.50	1,409	0	None	22.61	0.61	3.42

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.18 0.36 0.29 0.30 11.64 0.00 -49.94 0.05 0.16 3.40

Degree 8 17 12.50 12.50 500 MAX VALUE 100.42 2.13 0.17 2.10

Eccentricity 2 3 2.23 2.00 89 4.23e+13 31.38 0.42 0.19 0.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.18	0.36	0.29	0.30	11.64	0.00	-49.94	0.05	0.16	3.40
Degree	8	17	12.50	12.50	500	MAX VALUE	100.42	2.13	0.17	2.10
Eccentricity	2	3	2.23	2.00	89	4.23e+13	31.38	0.42	0.19	0.53

Triangulated primal graph

Density: 66.28%

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

Clustering coefficient 0.74 1.00 0.87 0.85 34.83 0.00 -5.71 0.08 0.10 3.13

Degree 8 35 25.85 30.00 1,034 MAX VALUE 126.24 9.26 0.36 2.57

Eccentricity 2 3 2.05 2.00 82 2.47e+12 28.54 0.22 0.11 0.20

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.74	1.00	0.87	0.85	34.83	0.00	-5.71	0.08	0.10	3.13
Degree	8	35	25.85	30.00	1,034	MAX VALUE	126.24	9.26	0.36	2.57
Eccentricity	2	3	2.05	2.00	82	2.47e+12	28.54	0.22	0.11	0.20

Dual graph

Density: 9.53%
MCB compute time (ms): 3,297
MCB cycles: 3,182
Triangles: 11,397
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.57 0.50 0.50 124.83 0.00 -173.72 0.01 0.03 4.33

Degree 16 32 23.73 24.00 5,932 MAX VALUE 789.77 2.90 0.12 2.45

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

MCB cycle size 3 4 3.10 3.00 9,858 MAX VALUE 3,585.54 0.30 0.10 0.32

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.57	0.50	0.50	124.83	0.00	-173.72	0.01	0.03	4.33
Degree	16	32	23.73	24.00	5,932	MAX VALUE	789.77	2.90	0.12	2.45
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.10	3.00	9,858	MAX VALUE	3,585.54	0.30	0.10	0.32

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 262
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 4.00 920 MAX VALUE 319.89 0.79 0.21 1.16

Eccentricity 6 9 7.12 7.00 1,779 MAX VALUE 489.89 0.54 0.08 0.78

MCB cycle size 3 10 6.76 7.00 1,426 MAX VALUE 399.06 1.26 0.19 1.59

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	4.00	920	MAX VALUE	319.89	0.79	0.21	1.16
Eccentricity	6	9	7.12	7.00	1,779	MAX VALUE	489.89	0.54	0.08	0.78
MCB cycle size	3	10	6.76	7.00	1,426	MAX VALUE	399.06	1.26	0.19	1.59

Triangulated dual graph

Density: 54.57%
Triangles: 736,081

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

Clustering coefficient 0.75 1.00 0.85 0.83 213.46 0.00 -40.36 0.07 0.08 4.69

Degree 16 197 135.89 164.00 33,972 MAX VALUE 1,186.75 58.89 0.43 3.89

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.75	1.00	0.85	0.83	213.46	0.00	-40.36	0.07	0.08	4.69
Degree	16	197	135.89	164.00	33,972	MAX VALUE	1,186.75	58.89	0.43	3.89
Eccentricity	2	3	2.19	2.00	548	MAX VALUE	192.75	0.39	0.18	0.49

Triangulated minimal dual graph

Density: 11.08%

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

Clustering coefficient 0.52 1.00 0.81 0.77 202.91 0.00 -56.13 0.14 0.18 3.54

Degree 2 88 27.60 8.00 6,900 MAX VALUE 623.27 32.02 1.16 3.22

Eccentricity 3 5 3.74 4.00 934 MAX VALUE 327.01 0.52 0.14 0.75

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.52	1.00	0.81	0.77	202.91	0.00	-56.13	0.14	0.18	3.54
Degree	2	88	27.60	8.00	6,900	MAX VALUE	623.27	32.02	1.16	3.22
Eccentricity	3	5	3.74	4.00	934	MAX VALUE	327.01	0.52	0.14	0.75

Incidence graph

Density: 1.19%
MCB compute time (ms): 206
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 17 3.45 2.00 1,000 MAX VALUE 273.71 3.71 1.07 0.69

Eccentricity 5 6 5.89 6.00 1,709 MAX VALUE 513.96 0.31 0.05 0.34

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