XCSP 2.1 Benchmark Database

Instance: queen10-10-12_ext
Number of variables: 100
Number of constraints: 1470
Satisfiable: None
Timestamp: 2017-10-27 10:55:01
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 100
Number of constraints: 1470

General features

Number of coarse blocks: 35,280
Number of unique subscopes: 100

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

Arity 2 2 2.00 2.00 2,940 MAX VALUE 1,018.93 0.00 0.00 0.00

Coarse blocks size 11 11 11.00 11.00 388,080 MAX VALUE 84,597.70 0.00 0.00 0.00

Relational linkage 0.92 0.92 0.92 0.92 1,100.00 0.00 -104.41 0.00 0.00 0.00

Tightness 0.08 0.08 0.08 0.08 122.50 0.00 -3,652.81 0.00 0.00 0.00

Tuples 132 132 132.00 132.00 194,040 MAX VALUE 7,177.72 0.00 0.00 0.00

Domain size 12 12 12.00 12.00 1,200 MAX VALUE 248.49 0.00 0.00 0.00

Constraints per subscope 27 35 29.40 29.00 2,940 MAX VALUE 337.79 2.33 0.08 1.43

Partitions per subscope 12 12 12.00 12.00 1,200 MAX VALUE 248.49 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,940	MAX VALUE	1,018.93	0.00	0.00	0.00
Coarse blocks size	11	11	11.00	11.00	388,080	MAX VALUE	84,597.70	0.00	0.00	0.00
Relational linkage	0.92	0.92	0.92	0.92	1,100.00	0.00	-104.41	0.00	0.00	0.00
Tightness	0.08	0.08	0.08	0.08	122.50	0.00	-3,652.81	0.00	0.00	0.00
Tuples	132	132	132.00	132.00	194,040	MAX VALUE	7,177.72	0.00	0.00	0.00
Domain size	12	12	12.00	12.00	1,200	MAX VALUE	248.49	0.00	0.00	0.00
Constraints per subscope	27	35	29.40	29.00	2,940	MAX VALUE	337.79	2.33	0.08	1.43
Partitions per subscope	12	12	12.00	12.00	1,200	MAX VALUE	248.49	0.00	0.00	0.00

Tree decomposition

Number of clusters: 18
Number of leaves: 8
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 164 924 432.44 296.00 7,784 MAX VALUE 105.48 277.17 0.64 2.51

Cluster variables 28 80 48.56 42.00 874 5.37e+29 68.46 19.42 0.40 2.32

Separator constraints 0 836 350.78 220.50 6,314 0 None 258.84 0.74 2.51

Separator variables 0 76 43.00 36.00 774 0 None 20.44 0.48 2.32

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	164	924	432.44	296.00	7,784	MAX VALUE	105.48	277.17	0.64	2.51
Cluster variables	28	80	48.56	42.00	874	5.37e+29	68.46	19.42	0.40	2.32
Separator constraints	0	836	350.78	220.50	6,314	0	None	258.84	0.74	2.51
Separator variables	0	76	43.00	36.00	774	0	None	20.44	0.48	2.32

Dual tree decomposition

Number of clusters: 98
Number of leaves: 50
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 712 11,297 1,969.95 1,204.00 193,055 MAX VALUE 713.02 2,068.46 1.05 3.24

Cluster variables 53 739 134.74 69.00 13,204 MAX VALUE 450.69 138.64 1.03 3.06

Separator constraints 0 6,652 1,541.17 1,071.00 151,035 0 None 1,278.80 0.83 3.24

Separator variables 0 582 119.73 66.00 11,734 0 None 108.62 0.91 3.02

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	712	11,297	1,969.95	1,204.00	193,055	MAX VALUE	713.02	2,068.46	1.05	3.24
Cluster variables	53	739	134.74	69.00	13,204	MAX VALUE	450.69	138.64	1.03	3.06
Separator constraints	0	6,652	1,541.17	1,071.00	151,035	0	None	1,278.80	0.83	3.24
Separator variables	0	582	119.73	66.00	11,734	0	None	108.62	0.91	3.02

Primal graph

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

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

Clustering coefficient 0.37 0.41 0.38 0.37 37.63 0.00 -97.77 0.01 0.02 2.33

Degree 27 35 29.40 29.00 2,940 MAX VALUE 337.79 2.33 0.08 1.43

Eccentricity 2 2 2.00 2.00 200 1.27e+30 69.31 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.37	0.41	0.38	0.37	37.63	0.00	-97.77	0.01	0.02	2.33
Degree	27	35	29.40	29.00	2,940	MAX VALUE	337.79	2.33	0.08	1.43
Eccentricity	2	2	2.00	2.00	200	1.27e+30	69.31	0.00	0.00	0.00

Triangulated primal graph

Density: 84.08%

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

Clustering coefficient 0.90 1.00 0.93 0.93 93.25 0.00 -7.03 0.03 0.03 4.04

Degree 27 94 83.24 91.00 8,324 MAX VALUE 438.06 18.43 0.22 2.51

Eccentricity 2 2 2.00 2.00 200 1.27e+30 69.31 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.90	1.00	0.93	0.93	93.25	0.00	-7.03	0.03	0.03	4.04
Degree	27	94	83.24	91.00	8,324	MAX VALUE	438.06	18.43	0.22	2.51
Eccentricity	2	2	2.00	2.00	200	1.27e+30	69.31	0.00	0.00	0.00

Dual graph

Density: 3.89%
MCB compute time (ms): 133,348
MCB cycles: 42,447
Triangles: 394,424
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 733.68 0.00 -1,021.59 0.00 0.00 3.80

Degree 52 68 57.17 56.00 84,040 MAX VALUE 5,944.62 3.70 0.06 1.95

Eccentricity 3 3 3.00 3.00 4,410 MAX VALUE 1,614.96 0.00 0.00 0.00

MCB cycle size 3 3 3.00 3.00 127,341 MAX VALUE 46,632.80 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	733.68	0.00	-1,021.59	0.00	0.00	3.80
Degree	52	68	57.17	56.00	84,040	MAX VALUE	5,944.62	3.70	0.06	1.95
Eccentricity	3	3	3.00	3.00	4,410	MAX VALUE	1,614.96	0.00	0.00	0.00
MCB cycle size	3	3	3.00	3.00	127,341	MAX VALUE	46,632.80	0.00	0.00	0.00

Minimal dual graph

Density: 0.26%
MCB compute time (ms): 160,837
MCB cycles: 1,371

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.86 4.00 5,680 MAX VALUE 1,953.85 0.85 0.22 1.17

Eccentricity 8 10 9.02 9.00 13,263 MAX VALUE 3,230.39 0.59 0.07 0.89

MCB cycle size 4 11 7.77 8.00 10,655 MAX VALUE 2,789.62 1.31 0.17 1.65

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.86	4.00	5,680	MAX VALUE	1,953.85	0.85	0.22	1.17
Eccentricity	8	10	9.02	9.00	13,263	MAX VALUE	3,230.39	0.59	0.07	0.89
MCB cycle size	4	11	7.77	8.00	10,655	MAX VALUE	2,789.62	1.31	0.17	1.65

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.31%

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

Clustering coefficient 0.55 1.00 0.87 0.89 1,284.29 0.00 -214.24 0.12 0.14 4.34

Degree 2 470 136.73 9.00 200,990 MAX VALUE 4,630.35 193.43 1.41 3.75

Eccentricity 3 5 3.73 4.00 5,477 MAX VALUE 1,919.27 0.50 0.14 0.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.55	1.00	0.87	0.89	1,284.29	0.00	-214.24	0.12	0.14	4.34
Degree	2	470	136.73	9.00	200,990	MAX VALUE	4,630.35	193.43	1.41	3.75
Eccentricity	3	5	3.73	4.00	5,477	MAX VALUE	1,919.27	0.50	0.14	0.73

Incidence graph

Density: 0.24%
MCB compute time (ms): 48,510
MCB cycles: 1,371
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 35 3.75 2.00 5,880 MAX VALUE 1,356.72 6.72 1.79 0.33

Eccentricity 5 6 5.94 6.00 9,320 MAX VALUE 2,794.83 0.24 0.04 0.24

MCB cycle size 6 6 6.00 6.00 8,226 MAX VALUE 2,456.50 0.00 0.00 0.00

XCSP 2.1 Benchmarks