XCSP 2.1 Benchmark Database

Instance: ash331GPIA-3-ext
Number of variables: 662
Number of constraints: 4181
Satisfiable: True
Timestamp: 2025-07-27 21:34:49
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 662
Number of constraints: 4181

General features

Coarse blocks: 25,083
Value tables: 661

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

Arity 2 2 2.00 2.00 8,362 MAX VALUE 2,898.05 0.00 0.00 0.00

Coarse blocks size 2 2 2.00 2.00 50,166 MAX VALUE 17,386.20 0.00 0.00 0.00

Relational linkage 0.67 0.67 0.67 0.67 1,322.00 0.00 -804.04 0.00 0.00 0.00

Tightness 0.33 0.33 0.33 0.33 1,393.67 0.00 -4,593.30 0.00 0.00 0.00

Tuples 6 6 6.00 6.00 25,086 MAX VALUE 7,491.35 0.00 0.00 0.00

Values 3 3 3.00 3.00 1,986 MAX VALUE 727.28 0.00 0.00 0.00

Value table constraints 6 23 12.65 13.00 8,361 MAX VALUE 1,660.70 2.81 0.22 2.37

Value table partitions 3 3 3.00 3.00 1,983 MAX VALUE 726.18 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,362	MAX VALUE	2,898.05	0.00	0.00	0.00
Coarse blocks size	2	2	2.00	2.00	50,166	MAX VALUE	17,386.20	0.00	0.00	0.00
Relational linkage	0.67	0.67	0.67	0.67	1,322.00	0.00	-804.04	0.00	0.00	0.00
Tightness	0.33	0.33	0.33	0.33	1,393.67	0.00	-4,593.30	0.00	0.00	0.00
Tuples	6	6	6.00	6.00	25,086	MAX VALUE	7,491.35	0.00	0.00	0.00
Values	3	3	3.00	3.00	1,986	MAX VALUE	727.28	0.00	0.00	0.00
Value table constraints	6	23	12.65	13.00	8,361	MAX VALUE	1,660.70	2.81	0.22	2.37
Value table partitions	3	3	3.00	3.00	1,983	MAX VALUE	726.18	0.00	0.00	0.00

Tree decomposition

Number of clusters: 318
Number of leaves: 169
Tree depth: 33
CIR: 0.82
Independent Cluster Pairs: 41,043
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/Tree1.json

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

Cluster constraints 1 143 31.55 18.00 10,032 MAX VALUE 1,011.99 25.13 0.80 3.88

Variables per cluster 2 89 22.51 15.00 7,159 MAX VALUE 932.23 15.39 0.68 3.50

Separator constraints 0 110 18.40 4.00 5,851 0 None 22.22 1.21 3.19

Separator variables 0 68 20.43 14.00 6,497 0 None 13.62 0.67 3.45

Clusters per var 1 37 10.81 9.00 7,159 MAX VALUE 1,217.89 8.73 0.81 3.02

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	143	31.55	18.00	10,032	MAX VALUE	1,011.99	25.13	0.80	3.88
Variables per cluster	2	89	22.51	15.00	7,159	MAX VALUE	932.23	15.39	0.68	3.50
Separator constraints	0	110	18.40	4.00	5,851	0	None	22.22	1.21	3.19
Separator variables	0	68	20.43	14.00	6,497	0	None	13.62	0.67	3.45
Clusters per var	1	37	10.81	9.00	7,159	MAX VALUE	1,217.89	8.73	0.81	3.02

Dual tree decomposition

Number of clusters: 660
Number of leaves: 330
Tree depth: 25
CIR: 0.92
Independent Cluster Pairs: 198,708
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/DualTree1.json

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

Cluster constraints 30 1,828 303.01 188.00 199,987 MAX VALUE 3,563.49 291.39 0.96 4.70

Variables per cluster 9 362 52.90 32.00 34,915 MAX VALUE 2,425.33 53.76 1.02 4.00

Separator constraints 0 1,136 225.26 157.00 148,671 0 None 189.96 0.84 4.69

Separator variables 0 258 46.57 30.00 30,734 0 None 41.50 0.89 3.78

Clusters per variable 1 22 8.35 8.00 34,915 MAX VALUE 8,074.51 4.21 0.50 2.70

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	30	1,828	303.01	188.00	199,987	MAX VALUE	3,563.49	291.39	0.96	4.70
Variables per cluster	9	362	52.90	32.00	34,915	MAX VALUE	2,425.33	53.76	1.02	4.00
Separator constraints	0	1,136	225.26	157.00	148,671	0	None	189.96	0.84	4.69
Separator variables	0	258	46.57	30.00	30,734	0	None	41.50	0.89	3.78
Clusters per variable	1	22	8.35	8.00	34,915	MAX VALUE	8,074.51	4.21	0.50	2.70

Primal graph

Density: 1.91%
MCB compute time (ms): None
MCB cycles: None
Triangles: 618
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/Primal1.json

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

Clustering coefficient None None None 0.04 None None None None None 3.44

Degree 1 23 12.63 13.00 8,362 MAX VALUE 1,660.70 2.85 0.23 2.38

Eccentricity 8 16 11.56 11.00 7,651 MAX VALUE 1,611.17 1.91 0.16 1.95

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.04	None	None	None	None	None	3.44
Degree	1	23	12.63	13.00	8,362	MAX VALUE	1,660.70	2.85	0.23	2.38
Eccentricity	8	16	11.56	11.00	7,651	MAX VALUE	1,611.17	1.91	0.16	1.95
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 10.09%
MCB compute time (ms): None
MCB cycles: None
Triangles: 515,239

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

Clustering coefficient None None None 0.77 None None None None None 5.06

Degree 1 239 66.67 45.00 44,136 MAX VALUE 2,492.30 56.03 0.84 4.73

Eccentricity 5 9 6.84 7.00 4,531 MAX VALUE 1,268.77 0.80 0.12 1.19

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.77	None	None	None	None	None	5.06
Degree	1	239	66.67	45.00	44,136	MAX VALUE	2,492.30	56.03	0.84	4.73
Eccentricity	5	9	6.84	7.00	4,531	MAX VALUE	1,268.77	0.80	0.12	1.19
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 0.59%
MCB compute time (ms): None
MCB cycles: None
Triangles: 205,127
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/Dual1.json

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

Clustering coefficient 0.44 1.00 0.48 0.48 2,022.96 0.00 -3,036.50 0.01 0.03 4.04

Degree 8 44 24.55 24.00 102,632 MAX VALUE 13,282.00 5.33 0.22 3.00

Eccentricity 8 16 12.14 12.00 50,748 MAX VALUE 10,382.00 1.96 0.16 1.95

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.44	1.00	0.48	0.48	2,022.96	0.00	-3,036.50	0.01	0.03	4.04
Degree	8	44	24.55	24.00	102,632	MAX VALUE	13,282.00	5.33	0.22	3.00
Eccentricity	8	16	12.14	12.00	50,748	MAX VALUE	10,382.00	1.96	0.16	1.95
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.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00

Degree 2 6 3.68 4.00 15,400 MAX VALUE 5,379.94 0.66 0.18 1.01

Eccentricity 16 30 22.44 22.00 93,833 MAX VALUE 12,962.20 3.28 0.15 2.52

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	6	3.68	4.00	15,400	MAX VALUE	5,379.94	0.66	0.18	1.01
Eccentricity	16	30	22.44	22.00	93,833	MAX VALUE	12,962.20	3.28	0.15	2.52
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: 2.56%

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

Clustering coefficient 0.44 1.00 0.82 0.80 3,419.50 0.00 -913.03 0.15 0.18 4.65

Degree 2 793 106.83 7.00 446,650 MAX VALUE 12,212.80 178.56 1.67 4.22

Eccentricity 5 9 7.07 7.00 29,548 MAX VALUE 8,145.64 0.83 0.12 1.23

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.44	1.00	0.82	0.80	3,419.50	0.00	-913.03	0.15	0.18	4.65
Degree	2	793	106.83	7.00	446,650	MAX VALUE	12,212.80	178.56	1.67	4.22
Eccentricity	5	9	7.07	7.00	29,548	MAX VALUE	8,145.64	0.83	0.12	1.23

Incidence graph

Density: 0.07%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/ash331GPIA-3-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 23 3.45 2.00 16,724 MAX VALUE 4,558.75 3.80 1.10 0.72

Eccentricity 17 33 24.41 24.00 118,234 MAX VALUE 15,414.30 3.83 0.16 2.52

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

XCSP 2.1 Benchmarks