XCSP 2.1 Benchmark Database

Instance: normalized-queen15-15-14-ext
Number of variables: 225
Number of constraints: 5180
Satisfiable: True
Timestamp: 2025-07-27 21:29:54
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 225
Number of constraints: 5180

General features

Coarse blocks: 145,040
Value tables: 225

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

Arity 2 2 2.00 2.00 10,360 MAX VALUE 3,590.50 0.00 0.00 0.00

Coarse blocks size 13 13 13.00 13.00 1,885,520 MAX VALUE 372,020.00 0.00 0.00 0.00

Relational linkage 0.93 0.93 0.93 0.93 2,925.00 0.00 -233.44 0.00 0.00 0.00

Tightness 0.07 0.07 0.07 0.07 370.00 0.00 -13,670.30 0.00 0.00 0.00

Tuples 182 182 182.00 182.00 942,760 MAX VALUE 26,956.80 0.00 0.00 0.00

Values 14 14 14.00 14.00 3,150 MAX VALUE 593.79 0.00 0.00 0.00

Value table constraints 42 56 46.04 46.00 10,360 MAX VALUE 861.02 3.52 0.08 1.83

Value table partitions 14 14 14.00 14.00 3,150 MAX VALUE 593.79 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	10,360	MAX VALUE	3,590.50	0.00	0.00	0.00
Coarse blocks size	13	13	13.00	13.00	1,885,520	MAX VALUE	372,020.00	0.00	0.00	0.00
Relational linkage	0.93	0.93	0.93	0.93	2,925.00	0.00	-233.44	0.00	0.00	0.00
Tightness	0.07	0.07	0.07	0.07	370.00	0.00	-13,670.30	0.00	0.00	0.00
Tuples	182	182	182.00	182.00	942,760	MAX VALUE	26,956.80	0.00	0.00	0.00
Values	14	14	14.00	14.00	3,150	MAX VALUE	593.79	0.00	0.00	0.00
Value table constraints	42	56	46.04	46.00	10,360	MAX VALUE	861.02	3.52	0.08	1.83
Value table partitions	14	14	14.00	14.00	3,150	MAX VALUE	593.79	0.00	0.00	0.00

Tree decomposition

Number of clusters: 31
Number of leaves: 12
Tree depth: 9
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/Tree1.json

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

Cluster constraints 359 3,459 1,362.61 795.00 42,241 MAX VALUE 213.15 1,069.97 0.79 3.21

Variables per cluster 43 184 97.35 76.00 3,018 MAX VALUE 137.43 51.19 0.53 2.97

Separator constraints 0 3,064 1,195.52 719.00 37,061 0 None 1,001.49 0.84 3.21

Separator variables 0 173 90.10 75.00 2,793 0 None 50.86 0.56 2.84

Clusters per var 1 21 13.41 14.00 3,018 MAX VALUE 549.96 4.98 0.37 2.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	359	3,459	1,362.61	795.00	42,241	MAX VALUE	213.15	1,069.97	0.79	3.21
Variables per cluster	43	184	97.35	76.00	3,018	MAX VALUE	137.43	51.19	0.53	2.97
Separator constraints	0	3,064	1,195.52	719.00	37,061	0	None	1,001.49	0.84	3.21
Separator variables	0	173	90.10	75.00	2,793	0	None	50.86	0.56	2.84
Clusters per var	1	21	13.41	14.00	3,018	MAX VALUE	549.96	4.98	0.37	2.77

Dual tree decomposition

Number of clusters: 223
Number of leaves: 112
Tree depth: 7
CIR: 0.27
Independent Cluster Pairs: 6,501
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/DualTree1.json

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

Cluster constraints 1,737 64,264 5,762.72 2,881.00 1,285,090 MAX VALUE 1,836.25 8,170.66 1.42 4.01

Variables per cluster 83 2,659 253.47 107.00 56,524 MAX VALUE 1,139.32 355.97 1.40 3.63

Separator constraints 0 35,972 4,710.15 2,774.00 1,050,360 0 None 5,328.15 1.13 4.01

Separator variables 0 1,884 230.24 106.00 51,344 0 None 285.50 1.24 3.58

Clusters per variable 1 15 10.91 13.00 56,524 MAX VALUE 11,906.20 3.47 0.32 1.99

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1,737	64,264	5,762.72	2,881.00	1,285,090	MAX VALUE	1,836.25	8,170.66	1.42	4.01
Variables per cluster	83	2,659	253.47	107.00	56,524	MAX VALUE	1,139.32	355.97	1.40	3.63
Separator constraints	0	35,972	4,710.15	2,774.00	1,050,360	0	None	5,328.15	1.13	4.01
Separator variables	0	1,884	230.24	106.00	51,344	0	None	285.50	1.24	3.58
Clusters per variable	1	15	10.91	13.00	56,524	MAX VALUE	11,906.20	3.47	0.32	1.99

Primal graph

Density: 20.56%
MCB compute time (ms): None
MCB cycles: None
Triangles: 26,460
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/Primal1.json

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

Clustering coefficient 0.32 0.38 0.34 0.34 76.38 0.00 -243.22 0.01 0.03 3.19

Degree 42 56 46.04 46.00 10,360 MAX VALUE 861.02 3.52 0.08 1.83

Eccentricity 2 2 2.00 2.00 450 MAX VALUE 155.96 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.34	0.34	76.38	0.00	-243.22	0.01	0.03	3.19
Degree	42	56	46.04	46.00	10,360	MAX VALUE	861.02	3.52	0.08	1.83
Eccentricity	2	2	2.00	2.00	450	MAX VALUE	155.96	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 85.35%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,345,710

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

Clustering coefficient 0.91 1.00 0.95 0.94 212.76 0.00 -12.63 0.02 0.02 5.09

Degree 42 214 191.17 206.00 43,014 MAX VALUE 1,170.96 42.48 0.22 3.25

Eccentricity 2 2 2.00 2.00 450 MAX VALUE 155.96 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.94	212.76	0.00	-12.63	0.02	0.02	5.09
Degree	42	214	191.17	206.00	43,014	MAX VALUE	1,170.96	42.48	0.22	3.25
Eccentricity	2	2	2.00	2.00	450	MAX VALUE	155.96	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/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-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.08%
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.33 0.00 0.00 1.17 0.00 None 0.01 33.33 0.01

Degree 2 8 3.91 4.00 20,270 MAX VALUE 6,936.13 0.92 0.23 1.23

Eccentricity 8 13 10.82 11.00 56,046 MAX VALUE 12,322.80 0.75 0.07 1.13

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.33	0.00	0.00	1.17	0.00	None	0.01	33.33	0.01
Degree	2	8	3.91	4.00	20,270	MAX VALUE	6,936.13	0.92	0.23	1.23
Eccentricity	8	13	10.82	11.00	56,046	MAX VALUE	12,322.80	0.75	0.07	1.13
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: 7.92%

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

Clustering coefficient 0.47 1.00 0.88 0.91 4,569.57 0.00 -708.39 0.13 0.14 4.87

Degree 2 1,529 410.01 10.00 2,123,860 MAX VALUE 18,050.50 629.12 1.53 4.16

Eccentricity 3 5 3.84 4.00 19,902 MAX VALUE 6,916.64 0.55 0.14 0.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	0.88	0.91	4,569.57	0.00	-708.39	0.13	0.14	4.87
Degree	2	1,529	410.01	10.00	2,123,860	MAX VALUE	18,050.50	629.12	1.53	4.16
Eccentricity	3	5	3.84	4.00	19,902	MAX VALUE	6,916.64	0.55	0.14	0.83

Incidence graph

Density: 0.07%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-sgb-queenExtConvert/normalized-queen15-15-14-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 56 3.83 2.00 20,720 MAX VALUE 4,451.52 8.83 2.30 0.25

Eccentricity 5 6 5.96 6.00 32,205 MAX VALUE 9,643.44 0.20 0.03 0.17

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

XCSP 2.1 Benchmarks