XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-20_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:56:56
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.41 10.00 83,298 MAX VALUE 18,598.60 1.91 0.18 2.06

Relational linkage 0.19 0.62 0.45 0.44 290.12 0.00 -515.65 0.07 0.16 1.57

Tightness 0.27 0.44 0.35 0.35 87.31 0.00 -263.86 0.03 0.08 3.35

Tuples 144 186 166.60 167.00 41,649 MAX VALUE 1,278.65 7.39 0.04 3.35

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

Constraints per subscope 7 17 12.50 13.00 500 MAX VALUE 100.07 2.62 0.21 2.25

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.41	10.00	83,298	MAX VALUE	18,598.60	1.91	0.18	2.06
Relational linkage	0.19	0.62	0.45	0.44	290.12	0.00	-515.65	0.07	0.16	1.57
Tightness	0.27	0.44	0.35	0.35	87.31	0.00	-263.86	0.03	0.08	3.35
Tuples	144	186	166.60	167.00	41,649	MAX VALUE	1,278.65	7.39	0.04	3.35
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	7	17	12.50	13.00	500	MAX VALUE	100.07	2.62	0.21	2.25
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: 4
Dot-file path: None
PDF-file path: None

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

Cluster constraints 11 101 46.53 36.00 791 6.75e+26 61.78 29.28 0.63 2.75

Cluster variables 8 24 15.00 14.00 255 3.31e+19 44.95 5.39 0.36 2.34

Separator constraints 0 89 31.82 25.00 541 0 None 26.63 0.84 2.67

Separator variables 0 23 12.65 11.00 215 0 None 5.83 0.46 2.43

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	11	101	46.53	36.00	791	6.75e+26	61.78	29.28	0.63	2.75
Cluster variables	8	24	15.00	14.00	255	3.31e+19	44.95	5.39	0.36	2.34
Separator constraints	0	89	31.82	25.00	541	0	None	26.63	0.84	2.67
Separator variables	0	23	12.65	11.00	215	0	None	5.83	0.46	2.43

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 75 823 263.00 208.50 9,994 MAX VALUE 204.22 176.85 0.67 3.60

Cluster variables 17 130 42.55 30.50 1,617 MAX VALUE 136.08 27.86 0.65 3.21

Separator constraints 0 435 183.74 160.50 6,982 0 None 102.67 0.56 3.60

Separator variables 0 90 35.97 28.00 1,367 0 None 21.00 0.58 3.25

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	75	823	263.00	208.50	9,994	MAX VALUE	204.22	176.85	0.67	3.60
Cluster variables	17	130	42.55	30.50	1,617	MAX VALUE	136.08	27.86	0.65	3.21
Separator constraints	0	435	183.74	160.50	6,982	0	None	102.67	0.56	3.60
Separator variables	0	90	35.97	28.00	1,367	0	None	21.00	0.58	3.25

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.19 0.45 0.33 0.31 13.15 0.00 -45.17 0.06 0.18 3.50

Degree 7 17 12.50 13.00 500 MAX VALUE 100.07 2.62 0.21 2.25

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.19	0.45	0.33	0.31	13.15	0.00	-45.17	0.06	0.18	3.50
Degree	7	17	12.50	13.00	500	MAX VALUE	100.07	2.62	0.21	2.25
Eccentricity	2	3	2.10	2.00	84	5.57e+12	29.35	0.30	0.14	0.33

Triangulated primal graph

Density: 62.95%

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

Clustering coefficient 0.68 1.00 0.86 0.86 34.41 0.00 -6.29 0.10 0.12 3.24

Degree 7 36 24.55 28.00 982 MAX VALUE 123.85 9.37 0.38 2.89

Eccentricity 2 2 2.00 2.00 80 1.10e+12 27.73 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.68	1.00	0.86	0.86	34.41	0.00	-6.29	0.10	0.12	3.24
Degree	7	36	24.55	28.00	982	MAX VALUE	123.85	9.37	0.38	2.89
Eccentricity	2	2	2.00	2.00	80	1.10e+12	27.73	0.00	0.00	0.00

Dual graph

Density: 9.68%
MCB compute time (ms): 3,616
MCB cycles: 3,191
Triangles: 11,940
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.60 0.51 0.50 126.42 0.00 -170.61 0.02 0.04 4.46

Degree 16 32 24.10 24.00 6,024 MAX VALUE 792.96 3.36 0.14 2.59

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

MCB cycle size 3 5 3.08 3.00 9,826 MAX VALUE 3,578.39 0.27 0.09 0.28

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.60	0.51	0.50	126.42	0.00	-170.61	0.02	0.04	4.46
Degree	16	32	24.10	24.00	6,024	MAX VALUE	792.96	3.36	0.14	2.59
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	5	3.08	3.00	9,826	MAX VALUE	3,578.39	0.27	0.09	0.28

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 295
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.93 0.80 0.22 1.15

Eccentricity 6 8 7.05 7.00 1,762 MAX VALUE 487.38 0.56 0.08 0.85

MCB cycle size 4 9 6.84 7.00 1,443 MAX VALUE 402.84 1.05 0.15 1.41

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.93	0.80	0.22	1.15
Eccentricity	6	8	7.05	7.00	1,762	MAX VALUE	487.38	0.56	0.08	0.85
MCB cycle size	4	9	6.84	7.00	1,443	MAX VALUE	402.84	1.05	0.15	1.41

Triangulated dual graph

Density: 51.59%
Triangles: 649,563

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

Clustering coefficient 0.74 1.00 0.84 0.82 210.89 0.00 -43.62 0.08 0.09 4.71

Degree 16 188 128.45 160.00 32,112 MAX VALUE 1,172.06 57.20 0.45 3.74

Eccentricity 2 3 2.20 2.00 550 MAX VALUE 193.56 0.40 0.18 0.50

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.74	1.00	0.84	0.82	210.89	0.00	-43.62	0.08	0.09	4.71
Degree	16	188	128.45	160.00	32,112	MAX VALUE	1,172.06	57.20	0.45	3.74
Eccentricity	2	3	2.20	2.00	550	MAX VALUE	193.56	0.40	0.18	0.50

Triangulated minimal dual graph

Density: 11.20%

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

Clustering coefficient 0.51 1.00 0.82 0.77 204.04 0.00 -54.68 0.14 0.18 3.42

Degree 2 89 27.90 7.00 6,974 MAX VALUE 622.07 32.59 1.17 3.13

Eccentricity 3 5 3.70 4.00 925 MAX VALUE 324.55 0.52 0.14 0.75

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	1.00	0.82	0.77	204.04	0.00	-54.68	0.14	0.18	3.42
Degree	2	89	27.90	7.00	6,974	MAX VALUE	622.07	32.59	1.17	3.13
Eccentricity	3	5	3.70	4.00	925	MAX VALUE	324.55	0.52	0.14	0.75

Incidence graph

Density: 1.19%
MCB compute time (ms): 233
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.36 3.75 1.09 0.71

Eccentricity 5 6 5.88 6.00 1,704 MAX VALUE 513.05 0.33 0.06 0.38

MCB cycle size 6 8 6.04 6.00 1,274 MAX VALUE 379.21 0.27 0.05 0.09

XCSP 2.1 Benchmarks