XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-83_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:02
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 30 15.95 16.00 262,806 MAX VALUE 45,210.20 3.55 0.22 2.68

Relational linkage 0.05 0.31 0.15 0.15 483.04 0.00 -6,118.08 0.03 0.20 2.30

Tightness 0.79 0.81 0.80 0.80 82.47 0.00 -22.90 0.00 0.01 4.11

Tuples 1,189 1,352 1,275.76 1,279.00 131,403 MAX VALUE 736.56 26.90 0.02 4.11

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 9.83e+26 62.15 2.01 0.39 1.98

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	30	15.95	16.00	262,806	MAX VALUE	45,210.20	3.55	0.22	2.68
Relational linkage	0.05	0.31	0.15	0.15	483.04	0.00	-6,118.08	0.03	0.20	2.30
Tightness	0.79	0.81	0.80	0.80	82.47	0.00	-22.90	0.00	0.01	4.11
Tuples	1,189	1,352	1,275.76	1,279.00	131,403	MAX VALUE	736.56	26.90	0.02	4.11
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	9.83e+26	62.15	2.01	0.39	1.98
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: 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 2 16 6.11 5.00 165 1.10e+19 43.85 3.84 0.63 2.17

Cluster variables 3 14 6.67 6.00 180 7.85e+20 48.11 3.27 0.49 2.21

Separator constraints 0 10 2.30 1.00 62 0 None 2.95 1.29 1.79

Separator variables 0 12 5.19 5.00 140 0 None 3.10 0.60 2.21

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	16	6.11	5.00	165	1.10e+19	43.85	3.84	0.63	2.17
Cluster variables	3	14	6.67	6.00	180	7.85e+20	48.11	3.27	0.49	2.21
Separator constraints	0	10	2.30	1.00	62	0	None	2.95	1.29	1.79
Separator variables	0	12	5.19	5.00	140	0	None	3.10	0.60	2.21

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 9 86 31.24 22.50 1,187 MAX VALUE 122.28 21.91 0.70 3.19

Cluster variables 6 38 14.08 12.00 535 MAX VALUE 94.84 8.38 0.60 2.78

Separator constraints 0 61 17.87 12.00 679 0 None 14.06 0.79 2.87

Separator variables 0 30 11.37 10.00 432 0 None 6.47 0.57 2.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	9	86	31.24	22.50	1,187	MAX VALUE	122.28	21.91	0.70	3.19
Cluster variables	6	38	14.08	12.00	535	MAX VALUE	94.84	8.38	0.60	2.78
Separator constraints	0	61	17.87	12.00	679	0	None	14.06	0.79	2.87
Separator variables	0	30	11.37	10.00	432	0	None	6.47	0.57	2.66

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.33 0.09 0.09 3.72 0.00 None 0.09 0.99 2.19

Degree 2 10 5.15 5.00 206 9.83e+26 62.15 2.01 0.39 1.98

Eccentricity 3 5 3.75 4.00 150 5.98e+22 52.45 0.54 0.14 0.79

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.09	0.09	3.72	0.00	None	0.09	0.99	2.19
Degree	2	10	5.15	5.00	206	9.83e+26	62.15	2.01	0.39	1.98
Eccentricity	3	5	3.75	4.00	150	5.98e+22	52.45	0.54	0.14	0.79

Triangulated primal graph

Density: 29.62%

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

Clustering coefficient 0.50 1.00 0.79 0.76 31.53 0.00 -10.43 0.17 0.21 2.82

Degree 2 25 11.55 8.50 462 1.10e+37 85.30 7.88 0.68 2.86

Eccentricity 2 4 2.95 3.00 118 3.00e+18 42.54 0.55 0.18 0.81

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.79	0.76	31.53	0.00	-10.43	0.17	0.21	2.82
Degree	2	25	11.55	8.50	462	1.10e+37	85.30	7.88	0.68	2.86
Eccentricity	2	4	2.95	3.00	118	3.00e+18	42.54	0.55	0.18	0.81

Dual graph

Density: 9.67%
MCB compute time (ms): 139
MCB cycles: 426
Triangles: 821
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.80 0.50 0.48 51.88 0.00 -71.60 0.07 0.15 3.28

Degree 5 17 9.86 9.00 1,016 MAX VALUE 231.34 2.87 0.29 2.39

Eccentricity 3 4 3.76 4.00 387 MAX VALUE 135.60 0.43 0.11 0.55

MCB cycle size 3 5 3.21 3.00 1,366 MAX VALUE 491.84 0.52 0.16 0.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.80	0.50	0.48	51.88	0.00	-71.60	0.07	0.15	3.28
Degree	5	17	9.86	9.00	1,016	MAX VALUE	231.34	2.87	0.29	2.39
Eccentricity	3	4	3.76	4.00	387	MAX VALUE	135.60	0.43	0.11	0.55
MCB cycle size	3	5	3.21	3.00	1,366	MAX VALUE	491.84	0.52	0.16	0.53

Minimal dual graph

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

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.22 3.00 332 MAX VALUE 118.40 0.65 0.20 0.98

Eccentricity 6 8 6.54 7.00 674 MAX VALUE 193.14 0.54 0.08 0.78

MCB cycle size 4 9 7.09 7.00 454 MAX VALUE 124.04 1.38 0.19 1.62

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.22	3.00	332	MAX VALUE	118.40	0.65	0.20	0.98
Eccentricity	6	8	6.54	7.00	674	MAX VALUE	193.14	0.54	0.08	0.78
MCB cycle size	4	9	7.09	7.00	454	MAX VALUE	124.04	1.38	0.19	1.62

Triangulated dual graph

Density: 34.21%
Triangles: 19,815

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

Clustering coefficient 0.61 1.00 0.80 0.78 82.81 0.00 -23.46 0.11 0.14 4.04

Degree 5 65 34.89 34.00 3,594 MAX VALUE 339.05 20.64 0.59 3.66

Eccentricity 2 3 2.55 3.00 263 MAX VALUE 94.51 0.50 0.19 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.61	1.00	0.80	0.78	82.81	0.00	-23.46	0.11	0.14	4.04
Degree	5	65	34.89	34.00	3,594	MAX VALUE	339.05	20.64	0.59	3.66
Eccentricity	2	3	2.55	3.00	263	MAX VALUE	94.51	0.50	0.19	0.69

Triangulated minimal dual graph

Density: 12.37%

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

Clustering coefficient 0.49 1.00 0.76 0.70 78.29 0.00 -31.25 0.18 0.24 2.96

Degree 2 40 12.62 5.00 1,300 MAX VALUE 210.81 12.21 0.97 2.88

Eccentricity 3 5 3.69 4.00 380 MAX VALUE 133.39 0.52 0.14 0.76

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	1.00	0.76	0.70	78.29	0.00	-31.25	0.18	0.24	2.96
Degree	2	40	12.62	5.00	1,300	MAX VALUE	210.81	12.21	0.97	2.88
Eccentricity	3	5	3.69	4.00	380	MAX VALUE	133.39	0.52	0.14	0.76

Incidence graph

Density: 2.03%
MCB compute time (ms): 55
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.55 1.77 0.61 1.01

Eccentricity 6 10 7.87 8.00 1,125 MAX VALUE 294.44 0.67 0.09 1.01

MCB cycle size 6 10 7.69 8.00 492 MAX VALUE 129.69 1.24 0.16 0.93

XCSP 2.1 Benchmarks