XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 256
Number of constraints: 6320

General features

Coarse blocks: 202,240
Value tables: 256

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

Arity 2 2 2.00 2.00 12,640 MAX VALUE 4,380.69 0.00 0.00 0.00

Coarse blocks size 15 15 15.00 15.00 3,033,600 MAX VALUE 547,676.00 0.00 0.00 0.00

Relational linkage 0.94 0.94 0.94 0.94 3,840.00 0.00 -264.35 0.00 0.00 0.00

Tightness 0.06 0.06 0.06 0.06 395.00 0.00 -17,522.80 0.00 0.00 0.00

Tuples 240 240 240.00 240.00 1,516,800 MAX VALUE 34,637.60 0.00 0.00 0.00

Values 16 16 16.00 16.00 4,096 MAX VALUE 709.78 0.00 0.00 0.00

Value table constraints 45 59 49.38 49.00 12,640 MAX VALUE 997.53 3.76 0.08 1.89

Value table partitions 16 16 16.00 16.00 4,096 MAX VALUE 709.78 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	12,640	MAX VALUE	4,380.69	0.00	0.00	0.00
Coarse blocks size	15	15	15.00	15.00	3,033,600	MAX VALUE	547,676.00	0.00	0.00	0.00
Relational linkage	0.94	0.94	0.94	0.94	3,840.00	0.00	-264.35	0.00	0.00	0.00
Tightness	0.06	0.06	0.06	0.06	395.00	0.00	-17,522.80	0.00	0.00	0.00
Tuples	240	240	240.00	240.00	1,516,800	MAX VALUE	34,637.60	0.00	0.00	0.00
Values	16	16	16.00	16.00	4,096	MAX VALUE	709.78	0.00	0.00	0.00
Value table constraints	45	59	49.38	49.00	12,640	MAX VALUE	997.53	3.76	0.08	1.89
Value table partitions	16	16	16.00	16.00	4,096	MAX VALUE	709.78	0.00	0.00	0.00

Tree decomposition

Number of clusters: None
Number of leaves: None
Tree depth: None
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Tree1.json

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

Cluster constraints None None None None None None None None None None

Variables per cluster None None None None None None None None None None

Separator constraints None None None None None None None None None None

Separator variables None None None None None None None None None None

Clusters per var None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	None	None	None	None	None	None	None	None	None	None
Variables per cluster	None	None	None	None	None	None	None	None	None	None
Separator constraints	None	None	None	None	None	None	None	None	None	None
Separator variables	None	None	None	None	None	None	None	None	None	None
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: None
Number of leaves: None
Tree depth: None
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/DualTree1.json

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

Cluster constraints None None None None None None None None None None

Variables per cluster None None None None None None None None None None

Separator constraints None None None None None None None None None None

Separator variables None None None None None None None None None None

Clusters per variable None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	None	None	None	None	None	None	None	None	None	None
Variables per cluster	None	None	None	None	None	None	None	None	None	None
Separator constraints	None	None	None	None	None	None	None	None	None	None
Separator variables	None	None	None	None	None	None	None	None	None	None
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 19.36%
MCB compute time (ms): None
MCB cycles: None
Triangles: 34,192
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Primal1.json

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

Clustering coefficient 0.32 0.38 0.33 0.33 85.72 0.00 -280.24 0.01 0.04 3.47

Degree 45 59 49.38 49.00 12,640 MAX VALUE 997.53 3.76 0.08 1.89

Eccentricity 2 2 2.00 2.00 512 MAX VALUE 177.45 0.00 0.00 0.00

MCB cycle size 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	0.32	0.38	0.33	0.33	85.72	0.00	-280.24	0.01	0.04	3.47
Degree	45	59	49.38	49.00	12,640	MAX VALUE	997.53	3.76	0.08	1.89
Eccentricity	2	2	2.00	2.00	512	MAX VALUE	177.45	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 85.64%
MCB compute time (ms): None
MCB cycles: None
Triangles: 2,006,360

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

Clustering coefficient 0.91 1.00 0.95 0.95 242.75 0.00 -13.65 0.02 0.02 5.37

Degree 45 244 218.39 236.00 55,908 MAX VALUE 1,366.38 48.49 0.22 2.99

Eccentricity 2 2 2.00 2.00 512 MAX VALUE 177.45 0.00 0.00 0.00

MCB cycle size 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	0.91	1.00	0.95	0.95	242.75	0.00	-13.65	0.02	0.02	5.37
Degree	45	244	218.39	236.00	55,908	MAX VALUE	1,366.38	48.49	0.22	2.99
Eccentricity	2	2	2.00	2.00	512	MAX VALUE	177.45	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Dual1.json

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

MCB cycle size 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
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Minimal dual graph

Density: 0.06%
MCB compute time (ms): None
MCB cycles: 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 8 3.92 4.00 24,768 MAX VALUE 8,489.47 0.86 0.22 1.19

Eccentricity 9 13 10.85 11.00 68,590 MAX VALUE 15,056.80 0.68 0.06 1.04

MCB cycle size 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	0.00	0.00	0.00	0.00	0.00	0.00	None	0.00	None	0.00
Degree	2	8	3.92	4.00	24,768	MAX VALUE	8,489.47	0.86	0.22	1.19
Eccentricity	9	13	10.85	11.00	68,590	MAX VALUE	15,056.80	0.68	0.06	1.04
MCB cycle size	None	None	None	None	None	None	None	None	None	None

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: 8.95%

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

Clustering coefficient 0.51 1.00 0.90 0.94 5,661.92 0.00 -763.64 0.12 0.14 4.95

Degree 2 1,956 565.27 10.00 3,572,480 MAX VALUE 22,953.90 842.48 1.49 4.02

Eccentricity 3 5 3.73 4.00 23,597 MAX VALUE 8,263.46 0.51 0.14 0.75

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	1.00	0.90	0.94	5,661.92	0.00	-763.64	0.12	0.14	4.95
Degree	2	1,956	565.27	10.00	3,572,480	MAX VALUE	22,953.90	842.48	1.49	4.02
Eccentricity	3	5	3.73	4.00	23,597	MAX VALUE	8,263.46	0.51	0.14	0.75

Incidence graph

Density: 0.06%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen16-16-16_ext/Incidence1.json

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 59 3.84 2.00 25,280 MAX VALUE 5,378.23 9.19 2.39 0.24

Eccentricity 5 6 5.96 6.00 39,200 MAX VALUE 11,735.90 0.19 0.03 0.16

MCB cycle size None None None None None None None None None None

XCSP 2.1 Benchmarks