XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-93_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:09
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 2 32 15.97 16.00 261,907 MAX VALUE 44,996.30 3.61 0.23 2.70

Relational linkage 0.03 0.28 0.15 0.15 465.84 0.00 -6,001.48 0.03 0.20 2.30

Tightness 0.78 0.81 0.80 0.80 82.44 0.00 -22.93 0.01 0.01 4.12

Tuples 1,201 1,412 1,277.41 1,275.00 131,573 MAX VALUE 736.67 37.03 0.03 4.12

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

Constraints per subscope 2 9 5.26 5.00 205 6.47e+26 61.73 1.93 0.37 2.01

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	2	32	15.97	16.00	261,907	MAX VALUE	44,996.30	3.61	0.23	2.70
Relational linkage	0.03	0.28	0.15	0.15	465.84	0.00	-6,001.48	0.03	0.20	2.30
Tightness	0.78	0.81	0.80	0.80	82.44	0.00	-22.93	0.01	0.01	4.12
Tuples	1,201	1,412	1,277.41	1,275.00	131,573	MAX VALUE	736.67	37.03	0.03	4.12
Domain size	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00
Constraints per subscope	2	9	5.26	5.00	205	6.47e+26	61.73	1.93	0.37	2.01
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: 29
Number of leaves: 9
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 1 15 6.21 4.00 180 2.39e+20 46.92 3.95 0.64 2.29

Cluster variables 2 12 6.38 5.00 185 1.09e+22 50.74 2.88 0.45 2.08

Separator constraints 0 10 2.66 1.00 77 0 None 3.15 1.19 1.89

Separator variables 0 10 5.00 4.00 145 0 None 2.84 0.57 2.08

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	15	6.21	4.00	180	2.39e+20	46.92	3.95	0.64	2.29
Cluster variables	2	12	6.38	5.00	185	1.09e+22	50.74	2.88	0.45	2.08
Separator constraints	0	10	2.66	1.00	77	0	None	3.15	1.19	1.89
Separator variables	0	10	5.00	4.00	145	0	None	2.84	0.57	2.08

Dual tree decomposition

Number of clusters: 38
Number of leaves: 12
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 92 30.11 26.50 1,144 MAX VALUE 118.57 21.74 0.72 3.30

Cluster variables 4 38 13.32 11.00 506 MAX VALUE 92.20 8.07 0.61 2.90

Separator constraints 0 53 16.71 13.50 635 0 None 13.41 0.80 3.13

Separator variables 0 26 10.61 9.00 403 0 None 6.35 0.60 2.87

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	4	92	30.11	26.50	1,144	MAX VALUE	118.57	21.74	0.72	3.30
Cluster variables	4	38	13.32	11.00	506	MAX VALUE	92.20	8.07	0.61	2.90
Separator constraints	0	53	16.71	13.50	635	0	None	13.41	0.80	3.13
Separator variables	0	26	10.61	9.00	403	0	None	6.35	0.60	2.87

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 None 0.18 None None None None None 2.61

Degree 1 9 5.15 5.00 206 6.47e+26 61.73 2.02 0.39 2.08

Eccentricity 3 5 4.35 4.00 174 2.58e+25 58.51 0.53 0.12 0.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.18	None	None	None	None	None	2.61
Degree	1	9	5.15	5.00	206	6.47e+26	61.73	2.02	0.39	2.08
Eccentricity	3	5	4.35	4.00	174	2.58e+25	58.51	0.53	0.12	0.77

Triangulated primal graph

Density: 27.05%

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

Clustering coefficient 0.43 1.00 None 0.72 None None None None None 3.13

Degree 1 22 10.55 8.00 422 8.00e+35 82.67 7.01 0.66 2.84

Eccentricity 3 5 3.70 4.00 148 2.96e+22 51.74 0.64 0.17 0.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.43	1.00	None	0.72	None	None	None	None	None	3.13
Degree	1	22	10.55	8.00	422	8.00e+35	82.67	7.01	0.66	2.84
Eccentricity	3	5	3.70	4.00	148	2.96e+22	51.74	0.64	0.17	0.94

Dual graph

Density: 9.69%
MCB compute time (ms): 106
MCB cycles: 424
Triangles: 823
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.49 52.18 0.00 -71.18 0.08 0.16 3.47

Degree 3 16 9.88 10.00 1,018 MAX VALUE 230.91 2.82 0.29 2.40

Eccentricity 3 5 4.17 4.00 430 MAX VALUE 146.61 0.45 0.11 0.63

MCB cycle size 3 6 3.18 3.00 1,347 MAX VALUE 485.46 0.54 0.17 0.45

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.51	0.49	52.18	0.00	-71.18	0.08	0.16	3.47
Degree	3	16	9.88	10.00	1,018	MAX VALUE	230.91	2.82	0.29	2.40
Eccentricity	3	5	4.17	4.00	430	MAX VALUE	146.61	0.45	0.11	0.63
MCB cycle size	3	6	3.18	3.00	1,347	MAX VALUE	485.46	0.54	0.17	0.45

Minimal dual graph

Density: 3.16%
MCB compute time (ms): 27
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.34

Degree 1 5 3.22 3.00 332 MAX VALUE 118.30 0.64 0.20 0.95

Eccentricity 6 9 7.22 7.00 744 MAX VALUE 203.03 0.80 0.11 1.18

MCB cycle size 3 9 6.75 7.00 432 MAX VALUE 120.41 1.49 0.22 1.75

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.34
Degree	1	5	3.22	3.00	332	MAX VALUE	118.30	0.64	0.20	0.95
Eccentricity	6	9	7.22	7.00	744	MAX VALUE	203.03	0.80	0.11	1.18
MCB cycle size	3	9	6.75	7.00	432	MAX VALUE	120.41	1.49	0.22	1.75

Triangulated dual graph

Density: 31.45%
Triangles: 17,006

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

Clustering coefficient 0.56 1.00 0.80 0.79 81.96 0.00 -24.68 0.12 0.15 4.17

Degree 3 66 32.08 32.00 3,304 MAX VALUE 328.83 19.77 0.62 3.53

Eccentricity 2 4 3.17 3.00 326 MAX VALUE 117.58 0.46 0.15 0.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.56	1.00	0.80	0.79	81.96	0.00	-24.68	0.12	0.15	4.17
Degree	3	66	32.08	32.00	3,304	MAX VALUE	328.83	19.77	0.62	3.53
Eccentricity	2	4	3.17	3.00	326	MAX VALUE	117.58	0.46	0.15	0.66

Triangulated minimal dual graph

Density: 12.11%

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

Clustering coefficient 0.33 1.00 None 0.68 None None None None None 3.24

Degree 1 37 12.35 5.00 1,272 MAX VALUE 207.11 12.04 0.97 2.68

Eccentricity 3 6 4.55 5.00 469 MAX VALUE 155.23 0.59 0.13 0.88

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	None	0.68	None	None	None	None	None	3.24
Degree	1	37	12.35	5.00	1,272	MAX VALUE	207.11	12.04	0.97	2.68
Eccentricity	3	6	4.55	5.00	469	MAX VALUE	155.23	0.59	0.13	0.88

Incidence graph

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

Degree 1 9 2.88 2.00 412 MAX VALUE 133.13 1.77 0.62 1.08

Eccentricity 7 11 9.04 9.00 1,293 MAX VALUE 314.06 0.97 0.11 1.32

MCB cycle size 6 10 7.41 8.00 474 MAX VALUE 126.84 1.53 0.21 1.03

XCSP 2.1 Benchmarks