XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-75_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:02
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 103

General features

Number of coarse blocks: 16,480
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 206 1.01e+31 71.39 0.00 0.00 0.00

Coarse blocks size 4 31 15.97 16.00 263,248 MAX VALUE 45,233.60 3.56 0.22 2.69

Relational linkage 0.05 0.28 0.15 0.15 483.32 0.00 -6,115.69 0.03 0.20 2.29

Tightness 0.79 0.81 0.80 0.80 82.43 0.00 -22.94 0.01 0.01 4.13

Tuples 1,200 1,351 1,277.90 1,278.00 131,624 MAX VALUE 736.72 32.10 0.03 4.13

Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00

Constraints per subscope 2 10 5.15 4.00 206 1.07e+27 62.24 2.04 0.40 1.93

Partitions per subscope 80 80 80.00 80.00 3,200 MAX VALUE 175.28 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	206	1.01e+31	71.39	0.00	0.00	0.00
Coarse blocks size	4	31	15.97	16.00	263,248	MAX VALUE	45,233.60	3.56	0.22	2.69
Relational linkage	0.05	0.28	0.15	0.15	483.32	0.00	-6,115.69	0.03	0.20	2.29
Tightness	0.79	0.81	0.80	0.80	82.43	0.00	-22.94	0.01	0.01	4.13
Tuples	1,200	1,351	1,277.90	1,278.00	131,624	MAX VALUE	736.72	32.10	0.03	4.13
Domain size	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00
Constraints per subscope	2	10	5.15	4.00	206	1.07e+27	62.24	2.04	0.40	1.93
Partitions per subscope	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00

Tree decomposition

Number of clusters: 27
Number of leaves: 13
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 21 6.81 4.00 184 1.69e+19 44.27 5.72 0.84 2.12

Cluster variables 3 14 6.78 5.00 183 1.22e+21 48.55 3.42 0.51 2.13

Separator constraints 0 17 3.00 1.00 81 0 None 4.92 1.64 1.71

Separator variables 0 13 5.30 4.00 143 0 None 3.29 0.62 2.18

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	21	6.81	4.00	184	1.69e+19	44.27	5.72	0.84	2.12
Cluster variables	3	14	6.78	5.00	183	1.22e+21	48.55	3.42	0.51	2.13
Separator constraints	0	17	3.00	1.00	81	0	None	4.92	1.64	1.71
Separator variables	0	13	5.30	4.00	143	0	None	3.29	0.62	2.18

Dual tree decomposition

Number of clusters: 38
Number of leaves: 13
Tree depth: 7
Dot-file path: None
PDF-file path: None

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

Cluster constraints 4 88 31.32 24.00 1,190 MAX VALUE 120.53 22.18 0.71 3.15

Cluster variables 4 38 14.03 12.00 533 MAX VALUE 94.45 8.38 0.60 2.74

Separator constraints 0 53 17.87 15.00 679 0 None 13.95 0.78 3.16

Separator variables 0 29 11.32 10.00 430 0 None 6.53 0.58 2.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	4	88	31.32	24.00	1,190	MAX VALUE	120.53	22.18	0.71	3.15
Cluster variables	4	38	14.03	12.00	533	MAX VALUE	94.45	8.38	0.60	2.74
Separator constraints	0	53	17.87	15.00	679	0	None	13.95	0.78	3.16
Separator variables	0	29	11.32	10.00	430	0	None	6.53	0.58	2.73

Primal graph

Density: 13.21%
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 1.00 0.11 0.08 4.34 0.00 None 0.17 1.55 2.13

Degree 2 10 5.15 4.00 206 1.07e+27 62.24 2.04 0.40 1.93

Eccentricity 3 4 3.70 4.00 148 3.83e+22 52.00 0.46 0.12 0.61

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	0.11	0.08	4.34	0.00	None	0.17	1.55	2.13
Degree	2	10	5.15	4.00	206	1.07e+27	62.24	2.04	0.40	1.93
Eccentricity	3	4	3.70	4.00	148	3.83e+22	52.00	0.46	0.12	0.61

Triangulated primal graph

Density: 30.00%

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

Clustering coefficient 0.53 1.00 0.79 0.75 31.64 0.00 -10.21 0.16 0.20 2.75

Degree 2 23 11.70 9.00 468 2.84e+37 86.24 7.87 0.67 2.57

Eccentricity 2 3 2.60 3.00 104 1.85e+16 37.46 0.49 0.19 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.53	1.00	0.79	0.75	31.64	0.00	-10.21	0.16	0.20	2.75
Degree	2	23	11.70	9.00	468	2.84e+37	86.24	7.87	0.67	2.57
Eccentricity	2	3	2.60	3.00	104	1.85e+16	37.46	0.49	0.19	0.67

Dual graph

Density: 9.73%
MCB compute time (ms): 119
MCB cycles: 428
Triangles: 840
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.33 0.79 0.50 0.49 51.20 0.00 -72.95 0.07 0.14 3.35

Degree 3 17 9.92 10.00 1,022 MAX VALUE 230.93 3.06 0.31 2.45

Eccentricity 3 5 3.83 4.00 395 MAX VALUE 137.70 0.44 0.12 0.62

MCB cycle size 3 5 3.19 3.00 1,366 MAX VALUE 492.57 0.49 0.15 0.51

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	0.79	0.50	0.49	51.20	0.00	-72.95	0.07	0.14	3.35
Degree	3	17	9.92	10.00	1,022	MAX VALUE	230.93	3.06	0.31	2.45
Eccentricity	3	5	3.83	4.00	395	MAX VALUE	137.70	0.44	0.12	0.62
MCB cycle size	3	5	3.19	3.00	1,366	MAX VALUE	492.57	0.49	0.15	0.51

Minimal dual graph

Density: 3.16%
MCB compute time (ms): 28
MCB cycles: 64

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

Clustering coefficient 0.00 1.00 0.01 0.00 1.50 0.00 None 0.10 7.15 0.16

Degree 2 5 3.22 3.00 332 MAX VALUE 118.47 0.64 0.20 0.97

Eccentricity 6 8 6.59 7.00 679 MAX VALUE 193.85 0.58 0.09 0.85

MCB cycle size 3 9 6.89 7.00 441 MAX VALUE 122.33 1.21 0.18 1.48

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	0.01	0.00	1.50	0.00	None	0.10	7.15	0.16
Degree	2	5	3.22	3.00	332	MAX VALUE	118.47	0.64	0.20	0.97
Eccentricity	6	8	6.59	7.00	679	MAX VALUE	193.85	0.58	0.09	0.85
MCB cycle size	3	9	6.89	7.00	441	MAX VALUE	122.33	1.21	0.18	1.48

Triangulated dual graph

Density: 33.85%
Triangles: 19,360

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

Clustering coefficient 0.62 1.00 0.80 0.78 82.46 0.00 -23.92 0.11 0.14 4.12

Degree 3 64 34.52 32.00 3,556 MAX VALUE 337.83 20.38 0.59 3.53

Eccentricity 2 4 2.89 3.00 298 MAX VALUE 108.23 0.42 0.14 0.57

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.62	1.00	0.80	0.78	82.46	0.00	-23.92	0.11	0.14	4.12
Degree	3	64	34.52	32.00	3,556	MAX VALUE	337.83	20.38	0.59	3.53
Eccentricity	2	4	2.89	3.00	298	MAX VALUE	108.23	0.42	0.14	0.57

Triangulated minimal dual graph

Density: 12.37%

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

Clustering coefficient 0.50 1.00 0.77 0.67 79.05 0.00 -30.33 0.19 0.24 2.83

Degree 2 38 12.62 5.00 1,300 MAX VALUE 208.09 12.47 0.99 2.76

Eccentricity 3 5 3.77 4.00 388 MAX VALUE 135.43 0.56 0.15 0.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.77	0.67	79.05	0.00	-30.33	0.19	0.24	2.83
Degree	2	38	12.62	5.00	1,300	MAX VALUE	208.09	12.47	0.99	2.76
Eccentricity	3	5	3.77	4.00	388	MAX VALUE	135.43	0.56	0.15	0.83

Incidence graph

Density: 2.03%
MCB compute time (ms): 38
MCB cycles: 64
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 2.88 2.00 412 MAX VALUE 133.63 1.78 0.62 1.04

Eccentricity 6 10 8.06 8.00 1,152 MAX VALUE 297.73 0.76 0.09 1.13

MCB cycle size 6 10 7.66 8.00 490 MAX VALUE 129.34 1.30 0.17 0.97

XCSP 2.1 Benchmarks