XCSP 2.1 Benchmark Database

Instance: queen9-9-9_ext
Number of variables: 81
Number of constraints: 1056
Satisfiable: None
Timestamp: 2017-10-27 10:54:59
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 81
Number of constraints: 1056

General features

Number of coarse blocks: 19,008
Number of unique subscopes: 81

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

Arity 2 2 2.00 2.00 2,112 MAX VALUE 731.96 0.00 0.00 0.00

Coarse blocks size 8 8 8.00 8.00 152,064 MAX VALUE 39,526.00 0.00 0.00 0.00

Relational linkage 0.89 0.89 0.89 0.89 648.00 0.00 -85.86 0.00 0.00 0.00

Tightness 0.11 0.11 0.11 0.11 117.33 0.00 -2,320.27 0.00 0.00 0.00

Tuples 72 72 72.00 72.00 76,032 MAX VALUE 4,516.16 0.00 0.00 0.00

Domain size 9 9 9.00 9.00 729 MAX VALUE 177.97 0.00 0.00 0.00

Constraints per subscope 24 32 26.07 26.00 2,112 MAX VALUE 263.88 2.10 0.08 1.33

Partitions per subscope 9 9 9.00 9.00 729 MAX VALUE 177.97 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	2,112	MAX VALUE	731.96	0.00	0.00	0.00
Coarse blocks size	8	8	8.00	8.00	152,064	MAX VALUE	39,526.00	0.00	0.00	0.00
Relational linkage	0.89	0.89	0.89	0.89	648.00	0.00	-85.86	0.00	0.00	0.00
Tightness	0.11	0.11	0.11	0.11	117.33	0.00	-2,320.27	0.00	0.00	0.00
Tuples	72	72	72.00	72.00	76,032	MAX VALUE	4,516.16	0.00	0.00	0.00
Domain size	9	9	9.00	9.00	729	MAX VALUE	177.97	0.00	0.00	0.00
Constraints per subscope	24	32	26.07	26.00	2,112	MAX VALUE	263.88	2.10	0.08	1.33
Partitions per subscope	9	9	9.00	9.00	729	MAX VALUE	177.97	0.00	0.00	0.00

Tree decomposition

Number of clusters: 16
Number of leaves: 7
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 132 702 313.31 247.50 5,013 MAX VALUE 89.21 183.19 0.58 2.69

Cluster variables 25 66 40.19 37.50 643 1.72e+25 58.11 14.17 0.35 2.36

Separator constraints 0 539 247.31 183.50 3,957 0 None 167.78 0.68 2.69

Separator variables 0 58 35.12 32.00 562 0 None 15.45 0.44 2.36

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	132	702	313.31	247.50	5,013	MAX VALUE	89.21	183.19	0.58	2.69
Cluster variables	25	66	40.19	37.50	643	1.72e+25	58.11	14.17	0.35	2.36
Separator constraints	0	539	247.31	183.50	3,957	0	None	167.78	0.68	2.69
Separator variables	0	58	35.12	32.00	562	0	None	15.45	0.44	2.36

Dual tree decomposition

Number of clusters: 79
Number of leaves: 40
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 560 8,111 1,475.75 883.00 116,584 MAX VALUE 554.34 1,420.81 0.96 3.17

Cluster variables 47 571 113.01 59.00 8,928 MAX VALUE 352.17 105.47 0.93 3.01

Separator constraints 0 4,240 1,138.33 825.00 89,928 0 None 858.99 0.75 3.19

Separator variables 0 408 99.65 58.00 7,872 0 None 81.37 0.82 2.97

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	560	8,111	1,475.75	883.00	116,584	MAX VALUE	554.34	1,420.81	0.96	3.17
Cluster variables	47	571	113.01	59.00	8,928	MAX VALUE	352.17	105.47	0.93	3.01
Separator constraints	0	4,240	1,138.33	825.00	89,928	0	None	858.99	0.75	3.19
Separator variables	0	408	99.65	58.00	7,872	0	None	81.37	0.82	2.97

Primal graph

Density: 32.59%
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.38 0.42 0.39 0.39 31.56 0.00 -76.38 0.01 0.02 2.45

Degree 24 32 26.07 26.00 2,112 MAX VALUE 263.88 2.10 0.08 1.33

Eccentricity 2 2 2.00 2.00 162 2.42e+24 56.14 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.38	0.42	0.39	0.39	31.56	0.00	-76.38	0.01	0.02	2.45
Degree	24	32	26.07	26.00	2,112	MAX VALUE	263.88	2.10	0.08	1.33
Eccentricity	2	2	2.00	2.00	162	2.42e+24	56.14	0.00	0.00	0.00

Triangulated primal graph

Density: 83.55%

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

Clustering coefficient 0.88 1.00 0.93 0.92 75.11 0.00 -6.16 0.03 0.03 4.09

Degree 24 76 66.84 73.00 5,414 MAX VALUE 337.20 14.79 0.22 2.44

Eccentricity 2 2 2.00 2.00 162 2.42e+24 56.14 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.88	1.00	0.93	0.92	75.11	0.00	-6.16	0.03	0.03	4.09
Degree	24	76	66.84	73.00	5,414	MAX VALUE	337.20	14.79	0.22	2.44
Eccentricity	2	2	2.00	2.00	162	2.42e+24	56.14	0.00	0.00	0.00

Dual graph

Density: 4.79%
MCB compute time (ms): 57,708
MCB cycles: 26,695
Triangles: 220,480
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.49 0.51 0.50 0.50 527.09 0.00 -733.80 0.00 0.00 3.60

Degree 46 60 50.48 50.00 53,312 MAX VALUE 4,139.05 3.31 0.07 1.84

Eccentricity 3 3 3.00 3.00 3,168 MAX VALUE 1,160.13 0.00 0.00 0.00

MCB cycle size 3 3 3.00 3.00 80,085 MAX VALUE 29,327.50 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.51	0.50	0.50	527.09	0.00	-733.80	0.00	0.00	3.60
Degree	46	60	50.48	50.00	53,312	MAX VALUE	4,139.05	3.31	0.07	1.84
Eccentricity	3	3	3.00	3.00	3,168	MAX VALUE	1,160.13	0.00	0.00	0.00
MCB cycle size	3	3	3.00	3.00	80,085	MAX VALUE	29,327.50	0.00	0.00	0.00

Minimal dual graph

Density: 0.36%
MCB compute time (ms): 55,446
MCB cycles: 976

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 7 3.85 4.00 4,062 MAX VALUE 1,398.95 0.85 0.22 1.16

Eccentricity 7 10 8.61 9.00 9,087 MAX VALUE 2,270.59 0.56 0.07 0.83

MCB cycle size 4 11 7.57 8.00 7,392 MAX VALUE 1,959.45 1.33 0.18 1.68

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	7	3.85	4.00	4,062	MAX VALUE	1,398.95	0.85	0.22	1.16
Eccentricity	7	10	8.61	9.00	9,087	MAX VALUE	2,270.59	0.56	0.07	0.83
MCB cycle size	4	11	7.57	8.00	7,392	MAX VALUE	1,959.45	1.33	0.18	1.68

Triangulated dual graph

Density: None%
Triangles: None

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

Clustering coefficient None None None None None None None None None None

Degree None None None None None None None None None None

Eccentricity None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	None	None	None	None	None	None	None	None	None	None
Degree	None	None	None	None	None	None	None	None	None	None
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 9.46%

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

Clustering coefficient 0.52 1.00 0.87 0.86 914.60 0.00 -163.64 0.12 0.14 4.17

Degree 2 336 99.77 9.00 105,354 MAX VALUE 3,199.77 138.23 1.39 3.66

Eccentricity 3 5 3.74 4.00 3,947 MAX VALUE 1,382.04 0.51 0.14 0.74

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.52	1.00	0.87	0.86	914.60	0.00	-163.64	0.12	0.14	4.17
Degree	2	336	99.77	9.00	105,354	MAX VALUE	3,199.77	138.23	1.39	3.66
Eccentricity	3	5	3.74	4.00	3,947	MAX VALUE	1,382.04	0.51	0.14	0.74

Incidence graph

Density: 0.33%
MCB compute time (ms): 19,444
MCB cycles: 976
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 32 3.72 2.00 4,224 MAX VALUE 995.85 6.22 1.67 0.35

Eccentricity 5 6 5.93 6.00 6,741 MAX VALUE 2,022.46 0.26 0.04 0.26

MCB cycle size 6 6 6.00 6.00 5,856 MAX VALUE 1,748.76 0.00 0.00 0.00

XCSP 2.1 Benchmarks