XCSP 2.1 Benchmark Database

Instance: queen5-5-4_ext
Number of variables: 25
Number of constraints: 160
Satisfiable: None
Timestamp: 2017-10-27 10:54:52
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 25
Number of constraints: 160

General features

Coarse blocks: 1,280
Value tables: 25

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

Arity 2 2 2.00 2.00 320 MAX VALUE 110.90 0.00 0.00 0.00

Coarse blocks size 3 3 3.00 3.00 3,840 MAX VALUE 1,406.22 0.00 0.00 0.00

Relational linkage 0.75 0.75 0.75 0.75 75.00 0.00 -28.77 0.00 0.00 0.00

Tightness 0.25 0.25 0.25 0.25 40.00 0.00 -221.81 0.00 0.00 0.00

Tuples 12 12 12.00 12.00 1,920 MAX VALUE 397.58 0.00 0.00 0.00

Values 4 4 4.00 4.00 100 1.13e+15 34.66 0.00 0.00 0.00

Value table constraints 12 16 12.80 12.00 320 4.37e+27 63.64 1.13 0.09 0.78

Value table partitions 4 4 4.00 4.00 100 1.13e+15 34.66 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	320	MAX VALUE	110.90	0.00	0.00	0.00
Coarse blocks size	3	3	3.00	3.00	3,840	MAX VALUE	1,406.22	0.00	0.00	0.00
Relational linkage	0.75	0.75	0.75	0.75	75.00	0.00	-28.77	0.00	0.00	0.00
Tightness	0.25	0.25	0.25	0.25	40.00	0.00	-221.81	0.00	0.00	0.00
Tuples	12	12	12.00	12.00	1,920	MAX VALUE	397.58	0.00	0.00	0.00
Values	4	4	4.00	4.00	100	1.13e+15	34.66	0.00	0.00	0.00
Value table constraints	12	16	12.80	12.00	320	4.37e+27	63.64	1.13	0.09	0.78
Value table partitions	4	4	4.00	4.00	100	1.13e+15	34.66	0.00	0.00	0.00

Tree decomposition

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

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

Cluster constraints 44 87 61.29 59.00 429 2.51e+12 28.55 17.09 0.28 1.75

Variables per cluster 13 19 15.29 15.00 107 178,451,000 19.00 2.49 0.16 1.08

Separator constraints 0 77 38.43 34.00 269 0 None 21.25 0.55 1.75

Separator variables 0 18 11.71 12.00 82 0 None 5.17 0.44 1.28

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	44	87	61.29	59.00	429	2.51e+12	28.55	17.09	0.28	1.75
Variables per cluster	13	19	15.29	15.00	107	178,451,000	19.00	2.49	0.16	1.08
Separator constraints	0	77	38.43	34.00	269	0	None	21.25	0.55	1.75
Separator variables	0	18	11.71	12.00	82	0	None	5.17	0.44	1.28
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

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

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

Cluster constraints 138 572 253.44 191.00 5,829 MAX VALUE 124.67 129.97 0.51 2.36

Variables per cluster 23 88 39.39 27.00 906 4.13e+35 82.01 19.86 0.50 2.22

Separator constraints 0 318 170.65 164.00 3,925 0 None 72.84 0.43 2.36

Separator variables 0 68 32.43 26.00 746 0 None 15.30 0.47 2.16

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	138	572	253.44	191.00	5,829	MAX VALUE	124.67	129.97	0.51	2.36
Variables per cluster	23	88	39.39	27.00	906	4.13e+35	82.01	19.86	0.50	2.22
Separator constraints	0	318	170.65	164.00	3,925	0	None	72.84	0.43	2.36
Separator variables	0	68	32.43	26.00	746	0	None	15.30	0.47	2.16
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 53.33%
MCB compute time (ms): None
MCB cycles: None
Triangles: 320
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen5-5-4_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen5-5-4_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen5-5-4_ext/Primal1.json

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

Clustering coefficient 0.48 0.53 0.50 0.52 12.58 0.00 -17.19 0.02 0.03 1.44

Degree 12 16 12.80 12.00 320 4.37e+27 63.64 1.13 0.09 0.78

Eccentricity 2 2 2.00 2.00 50 33,554,400 17.33 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.48	0.53	0.50	0.52	12.58	0.00	-17.19	0.02	0.03	1.44
Degree	12	16	12.80	12.00	320	4.37e+27	63.64	1.13	0.09	0.78
Eccentricity	2	2	2.00	2.00	50	33,554,400	17.33	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 84.33%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,502

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

Clustering coefficient 0.85 1.00 0.91 0.89 22.70 0.09 -2.45 0.05 0.05 1.92

Degree 12 23 20.24 22.00 506 2.58e+32 74.63 3.81 0.19 1.49

Eccentricity 2 2 2.00 2.00 50 33,554,400 17.33 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.85	1.00	0.91	0.89	22.70	0.09	-2.45	0.05	0.05	1.92
Degree	12	23	20.24	22.00	506	2.58e+32	74.63	3.81	0.19	1.49
Eccentricity	2	2	2.00	2.00	50	33,554,400	17.33	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 14.97%
MCB compute time (ms): 295
MCB cycles: 1,778
Triangles: 7,312
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen5-5-4_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen5-5-4_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen5-5-4_ext/Dual1.json

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

Clustering coefficient 0.49 0.52 0.50 0.50 80.34 0.00 -110.23 0.01 0.01 2.34

Degree 22 28 23.80 24.00 3,808 MAX VALUE 506.74 1.72 0.07 1.19

Eccentricity 3 3 3.00 3.00 480 MAX VALUE 175.78 0.00 0.00 0.00

MCB cycle size 3 3 3.00 3.00 5,334 MAX VALUE 1,953.33 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.52	0.50	0.50	80.34	0.00	-110.23	0.01	0.01	2.34
Degree	22	28	23.80	24.00	3,808	MAX VALUE	506.74	1.72	0.07	1.19
Eccentricity	3	3	3.00	3.00	480	MAX VALUE	175.78	0.00	0.00	0.00
MCB cycle size	3	3	3.00	3.00	5,334	MAX VALUE	1,953.33	0.00	0.00	0.00

Minimal dual graph

Density: 2.32%
MCB compute time (ms): 88
MCB cycles: 136

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 6 3.69 4.00 590 MAX VALUE 205.74 0.73 0.20 1.06

Eccentricity 5 7 6.51 7.00 1,041 MAX VALUE 299.11 0.52 0.08 0.75

MCB cycle size 4 8 6.28 6.00 854 MAX VALUE 247.79 1.06 0.17 1.44

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	6	3.69	4.00	590	MAX VALUE	205.74	0.73	0.20	1.06
Eccentricity	5	7	6.51	7.00	1,041	MAX VALUE	299.11	0.52	0.08	0.75
MCB cycle size	4	8	6.28	6.00	854	MAX VALUE	247.79	1.06	0.17	1.44

Triangulated dual graph

Density: 59.05%
Triangles: 213,861

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

Clustering coefficient 0.76 1.00 0.85 0.83 136.06 0.00 -26.59 0.08 0.09 3.54

Degree 22 129 93.89 108.00 15,022 MAX VALUE 709.79 35.01 0.37 3.04

Eccentricity 2 3 2.12 2.00 339 MAX VALUE 118.61 0.32 0.15 0.36

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.76	1.00	0.85	0.83	136.06	0.00	-26.59	0.08	0.09	3.54
Degree	22	129	93.89	108.00	15,022	MAX VALUE	709.79	35.01	0.37	3.04
Eccentricity	2	3	2.12	2.00	339	MAX VALUE	118.61	0.32	0.15	0.36

Triangulated minimal dual graph

Density: 13.21%

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

Clustering coefficient 0.57 1.00 0.80 0.74 128.52 0.00 -38.18 0.16 0.20 3.27

Degree 2 62 21.00 8.00 3,360 MAX VALUE 384.56 21.75 1.04 3.11

Eccentricity 2 4 3.48 3.00 557 MAX VALUE 197.81 0.51 0.15 0.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.57	1.00	0.80	0.74	128.52	0.00	-38.18	0.16	0.20	3.27
Degree	2	62	21.00	8.00	3,360	MAX VALUE	384.56	21.75	1.04	3.11
Eccentricity	2	4	3.48	3.00	557	MAX VALUE	197.81	0.51	0.15	0.73

Incidence graph

Density: 1.88%
MCB compute time (ms): 63
MCB cycles: 136
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen5-5-4_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen5-5-4_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/queenExtConvert/queen5-5-4_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 16 3.46 2.00 640 MAX VALUE 174.55 3.72 1.07 0.50

Eccentricity 5 6 5.86 6.00 1,085 MAX VALUE 326.92 0.34 0.06 0.40

MCB cycle size 6 6 6.00 6.00 816 MAX VALUE 243.68 0.00 0.00 0.00

XCSP 2.1 Benchmarks