XCSP 2.1 Benchmark Database

Instance: rand-2-40-40-135-650-98_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:43
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 4 26 13.94 14.00 149,992 MAX VALUE 28,088.50 2.98 0.21 2.51

Relational linkage 0.10 0.42 0.25 0.25 393.25 0.00 -2,178.41 0.05 0.19 2.05

Tightness 0.63 0.68 0.65 0.65 87.95 0.00 -57.87 0.01 0.02 3.93

Tuples 513 597 557.68 558.00 75,287 MAX VALUE 853.65 17.16 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 11 6.90 7.00 269 6.45e+31 73.24 2.04 0.30 2.02

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	4	26	13.94	14.00	149,992	MAX VALUE	28,088.50	2.98	0.21	2.51
Relational linkage	0.10	0.42	0.25	0.25	393.25	0.00	-2,178.41	0.05	0.19	2.05
Tightness	0.63	0.68	0.65	0.65	87.95	0.00	-57.87	0.01	0.02	3.93
Tuples	513	597	557.68	558.00	75,287	MAX VALUE	853.65	17.16	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	11	6.90	7.00	269	6.45e+31	73.24	2.04	0.30	2.02
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: 25
Number of leaves: 12
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 1 27 11.68 10.00 292 1.30e+24 55.53 7.17 0.61 2.58

Cluster variables 2 16 8.80 8.00 220 1.54e+22 51.09 4.29 0.49 2.28

Separator constraints 0 22 6.28 4.00 157 0 None 6.47 1.03 2.46

Separator variables 0 15 7.20 6.00 180 0 None 4.29 0.60 2.36

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	27	11.68	10.00	292	1.30e+24	55.53	7.17	0.61	2.58
Cluster variables	2	16	8.80	8.00	220	1.54e+22	51.09	4.29	0.49	2.28
Separator constraints	0	22	6.28	4.00	157	0	None	6.47	1.03	2.46
Separator variables	0	15	7.20	6.00	180	0	None	4.29	0.60	2.36

Dual tree decomposition

Number of clusters: 38
Number of leaves: 15
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 15 155 59.68 50.50 2,268 MAX VALUE 148.78 34.98 0.59 3.38

Cluster variables 6 56 19.84 16.50 754 MAX VALUE 107.75 11.93 0.60 3.15

Separator constraints 0 87 36.68 35.50 1,394 0 None 21.05 0.57 3.27

Separator variables 0 42 16.29 13.50 619 0 None 9.16 0.56 3.08

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	15	155	59.68	50.50	2,268	MAX VALUE	148.78	34.98	0.59	3.38
Cluster variables	6	56	19.84	16.50	754	MAX VALUE	107.75	11.93	0.60	3.15
Separator constraints	0	87	36.68	35.50	1,394	0	None	21.05	0.57	3.27
Separator variables	0	42	16.29	13.50	619	0	None	9.16	0.56	3.08

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.43 None 0.20 None None None None None 2.93

Degree 1 11 6.75 7.00 270 6.45e+31 73.24 2.21 0.33 2.09

Eccentricity 3 4 3.40 3.00 136 1.21e+21 48.55 0.49 0.14 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.43	None	0.20	None	None	None	None	None	2.93
Degree	1	11	6.75	7.00	270	6.45e+31	73.24	2.21	0.33	2.09
Eccentricity	3	4	3.40	3.00	136	1.21e+21	48.55	0.49	0.14	0.67

Triangulated primal graph

Density: 38.46%

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

Clustering coefficient 0.57 1.00 None 0.79 None None None None None 3.03

Degree 1 28 15.00 18.50 600 MAX VALUE 97.43 8.91 0.59 2.89

Eccentricity 2 4 2.98 3.00 119 4.50e+18 42.95 0.52 0.18 0.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.57	1.00	None	0.79	None	None	None	None	None	3.03
Degree	1	28	15.00	18.50	600	MAX VALUE	97.43	8.91	0.59	2.89
Eccentricity	2	4	2.98	3.00	119	4.50e+18	42.95	0.52	0.18	0.78

Dual graph

Density: 9.66%
MCB compute time (ms): 344
MCB cycles: 793
Triangles: 1,823
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.44 1.00 0.51 0.49 68.38 0.00 -92.64 0.06 0.13 3.79

Degree 5 19 12.95 13.00 1,748 MAX VALUE 342.51 2.71 0.21 2.37

Eccentricity 3 4 3.53 4.00 477 MAX VALUE 169.03 0.50 0.14 0.69

MCB cycle size 3 5 3.13 3.00 2,479 MAX VALUE 899.52 0.36 0.11 0.39

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.44	1.00	0.51	0.49	68.38	0.00	-92.64	0.06	0.13	3.79
Degree	5	19	12.95	13.00	1,748	MAX VALUE	342.51	2.71	0.21	2.37
Eccentricity	3	4	3.53	4.00	477	MAX VALUE	169.03	0.50	0.14	0.69
MCB cycle size	3	5	3.13	3.00	2,479	MAX VALUE	899.52	0.36	0.11	0.39

Minimal dual graph

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

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.68

Degree 1 5 3.41 3.00 460 MAX VALUE 162.64 0.67 0.20 1.00

Eccentricity 6 8 6.93 7.00 936 MAX VALUE 260.90 0.60 0.09 0.90

MCB cycle size 4 9 6.78 7.00 651 MAX VALUE 182.34 1.11 0.16 1.48

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.68
Degree	1	5	3.41	3.00	460	MAX VALUE	162.64	0.67	0.20	1.00
Eccentricity	6	8	6.93	7.00	936	MAX VALUE	260.90	0.60	0.09	0.90
MCB cycle size	4	9	6.78	7.00	651	MAX VALUE	182.34	1.11	0.16	1.48

Triangulated dual graph

Density: 38.52%
Triangles: 56,908

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

Clustering coefficient 0.65 1.00 0.81 0.79 109.96 0.00 -28.73 0.10 0.13 4.30

Degree 5 90 51.61 58.00 6,968 MAX VALUE 501.22 28.44 0.55 3.82

Eccentricity 2 3 2.59 3.00 349 MAX VALUE 125.61 0.49 0.19 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.65	1.00	0.81	0.79	109.96	0.00	-28.73	0.10	0.13	4.30
Degree	5	90	51.61	58.00	6,968	MAX VALUE	501.22	28.44	0.55	3.82
Eccentricity	2	3	2.59	3.00	349	MAX VALUE	125.61	0.49	0.19	0.68

Triangulated minimal dual graph

Density: 11.86%

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

Clustering coefficient 0.33 1.00 None 0.76 None None None None None 3.26

Degree 1 51 15.90 6.00 2,146 MAX VALUE 294.94 16.20 1.02 3.02

Eccentricity 3 5 3.77 4.00 509 MAX VALUE 177.78 0.53 0.14 0.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	None	0.76	None	None	None	None	None	3.26
Degree	1	51	15.90	6.00	2,146	MAX VALUE	294.94	16.20	1.02	3.02
Eccentricity	3	5	3.77	4.00	509	MAX VALUE	177.78	0.53	0.14	0.78

Incidence graph

Density: 1.77%
MCB compute time (ms): 73
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.37

Degree 1 11 3.09 2.00 540 MAX VALUE 166.82 2.26 0.73 0.98

Eccentricity 6 9 7.57 8.00 1,324 MAX VALUE 353.33 0.73 0.10 1.09

MCB cycle size 6 10 6.90 6.00 662 MAX VALUE 184.31 1.04 0.15 0.73

XCSP 2.1 Benchmarks