XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-62_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:57:08
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,206 MAX VALUE 18,588.90 1.91 0.18 2.06

Relational linkage 0.19 0.69 0.46 0.44 292.19 0.00 -512.39 0.08 0.17 1.63

Tightness 0.27 0.43 0.35 0.35 87.49 0.00 -263.31 0.03 0.08 3.31

Tuples 145 186 166.41 166.00 41,603 MAX VALUE 1,278.38 7.23 0.04 3.31

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

Constraints per subscope 3 22 12.50 12.00 500 MAX VALUE 99.46 3.17 0.25 2.30

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,206	MAX VALUE	18,588.90	1.91	0.18	2.06
Relational linkage	0.19	0.69	0.46	0.44	292.19	0.00	-512.39	0.08	0.17	1.63
Tightness	0.27	0.43	0.35	0.35	87.49	0.00	-263.31	0.03	0.08	3.31
Tuples	145	186	166.41	166.00	41,603	MAX VALUE	1,278.38	7.23	0.04	3.31
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	3	22	12.50	12.00	500	MAX VALUE	99.46	3.17	0.25	2.30
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 5 102 47.94 31.00 815 4.06e+26 61.27 32.36 0.67 2.75

Cluster variables 4 24 14.82 12.00 252 1.66e+19 44.26 6.01 0.41 2.15

Separator constraints 0 92 33.24 18.00 565 0 None 30.36 0.91 2.75

Separator variables 0 23 12.47 11.00 212 0 None 6.37 0.51 2.23

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	5	102	47.94	31.00	815	4.06e+26	61.27	32.36	0.67	2.75
Cluster variables	4	24	14.82	12.00	252	1.66e+19	44.26	6.01	0.41	2.15
Separator constraints	0	92	33.24	18.00	565	0	None	30.36	0.91	2.75
Separator variables	0	23	12.47	11.00	212	0	None	6.37	0.51	2.23

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 59 941 277.16 201.50 10,532 MAX VALUE 204.55 209.41 0.76 3.60

Cluster variables 13 130 43.26 32.00 1,644 MAX VALUE 136.09 29.67 0.69 3.40

Separator constraints 0 533 196.21 161.50 7,456 0 None 125.51 0.64 3.53

Separator variables 0 102 36.68 29.00 1,394 0 None 22.61 0.62 3.40

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	59	941	277.16	201.50	10,532	MAX VALUE	204.55	209.41	0.76	3.60
Cluster variables	13	130	43.26	32.00	1,644	MAX VALUE	136.09	29.67	0.69	3.40
Separator constraints	0	533	196.21	161.50	7,456	0	None	125.51	0.64	3.53
Separator variables	0	102	36.68	29.00	1,394	0	None	22.61	0.62	3.40

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.21 0.67 0.33 0.33 13.24 0.00 -45.07 0.07 0.22 3.55

Degree 3 22 12.50 12.00 500 MAX VALUE 99.46 3.17 0.25 2.30

Eccentricity 2 3 2.30 2.00 92 1.43e+14 32.59 0.46 0.20 0.61

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.21	0.67	0.33	0.33	13.24	0.00	-45.07	0.07	0.22	3.55
Degree	3	22	12.50	12.00	500	MAX VALUE	99.46	3.17	0.25	2.30
Eccentricity	2	3	2.30	2.00	92	1.43e+14	32.59	0.46	0.20	0.61

Triangulated primal graph

Density: 62.56%

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

Clustering coefficient 0.67 1.00 0.86 0.83 34.49 0.00 -6.13 0.09 0.10 3.13

Degree 3 36 24.40 29.50 976 MAX VALUE 122.92 9.44 0.39 2.50

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.67	1.00	0.86	0.83	34.49	0.00	-6.13	0.09	0.10	3.13
Degree	3	36	24.40	29.50	976	MAX VALUE	122.92	9.44	0.39	2.50
Eccentricity	2	3	2.10	2.00	84	5.57e+12	29.35	0.30	0.14	0.33

Dual graph

Density: 9.88%
MCB compute time (ms): 1,700
MCB cycles: 4,319
Triangles: 12,731
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.84 0.51 0.50 127.16 0.00 -169.48 0.04 0.07 4.56

Degree 12 38 24.61 24.00 6,152 MAX VALUE 796.91 4.32 0.18 2.82

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

MCB cycle size 3 5 3.23 3.00 13,969 MAX VALUE 5,035.78 0.43 0.13 0.55

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.84	0.51	0.50	127.16	0.00	-169.48	0.04	0.07	4.56
Degree	12	38	24.61	24.00	6,152	MAX VALUE	796.91	4.32	0.18	2.82
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	5	3.23	3.00	13,969	MAX VALUE	5,035.78	0.43	0.13	0.55

Minimal dual graph

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

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 6 3.68 4.00 920 MAX VALUE 319.01 0.85 0.23 1.23

Eccentricity 6 9 7.14 7.00 1,785 MAX VALUE 490.61 0.58 0.08 0.87

MCB cycle size 4 9 6.73 7.00 1,421 MAX VALUE 398.98 1.17 0.17 1.55

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	6	3.68	4.00	920	MAX VALUE	319.01	0.85	0.23	1.23
Eccentricity	6	9	7.14	7.00	1,785	MAX VALUE	490.61	0.58	0.08	0.87
MCB cycle size	4	9	6.73	7.00	1,421	MAX VALUE	398.98	1.17	0.17	1.55

Triangulated dual graph

Density: 54.24%
Triangles: 721,993

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

Clustering coefficient 0.74 1.00 0.85 0.84 212.94 0.00 -41.06 0.07 0.09 4.77

Degree 12 200 135.05 157.00 33,762 MAX VALUE 1,185.55 58.16 0.43 3.98

Eccentricity 2 3 2.17 2.00 543 MAX VALUE 190.72 0.38 0.17 0.46

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.74	1.00	0.85	0.84	212.94	0.00	-41.06	0.07	0.09	4.77
Degree	12	200	135.05	157.00	33,762	MAX VALUE	1,185.55	58.16	0.43	3.98
Eccentricity	2	3	2.17	2.00	543	MAX VALUE	190.72	0.38	0.17	0.46

Triangulated minimal dual graph

Density: 11.12%

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

Clustering coefficient 0.50 1.00 0.81 0.76 202.80 0.00 -56.32 0.15 0.18 3.50

Degree 2 87 27.69 7.00 6,922 MAX VALUE 622.00 32.15 1.16 3.27

Eccentricity 3 5 3.74 4.00 936 MAX VALUE 327.65 0.50 0.13 0.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.81	0.76	202.80	0.00	-56.32	0.15	0.18	3.50
Degree	2	87	27.69	7.00	6,922	MAX VALUE	622.00	32.15	1.16	3.27
Eccentricity	3	5	3.74	4.00	936	MAX VALUE	327.65	0.50	0.13	0.73

Incidence graph

Density: 1.19%
MCB compute time (ms): 257
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 22 3.45 2.00 1,000 MAX VALUE 272.74 3.81 1.10 0.72

Eccentricity 5 7 5.96 6.00 1,728 MAX VALUE 516.97 0.39 0.07 0.53

MCB cycle size 6 8 6.02 6.00 1,270 MAX VALUE 378.64 0.19 0.03 0.05

XCSP 2.1 Benchmarks