XCSP 2.1 Benchmark Database

Instance: rand-2-40-40-135-650-59_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:33
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 135

General features

Number of coarse blocks: 10,800
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 270 MAX VALUE 93.57 0.00 0.00 0.00

Coarse blocks size 4 25 13.97 14.00 150,904 MAX VALUE 28,208.10 3.04 0.22 2.53

Relational linkage 0.10 0.45 0.25 0.25 404.52 0.00 -2,231.76 0.05 0.19 2.07

Tightness 0.62 0.68 0.65 0.65 87.84 0.00 -58.04 0.01 0.02 4.01

Tuples 518 605 558.90 557.00 75,452 MAX VALUE 853.93 19.13 0.03 4.01

Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00

Constraints per subscope 2 10 6.75 6.50 270 1.39e+32 74.01 2.15 0.32 2.05

Partitions per subscope 40 40 40.00 40.00 1,600 MAX VALUE 147.56 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	270	MAX VALUE	93.57	0.00	0.00	0.00
Coarse blocks size	4	25	13.97	14.00	150,904	MAX VALUE	28,208.10	3.04	0.22	2.53
Relational linkage	0.10	0.45	0.25	0.25	404.52	0.00	-2,231.76	0.05	0.19	2.07
Tightness	0.62	0.68	0.65	0.65	87.84	0.00	-58.04	0.01	0.02	4.01
Tuples	518	605	558.90	557.00	75,452	MAX VALUE	853.93	19.13	0.03	4.01
Domain size	40	40	40.00	40.00	1,600	MAX VALUE	147.56	0.00	0.00	0.00
Constraints per subscope	2	10	6.75	6.50	270	1.39e+32	74.01	2.15	0.32	2.05
Partitions per subscope	40	40	40.00	40.00	1,600	MAX VALUE	147.56	0.00	0.00	0.00

Tree decomposition

Number of clusters: 23
Number of leaves: 11
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 2 31 12.65 10.00 291 1.05e+23 53.01 8.29 0.65 2.67

Cluster variables 3 18 9.13 8.00 210 1.05e+21 48.40 4.17 0.46 2.44

Separator constraints 0 25 6.78 4.00 156 0 None 7.20 1.06 2.57

Separator variables 0 16 7.39 7.00 170 0 None 4.04 0.55 2.44

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	31	12.65	10.00	291	1.05e+23	53.01	8.29	0.65	2.67
Cluster variables	3	18	9.13	8.00	210	1.05e+21	48.40	4.17	0.46	2.44
Separator constraints	0	25	6.78	4.00	156	0	None	7.20	1.06	2.57
Separator variables	0	16	7.39	7.00	170	0	None	4.04	0.55	2.44

Dual tree decomposition

Number of clusters: 38
Number of leaves: 14
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 11 132 57.08 57.50 2,169 MAX VALUE 145.67 33.22 0.58 3.46

Cluster variables 6 47 19.13 16.50 727 MAX VALUE 106.74 10.68 0.56 3.01

Separator constraints 0 75 34.21 34.00 1,300 0 None 20.01 0.58 3.22

Separator variables 0 36 15.58 15.00 592 0 None 8.04 0.52 2.95

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	11	132	57.08	57.50	2,169	MAX VALUE	145.67	33.22	0.58	3.46
Cluster variables	6	47	19.13	16.50	727	MAX VALUE	106.74	10.68	0.56	3.01
Separator constraints	0	75	34.21	34.00	1,300	0	None	20.01	0.58	3.22
Separator variables	0	36	15.58	15.00	592	0	None	8.04	0.52	2.95

Primal graph

Density: 17.31%
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.40 0.18 0.18 7.04 0.00 None 0.11 0.62 2.96

Degree 2 10 6.75 6.50 270 1.39e+32 74.01 2.15 0.32 2.05

Eccentricity 3 4 3.27 3.00 131 2.88e+20 47.11 0.45 0.14 0.59

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.40	0.18	0.18	7.04	0.00	None	0.11	0.62	2.96
Degree	2	10	6.75	6.50	270	1.39e+32	74.01	2.15	0.32	2.05
Eccentricity	3	4	3.27	3.00	131	2.88e+20	47.11	0.45	0.14	0.59

Triangulated primal graph

Density: 41.41%

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

Clustering coefficient 0.62 1.00 0.82 0.77 32.63 0.00 -8.73 0.14 0.17 2.87

Degree 2 28 16.15 18.50 646 MAX VALUE 102.04 8.94 0.55 2.91

Eccentricity 2 3 2.70 3.00 108 9.37e+16 39.08 0.46 0.17 0.61

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.62	1.00	0.82	0.77	32.63	0.00	-8.73	0.14	0.17	2.87
Degree	2	28	16.15	18.50	646	MAX VALUE	102.04	8.94	0.55	2.91
Eccentricity	2	3	2.70	3.00	108	9.37e+16	39.08	0.46	0.17	0.61

Dual graph

Density: 9.61%
MCB compute time (ms): 354
MCB cycles: 871
Triangles: 1,813
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.40 0.69 0.50 0.49 67.09 0.00 -94.80 0.04 0.08 3.70

Degree 5 18 12.87 13.00 1,738 MAX VALUE 340.42 3.08 0.24 2.45

Eccentricity 3 4 3.61 4.00 487 MAX VALUE 171.90 0.49 0.14 0.67

MCB cycle size 3 5 3.24 3.00 2,823 MAX VALUE 1,015.30 0.50 0.16 0.60

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.69	0.50	0.49	67.09	0.00	-94.80	0.04	0.08	3.70
Degree	5	18	12.87	13.00	1,738	MAX VALUE	340.42	3.08	0.24	2.45
Eccentricity	3	4	3.61	4.00	487	MAX VALUE	171.90	0.49	0.14	0.67
MCB cycle size	3	5	3.24	3.00	2,823	MAX VALUE	1,015.30	0.50	0.16	0.60

Minimal dual graph

Density: 2.54%
MCB compute time (ms): 66
MCB cycles: 96

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

Clustering coefficient 0.00 0.33 0.00 0.00 0.53 0.00 None 0.03 7.82 0.12

Degree 2 5 3.41 3.00 460 MAX VALUE 162.25 0.74 0.22 1.10

Eccentricity 5 8 6.67 7.00 901 MAX VALUE 255.85 0.51 0.08 0.74

MCB cycle size 3 9 6.60 7.00 634 MAX VALUE 179.45 1.19 0.18 1.54

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	0.53	0.00	None	0.03	7.82	0.12
Degree	2	5	3.41	3.00	460	MAX VALUE	162.25	0.74	0.22	1.10
Eccentricity	5	8	6.67	7.00	901	MAX VALUE	255.85	0.51	0.08	0.74
MCB cycle size	3	9	6.60	7.00	634	MAX VALUE	179.45	1.19	0.18	1.54

Triangulated dual graph

Density: 35.51%
Triangles: 46,092

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

Clustering coefficient 0.60 1.00 0.80 0.77 108.20 0.00 -31.32 0.12 0.15 4.42

Degree 5 89 47.59 51.00 6,424 MAX VALUE 492.32 25.86 0.54 3.96

Eccentricity 2 3 2.69 3.00 363 MAX VALUE 131.28 0.46 0.17 0.62

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.60	1.00	0.80	0.77	108.20	0.00	-31.32	0.12	0.15	4.42
Degree	5	89	47.59	51.00	6,424	MAX VALUE	492.32	25.86	0.54	3.96
Eccentricity	2	3	2.69	3.00	363	MAX VALUE	131.28	0.46	0.17	0.62

Triangulated minimal dual graph

Density: 11.72%

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

Clustering coefficient 0.50 1.00 0.77 0.71 104.14 0.00 -38.28 0.17 0.22 3.18

Degree 2 48 15.70 7.00 2,120 MAX VALUE 294.52 16.10 1.03 2.94

Eccentricity 3 5 3.79 4.00 511 MAX VALUE 178.23 0.55 0.15 0.82

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.77	0.71	104.14	0.00	-38.28	0.17	0.22	3.18
Degree	2	48	15.70	7.00	2,120	MAX VALUE	294.52	16.10	1.03	2.94
Eccentricity	3	5	3.79	4.00	511	MAX VALUE	178.23	0.55	0.15	0.82

Incidence graph

Density: 1.77%
MCB compute time (ms): 76
MCB cycles: 96
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 10 3.09 2.00 540 MAX VALUE 167.59 2.24 0.73 0.97

Eccentricity 6 9 7.56 8.00 1,323 MAX VALUE 353.29 0.68 0.09 1.03

MCB cycle size 6 10 7.00 6.00 672 MAX VALUE 185.62 1.12 0.16 0.81

XCSP 2.1 Benchmarks