XCSP 2.1 Benchmark Database

Instance: rand-2-40-40-135-650-33_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:31
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,800
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 270 MAX VALUE 93.57 0.00 0.00 0.00

Coarse blocks size 3 26 14.01 14.00 151,258 MAX VALUE 28,233.90 3.05 0.22 2.53

Relational linkage 0.07 0.47 0.26 0.25 408.43 0.00 -2,217.66 0.05 0.20 2.11

Tightness 0.61 0.67 0.65 0.65 87.73 0.00 -58.21 0.01 0.02 3.92

Tuples 523 621 560.22 558.00 75,629 MAX VALUE 854.25 18.68 0.03 3.92

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.75 7.00 270 6.61e+31 73.27 2.45 0.36 2.22

Partitions per subscope 40 40 40.00 40.00 1,600 MAX VALUE 147.56 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	3	26	14.01	14.00	151,258	MAX VALUE	28,233.90	3.05	0.22	2.53
Relational linkage	0.07	0.47	0.26	0.25	408.43	0.00	-2,217.66	0.05	0.20	2.11
Tightness	0.61	0.67	0.65	0.65	87.73	0.00	-58.21	0.01	0.02	3.92
Tuples	523	621	560.22	558.00	75,629	MAX VALUE	854.25	18.68	0.03	3.92
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.75	7.00	270	6.61e+31	73.27	2.45	0.36	2.22
Partitions per subscope	40	40	40.00	40.00	1,600	MAX VALUE	147.56	0.00	0.00	0.00

Tree decomposition

Number of clusters: 24
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 29 10.46 7.50 251 4.53e+21 49.87 7.90 0.76 2.53

Cluster variables 3 17 8.29 7.50 199 5.11e+20 47.68 4.27 0.51 2.35

Separator constraints 0 25 4.83 1.00 116 0 None 6.77 1.40 2.03

Separator variables 0 16 6.62 5.50 159 0 None 4.10 0.62 2.41

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	29	10.46	7.50	251	4.53e+21	49.87	7.90	0.76	2.53
Cluster variables	3	17	8.29	7.50	199	5.11e+20	47.68	4.27	0.51	2.35
Separator constraints	0	25	4.83	1.00	116	0	None	6.77	1.40	2.03
Separator variables	0	16	6.62	5.50	159	0	None	4.10	0.62	2.41

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 10 183 62.74 53.50 2,384 MAX VALUE 147.90 44.81 0.71 3.48

Cluster variables 6 56 20.21 16.50 768 MAX VALUE 107.75 12.83 0.63 3.10

Separator constraints 0 103 39.16 32.00 1,488 0 None 27.54 0.70 3.35

Separator variables 0 44 16.66 15.00 633 0 None 9.91 0.59 3.09

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	10	183	62.74	53.50	2,384	MAX VALUE	147.90	44.81	0.71	3.48
Cluster variables	6	56	20.21	16.50	768	MAX VALUE	107.75	12.83	0.63	3.10
Separator constraints	0	103	39.16	32.00	1,488	0	None	27.54	0.70	3.35
Separator variables	0	44	16.66	15.00	633	0	None	9.91	0.59	3.09

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.33 0.14 0.14 5.50 0.00 None 0.10 0.72 2.67

Degree 2 13 6.75 7.00 270 6.61e+31 73.27 2.45 0.36 2.22

Eccentricity 3 4 3.23 3.00 129 1.62e+20 46.53 0.42 0.13 0.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.14	0.14	5.50	0.00	None	0.10	0.72	2.67
Degree	2	13	6.75	7.00	270	6.61e+31	73.27	2.45	0.36	2.22
Eccentricity	3	4	3.23	3.00	129	1.62e+20	46.53	0.42	0.13	0.53

Triangulated primal graph

Density: 37.82%

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

Clustering coefficient 0.61 1.00 0.82 0.78 32.73 0.00 -8.66 0.15 0.18 2.73

Degree 2 27 14.75 15.50 590 MAX VALUE 96.63 9.01 0.61 2.69

Eccentricity 2 3 2.55 3.00 102 8.23e+15 36.65 0.50 0.20 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.61	1.00	0.82	0.78	32.73	0.00	-8.66	0.15	0.18	2.73
Degree	2	27	14.75	15.50	590	MAX VALUE	96.63	9.01	0.61	2.69
Eccentricity	2	3	2.55	3.00	102	8.23e+15	36.65	0.50	0.20	0.69

Dual graph

Density: 9.91%
MCB compute time (ms): 342
MCB cycles: 776
Triangles: 1,966
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 0.80 0.51 0.49 68.68 0.00 -92.13 0.06 0.12 3.82

Degree 5 21 13.27 13.00 1,792 MAX VALUE 344.81 3.19 0.24 2.54

Eccentricity 3 4 3.39 3.00 457 MAX VALUE 163.27 0.49 0.14 0.67

MCB cycle size 3 5 3.09 3.00 2,401 MAX VALUE 873.39 0.30 0.10 0.32

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.43	0.80	0.51	0.49	68.68	0.00	-92.13	0.06	0.12	3.82
Degree	5	21	13.27	13.00	1,792	MAX VALUE	344.81	3.19	0.24	2.54
Eccentricity	3	4	3.39	3.00	457	MAX VALUE	163.27	0.49	0.14	0.67
MCB cycle size	3	5	3.09	3.00	2,401	MAX VALUE	873.39	0.30	0.10	0.32

Minimal dual graph

Density: 2.54%
MCB compute time (ms): 50
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.62 0.69 0.20 1.04

Eccentricity 6 8 6.75 7.00 911 MAX VALUE 257.19 0.62 0.09 0.92

MCB cycle size 4 9 6.89 7.00 661 MAX VALUE 183.72 1.16 0.17 1.53

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.62	0.69	0.20	1.04
Eccentricity	6	8	6.75	7.00	911	MAX VALUE	257.19	0.62	0.09	0.92
MCB cycle size	4	9	6.89	7.00	661	MAX VALUE	183.72	1.16	0.17	1.53

Triangulated dual graph

Density: 40.75%
Triangles: 64,162

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

Clustering coefficient 0.66 1.00 0.82 0.80 110.87 0.00 -27.52 0.10 0.12 4.46

Degree 5 94 54.61 69.00 7,372 MAX VALUE 508.44 29.35 0.54 3.85

Eccentricity 2 4 2.69 3.00 363 MAX VALUE 131.05 0.49 0.18 0.70

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.66	1.00	0.82	0.80	110.87	0.00	-27.52	0.10	0.12	4.46
Degree	5	94	54.61	69.00	7,372	MAX VALUE	508.44	29.35	0.54	3.85
Eccentricity	2	4	2.69	3.00	363	MAX VALUE	131.05	0.49	0.18	0.70

Triangulated minimal dual graph

Density: 12.43%

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

Clustering coefficient 0.50 1.00 0.79 0.72 106.17 0.00 -35.48 0.17 0.21 3.14

Degree 2 51 16.65 7.00 2,248 MAX VALUE 298.11 17.24 1.04 2.97

Eccentricity 3 5 3.67 4.00 495 MAX VALUE 174.07 0.50 0.14 0.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.79	0.72	106.17	0.00	-35.48	0.17	0.21	3.14
Degree	2	51	16.65	7.00	2,248	MAX VALUE	298.11	17.24	1.04	2.97
Eccentricity	3	5	3.67	4.00	495	MAX VALUE	174.07	0.50	0.14	0.72

Incidence graph

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

Degree 2 13 3.09 2.00 540 MAX VALUE 166.84 2.31 0.75 1.01

Eccentricity 6 9 7.26 7.00 1,270 MAX VALUE 346.10 0.67 0.09 1.01

MCB cycle size 6 10 7.21 8.00 692 MAX VALUE 188.63 1.02 0.14 0.73

XCSP 2.1 Benchmarks