XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-3_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:53
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,240
Number of unique subscopes: 37

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 2 32 15.99 16.00 259,642 MAX VALUE 44,588.00 3.55 0.22 2.69

Relational linkage 0.03 0.25 0.15 0.15 440.06 0.00 -5,703.49 0.03 0.20 2.27

Tightness 0.79 0.81 0.80 0.80 82.42 0.00 -22.96 0.00 0.01 4.15

Tuples 1,191 1,360 1,278.81 1,280.00 131,717 MAX VALUE 736.80 31.19 0.02 4.15

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

Constraints per subscope 2 12 5.49 5.00 203 1.66e+26 60.38 2.07 0.38 2.01

Partitions per subscope 80 80 80.00 80.00 2,960 MAX VALUE 162.13 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	2	32	15.99	16.00	259,642	MAX VALUE	44,588.00	3.55	0.22	2.69
Relational linkage	0.03	0.25	0.15	0.15	440.06	0.00	-5,703.49	0.03	0.20	2.27
Tightness	0.79	0.81	0.80	0.80	82.42	0.00	-22.96	0.00	0.01	4.15
Tuples	1,191	1,360	1,278.81	1,280.00	131,717	MAX VALUE	736.80	31.19	0.02	4.15
Domain size	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00
Constraints per subscope	2	12	5.49	5.00	203	1.66e+26	60.38	2.07	0.38	2.01
Partitions per subscope	80	80	80.00	80.00	2,960	MAX VALUE	162.13	0.00	0.00	0.00

Tree decomposition

Number of clusters: 27
Number of leaves: 11
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 1 26 7.52 5.00 203 1.83e+19 44.35 6.49 0.86 2.57

Cluster variables 2 14 6.48 5.00 175 1.20e+20 46.23 3.53 0.54 2.31

Separator constraints 0 17 3.70 1.00 100 0 None 5.02 1.36 1.99

Separator variables 0 12 5.00 4.00 135 0 None 3.36 0.67 2.31

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	26	7.52	5.00	203	1.83e+19	44.35	6.49	0.86	2.57
Cluster variables	2	14	6.48	5.00	175	1.20e+20	46.23	3.53	0.54	2.31
Separator constraints	0	17	3.70	1.00	100	0	None	5.02	1.36	1.99
Separator variables	0	12	5.00	4.00	135	0	None	3.36	0.67	2.31

Dual tree decomposition

Number of clusters: 37
Number of leaves: 11
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 3 87 32.46 26.00 1,201 MAX VALUE 117.45 23.32 0.72 3.42

Cluster variables 3 38 13.68 11.00 506 MAX VALUE 90.35 8.27 0.60 2.80

Separator constraints 0 50 18.00 16.00 666 0 None 14.07 0.78 3.22

Separator variables 0 27 10.89 10.00 403 0 None 6.48 0.59 2.80

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	87	32.46	26.00	1,201	MAX VALUE	117.45	23.32	0.72	3.42
Cluster variables	3	38	13.68	11.00	506	MAX VALUE	90.35	8.27	0.60	2.80
Separator constraints	0	50	18.00	16.00	666	0	None	14.07	0.78	3.22
Separator variables	0	27	10.89	10.00	403	0	None	6.48	0.59	2.80

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 0.33 None 0.17 None None None None None 2.74

Degree 1 12 5.15 5.00 206 1.66e+26 60.38 2.32 0.45 2.12

Eccentricity 3 6 4.30 4.00 172 1.28e+25 57.81 0.71 0.17 1.02

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	None	0.17	None	None	None	None	None	2.74
Degree	1	12	5.15	5.00	206	1.66e+26	60.38	2.32	0.45	2.12
Eccentricity	3	6	4.30	4.00	172	1.28e+25	57.81	0.71	0.17	1.02

Triangulated primal graph

Density: 28.97%

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

Clustering coefficient 0.17 1.00 None 0.75 None None None None None 3.36

Degree 1 24 11.30 9.50 452 1.12e+36 83.01 7.75 0.69 2.94

Eccentricity 3 5 3.65 4.00 146 1.77e+22 51.23 0.61 0.17 0.90

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.17	1.00	None	0.75	None	None	None	None	None	3.36
Degree	1	24	11.30	9.50	452	1.12e+36	83.01	7.75	0.69	2.94
Eccentricity	3	5	3.65	4.00	146	1.77e+22	51.23	0.61	0.17	0.90

Dual graph

Density: 10.18%
MCB compute time (ms): 182
MCB cycles: 440
Triangles: 965
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 1.00 0.51 0.50 52.99 0.00 -69.96 0.10 0.20 3.44

Degree 2 19 10.39 11.00 1,070 MAX VALUE 233.97 3.51 0.34 2.62

Eccentricity 3 5 3.86 4.00 398 MAX VALUE 138.37 0.48 0.13 0.70

MCB cycle size 3 6 3.11 3.00 1,370 MAX VALUE 497.09 0.39 0.12 0.36

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.51	0.50	52.99	0.00	-69.96	0.10	0.20	3.44
Degree	2	19	10.39	11.00	1,070	MAX VALUE	233.97	3.51	0.34	2.62
Eccentricity	3	5	3.86	4.00	398	MAX VALUE	138.37	0.48	0.13	0.70
MCB cycle size	3	6	3.11	3.00	1,370	MAX VALUE	497.09	0.39	0.12	0.36

Minimal dual graph

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

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

Clustering coefficient 0.00 0.33 None 0.00 None None None None None 0.31

Degree 1 5 3.22 3.00 332 MAX VALUE 117.83 0.70 0.22 1.05

Eccentricity 6 9 6.99 7.00 720 MAX VALUE 199.91 0.60 0.09 0.87

MCB cycle size 3 10 6.59 7.00 422 MAX VALUE 118.83 1.50 0.23 1.76

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	None	0.00	None	None	None	None	None	0.31
Degree	1	5	3.22	3.00	332	MAX VALUE	117.83	0.70	0.22	1.05
Eccentricity	6	9	6.99	7.00	720	MAX VALUE	199.91	0.60	0.09	0.87
MCB cycle size	3	10	6.59	7.00	422	MAX VALUE	118.83	1.50	0.23	1.76

Triangulated dual graph

Density: 32.40%
Triangles: 17,724

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

Clustering coefficient 0.62 1.00 0.80 0.79 82.02 0.00 -24.55 0.12 0.15 4.18

Degree 2 60 33.05 32.00 3,404 MAX VALUE 331.46 19.97 0.60 3.49

Eccentricity 2 4 3.20 3.00 330 MAX VALUE 118.73 0.49 0.15 0.71

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.62	1.00	0.80	0.79	82.02	0.00	-24.55	0.12	0.15	4.18
Degree	2	60	33.05	32.00	3,404	MAX VALUE	331.46	19.97	0.60	3.49
Eccentricity	2	4	3.20	3.00	330	MAX VALUE	118.73	0.49	0.15	0.71

Triangulated minimal dual graph

Density: 11.92%

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

Clustering coefficient 0.33 1.00 None 0.67 None None None None None 3.19

Degree 1 37 12.16 6.00 1,252 MAX VALUE 206.76 11.67 0.96 2.81

Eccentricity 3 5 3.93 4.00 405 MAX VALUE 139.81 0.60 0.15 0.90

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	None	0.67	None	None	None	None	None	3.19
Degree	1	37	12.16	6.00	1,252	MAX VALUE	206.76	11.67	0.96	2.81
Eccentricity	3	5	3.93	4.00	405	MAX VALUE	139.81	0.60	0.15	0.90

Incidence graph

Density: 2.03%
MCB compute time (ms): 35
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 None 0.00 None None None None None 0.69

Degree 1 12 2.88 2.00 412 MAX VALUE 131.77 1.87 0.65 1.15

Eccentricity 6 12 8.62 9.00 1,232 MAX VALUE 306.81 1.10 0.13 1.42

MCB cycle size 6 10 7.19 8.00 460 MAX VALUE 125.28 1.26 0.18 0.91

XCSP 2.1 Benchmarks