XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-91_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:08
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,400
Number of unique subscopes: 39

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 33 15.97 16.00 261,924 MAX VALUE 45,015.80 3.55 0.22 2.68

Relational linkage 0.05 0.26 0.15 0.15 469.43 0.00 -5,973.33 0.03 0.20 2.28

Tightness 0.79 0.81 0.80 0.80 82.44 0.00 -22.94 0.00 0.01 4.14

Tuples 1,204 1,344 1,277.76 1,279.00 131,609 MAX VALUE 736.72 28.86 0.02 4.14

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.26 5.00 205 9.07e+26 62.07 1.89 0.36 1.92

Partitions per subscope 80 80 80.00 80.00 3,120 MAX VALUE 170.90 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	33	15.97	16.00	261,924	MAX VALUE	45,015.80	3.55	0.22	2.68
Relational linkage	0.05	0.26	0.15	0.15	469.43	0.00	-5,973.33	0.03	0.20	2.28
Tightness	0.79	0.81	0.80	0.80	82.44	0.00	-22.94	0.00	0.01	4.14
Tuples	1,204	1,344	1,277.76	1,279.00	131,609	MAX VALUE	736.72	28.86	0.02	4.14
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.26	5.00	205	9.07e+26	62.07	1.89	0.36	1.92
Partitions per subscope	80	80	80.00	80.00	3,120	MAX VALUE	170.90	0.00	0.00	0.00

Tree decomposition

Number of clusters: 28
Number of leaves: 15
Tree depth: 4
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 5.61 4.50 157 1.05e+19 43.80 3.04 0.54 2.16

Cluster variables 2 13 6.43 5.00 180 2.37e+21 49.22 2.96 0.46 2.12

Separator constraints 0 8 1.93 1.00 54 0 None 2.67 1.39 1.57

Separator variables 0 11 5.00 4.00 140 0 None 2.84 0.57 2.12

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	11	5.61	4.50	157	1.05e+19	43.80	3.04	0.54	2.16
Cluster variables	2	13	6.43	5.00	180	2.37e+21	49.22	2.96	0.46	2.12
Separator constraints	0	8	1.93	1.00	54	0	None	2.67	1.39	1.57
Separator variables	0	11	5.00	4.00	140	0	None	2.84	0.57	2.12

Dual tree decomposition

Number of clusters: 38
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 6 91 32.74 27.00 1,244 MAX VALUE 124.78 20.84 0.64 3.06

Cluster variables 4 39 14.39 11.00 547 MAX VALUE 95.58 8.50 0.59 2.78

Separator constraints 0 52 19.42 18.00 738 0 None 12.78 0.66 3.14

Separator variables 0 28 11.68 10.00 444 0 None 6.50 0.56 2.81

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	6	91	32.74	27.00	1,244	MAX VALUE	124.78	20.84	0.64	3.06
Cluster variables	4	39	14.39	11.00	547	MAX VALUE	95.58	8.50	0.59	2.78
Separator constraints	0	52	19.42	18.00	738	0	None	12.78	0.66	3.14
Separator variables	0	28	11.68	10.00	444	0	None	6.50	0.56	2.81

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.07 None None None None None 2.10

Degree 1 10 5.15 5.00 206 9.07e+26 62.07 1.98 0.38 1.99

Eccentricity 3 5 3.88 4.00 155 2.52e+23 53.88 0.46 0.12 0.65

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	None	0.07	None	None	None	None	None	2.10
Degree	1	10	5.15	5.00	206	9.07e+26	62.07	1.98	0.38	1.99
Eccentricity	3	5	3.88	4.00	155	2.52e+23	53.88	0.46	0.12	0.65

Triangulated primal graph

Density: 27.95%

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

Clustering coefficient 0.47 1.00 None 0.86 None None None None None 2.80

Degree 1 25 10.90 8.00 436 7.99e+35 82.67 7.80 0.72 2.71

Eccentricity 2 4 3.25 3.00 130 1.52e+20 46.47 0.58 0.18 0.87

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	None	0.86	None	None	None	None	None	2.80
Degree	1	25	10.90	8.00	436	7.99e+35	82.67	7.80	0.72	2.71
Eccentricity	2	4	3.25	3.00	130	1.52e+20	46.47	0.58	0.18	0.87

Dual graph

Density: 9.63%
MCB compute time (ms): 177
MCB cycles: 410
Triangles: 806
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 1.00 0.51 0.50 52.67 0.00 -70.08 0.08 0.15 3.41

Degree 3 16 9.83 10.00 1,012 MAX VALUE 231.90 2.42 0.25 2.27

Eccentricity 3 4 3.88 4.00 400 MAX VALUE 139.34 0.32 0.08 0.36

MCB cycle size 3 5 3.16 3.00 1,294 MAX VALUE 468.26 0.42 0.13 0.45

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	1.00	0.51	0.50	52.67	0.00	-70.08	0.08	0.15	3.41
Degree	3	16	9.83	10.00	1,012	MAX VALUE	231.90	2.42	0.25	2.27
Eccentricity	3	4	3.88	4.00	400	MAX VALUE	139.34	0.32	0.08	0.36
MCB cycle size	3	5	3.16	3.00	1,294	MAX VALUE	468.26	0.42	0.13	0.45

Minimal dual graph

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

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.30

Degree 1 4 3.22 3.00 332 MAX VALUE 117.95 0.67 0.21 0.99

Eccentricity 6 8 6.65 7.00 685 MAX VALUE 194.84 0.52 0.08 0.75

MCB cycle size 4 9 7.09 7.00 454 MAX VALUE 124.48 1.11 0.16 1.41

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.30
Degree	1	4	3.22	3.00	332	MAX VALUE	117.95	0.67	0.21	0.99
Eccentricity	6	8	6.65	7.00	685	MAX VALUE	194.84	0.52	0.08	0.75
MCB cycle size	4	9	7.09	7.00	454	MAX VALUE	124.48	1.11	0.16	1.41

Triangulated dual graph

Density: 35.41%
Triangles: 20,884

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

Clustering coefficient 0.65 1.00 0.80 0.78 82.64 0.00 -23.65 0.11 0.14 4.17

Degree 3 64 36.12 40.00 3,720 MAX VALUE 343.37 20.66 0.57 3.58

Eccentricity 2 4 2.76 3.00 284 MAX VALUE 102.67 0.49 0.18 0.71

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.65	1.00	0.80	0.78	82.64	0.00	-23.65	0.11	0.14	4.17
Degree	3	64	36.12	40.00	3,720	MAX VALUE	343.37	20.66	0.57	3.58
Eccentricity	2	4	2.76	3.00	284	MAX VALUE	102.67	0.49	0.18	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 2.97

Degree 1 36 12.16 6.00 1,252 MAX VALUE 204.79 12.03 0.99 2.76

Eccentricity 3 5 4.17 4.00 429 MAX VALUE 145.87 0.59 0.14 0.89

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	2.97
Degree	1	36	12.16	6.00	1,252	MAX VALUE	204.79	12.03	0.99	2.76
Eccentricity	3	5	4.17	4.00	429	MAX VALUE	145.87	0.59	0.14	0.89

Incidence graph

Density: 2.03%
MCB compute time (ms): 49
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.51

Degree 1 10 2.88 2.00 412 MAX VALUE 133.47 1.76 0.61 1.08

Eccentricity 7 10 8.17 8.00 1,169 MAX VALUE 299.98 0.66 0.08 1.00

MCB cycle size 6 10 7.72 8.00 494 MAX VALUE 130.11 1.11 0.14 0.83

XCSP 2.1 Benchmarks