XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-28_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:01
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 3 30 16.03 16.00 262,920 MAX VALUE 45,073.30 3.56 0.22 2.69

Relational linkage 0.04 0.28 0.15 0.15 477.00 0.00 -5,931.96 0.03 0.21 2.35

Tightness 0.79 0.81 0.80 0.80 82.36 0.00 -23.03 0.01 0.01 4.17

Tuples 1,215 1,365 1,282.37 1,280.00 132,084 MAX VALUE 737.08 32.01 0.02 4.17

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.39e+25 59.80 2.45 0.47 2.07

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	3	30	16.03	16.00	262,920	MAX VALUE	45,073.30	3.56	0.22	2.69
Relational linkage	0.04	0.28	0.15	0.15	477.00	0.00	-5,931.96	0.03	0.21	2.35
Tightness	0.79	0.81	0.80	0.80	82.36	0.00	-23.03	0.01	0.01	4.17
Tuples	1,215	1,365	1,282.37	1,280.00	132,084	MAX VALUE	737.08	32.01	0.02	4.17
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.39e+25	59.80	2.45	0.47	2.07
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: 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 1 19 6.14 4.00 172 2.23e+18 42.25 4.82 0.78 2.30

Cluster variables 2 13 6.07 5.00 170 1.27e+20 46.29 3.42 0.56 2.17

Separator constraints 0 12 2.46 1.00 69 0 None 3.64 1.48 1.71

Separator variables 0 12 4.64 3.50 130 0 None 3.28 0.71 2.22

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	19	6.14	4.00	172	2.23e+18	42.25	4.82	0.78	2.30
Cluster variables	2	13	6.07	5.00	170	1.27e+20	46.29	3.42	0.56	2.17
Separator constraints	0	12	2.46	1.00	69	0	None	3.64	1.48	1.71
Separator variables	0	12	4.64	3.50	130	0	None	3.28	0.71	2.22

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 6 97 34.95 27.50 1,328 MAX VALUE 126.13 23.60 0.68 3.38

Cluster variables 4 38 14.11 11.50 536 MAX VALUE 94.80 8.26 0.59 2.87

Separator constraints 0 55 20.39 17.50 775 0 None 14.18 0.70 3.22

Separator variables 0 26 11.39 9.50 433 0 None 6.36 0.56 2.89

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	6	97	34.95	27.50	1,328	MAX VALUE	126.13	23.60	0.68	3.38
Cluster variables	4	38	14.11	11.50	536	MAX VALUE	94.80	8.26	0.59	2.87
Separator constraints	0	55	20.39	17.50	775	0	None	14.18	0.70	3.22
Separator variables	0	26	11.39	9.50	433	0	None	6.36	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 0.40 None 0.10 None None None None None 2.48

Degree 1 10 5.15 5.00 206 9.39e+25 59.80 2.51 0.49 2.13

Eccentricity 3 5 3.80 4.00 152 9.97e+22 52.96 0.56 0.15 0.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.40	None	0.10	None	None	None	None	None	2.48
Degree	1	10	5.15	5.00	206	9.39e+25	59.80	2.51	0.49	2.13
Eccentricity	3	5	3.80	4.00	152	9.97e+22	52.96	0.56	0.15	0.83

Triangulated primal graph

Density: 26.67%

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

Clustering coefficient 0.47 1.00 None 0.77 None None None None None 2.66

Degree 1 25 10.40 7.50 416 1.02e+34 78.31 7.75 0.75 2.56

Eccentricity 2 4 3.27 3.00 131 2.56e+20 46.99 0.50 0.15 0.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	None	0.77	None	None	None	None	None	2.66
Degree	1	25	10.40	7.50	416	1.02e+34	78.31	7.75	0.75	2.56
Eccentricity	2	4	3.27	3.00	131	2.56e+20	46.99	0.50	0.15	0.72

Dual graph

Density: 10.53%
MCB compute time (ms): 88
MCB cycles: 473
Triangles: 1,020
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.54 0.50 55.77 0.00 -64.86 0.11 0.20 3.71

Degree 3 18 10.74 10.00 1,106 MAX VALUE 239.76 3.07 0.29 2.49

Eccentricity 3 4 3.75 4.00 386 MAX VALUE 135.31 0.43 0.12 0.56

MCB cycle size 3 5 3.16 3.00 1,496 MAX VALUE 540.83 0.45 0.14 0.46

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	1.00	0.54	0.50	55.77	0.00	-64.86	0.11	0.20	3.71
Degree	3	18	10.74	10.00	1,106	MAX VALUE	239.76	3.07	0.29	2.49
Eccentricity	3	4	3.75	4.00	386	MAX VALUE	135.31	0.43	0.12	0.56
MCB cycle size	3	5	3.16	3.00	1,496	MAX VALUE	540.83	0.45	0.14	0.46

Minimal dual graph

Density: 3.16%
MCB compute time (ms): 19
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.11 0.68 0.21 1.03

Eccentricity 5 8 6.83 7.00 703 MAX VALUE 197.44 0.58 0.09 0.88

MCB cycle size 4 9 6.73 7.00 431 MAX VALUE 120.88 1.28 0.19 1.61

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.11	0.68	0.21	1.03
Eccentricity	5	8	6.83	7.00	703	MAX VALUE	197.44	0.58	0.09	0.88
MCB cycle size	4	9	6.73	7.00	431	MAX VALUE	120.88	1.28	0.19	1.61

Triangulated dual graph

Density: 34.09%
Triangles: 19,291

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

Clustering coefficient 0.56 1.00 0.80 0.78 82.34 0.00 -24.13 0.12 0.15 4.19

Degree 3 68 34.78 35.00 3,582 MAX VALUE 339.70 20.07 0.58 3.68

Eccentricity 2 4 2.94 3.00 303 MAX VALUE 110.02 0.41 0.14 0.57

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.56	1.00	0.80	0.78	82.34	0.00	-24.13	0.12	0.15	4.19
Degree	3	68	34.78	35.00	3,582	MAX VALUE	339.70	20.07	0.58	3.68
Eccentricity	2	4	2.94	3.00	303	MAX VALUE	110.02	0.41	0.14	0.57

Triangulated minimal dual graph

Density: 11.52%

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

Clustering coefficient 0.44 1.00 0.76 0.67 78.33 0.00 -31.85 0.20 0.26 2.78

Degree 2 38 11.75 6.00 1,210 MAX VALUE 203.08 11.49 0.98 2.84

Eccentricity 3 5 3.76 4.00 387 MAX VALUE 135.21 0.55 0.15 0.81

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.44	1.00	0.76	0.67	78.33	0.00	-31.85	0.20	0.26	2.78
Degree	2	38	11.75	6.00	1,210	MAX VALUE	203.08	11.49	0.98	2.84
Eccentricity	3	5	3.76	4.00	387	MAX VALUE	135.21	0.55	0.15	0.81

Incidence graph

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

Degree 1 10 2.88 2.00 412 MAX VALUE 131.20 1.94 0.67 0.99

Eccentricity 6 10 8.03 8.00 1,148 MAX VALUE 297.18 0.78 0.10 1.17

MCB cycle size 6 10 7.53 8.00 482 MAX VALUE 128.19 1.36 0.18 0.99

XCSP 2.1 Benchmarks