XCSP 2.1 Benchmark Database

Instance: queen8-12-11_ext
Number of variables: 96
Number of constraints: 1368
Satisfiable: None
Timestamp: 2017-10-27 10:54:54
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 96
Number of constraints: 1368

General features

Number of coarse blocks: 30,096
Number of unique subscopes: 96

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

Arity 2 2 2.00 2.00 2,736 MAX VALUE 948.23 0.00 0.00 0.00

Coarse blocks size 10 10 10.00 10.00 300,960 MAX VALUE 69,298.60 0.00 0.00 0.00

Relational linkage 0.91 0.91 0.91 0.91 960.00 0.00 -100.65 0.00 0.00 0.00

Tightness 0.09 0.09 0.09 0.09 124.36 0.00 -3,280.32 0.00 0.00 0.00

Tuples 110 110 110.00 110.00 150,480 MAX VALUE 6,430.26 0.00 0.00 0.00

Domain size 11 11 11.00 11.00 1,056 MAX VALUE 230.20 0.00 0.00 0.00

Constraints per subscope 25 32 28.50 29.00 2,736 MAX VALUE 321.28 2.29 0.08 1.99

Partitions per subscope 11 11 11.00 11.00 1,056 MAX VALUE 230.20 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,736	MAX VALUE	948.23	0.00	0.00	0.00
Coarse blocks size	10	10	10.00	10.00	300,960	MAX VALUE	69,298.60	0.00	0.00	0.00
Relational linkage	0.91	0.91	0.91	0.91	960.00	0.00	-100.65	0.00	0.00	0.00
Tightness	0.09	0.09	0.09	0.09	124.36	0.00	-3,280.32	0.00	0.00	0.00
Tuples	110	110	110.00	110.00	150,480	MAX VALUE	6,430.26	0.00	0.00	0.00
Domain size	11	11	11.00	11.00	1,056	MAX VALUE	230.20	0.00	0.00	0.00
Constraints per subscope	25	32	28.50	29.00	2,736	MAX VALUE	321.28	2.29	0.08	1.99
Partitions per subscope	11	11	11.00	11.00	1,056	MAX VALUE	230.20	0.00	0.00	0.00

Tree decomposition

Number of clusters: 20
Number of leaves: 8
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 151 787 421.00 427.00 8,420 MAX VALUE 117.25 230.72 0.55 2.93

Cluster variables 26 73 48.30 51.50 966 1.11e+33 76.09 17.55 0.36 2.72

Separator constraints 0 666 352.60 318.00 7,052 0 None 225.79 0.64 2.93

Separator variables 0 67 43.50 44.50 870 0 None 19.17 0.44 2.65

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	151	787	421.00	427.00	8,420	MAX VALUE	117.25	230.72	0.55	2.93
Cluster variables	26	73	48.30	51.50	966	1.11e+33	76.09	17.55	0.36	2.72
Separator constraints	0	666	352.60	318.00	7,052	0	None	225.79	0.64	2.93
Separator variables	0	67	43.50	44.50	870	0	None	19.17	0.44	2.65

Dual tree decomposition

Number of clusters: 94
Number of leaves: 48
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 610 10,296 1,776.77 1,006.00 167,016 MAX VALUE 676.85 1,747.68 0.98 3.55

Cluster variables 49 692 126.85 63.00 11,924 MAX VALUE 428.25 126.04 0.99 3.21

Separator constraints 0 5,814 1,373.87 944.00 129,144 0 None 1,061.67 0.77 3.55

Separator variables 0 540 112.30 62.00 10,556 0 None 98.24 0.87 3.19

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	610	10,296	1,776.77	1,006.00	167,016	MAX VALUE	676.85	1,747.68	0.98	3.55
Cluster variables	49	692	126.85	63.00	11,924	MAX VALUE	428.25	126.04	0.99	3.21
Separator constraints	0	5,814	1,373.87	944.00	129,144	0	None	1,061.67	0.77	3.55
Separator variables	0	540	112.30	62.00	10,556	0	None	98.24	0.87	3.19

Primal graph

Density: 30.00%
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.42 0.39 0.39 37.17 0.00 -91.14 0.01 0.03 3.00

Degree 25 32 28.50 29.00 2,736 MAX VALUE 321.28 2.29 0.08 1.99

Eccentricity 2 2 2.00 2.00 192 7.92e+28 66.54 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.37	0.42	0.39	0.39	37.17	0.00	-91.14	0.01	0.03	3.00
Degree	25	32	28.50	29.00	2,736	MAX VALUE	321.28	2.29	0.08	1.99
Eccentricity	2	2	2.00	2.00	192	7.92e+28	66.54	0.00	0.00	0.00

Triangulated primal graph

Density: 82.54%

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

Clustering coefficient 0.87 1.00 0.92 0.91 88.49 0.00 -7.88 0.03 0.04 4.26

Degree 25 91 78.42 85.50 7,528 MAX VALUE 414.77 17.60 0.22 2.89

Eccentricity 2 2 2.00 2.00 192 7.92e+28 66.54 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.87	1.00	0.92	0.91	88.49	0.00	-7.88	0.03	0.04	4.26
Degree	25	91	78.42	85.50	7,528	MAX VALUE	414.77	17.60	0.22	2.89
Eccentricity	2	2	2.00	2.00	192	7.92e+28	66.54	0.00	0.00	0.00

Dual graph

Density: 4.05%
MCB compute time (ms): 111,367
MCB cycles: 38,580
Triangles: 344,096
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 682.92 0.00 -950.41 0.00 0.00 4.58

Degree 48 62 55.37 56.00 75,744 MAX VALUE 5,488.26 3.59 0.06 2.59

Eccentricity 3 3 3.00 3.00 4,104 MAX VALUE 1,502.90 0.00 0.00 0.00

MCB cycle size 3 3 3.00 3.00 115,740 MAX VALUE 42,384.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	682.92	0.00	-950.41	0.00	0.00	4.58
Degree	48	62	55.37	56.00	75,744	MAX VALUE	5,488.26	3.59	0.06	2.59
Eccentricity	3	3	3.00	3.00	4,104	MAX VALUE	1,502.90	0.00	0.00	0.00
MCB cycle size	3	3	3.00	3.00	115,740	MAX VALUE	42,384.50	0.00	0.00	0.00

Minimal dual graph

Density: 0.28%
MCB compute time (ms): 122,461
MCB cycles: 1,274

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,280 MAX VALUE 1,815.48 0.87 0.23 1.18

Eccentricity 7 10 8.93 9.00 12,220 MAX VALUE 2,992.34 0.61 0.07 0.92

MCB cycle size 4 11 7.64 8.00 9,732 MAX VALUE 2,573.04 1.21 0.16 1.58

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,280	MAX VALUE	1,815.48	0.87	0.23	1.18
Eccentricity	7	10	8.93	9.00	12,220	MAX VALUE	2,992.34	0.61	0.07	0.92
MCB cycle size	4	11	7.64	8.00	9,732	MAX VALUE	2,573.04	1.21	0.16	1.58

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

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

Clustering coefficient 0.53 1.00 0.87 0.88 1,188.84 0.00 -207.03 0.12 0.14 4.32

Degree 2 430 124.42 9.00 170,214 MAX VALUE 4,254.05 176.47 1.42 3.72

Eccentricity 3 5 3.75 4.00 5,135 MAX VALUE 1,795.44 0.53 0.14 0.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.53	1.00	0.87	0.88	1,188.84	0.00	-207.03	0.12	0.14	4.32
Degree	2	430	124.42	9.00	170,214	MAX VALUE	4,254.05	176.47	1.42	3.72
Eccentricity	3	5	3.75	4.00	5,135	MAX VALUE	1,795.44	0.53	0.14	0.77

Incidence graph

Density: 0.26%
MCB compute time (ms): 40,490
MCB cycles: 1,273
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.74 2.00 5,472 MAX VALUE 1,269.50 6.59 1.76 0.37

Eccentricity 5 6 5.93 6.00 8,688 MAX VALUE 2,605.63 0.25 0.04 0.24

MCB cycle size 6 6 6.00 6.00 7,638 MAX VALUE 2,280.91 0.00 0.00 0.00

XCSP 2.1 Benchmarks