XCSP 2.1 Benchmark Database

Instance: ash958GPIA-4-ext
Number of variables: 1916
Number of constraints: 12506
Satisfiable: True
Timestamp: 2025-07-27 21:34:49
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 1916
Number of constraints: 12506

General features

Coarse blocks: 100,044
Value tables: 1,915

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

Arity 2 2 2.00 2.00 25,012 MAX VALUE 8,668.50 0.00 0.00 0.00

Coarse blocks size 3 3 3.00 3.00 300,132 MAX VALUE 109,910.00 0.00 0.00 0.00

Relational linkage 0.75 0.75 0.75 0.75 5,745.00 0.00 -2,203.64 0.00 0.00 0.00

Tightness 0.25 0.25 0.25 0.25 3,126.50 0.00 -17,337.00 0.00 0.00 0.00

Tuples 12 12 12.00 12.00 150,072 MAX VALUE 31,076.20 0.00 0.00 0.00

Values 4 4 4.00 4.00 7,664 MAX VALUE 2,656.14 0.00 0.00 0.00

Value table constraints 6 24 13.06 13.00 25,011 MAX VALUE 4,875.29 2.80 0.21 2.42

Value table partitions 4 4 4.00 4.00 7,660 MAX VALUE 2,654.75 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	25,012	MAX VALUE	8,668.50	0.00	0.00	0.00
Coarse blocks size	3	3	3.00	3.00	300,132	MAX VALUE	109,910.00	0.00	0.00	0.00
Relational linkage	0.75	0.75	0.75	0.75	5,745.00	0.00	-2,203.64	0.00	0.00	0.00
Tightness	0.25	0.25	0.25	0.25	3,126.50	0.00	-17,337.00	0.00	0.00	0.00
Tuples	12	12	12.00	12.00	150,072	MAX VALUE	31,076.20	0.00	0.00	0.00
Values	4	4	4.00	4.00	7,664	MAX VALUE	2,656.14	0.00	0.00	0.00
Value table constraints	6	24	13.06	13.00	25,011	MAX VALUE	4,875.29	2.80	0.21	2.42
Value table partitions	4	4	4.00	4.00	7,660	MAX VALUE	2,654.75	0.00	0.00	0.00

Tree decomposition

Number of clusters: 913
Number of leaves: 487
Tree depth: 47
CIR: 0.92
Independent Cluster Pairs: 381,909
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/Tree1.json

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

Cluster constraints 1 228 37.50 19.00 34,236 MAX VALUE 2,995.28 36.01 0.96 4.11

Variables per cluster 2 140 25.95 16.00 23,689 MAX VALUE 2,768.69 20.21 0.78 3.73

Separator constraints 0 162 23.80 4.00 21,730 0 None 31.79 1.34 3.45

Separator variables 0 103 23.85 15.00 21,773 0 None 17.73 0.74 3.69

Clusters per var 1 53 12.36 11.00 23,689 MAX VALUE 3,709.78 10.19 0.82 3.17

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	228	37.50	19.00	34,236	MAX VALUE	2,995.28	36.01	0.96	4.11
Variables per cluster	2	140	25.95	16.00	23,689	MAX VALUE	2,768.69	20.21	0.78	3.73
Separator constraints	0	162	23.80	4.00	21,730	0	None	31.79	1.34	3.45
Separator variables	0	103	23.85	15.00	21,773	0	None	17.73	0.74	3.69
Clusters per var	1	53	12.36	11.00	23,689	MAX VALUE	3,709.78	10.19	0.82	3.17

Dual tree decomposition

Number of clusters: 1,914
Number of leaves: 954
Tree depth: 36
CIR: 0.97
Independent Cluster Pairs: 1,770,210
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/DualTree1.json

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

Cluster constraints 15 2,312 334.54 212.00 640,301 MAX VALUE 10,507.80 327.76 0.98 4.95

Variables per cluster 6 484 57.32 33.50 109,709 MAX VALUE 7,137.58 62.40 1.09 4.12

Separator constraints 0 1,552 251.83 182.00 481,997 0 None 215.98 0.86 4.87

Separator variables 0 362 50.79 32.00 97,203 0 None 48.32 0.95 3.92

Clusters per variable 1 29 8.77 8.00 109,709 MAX VALUE 24,645.40 4.61 0.53 2.76

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	15	2,312	334.54	212.00	640,301	MAX VALUE	10,507.80	327.76	0.98	4.95
Variables per cluster	6	484	57.32	33.50	109,709	MAX VALUE	7,137.58	62.40	1.09	4.12
Separator constraints	0	1,552	251.83	182.00	481,997	0	None	215.98	0.86	4.87
Separator variables	0	362	50.79	32.00	97,203	0	None	48.32	0.95	3.92
Clusters per variable	1	29	8.77	8.00	109,709	MAX VALUE	24,645.40	4.61	0.53	2.76

Primal graph

Density: 0.68%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,728
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/Primal1.json

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

Clustering coefficient None None None 0.03 None None None None None 3.50

Degree 1 24 13.05 13.00 25,012 MAX VALUE 4,875.29 2.81 0.22 2.43

Eccentricity 14 26 19.59 20.00 37,534 MAX VALUE 5,673.52 3.22 0.16 2.48

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	0.03	None	None	None	None	None	3.50
Degree	1	24	13.05	13.00	25,012	MAX VALUE	4,875.29	2.81	0.22	2.43
Eccentricity	14	26	19.59	20.00	37,534	MAX VALUE	5,673.52	3.22	0.16	2.48
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: None%
MCB compute time (ms): None
MCB cycles: 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

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

Dual graph

Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-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.03%
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 3.03 0.00 None 0.01 31.15 0.01

Degree 2 6 3.69 4.00 46,192 MAX VALUE 16,143.80 0.66 0.18 0.98

Eccentricity 26 50 38.02 38.00 475,483 MAX VALUE 45,356.80 5.64 0.15 3.05

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	3.03	0.00	None	0.01	31.15	0.01
Degree	2	6	3.69	4.00	46,192	MAX VALUE	16,143.80	0.66	0.18	0.98
Eccentricity	26	50	38.02	38.00	475,483	MAX VALUE	45,356.80	5.64	0.15	3.05
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: 0.87%

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

Clustering coefficient 0.35 1.00 0.81 0.80 10,142.10 0.00 -2,878.21 0.16 0.20 5.05

Degree 2 1,042 108.95 8.00 1,362,490 MAX VALUE 36,479.90 195.20 1.79 4.30

Eccentricity 6 12 9.08 9.00 113,568 MAX VALUE 27,490.40 1.14 0.13 1.52

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.35	1.00	0.81	0.80	10,142.10	0.00	-2,878.21	0.16	0.20	5.05
Degree	2	1,042	108.95	8.00	1,362,490	MAX VALUE	36,479.90	195.20	1.79	4.30
Eccentricity	6	12	9.08	9.00	113,568	MAX VALUE	27,490.40	1.14	0.13	1.52

Incidence graph

Density: 0.02%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash958GPIA-4-ext/Incidence1.json

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

Clustering coefficient None None None 0.00 None None None None None 0.00

Degree 1 24 3.47 2.00 50,024 MAX VALUE 13,543.80 3.89 1.12 0.71

Eccentricity 28 54 40.23 40.00 580,208 MAX VALUE 53,091.10 6.50 0.16 2.91

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

XCSP 2.1 Benchmarks