XCSP 2.1 Benchmark Database

Instance: rand-2-40-180-84-900-8_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:17
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 84

General features

Number of coarse blocks: 30,240
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 168 1.93e+25 58.22 0.00 0.00 0.00

Coarse blocks size 5 38 18.02 18.00 544,940 MAX VALUE 86,635.50 4.05 0.22 2.81

Relational linkage 0.03 0.14 0.08 0.08 561.53 0.00 -18,526.30 0.02 0.20 2.47

Tightness 0.90 0.90 0.90 0.90 75.59 0.00 -8.86 0.00 0.00 4.19

Tuples 3,101 3,343 3,243.69 3,250.00 272,470 MAX VALUE 679.08 51.95 0.02 4.19

Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00

Constraints per subscope 2 8 4.20 4.00 168 3.67e+23 54.26 1.66 0.40 1.81

Partitions per subscope 180 180 180.00 180.00 7,200 MAX VALUE 207.72 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	168	1.93e+25	58.22	0.00	0.00	0.00
Coarse blocks size	5	38	18.02	18.00	544,940	MAX VALUE	86,635.50	4.05	0.22	2.81
Relational linkage	0.03	0.14	0.08	0.08	561.53	0.00	-18,526.30	0.02	0.20	2.47
Tightness	0.90	0.90	0.90	0.90	75.59	0.00	-8.86	0.00	0.00	4.19
Tuples	3,101	3,343	3,243.69	3,250.00	272,470	MAX VALUE	679.08	51.95	0.02	4.19
Domain size	180	180	180.00	180.00	7,200	MAX VALUE	207.72	0.00	0.00	0.00
Constraints per subscope	2	8	4.20	4.00	168	3.67e+23	54.26	1.66	0.40	1.81
Partitions per subscope	180	180	180.00	180.00	7,200	MAX VALUE	207.72	0.00	0.00	0.00

Tree decomposition

Number of clusters: 30
Number of leaves: 15
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 1 11 4.43 3.50 133 2.01e+17 39.84 2.55 0.58 2.00

Cluster variables 3 11 5.57 5.00 167 1.75e+21 48.91 2.42 0.43 1.90

Separator constraints 0 10 1.63 0.50 49 0 None 2.44 1.50 1.49

Separator variables 0 10 4.23 3.50 127 0 None 2.33 0.55 1.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	11	4.43	3.50	133	2.01e+17	39.84	2.55	0.58	2.00
Cluster variables	3	11	5.57	5.00	167	1.75e+21	48.91	2.42	0.43	1.90
Separator constraints	0	10	1.63	0.50	49	0	None	2.44	1.50	1.49
Separator variables	0	10	4.23	3.50	127	0	None	2.33	0.55	1.94

Dual tree decomposition

Number of clusters: 38
Number of leaves: 13
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 2 41 17.11 12.00 650 MAX VALUE 99.23 10.78 0.63 2.92

Cluster variables 3 26 10.32 9.00 392 2.06e+36 83.62 5.55 0.54 2.67

Separator constraints 0 23 8.58 6.50 326 0 None 6.44 0.75 2.68

Separator variables 0 18 8.11 7.50 308 0 None 4.32 0.53 2.56

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	41	17.11	12.00	650	MAX VALUE	99.23	10.78	0.63	2.92
Cluster variables	3	26	10.32	9.00	392	2.06e+36	83.62	5.55	0.54	2.67
Separator constraints	0	23	8.58	6.50	326	0	None	6.44	0.75	2.68
Separator variables	0	18	8.11	7.50	308	0	None	4.32	0.53	2.56

Primal graph

Density: 10.77%
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.33 0.08 0.03 3.33 0.00 None 0.10 1.23 1.82

Degree 2 8 4.20 4.00 168 3.67e+23 54.26 1.66 0.40 1.81

Eccentricity 3 5 4.17 4.00 167 5.07e+24 56.88 0.49 0.12 0.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.08	0.03	3.33	0.00	None	0.10	1.23	1.82
Degree	2	8	4.20	4.00	168	3.67e+23	54.26	1.66	0.40	1.81
Eccentricity	3	5	4.17	4.00	167	5.07e+24	56.88	0.49	0.12	0.72

Triangulated primal graph

Density: 23.33%

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

Clustering coefficient 0.39 1.00 0.77 0.73 30.84 0.00 -11.85 0.20 0.26 2.47

Degree 2 24 9.10 6.50 364 7.66e+32 75.72 6.78 0.75 2.49

Eccentricity 2 4 2.98 3.00 119 4.50e+18 42.95 0.52 0.18 0.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.39	1.00	0.77	0.73	30.84	0.00	-11.85	0.20	0.26	2.47
Degree	2	24	9.10	6.50	364	7.66e+32	75.72	6.78	0.75	2.49
Eccentricity	2	4	2.98	3.00	119	4.50e+18	42.95	0.52	0.18	0.78

Dual graph

Density: 9.29%
MCB compute time (ms): 31
MCB cycles: 244
Triangles: 405
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.71 0.48 0.49 40.72 0.00 None 0.09 0.19 3.04

Degree 2 14 7.71 8.00 648 MAX VALUE 166.79 2.43 0.31 2.26

Eccentricity 3 5 4.18 4.00 351 MAX VALUE 119.73 0.41 0.10 0.55

MCB cycle size 3 6 3.24 3.00 791 MAX VALUE 283.40 0.63 0.19 0.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.71	0.48	0.49	40.72	0.00	None	0.09	0.19	3.04
Degree	2	14	7.71	8.00	648	MAX VALUE	166.79	2.43	0.31	2.26
Eccentricity	3	5	4.18	4.00	351	MAX VALUE	119.73	0.41	0.10	0.55
MCB cycle size	3	6	3.24	3.00	791	MAX VALUE	283.40	0.63	0.19	0.53

Minimal dual graph

Density: 3.67%
MCB compute time (ms): 10
MCB cycles: 45

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

Clustering coefficient 0.00 0.33 0.01 0.00 0.83 0.00 None 0.05 5.41 0.18

Degree 2 4 3.05 3.00 256 MAX VALUE 91.43 0.67 0.22 1.00

Eccentricity 6 8 6.99 7.00 587 MAX VALUE 162.99 0.61 0.09 0.91

MCB cycle size 3 10 6.78 7.00 305 6.30e+36 84.73 1.59 0.23 1.84

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.01	0.00	0.83	0.00	None	0.05	5.41	0.18
Degree	2	4	3.05	3.00	256	MAX VALUE	91.43	0.67	0.22	1.00
Eccentricity	6	8	6.99	7.00	587	MAX VALUE	162.99	0.61	0.09	0.91
MCB cycle size	3	10	6.78	7.00	305	6.30e+36	84.73	1.59	0.23	1.84

Triangulated dual graph

Density: 27.65%
Triangles: 6,659

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

Clustering coefficient 0.55 1.00 0.78 0.77 65.48 0.00 -22.17 0.13 0.17 3.86

Degree 2 48 22.95 21.00 1,928 MAX VALUE 240.10 14.49 0.63 3.46

Eccentricity 2 4 2.99 3.00 251 MAX VALUE 90.82 0.48 0.16 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.55	1.00	0.78	0.77	65.48	0.00	-22.17	0.13	0.17	3.86
Degree	2	48	22.95	21.00	1,928	MAX VALUE	240.10	14.49	0.63	3.46
Eccentricity	2	4	2.99	3.00	251	MAX VALUE	90.82	0.48	0.16	0.69

Triangulated minimal dual graph

Density: 11.62%

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

Clustering coefficient 0.43 1.00 0.74 0.67 62.52 0.00 -28.18 0.21 0.28 2.70

Degree 2 29 9.64 5.00 810 MAX VALUE 154.70 8.93 0.93 2.71

Eccentricity 3 6 4.12 4.00 346 MAX VALUE 117.82 0.66 0.16 0.99

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.43	1.00	0.74	0.67	62.52	0.00	-28.18	0.21	0.28	2.70
Degree	2	29	9.64	5.00	810	MAX VALUE	154.70	8.93	0.93	2.71
Eccentricity	3	6	4.12	4.00	346	MAX VALUE	117.82	0.66	0.16	0.99

Incidence graph

Density: 2.20%
MCB compute time (ms): 16
MCB cycles: 45
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 8 2.71 2.00 336 MAX VALUE 112.48 1.40 0.52 1.03

Eccentricity 7 11 8.88 9.00 1,101 MAX VALUE 270.11 0.94 0.11 1.28

MCB cycle size 6 12 8.44 8.00 380 MAX VALUE 94.95 1.78 0.21 1.22

XCSP 2.1 Benchmarks