XCSP 2.1 Benchmark Database

Instance: rand-2-40-180-84-900-68_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:15
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 4 38 18.03 18.00 545,188 MAX VALUE 86,651.70 4.05 0.22 2.81

Relational linkage 0.02 0.14 0.08 0.08 561.83 0.00 -18,519.50 0.02 0.20 2.46

Tightness 0.90 0.90 0.90 0.90 75.59 0.00 -8.87 0.00 0.00 4.20

Tuples 3,113 3,361 3,245.17 3,245.00 272,594 MAX VALUE 679.12 50.87 0.02 4.20

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 4.47e+23 54.46 1.60 0.38 1.78

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	4	38	18.03	18.00	545,188	MAX VALUE	86,651.70	4.05	0.22	2.81
Relational linkage	0.02	0.14	0.08	0.08	561.83	0.00	-18,519.50	0.02	0.20	2.46
Tightness	0.90	0.90	0.90	0.90	75.59	0.00	-8.87	0.00	0.00	4.20
Tuples	3,113	3,361	3,245.17	3,245.00	272,594	MAX VALUE	679.12	50.87	0.02	4.20
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	4.47e+23	54.46	1.60	0.38	1.78
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: 14
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 7 3.47 3.00 104 7.90e+14 34.30 1.54 0.45 1.69

Cluster variables 3 11 5.53 5.00 166 1.52e+21 48.77 2.40 0.43 1.83

Separator constraints 0 4 0.67 0.00 20 0 None 1.01 1.52 1.10

Separator variables 0 9 4.20 4.00 126 0 None 2.32 0.55 1.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	7	3.47	3.00	104	7.90e+14	34.30	1.54	0.45	1.69
Cluster variables	3	11	5.53	5.00	166	1.52e+21	48.77	2.40	0.43	1.83
Separator constraints	0	4	0.67	0.00	20	0	None	1.01	1.52	1.10
Separator variables	0	9	4.20	4.00	126	0	None	2.32	0.55	1.83

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 4 38 17.11 14.50 650 MAX VALUE 100.50 10.03 0.59 2.99

Cluster variables 4 23 10.42 9.00 396 3.90e+36 84.25 5.48 0.53 2.55

Separator constraints 0 23 8.68 7.50 330 0 None 6.09 0.70 2.80

Separator variables 0 18 8.21 7.00 312 0 None 4.28 0.52 2.52

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	4	38	17.11	14.50	650	MAX VALUE	100.50	10.03	0.59	2.99
Cluster variables	4	23	10.42	9.00	396	3.90e+36	84.25	5.48	0.53	2.55
Separator constraints	0	23	8.68	7.50	330	0	None	6.09	0.70	2.80
Separator variables	0	18	8.21	7.00	312	0	None	4.28	0.52	2.52

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.00 3.26 0.00 None 0.11 1.34 1.56

Degree 2 8 4.20 4.00 168 4.47e+23 54.46 1.60 0.38 1.78

Eccentricity 4 5 4.20 4.00 168 7.21e+24 57.24 0.40 0.10 0.50

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.08	0.00	3.26	0.00	None	0.11	1.34	1.56
Degree	2	8	4.20	4.00	168	4.47e+23	54.46	1.60	0.38	1.78
Eccentricity	4	5	4.20	4.00	168	7.21e+24	57.24	0.40	0.10	0.50

Triangulated primal graph

Density: 23.21%

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

Clustering coefficient 0.39 1.00 0.77 0.76 30.69 0.00 -12.00 0.20 0.26 2.42

Degree 2 25 9.05 6.00 362 6.17e+32 75.50 6.79 0.75 2.64

Eccentricity 2 4 2.98 3.00 119 4.00e+18 42.83 0.57 0.19 0.85

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.39	1.00	0.77	0.76	30.69	0.00	-12.00	0.20	0.26	2.42
Degree	2	25	9.05	6.00	362	6.17e+32	75.50	6.79	0.75	2.64
Eccentricity	2	4	2.98	3.00	119	4.00e+18	42.83	0.57	0.19	0.85

Dual graph

Density: 9.18%
MCB compute time (ms): 57
MCB cycles: 248
Triangles: 387
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.75 0.49 0.48 40.96 0.00 -61.43 0.08 0.16 3.04

Degree 3 13 7.62 7.50 640 MAX VALUE 166.44 2.27 0.30 2.20

Eccentricity 4 5 4.20 4.00 353 MAX VALUE 120.24 0.40 0.10 0.50

MCB cycle size 3 6 3.32 3.00 823 MAX VALUE 292.83 0.73 0.22 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	0.75	0.49	0.48	40.96	0.00	-61.43	0.08	0.16	3.04
Degree	3	13	7.62	7.50	640	MAX VALUE	166.44	2.27	0.30	2.20
Eccentricity	4	5	4.20	4.00	353	MAX VALUE	120.24	0.40	0.10	0.50
MCB cycle size	3	6	3.32	3.00	823	MAX VALUE	292.83	0.73	0.22	0.68

Minimal dual graph

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

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 4 3.05 3.00 256 MAX VALUE 92.26 0.53 0.17 0.79

Eccentricity 6 8 6.90 7.00 580 MAX VALUE 162.04 0.55 0.08 0.82

MCB cycle size 4 11 7.29 7.00 328 2.65e+38 88.47 1.45 0.20 1.70

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	4	3.05	3.00	256	MAX VALUE	92.26	0.53	0.17	0.79
Eccentricity	6	8	6.90	7.00	580	MAX VALUE	162.04	0.55	0.08	0.82
MCB cycle size	4	11	7.29	7.00	328	2.65e+38	88.47	1.45	0.20	1.70

Triangulated dual graph

Density: 27.60%
Triangles: 6,527

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

Clustering coefficient 0.50 1.00 0.78 0.77 65.46 0.00 -22.23 0.14 0.17 3.92

Degree 3 52 22.90 18.00 1,924 MAX VALUE 240.79 14.28 0.62 3.40

Eccentricity 2 4 3.04 3.00 255 MAX VALUE 92.20 0.47 0.16 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.78	0.77	65.46	0.00	-22.23	0.14	0.17	3.92
Degree	3	52	22.90	18.00	1,924	MAX VALUE	240.79	14.28	0.62	3.40
Eccentricity	2	4	3.04	3.00	255	MAX VALUE	92.20	0.47	0.16	0.69

Triangulated minimal dual graph

Density: 12.51%

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

Clustering coefficient 0.39 1.00 0.75 0.67 62.90 0.00 -27.35 0.20 0.27 2.74

Degree 2 35 10.38 5.00 872 MAX VALUE 160.86 9.61 0.93 2.67

Eccentricity 3 5 3.82 4.00 321 MAX VALUE 111.75 0.54 0.14 0.80

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.39	1.00	0.75	0.67	62.90	0.00	-27.35	0.20	0.27	2.74
Degree	2	35	10.38	5.00	872	MAX VALUE	160.86	9.61	0.93	2.67
Eccentricity	3	5	3.82	4.00	321	MAX VALUE	111.75	0.54	0.14	0.80

Incidence graph

Density: 2.20%
MCB compute time (ms): 31
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.68 1.37 0.51 1.03

Eccentricity 8 10 8.88 9.00 1,101 MAX VALUE 270.38 0.71 0.08 1.04

MCB cycle size 6 12 8.44 8.00 380 MAX VALUE 95.14 1.63 0.19 1.19

XCSP 2.1 Benchmarks