XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-85_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:50
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,480
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 206 1.01e+31 71.39 0.00 0.00 0.00

Coarse blocks size 4 31 16.06 16.00 264,640 MAX VALUE 45,328.40 3.54 0.22 2.68

Relational linkage 0.05 0.30 0.15 0.15 488.01 0.00 -6,085.19 0.03 0.20 2.30

Tightness 0.79 0.81 0.80 0.80 82.33 0.00 -23.08 0.00 0.01 4.12

Tuples 1,218 1,355 1,284.66 1,288.00 132,320 MAX VALUE 737.27 30.14 0.02 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 12 5.15 5.00 206 8.29e+26 61.98 2.15 0.42 1.98

Partitions per subscope 80 80 80.00 80.00 3,200 MAX VALUE 175.28 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	31	16.06	16.00	264,640	MAX VALUE	45,328.40	3.54	0.22	2.68
Relational linkage	0.05	0.30	0.15	0.15	488.01	0.00	-6,085.19	0.03	0.20	2.30
Tightness	0.79	0.81	0.80	0.80	82.33	0.00	-23.08	0.00	0.01	4.12
Tuples	1,218	1,355	1,284.66	1,288.00	132,320	MAX VALUE	737.27	30.14	0.02	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	12	5.15	5.00	206	8.29e+26	61.98	2.15	0.42	1.98
Partitions per subscope	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00

Tree decomposition

Number of clusters: 28
Number of leaves: 13
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 2 14 6.36 5.00 178 2.02e+20 46.75 3.69 0.58 2.25

Cluster variables 3 13 6.46 5.50 181 2.61e+21 49.31 3.03 0.47 2.14

Separator constraints 0 9 2.68 1.50 75 0 None 3.06 1.14 1.91

Separator variables 0 11 5.04 4.00 141 0 None 2.92 0.58 2.14

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	14	6.36	5.00	178	2.02e+20	46.75	3.69	0.58	2.25
Cluster variables	3	13	6.46	5.50	181	2.61e+21	49.31	3.03	0.47	2.14
Separator constraints	0	9	2.68	1.50	75	0	None	3.06	1.14	1.91
Separator variables	0	11	5.04	4.00	141	0	None	2.92	0.58	2.14

Dual tree decomposition

Number of clusters: 38
Number of leaves: 14
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 7 108 31.58 24.00 1,200 MAX VALUE 122.39 23.56 0.75 3.16

Cluster variables 5 36 13.84 11.00 526 MAX VALUE 94.17 8.14 0.59 2.80

Separator constraints 0 65 17.89 14.50 680 0 None 13.75 0.77 3.05

Separator variables 0 27 11.13 9.50 423 0 None 6.28 0.56 2.89

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	7	108	31.58	24.00	1,200	MAX VALUE	122.39	23.56	0.75	3.16
Cluster variables	5	36	13.84	11.00	526	MAX VALUE	94.17	8.14	0.59	2.80
Separator constraints	0	65	17.89	14.50	680	0	None	13.75	0.77	3.05
Separator variables	0	27	11.13	9.50	423	0	None	6.28	0.56	2.89

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 0.15 0.10 5.88 0.00 None 0.20 1.33 2.29

Degree 2 12 5.15 5.00 206 8.29e+26 61.98 2.15 0.42 1.98

Eccentricity 3 4 3.62 4.00 145 1.62e+22 51.14 0.48 0.13 0.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	0.15	0.10	5.88	0.00	None	0.20	1.33	2.29
Degree	2	12	5.15	5.00	206	8.29e+26	61.98	2.15	0.42	1.98
Eccentricity	3	4	3.62	4.00	145	1.62e+22	51.14	0.48	0.13	0.66

Triangulated primal graph

Density: 28.08%

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

Clustering coefficient 0.48 1.00 0.79 0.75 31.42 0.00 -10.71 0.18 0.22 2.77

Degree 2 25 10.95 8.00 438 1.55e+36 83.33 7.64 0.70 2.74

Eccentricity 2 3 2.60 3.00 104 1.85e+16 37.46 0.49 0.19 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	0.79	0.75	31.42	0.00	-10.71	0.18	0.22	2.77
Degree	2	25	10.95	8.00	438	1.55e+36	83.33	7.64	0.70	2.74
Eccentricity	2	3	2.60	3.00	104	1.85e+16	37.46	0.49	0.19	0.67

Dual graph

Density: 9.90%
MCB compute time (ms): 77
MCB cycles: 456
Triangles: 911
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 0.83 0.52 0.49 53.29 0.00 -69.01 0.08 0.16 3.41

Degree 4 19 10.10 10.00 1,040 MAX VALUE 233.28 3.06 0.30 2.43

Eccentricity 3 4 3.84 4.00 396 MAX VALUE 138.19 0.36 0.09 0.43

MCB cycle size 3 6 3.23 3.00 1,475 MAX VALUE 529.78 0.57 0.17 0.59

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.83	0.52	0.49	53.29	0.00	-69.01	0.08	0.16	3.41
Degree	4	19	10.10	10.00	1,040	MAX VALUE	233.28	3.06	0.30	2.43
Eccentricity	3	4	3.84	4.00	396	MAX VALUE	138.19	0.36	0.09	0.43
MCB cycle size	3	6	3.23	3.00	1,475	MAX VALUE	529.78	0.57	0.17	0.59

Minimal dual graph

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

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 5 3.22 3.00 332 MAX VALUE 118.53 0.62 0.19 0.94

Eccentricity 6 8 6.79 7.00 699 MAX VALUE 196.83 0.60 0.09 0.90

MCB cycle size 4 9 6.98 7.00 447 MAX VALUE 123.52 1.12 0.16 1.52

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	5	3.22	3.00	332	MAX VALUE	118.53	0.62	0.19	0.94
Eccentricity	6	8	6.79	7.00	699	MAX VALUE	196.83	0.60	0.09	0.90
MCB cycle size	4	9	6.98	7.00	447	MAX VALUE	123.52	1.12	0.16	1.52

Triangulated dual graph

Density: 33.16%
Triangles: 18,373

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

Clustering coefficient 0.59 1.00 0.80 0.80 82.50 0.00 -23.97 0.12 0.15 4.15

Degree 4 67 33.83 33.00 3,484 MAX VALUE 336.06 19.91 0.59 3.56

Eccentricity 2 3 2.65 3.00 273 MAX VALUE 98.56 0.48 0.18 0.65

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.59	1.00	0.80	0.80	82.50	0.00	-23.97	0.12	0.15	4.15
Degree	4	67	33.83	33.00	3,484	MAX VALUE	336.06	19.91	0.59	3.56
Eccentricity	2	3	2.65	3.00	273	MAX VALUE	98.56	0.48	0.18	0.65

Triangulated minimal dual graph

Density: 12.16%

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

Clustering coefficient 0.45 1.00 0.76 0.70 78.22 0.00 -31.49 0.19 0.24 2.97

Degree 2 39 12.41 5.00 1,278 MAX VALUE 209.97 11.95 0.96 2.85

Eccentricity 3 5 3.83 4.00 394 MAX VALUE 136.97 0.58 0.15 0.87

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.45	1.00	0.76	0.70	78.22	0.00	-31.49	0.19	0.24	2.97
Degree	2	39	12.41	5.00	1,278	MAX VALUE	209.97	11.95	0.96	2.85
Eccentricity	3	5	3.83	4.00	394	MAX VALUE	136.97	0.58	0.15	0.87

Incidence graph

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

Degree 2 12 2.88 2.00 412 MAX VALUE 133.38 1.81 0.63 1.03

Eccentricity 7 9 7.94 8.00 1,136 MAX VALUE 295.93 0.61 0.08 0.92

MCB cycle size 6 10 7.66 8.00 490 MAX VALUE 129.15 1.44 0.19 1.04

XCSP 2.1 Benchmarks