XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-70_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:05
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 30 16.01 16.00 262,540 MAX VALUE 45,045.30 3.57 0.22 2.69

Relational linkage 0.05 0.26 0.15 0.15 468.57 0.00 -5,984.41 0.03 0.21 2.32

Tightness 0.79 0.81 0.80 0.80 82.39 0.00 -23.00 0.00 0.01 4.08

Tuples 1,206 1,343 1,280.70 1,281.00 131,912 MAX VALUE 736.95 29.98 0.02 4.08

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 8.47e+26 62.00 1.90 0.36 1.98

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	30	16.01	16.00	262,540	MAX VALUE	45,045.30	3.57	0.22	2.69
Relational linkage	0.05	0.26	0.15	0.15	468.57	0.00	-5,984.41	0.03	0.21	2.32
Tightness	0.79	0.81	0.80	0.80	82.39	0.00	-23.00	0.00	0.01	4.08
Tuples	1,206	1,343	1,280.70	1,281.00	131,912	MAX VALUE	736.95	29.98	0.02	4.08
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	8.47e+26	62.00	1.90	0.36	1.98
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: 27
Number of leaves: 13
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 18 6.07 5.00 164 6.63e+18 43.34 3.97 0.65 2.27

Cluster variables 2 14 6.52 6.00 176 5.18e+20 47.70 3.14 0.48 2.13

Separator constraints 0 13 2.26 1.00 61 0 None 3.18 1.41 1.79

Separator variables 0 13 5.04 5.00 136 0 None 2.95 0.59 2.19

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	18	6.07	5.00	164	6.63e+18	43.34	3.97	0.65	2.27
Cluster variables	2	14	6.52	6.00	176	5.18e+20	47.70	3.14	0.48	2.13
Separator constraints	0	13	2.26	1.00	61	0	None	3.18	1.41	1.79
Separator variables	0	13	5.04	5.00	136	0	None	2.95	0.59	2.19

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 97 31.82 24.00 1,209 MAX VALUE 123.28 21.77 0.68 3.17

Cluster variables 5 41 14.18 11.50 539 MAX VALUE 94.92 8.61 0.61 2.80

Separator constraints 0 56 18.47 14.50 702 0 None 13.30 0.72 3.01

Separator variables 0 28 11.47 10.00 436 0 None 6.67 0.58 2.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	6	97	31.82	24.00	1,209	MAX VALUE	123.28	21.77	0.68	3.17
Cluster variables	5	41	14.18	11.50	539	MAX VALUE	94.92	8.61	0.61	2.80
Separator constraints	0	56	18.47	14.50	702	0	None	13.30	0.72	3.01
Separator variables	0	28	11.47	10.00	436	0	None	6.67	0.58	2.73

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.67 None 0.06 None None None None None 2.25

Degree 1 10 5.15 5.00 206 8.47e+26 62.00 1.99 0.39 2.05

Eccentricity 3 4 3.52 4.00 141 5.11e+21 49.99 0.50 0.14 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.67	None	0.06	None	None	None	None	None	2.25
Degree	1	10	5.15	5.00	206	8.47e+26	62.00	1.99	0.39	2.05
Eccentricity	3	4	3.52	4.00	141	5.11e+21	49.99	0.50	0.14	0.69

Triangulated primal graph

Density: 29.10%

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

Clustering coefficient 0.54 1.00 None 0.74 None None None None None 3.01

Degree 1 24 11.35 7.50 454 6.20e+36 84.72 7.78 0.69 2.76

Eccentricity 2 3 2.65 3.00 106 4.16e+16 38.27 0.48 0.18 0.65

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.54	1.00	None	0.74	None	None	None	None	None	3.01
Degree	1	24	11.35	7.50	454	6.20e+36	84.72	7.78	0.69	2.76
Eccentricity	2	3	2.65	3.00	106	4.16e+16	38.27	0.48	0.18	0.65

Dual graph

Density: 9.65%
MCB compute time (ms): 130
MCB cycles: 433
Triangles: 809
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.50 0.47 51.59 0.00 -72.43 0.09 0.17 3.35

Degree 4 17 9.84 10.00 1,014 MAX VALUE 231.44 2.70 0.27 2.37

Eccentricity 3 4 3.82 4.00 393 MAX VALUE 137.32 0.39 0.10 0.48

MCB cycle size 3 6 3.24 3.00 1,401 MAX VALUE 503.52 0.54 0.17 0.59

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.50	0.47	51.59	0.00	-72.43	0.09	0.17	3.35
Degree	4	17	9.84	10.00	1,014	MAX VALUE	231.44	2.70	0.27	2.37
Eccentricity	3	4	3.82	4.00	393	MAX VALUE	137.32	0.39	0.10	0.48
MCB cycle size	3	6	3.24	3.00	1,401	MAX VALUE	503.52	0.54	0.17	0.59

Minimal dual graph

Density: 3.16%
MCB compute time (ms): 26
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.00 0.68 0.21 1.02

Eccentricity 6 9 6.80 7.00 700 MAX VALUE 196.83 0.72 0.11 1.04

MCB cycle size 3 9 6.81 7.00 436 MAX VALUE 121.71 1.14 0.17 1.41

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.00	0.68	0.21	1.02
Eccentricity	6	9	6.80	7.00	700	MAX VALUE	196.83	0.72	0.11	1.04
MCB cycle size	3	9	6.81	7.00	436	MAX VALUE	121.71	1.14	0.17	1.41

Triangulated dual graph

Density: 34.88%
Triangles: 20,844

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

Clustering coefficient 0.63 1.00 0.81 0.78 83.06 0.00 -23.05 0.11 0.13 4.10

Degree 4 64 35.57 37.00 3,664 MAX VALUE 340.11 21.04 0.59 3.54

Eccentricity 2 3 2.60 3.00 268 MAX VALUE 96.53 0.49 0.19 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.63	1.00	0.81	0.78	83.06	0.00	-23.05	0.11	0.13	4.10
Degree	4	64	35.57	37.00	3,664	MAX VALUE	340.11	21.04	0.59	3.54
Eccentricity	2	3	2.60	3.00	268	MAX VALUE	96.53	0.49	0.19	0.67

Triangulated minimal dual graph

Density: 11.73%

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

Clustering coefficient 0.47 1.00 None 0.70 None None None None None 3.05

Degree 1 38 11.96 5.00 1,232 MAX VALUE 205.29 11.57 0.97 2.88

Eccentricity 3 5 3.92 4.00 404 MAX VALUE 139.39 0.63 0.16 0.95

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	None	0.70	None	None	None	None	None	3.05
Degree	1	38	11.96	5.00	1,232	MAX VALUE	205.29	11.57	0.97	2.88
Eccentricity	3	5	3.92	4.00	404	MAX VALUE	139.39	0.63	0.16	0.95

Incidence graph

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

Degree 1 10 2.88 2.00 412 MAX VALUE 133.40 1.76 0.61 1.10

Eccentricity 6 9 7.80 8.00 1,116 MAX VALUE 293.39 0.59 0.08 0.89

MCB cycle size 6 10 7.78 8.00 498 MAX VALUE 130.68 1.07 0.14 0.79

XCSP 2.1 Benchmarks