XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-43_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,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 32 16.00 16.00 263,698 MAX VALUE 45,254.00 3.58 0.22 2.69

Relational linkage 0.05 0.29 0.15 0.15 484.52 0.00 -6,114.35 0.03 0.21 2.34

Tightness 0.79 0.81 0.80 0.80 82.40 0.00 -22.99 0.00 0.01 4.12

Tuples 1,209 1,358 1,280.09 1,280.00 131,849 MAX VALUE 736.90 30.85 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 10 5.15 5.00 206 7.13e+26 61.83 2.12 0.41 2.05

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	32	16.00	16.00	263,698	MAX VALUE	45,254.00	3.58	0.22	2.69
Relational linkage	0.05	0.29	0.15	0.15	484.52	0.00	-6,114.35	0.03	0.21	2.34
Tightness	0.79	0.81	0.80	0.80	82.40	0.00	-22.99	0.00	0.01	4.12
Tuples	1,209	1,358	1,280.09	1,280.00	131,849	MAX VALUE	736.90	30.85	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	10	5.15	5.00	206	7.13e+26	61.83	2.12	0.41	2.05
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: 16
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 16 6.43 5.50 180 2.13e+20 46.81 3.89 0.60 2.41

Cluster variables 3 13 6.43 5.00 180 1.64e+21 48.85 3.22 0.50 2.09

Separator constraints 0 12 2.75 1.50 77 0 None 3.32 1.21 2.00

Separator variables 0 12 5.00 4.00 140 0 None 3.12 0.62 2.16

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	16	6.43	5.50	180	2.13e+20	46.81	3.89	0.60	2.41
Cluster variables	3	13	6.43	5.00	180	1.64e+21	48.85	3.22	0.50	2.09
Separator constraints	0	12	2.75	1.50	77	0	None	3.32	1.21	2.00
Separator variables	0	12	5.00	4.00	140	0	None	3.12	0.62	2.16

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 7 71 31.05 24.50 1,180 MAX VALUE 122.71 19.23 0.62 3.25

Cluster variables 5 34 13.74 11.00 522 MAX VALUE 94.23 7.72 0.56 2.81

Separator constraints 0 43 17.45 13.50 663 0 None 11.41 0.65 3.17

Separator variables 0 27 11.03 9.50 419 0 None 5.97 0.54 2.76

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	7	71	31.05	24.50	1,180	MAX VALUE	122.71	19.23	0.62	3.25
Cluster variables	5	34	13.74	11.00	522	MAX VALUE	94.23	7.72	0.56	2.81
Separator constraints	0	43	17.45	13.50	663	0	None	11.41	0.65	3.17
Separator variables	0	27	11.03	9.50	419	0	None	5.97	0.54	2.76

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.17 0.17 6.98 0.00 None 0.19 1.06 2.29

Degree 2 10 5.15 5.00 206 7.13e+26 61.83 2.12 0.41 2.05

Eccentricity 3 5 3.92 4.00 157 3.69e+23 54.27 0.57 0.14 0.85

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	0.17	0.17	6.98	0.00	None	0.19	1.06	2.29
Degree	2	10	5.15	5.00	206	7.13e+26	61.83	2.12	0.41	2.05
Eccentricity	3	5	3.92	4.00	157	3.69e+23	54.27	0.57	0.14	0.85

Triangulated primal graph

Density: 27.95%

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

Clustering coefficient 0.50 1.00 0.80 0.73 31.82 0.00 -10.22 0.18 0.23 2.48

Degree 2 23 10.90 8.00 436 5.92e+35 82.37 7.73 0.71 2.69

Eccentricity 2 4 2.80 3.00 112 3.75e+17 40.47 0.51 0.18 0.75

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.80	0.73	31.82	0.00	-10.22	0.18	0.23	2.48
Degree	2	23	10.90	8.00	436	5.92e+35	82.37	7.73	0.71	2.69
Eccentricity	2	4	2.80	3.00	112	3.75e+17	40.47	0.51	0.18	0.75

Dual graph

Density: 9.84%
MCB compute time (ms): 113
MCB cycles: 451
Triangles: 874
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.81 0.52 0.50 53.48 0.00 -68.27 0.07 0.13 3.71

Degree 4 17 10.04 10.00 1,034 MAX VALUE 232.86 2.88 0.29 2.44

Eccentricity 3 5 3.91 4.00 403 MAX VALUE 140.07 0.34 0.09 0.43

MCB cycle size 3 6 3.20 3.00 1,443 MAX VALUE 519.87 0.52 0.16 0.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.81	0.52	0.50	53.48	0.00	-68.27	0.07	0.13	3.71
Degree	4	17	10.04	10.00	1,034	MAX VALUE	232.86	2.88	0.29	2.44
Eccentricity	3	5	3.91	4.00	403	MAX VALUE	140.07	0.34	0.09	0.43
MCB cycle size	3	6	3.20	3.00	1,443	MAX VALUE	519.87	0.52	0.16	0.53

Minimal dual graph

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

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

Clustering coefficient 0.00 1.00 0.02 0.00 1.67 0.00 None 0.11 6.66 0.15

Degree 2 5 3.22 3.00 332 MAX VALUE 118.47 0.64 0.20 0.97

Eccentricity 5 9 6.73 7.00 693 MAX VALUE 195.71 0.75 0.11 1.12

MCB cycle size 3 9 6.88 7.00 440 MAX VALUE 121.87 1.36 0.20 1.60

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	0.02	0.00	1.67	0.00	None	0.11	6.66	0.15
Degree	2	5	3.22	3.00	332	MAX VALUE	118.47	0.64	0.20	0.97
Eccentricity	5	9	6.73	7.00	693	MAX VALUE	195.71	0.75	0.11	1.12
MCB cycle size	3	9	6.88	7.00	440	MAX VALUE	121.87	1.36	0.20	1.60

Triangulated dual graph

Density: 31.94%
Triangles: 16,644

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

Clustering coefficient 0.59 1.00 0.79 0.76 81.77 0.00 -25.00 0.12 0.16 4.11

Degree 4 63 32.58 32.00 3,356 MAX VALUE 333.15 19.21 0.59 3.56

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.59	1.00	0.79	0.76	81.77	0.00	-25.00	0.12	0.16	4.11
Degree	4	63	32.58	32.00	3,356	MAX VALUE	333.15	19.21	0.59	3.56
Eccentricity	2	3	2.60	3.00	268	MAX VALUE	96.53	0.49	0.19	0.67

Triangulated minimal dual graph

Density: 12.24%

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

Clustering coefficient 0.46 1.00 0.76 0.69 77.92 0.00 -31.67 0.18 0.24 2.97

Degree 2 37 12.49 5.00 1,286 MAX VALUE 209.24 12.22 0.98 2.77

Eccentricity 3 6 4.43 4.00 456 MAX VALUE 152.06 0.66 0.15 1.01

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.46	1.00	0.76	0.69	77.92	0.00	-31.67	0.18	0.24	2.97
Degree	2	37	12.49	5.00	1,286	MAX VALUE	209.24	12.22	0.98	2.77
Eccentricity	3	6	4.43	4.00	456	MAX VALUE	152.06	0.66	0.15	1.01

Incidence graph

Density: 2.03%
MCB compute time (ms): 44
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 10 2.88 2.00 412 MAX VALUE 133.23 1.80 0.63 1.02

Eccentricity 7 10 8.25 8.00 1,180 MAX VALUE 301.21 0.74 0.09 1.11

MCB cycle size 6 12 7.47 8.00 478 MAX VALUE 127.32 1.63 0.22 1.04

XCSP 2.1 Benchmarks