XCSP 2.1 Benchmark Database

Instance: normalized-ehi-90-315-11-ext
Number of variables: None
Number of constraints: None
Satisfiable: True
Timestamp: 2025-07-27 21:34:30
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 315
Number of constraints: 4371

General features

Coarse blocks: 61,188
Value tables: 315

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

Arity 2 2 2.00 2.00 8,742 MAX VALUE 3,029.75 0.00 0.00 0.00

Coarse blocks size 1 4 3.45 3.00 211,074 MAX VALUE 74,730.30 0.58 0.17 0.82

Relational linkage 0.14 0.43 0.33 0.43 734.86 0.00 -2,570.01 0.11 0.33 1.01

Tightness 0.49 0.88 0.51 0.51 2,217.18 0.00 -2,979.60 0.04 0.09 0.82

Tuples 6 25 24.14 24.00 105,537 MAX VALUE 13,890.80 2.15 0.09 0.82

Values 7 7 7.00 7.00 2,205 MAX VALUE 612.96 0.00 0.00 0.00

Value table constraints 20 30 27.75 28.00 8,742 MAX VALUE 1,046.29 1.60 0.06 1.73

Value table partitions 7 7 7.00 7.00 2,205 MAX VALUE 612.96 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	8,742	MAX VALUE	3,029.75	0.00	0.00	0.00
Coarse blocks size	1	4	3.45	3.00	211,074	MAX VALUE	74,730.30	0.58	0.17	0.82
Relational linkage	0.14	0.43	0.33	0.43	734.86	0.00	-2,570.01	0.11	0.33	1.01
Tightness	0.49	0.88	0.51	0.51	2,217.18	0.00	-2,979.60	0.04	0.09	0.82
Tuples	6	25	24.14	24.00	105,537	MAX VALUE	13,890.80	2.15	0.09	0.82
Values	7	7	7.00	7.00	2,205	MAX VALUE	612.96	0.00	0.00	0.00
Value table constraints	20	30	27.75	28.00	8,742	MAX VALUE	1,046.29	1.60	0.06	1.73
Value table partitions	7	7	7.00	7.00	2,205	MAX VALUE	612.96	0.00	0.00	0.00

Tree decomposition

Number of clusters: 64
Number of leaves: 21
Tree depth: 9
CIR: 0.07
Independent Cluster Pairs: 128
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/Tree1.json

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

Cluster constraints 133 1,896 341.83 190.00 21,877 MAX VALUE 355.09 343.48 1.00 4.03

Variables per cluster 21 205 54.47 36.00 3,486 MAX VALUE 243.71 40.11 0.74 3.46

Separator constraints 0 1,279 273.53 152.50 17,506 0 None 256.92 0.94 3.99

Separator variables 0 168 49.55 35.00 3,171 0 None 34.64 0.70 3.52

Clusters per var 1 23 11.07 12.00 3,486 MAX VALUE 688.18 5.18 0.47 2.81

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	133	1,896	341.83	190.00	21,877	MAX VALUE	355.09	343.48	1.00	4.03
Variables per cluster	21	205	54.47	36.00	3,486	MAX VALUE	243.71	40.11	0.74	3.46
Separator constraints	0	1,279	273.53	152.50	17,506	0	None	256.92	0.94	3.99
Separator variables	0	168	49.55	35.00	3,171	0	None	34.64	0.70	3.52
Clusters per var	1	23	11.07	12.00	3,486	MAX VALUE	688.18	5.18	0.47	2.81

Dual tree decomposition

Number of clusters: 313
Number of leaves: 157
Tree depth: 8
CIR: 0.50
Independent Cluster Pairs: 24,389
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/DualTree1.json

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

Cluster constraints 399 28,178 2,015.56 881.00 630,869 MAX VALUE 2,251.57 3,104.24 1.54 4.97

Variables per cluster 39 2,063 154.12 59.00 48,239 MAX VALUE 1,436.00 242.30 1.57 3.84

Separator constraints 0 16,751 1,640.68 822.00 513,533 0 None 2,097.87 1.28 5.00

Separator variables 0 1,564 140.15 58.00 43,868 0 None 196.50 1.40 3.85

Clusters per variable 1 16 11.04 13.00 48,239 MAX VALUE 9,877.92 4.31 0.39 2.22

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	399	28,178	2,015.56	881.00	630,869	MAX VALUE	2,251.57	3,104.24	1.54	4.97
Variables per cluster	39	2,063	154.12	59.00	48,239	MAX VALUE	1,436.00	242.30	1.57	3.84
Separator constraints	0	16,751	1,640.68	822.00	513,533	0	None	2,097.87	1.28	5.00
Separator variables	0	1,564	140.15	58.00	43,868	0	None	196.50	1.40	3.85
Clusters per variable	1	16	11.04	13.00	48,239	MAX VALUE	9,877.92	4.31	0.39	2.22

Primal graph

Density: 8.84%
MCB compute time (ms): None
MCB cycles: None
Triangles: 13,951
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/Primal1.json

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

Clustering coefficient 0.31 0.65 0.36 0.35 113.55 0.00 -323.36 0.05 0.13 4.47

Degree 20 30 27.75 28.00 8,742 MAX VALUE 1,046.29 1.60 0.06 1.73

Eccentricity 3 3 3.00 3.00 945 MAX VALUE 346.06 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.31	0.65	0.36	0.35	113.55	0.00	-323.36	0.05	0.13	4.47
Degree	20	30	27.75	28.00	8,742	MAX VALUE	1,046.29	1.60	0.06	1.73
Eccentricity	3	3	3.00	3.00	945	MAX VALUE	346.06	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 59.28%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,897,830

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

Clustering coefficient 0.75 1.00 0.89 0.89 281.89 0.00 -35.49 0.05 0.06 5.43

Degree 20 265 186.13 237.00 58,632 MAX VALUE 1,581.16 83.35 0.45 4.11

Eccentricity 2 3 2.21 2.00 695 MAX VALUE 244.70 0.40 0.18 0.51

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.75	1.00	0.89	0.89	281.89	0.00	-35.49	0.05	0.06	5.43
Degree	20	265	186.13	237.00	58,632	MAX VALUE	1,581.16	83.35	0.45	4.11
Eccentricity	2	3	2.21	2.00	695	MAX VALUE	244.70	0.40	0.18	0.51
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/ehi-90/normalized-ehi-90-315-11-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-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.09%
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.07 0.00 None 0.01 32.12 0.01

Degree 2 7 3.86 4.00 16,854 MAX VALUE 5,782.19 0.92 0.24 1.23

Eccentricity 9 12 10.64 11.00 46,519 MAX VALUE 10,328.80 0.64 0.06 0.97

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.07	0.00	None	0.01	32.12	0.01
Degree	2	7	3.86	4.00	16,854	MAX VALUE	5,782.19	0.92	0.24	1.23
Eccentricity	9	12	10.64	11.00	46,519	MAX VALUE	10,328.80	0.64	0.06	0.97
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.94%

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

Clustering coefficient 0.53 1.00 0.88 0.92 3,840.37 0.00 -617.71 0.13 0.15 4.77

Degree 2 1,278 346.87 9.00 1,516,150 MAX VALUE 14,793.00 533.18 1.54 4.02

Eccentricity 3 6 4.16 4.00 18,169 MAX VALUE 6,181.41 0.59 0.14 0.89

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.53	1.00	0.88	0.92	3,840.37	0.00	-617.71	0.13	0.15	4.77
Degree	2	1,278	346.87	9.00	1,516,150	MAX VALUE	14,793.00	533.18	1.54	4.02
Eccentricity	3	6	4.16	4.00	18,169	MAX VALUE	6,181.41	0.59	0.14	0.89

Incidence graph

Density: 0.08%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ehi-90/normalized-ehi-90-315-11-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 30 3.73 2.00 17,484 MAX VALUE 4,076.03 6.46 1.73 0.36

Eccentricity 7 8 7.93 8.00 37,166 MAX VALUE 9,701.27 0.25 0.03 0.25

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

XCSP 2.1 Benchmarks