XCSP 2.1 Benchmark Database

Instance: rand-2-40-40-135-650-82_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:39
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 135

General features

Number of coarse blocks: 10,760
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 270 MAX VALUE 93.57 0.00 0.00 0.00

Coarse blocks size 2 25 13.96 14.00 150,237 MAX VALUE 28,103.50 3.00 0.22 2.52

Relational linkage 0.05 0.40 0.25 0.25 394.35 0.00 -2,173.64 0.05 0.18 2.03

Tightness 0.62 0.68 0.65 0.65 87.88 0.00 -57.98 0.01 0.02 3.93

Tuples 517 612 558.52 558.00 75,400 MAX VALUE 853.84 18.11 0.03 3.93

Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00

Constraints per subscope 2 13 6.90 7.00 269 2.91e+31 72.45 2.44 0.35 2.16

Partitions per subscope 40 40 40.00 40.00 1,560 MAX VALUE 143.87 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	270	MAX VALUE	93.57	0.00	0.00	0.00
Coarse blocks size	2	25	13.96	14.00	150,237	MAX VALUE	28,103.50	3.00	0.22	2.52
Relational linkage	0.05	0.40	0.25	0.25	394.35	0.00	-2,173.64	0.05	0.18	2.03
Tightness	0.62	0.68	0.65	0.65	87.88	0.00	-57.98	0.01	0.02	3.93
Tuples	517	612	558.52	558.00	75,400	MAX VALUE	853.84	18.11	0.03	3.93
Domain size	40	40	40.00	40.00	1,600	MAX VALUE	147.56	0.00	0.00	0.00
Constraints per subscope	2	13	6.90	7.00	269	2.91e+31	72.45	2.44	0.35	2.16
Partitions per subscope	40	40	40.00	40.00	1,560	MAX VALUE	143.87	0.00	0.00	0.00

Tree decomposition

Number of clusters: 26
Number of leaves: 12
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 26 12.23 9.50 318 1.15e+25 57.70 7.74 0.63 2.81

Cluster variables 2 15 8.62 7.00 224 6.26e+22 52.49 4.12 0.48 2.34

Separator constraints 0 22 7.04 4.00 183 0 None 7.04 1.00 2.46

Separator variables 0 14 7.08 5.50 184 0 None 4.17 0.59 2.42

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	26	12.23	9.50	318	1.15e+25	57.70	7.74	0.63	2.81
Cluster variables	2	15	8.62	7.00	224	6.26e+22	52.49	4.12	0.48	2.34
Separator constraints	0	22	7.04	4.00	183	0	None	7.04	1.00	2.46
Separator variables	0	14	7.08	5.50	184	0	None	4.17	0.59	2.42

Dual tree decomposition

Number of clusters: 38
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 11 188 66.26 53.50 2,518 MAX VALUE 151.54 42.12 0.64 3.64

Cluster variables 6 58 20.16 16.50 766 MAX VALUE 108.16 12.32 0.61 2.95

Separator constraints 0 106 42.34 36.00 1,609 0 None 26.10 0.62 3.44

Separator variables 0 41 16.61 14.50 631 0 None 9.39 0.57 2.97

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	11	188	66.26	53.50	2,518	MAX VALUE	151.54	42.12	0.64	3.64
Cluster variables	6	58	20.16	16.50	766	MAX VALUE	108.16	12.32	0.61	2.95
Separator constraints	0	106	42.34	36.00	1,609	0	None	26.10	0.62	3.44
Separator variables	0	41	16.61	14.50	631	0	None	9.39	0.57	2.97

Primal graph

Density: 17.31%
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.18 None None None None None 3.16

Degree 1 13 6.75 7.00 270 2.91e+31 72.45 2.58 0.38 2.22

Eccentricity 3 4 3.25 3.00 130 2.16e+20 46.82 0.43 0.13 0.56

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.40	None	0.18	None	None	None	None	None	3.16
Degree	1	13	6.75	7.00	270	2.91e+31	72.45	2.58	0.38	2.22
Eccentricity	3	4	3.25	3.00	130	2.16e+20	46.82	0.43	0.13	0.56

Triangulated primal graph

Density: 37.05%

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

Clustering coefficient 0.55 1.00 None 0.81 None None None None None 2.96

Degree 1 28 14.45 15.50 578 MAX VALUE 95.40 8.79 0.61 3.00

Eccentricity 2 3 2.52 3.00 101 5.48e+15 36.24 0.50 0.20 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.55	1.00	None	0.81	None	None	None	None	None	2.96
Degree	1	28	14.45	15.50	578	MAX VALUE	95.40	8.79	0.61	3.00
Eccentricity	2	3	2.52	3.00	101	5.48e+15	36.24	0.50	0.20	0.69

Dual graph

Density: 10.05%
MCB compute time (ms): 369
MCB cycles: 891
Triangles: 2,050
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.43 1.00 0.52 0.50 69.62 0.00 -90.36 0.07 0.13 4.04

Degree 5 22 13.47 14.00 1,818 MAX VALUE 346.84 3.23 0.24 2.54

Eccentricity 3 4 3.34 3.00 451 MAX VALUE 161.55 0.47 0.14 0.64

MCB cycle size 3 5 3.19 3.00 2,842 MAX VALUE 1,026.71 0.43 0.13 0.51

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.43	1.00	0.52	0.50	69.62	0.00	-90.36	0.07	0.13	4.04
Degree	5	22	13.47	14.00	1,818	MAX VALUE	346.84	3.23	0.24	2.54
Eccentricity	3	4	3.34	3.00	451	MAX VALUE	161.55	0.47	0.14	0.64
MCB cycle size	3	5	3.19	3.00	2,842	MAX VALUE	1,026.71	0.43	0.13	0.51

Minimal dual graph

Density: 2.54%
MCB compute time (ms): 80
MCB cycles: 96

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.41 3.00 460 MAX VALUE 162.49 0.71 0.21 1.07

Eccentricity 6 8 6.77 7.00 914 MAX VALUE 257.82 0.50 0.07 0.73

MCB cycle size 4 9 6.69 7.00 642 MAX VALUE 180.58 1.27 0.19 1.63

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.41	3.00	460	MAX VALUE	162.49	0.71	0.21	1.07
Eccentricity	6	8	6.77	7.00	914	MAX VALUE	257.82	0.50	0.07	0.73
MCB cycle size	4	9	6.69	7.00	642	MAX VALUE	180.58	1.27	0.19	1.63

Triangulated dual graph

Density: 40.06%
Triangles: 61,200

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

Clustering coefficient 0.69 1.00 0.82 0.80 110.33 0.00 -28.24 0.10 0.12 4.35

Degree 5 89 53.67 57.00 7,246 MAX VALUE 506.99 28.81 0.54 3.68

Eccentricity 2 3 2.43 2.00 328 MAX VALUE 117.09 0.50 0.20 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.69	1.00	0.82	0.80	110.33	0.00	-28.24	0.10	0.12	4.35
Degree	5	89	53.67	57.00	7,246	MAX VALUE	506.99	28.81	0.54	3.68
Eccentricity	2	3	2.43	2.00	328	MAX VALUE	117.09	0.50	0.20	0.68

Triangulated minimal dual graph

Density: 12.12%

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

Clustering coefficient 0.47 1.00 0.78 0.72 105.17 0.00 -36.85 0.17 0.22 3.11

Degree 2 48 16.24 7.00 2,192 MAX VALUE 296.92 16.74 1.03 2.96

Eccentricity 3 5 3.76 4.00 508 MAX VALUE 177.36 0.56 0.15 0.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	0.78	0.72	105.17	0.00	-36.85	0.17	0.22	3.11
Degree	2	48	16.24	7.00	2,192	MAX VALUE	296.92	16.74	1.03	2.96
Eccentricity	3	5	3.76	4.00	508	MAX VALUE	177.36	0.56	0.15	0.83

Incidence graph

Density: 1.77%
MCB compute time (ms): 93
MCB cycles: 96
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.14

Degree 1 13 3.09 2.00 540 MAX VALUE 166.02 2.34 0.76 0.99

Eccentricity 6 9 7.26 7.00 1,271 MAX VALUE 346.36 0.61 0.08 0.93

MCB cycle size 6 8 6.88 6.00 660 MAX VALUE 184.09 0.99 0.14 0.69

XCSP 2.1 Benchmarks