XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-56_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:56:54
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.39 10.00 83,128 MAX VALUE 18,582.70 1.90 0.18 2.06

Relational linkage 0.19 0.62 0.45 0.44 286.88 0.00 -523.04 0.07 0.17 1.58

Tightness 0.27 0.45 0.35 0.35 87.64 0.00 -263.04 0.03 0.09 3.37

Tuples 142 188 166.26 167.00 41,564 MAX VALUE 1,278.09 7.95 0.05 3.37

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

Constraints per subscope 6 21 12.50 12.50 500 MAX VALUE 99.70 3.13 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.39	10.00	83,128	MAX VALUE	18,582.70	1.90	0.18	2.06
Relational linkage	0.19	0.62	0.45	0.44	286.88	0.00	-523.04	0.07	0.17	1.58
Tightness	0.27	0.45	0.35	0.35	87.64	0.00	-263.04	0.03	0.09	3.37
Tuples	142	188	166.26	167.00	41,564	MAX VALUE	1,278.09	7.95	0.05	3.37
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	6	21	12.50	12.50	500	MAX VALUE	99.70	3.13	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: 3
Dot-file path: None
PDF-file path: None

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

Cluster constraints 12 96 48.18 31.00 819 1.03e+27 62.20 29.70 0.62 2.67

Cluster variables 7 24 15.00 12.00 255 2.43e+19 44.64 5.89 0.39 2.18

Separator constraints 0 83 33.47 16.00 569 0 None 27.38 0.82 2.75

Separator variables 0 22 12.65 10.00 215 0 None 6.30 0.50 2.18

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	12	96	48.18	31.00	819	1.03e+27	62.20	29.70	0.62	2.67
Cluster variables	7	24	15.00	12.00	255	2.43e+19	44.64	5.89	0.39	2.18
Separator constraints	0	83	33.47	16.00	569	0	None	27.38	0.82	2.75
Separator variables	0	22	12.65	10.00	215	0	None	6.30	0.50	2.18

Dual tree decomposition

Number of clusters: 38
Number of leaves: 16
Tree depth: 6
Dot-file path: None
PDF-file path: None

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

Cluster constraints 52 783 260.18 200.50 9,887 MAX VALUE 203.33 177.47 0.68 3.60

Cluster variables 14 124 42.11 32.00 1,600 MAX VALUE 135.65 27.19 0.65 3.32

Separator constraints 0 387 179.37 165.00 6,816 0 None 100.71 0.56 3.53

Separator variables 0 86 35.53 28.50 1,350 0 None 20.50 0.58 3.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	52	783	260.18	200.50	9,887	MAX VALUE	203.33	177.47	0.68	3.60
Cluster variables	14	124	42.11	32.00	1,600	MAX VALUE	135.65	27.19	0.65	3.32
Separator constraints	0	387	179.37	165.00	6,816	0	None	100.71	0.56	3.53
Separator variables	0	86	35.53	28.50	1,350	0	None	20.50	0.58	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.15 0.60 0.33 0.33 13.28 0.00 -45.15 0.07 0.22 3.37

Degree 6 21 12.50 12.50 500 MAX VALUE 99.70 3.13 0.25 2.30

Eccentricity 2 3 2.25 2.00 90 6.34e+13 31.78 0.43 0.19 0.56

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.15	0.60	0.33	0.33	13.28	0.00	-45.15	0.07	0.22	3.37
Degree	6	21	12.50	12.50	500	MAX VALUE	99.70	3.13	0.25	2.30
Eccentricity	2	3	2.25	2.00	90	6.34e+13	31.78	0.43	0.19	0.56

Triangulated primal graph

Density: 62.95%

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

Clustering coefficient 0.71 1.00 0.86 0.85 34.54 0.00 -6.09 0.09 0.11 3.08

Degree 6 35 24.55 30.00 982 MAX VALUE 123.45 9.43 0.38 2.66

Eccentricity 2 3 2.08 2.00 83 3.71e+12 28.94 0.26 0.13 0.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.71	1.00	0.86	0.85	34.54	0.00	-6.09	0.09	0.11	3.08
Degree	6	35	24.55	30.00	982	MAX VALUE	123.45	9.43	0.38	2.66
Eccentricity	2	3	2.08	2.00	83	3.71e+12	28.94	0.26	0.13	0.27

Dual graph

Density: 9.87%
MCB compute time (ms): 1,426
MCB cycles: 4,023
Triangles: 12,703
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.68 0.51 0.50 127.40 0.00 -168.85 0.03 0.05 4.65

Degree 13 36 24.57 24.00 6,142 MAX VALUE 796.36 4.35 0.18 2.85

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

MCB cycle size 3 5 3.16 3.00 12,701 MAX VALUE 4,600.56 0.37 0.12 0.45

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.68	0.51	0.50	127.40	0.00	-168.85	0.03	0.05	4.65
Degree	13	36	24.57	24.00	6,142	MAX VALUE	796.36	4.35	0.18	2.85
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	5	3.16	3.00	12,701	MAX VALUE	4,600.56	0.37	0.12	0.45

Minimal dual graph

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

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

Clustering coefficient 0.00 0.33 0.00 0.00 0.90 0.00 None 0.03 7.50 0.15

Degree 2 6 3.68 4.00 920 MAX VALUE 318.92 0.87 0.24 1.23

Eccentricity 6 9 7.19 7.00 1,797 MAX VALUE 492.29 0.58 0.08 0.87

MCB cycle size 3 9 6.69 7.00 1,412 MAX VALUE 398.02 1.07 0.16 1.45

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	0.90	0.00	None	0.03	7.50	0.15
Degree	2	6	3.68	4.00	920	MAX VALUE	318.92	0.87	0.24	1.23
Eccentricity	6	9	7.19	7.00	1,797	MAX VALUE	492.29	0.58	0.08	0.87
MCB cycle size	3	9	6.69	7.00	1,412	MAX VALUE	398.02	1.07	0.16	1.45

Triangulated dual graph

Density: 50.24%
Triangles: 608,318

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

Clustering coefficient 0.68 1.00 0.84 0.81 209.54 0.00 -45.43 0.09 0.10 4.96

Degree 13 196 125.10 131.50 31,274 MAX VALUE 1,165.80 55.90 0.45 4.25

Eccentricity 2 3 2.22 2.00 554 MAX VALUE 195.18 0.41 0.19 0.52

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.68	1.00	0.84	0.81	209.54	0.00	-45.43	0.09	0.10	4.96
Degree	13	196	125.10	131.50	31,274	MAX VALUE	1,165.80	55.90	0.45	4.25
Eccentricity	2	3	2.22	2.00	554	MAX VALUE	195.18	0.41	0.19	0.52

Triangulated minimal dual graph

Density: 10.96%

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

Clustering coefficient 0.45 1.00 0.82 0.78 204.08 0.00 -54.75 0.15 0.18 3.47

Degree 2 88 27.29 7.00 6,822 MAX VALUE 614.50 32.12 1.18 3.19

Eccentricity 3 5 3.74 4.00 935 MAX VALUE 327.29 0.51 0.14 0.75

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.45	1.00	0.82	0.78	204.08	0.00	-54.75	0.15	0.18	3.47
Degree	2	88	27.29	7.00	6,822	MAX VALUE	614.50	32.12	1.18	3.19
Eccentricity	3	5	3.74	4.00	935	MAX VALUE	327.29	0.51	0.14	0.75

Incidence graph

Density: 1.19%
MCB compute time (ms): 245
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 21 3.45 2.00 1,000 MAX VALUE 272.98 3.80 1.10 0.72

Eccentricity 5 7 5.91 6.00 1,713 MAX VALUE 514.60 0.32 0.05 0.39

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