XCSP 2.1 Benchmark Database

Instance: will199GPIA-6-ext
Number of variables: 701
Number of constraints: 6772
Satisfiable: True
Timestamp: 2025-07-27 21:34:49
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 701
Number of constraints: 6772

General features

Coarse blocks: 81,264
Value tables: 701

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

Arity 2 2 2.00 2.00 13,544 MAX VALUE 4,693.99 0.00 0.00 0.00

Coarse blocks size 5 5 5.00 5.00 406,320 MAX VALUE 130,789.00 0.00 0.00 0.00

Relational linkage 0.83 0.83 0.83 0.83 3,505.00 0.00 -766.84 0.00 0.00 0.00

Tightness 0.17 0.17 0.17 0.17 1,128.67 0.00 -12,133.80 0.00 0.00 0.00

Tuples 30 30 30.00 30.00 203,160 MAX VALUE 23,032.90 0.00 0.00 0.00

Values 6 6 6.00 6.00 4,206 MAX VALUE 1,256.02 0.00 0.00 0.00

Value table constraints 2 38 19.32 17.00 13,544 MAX VALUE 2,028.71 7.23 0.37 3.01

Value table partitions 6 6 6.00 6.00 4,206 MAX VALUE 1,256.02 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	13,544	MAX VALUE	4,693.99	0.00	0.00	0.00
Coarse blocks size	5	5	5.00	5.00	406,320	MAX VALUE	130,789.00	0.00	0.00	0.00
Relational linkage	0.83	0.83	0.83	0.83	3,505.00	0.00	-766.84	0.00	0.00	0.00
Tightness	0.17	0.17	0.17	0.17	1,128.67	0.00	-12,133.80	0.00	0.00	0.00
Tuples	30	30	30.00	30.00	203,160	MAX VALUE	23,032.90	0.00	0.00	0.00
Values	6	6	6.00	6.00	4,206	MAX VALUE	1,256.02	0.00	0.00	0.00
Value table constraints	2	38	19.32	17.00	13,544	MAX VALUE	2,028.71	7.23	0.37	3.01
Value table partitions	6	6	6.00	6.00	4,206	MAX VALUE	1,256.02	0.00	0.00	0.00

Tree decomposition

Number of clusters: 285
Number of leaves: 53
Tree depth: 20
CIR: 0.80
Independent Cluster Pairs: 32,205
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/Tree1.json

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

Cluster constraints 3 584 130.44 92.00 37,174 MAX VALUE 1,295.72 111.36 0.85 4.58

Variables per cluster 3 109 30.30 25.00 8,636 MAX VALUE 924.19 19.08 0.63 3.73

Separator constraints 0 485 106.67 77.00 30,402 0 None 91.70 0.86 4.50

Separator variables 0 83 27.84 24.00 7,935 0 None 16.41 0.59 3.72

Clusters per var 1 31 12.32 12.00 8,636 MAX VALUE 1,523.58 8.06 0.65 3.26

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	584	130.44	92.00	37,174	MAX VALUE	1,295.72	111.36	0.85	4.58
Variables per cluster	3	109	30.30	25.00	8,636	MAX VALUE	924.19	19.08	0.63	3.73
Separator constraints	0	485	106.67	77.00	30,402	0	None	91.70	0.86	4.50
Separator variables	0	83	27.84	24.00	7,935	0	None	16.41	0.59	3.72
Clusters per var	1	31	12.32	12.00	8,636	MAX VALUE	1,523.58	8.06	0.65	3.26

Dual tree decomposition

Number of clusters: 699
Number of leaves: 309
Tree depth: 15
CIR: 0.88
Independent Cluster Pairs: 213,903
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/DualTree1.json

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

Cluster constraints 65 8,807 906.56 499.00 633,686 MAX VALUE 4,397.17 1,171.41 1.29 5.66

Variables per cluster 13 833 88.13 54.00 61,602 MAX VALUE 2,869.82 103.29 1.17 4.70

Separator constraints 0 5,684 702.89 427.00 491,318 0 None 800.18 1.14 5.64

Separator variables 0 599 78.44 52.00 54,830 0 None 80.92 1.03 4.66

Clusters per variable 1 29 9.10 9.00 61,602 MAX VALUE 13,880.50 4.30 0.47 2.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	65	8,807	906.56	499.00	633,686	MAX VALUE	4,397.17	1,171.41	1.29	5.66
Variables per cluster	13	833	88.13	54.00	61,602	MAX VALUE	2,869.82	103.29	1.17	4.70
Separator constraints	0	5,684	702.89	427.00	491,318	0	None	800.18	1.14	5.64
Separator variables	0	599	78.44	52.00	54,830	0	None	80.92	1.03	4.66
Clusters per variable	1	29	9.10	9.00	61,602	MAX VALUE	13,880.50	4.30	0.47	2.77

Primal graph

Density: 2.76%
MCB compute time (ms): None
MCB cycles: None
Triangles: 10,539
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/Primal1.json

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

Clustering coefficient 0.11 1.00 0.26 0.25 180.91 0.00 -984.75 0.09 0.33 4.55

Degree 2 38 19.32 17.00 13,544 MAX VALUE 2,028.71 7.23 0.37 3.01

Eccentricity 6 9 7.16 7.00 5,020 MAX VALUE 1,377.12 0.65 0.09 0.99

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.11	1.00	0.26	0.25	180.91	0.00	-984.75	0.09	0.33	4.55
Degree	2	38	19.32	17.00	13,544	MAX VALUE	2,028.71	7.23	0.37	3.01
Eccentricity	6	9	7.16	7.00	5,020	MAX VALUE	1,377.12	0.65	0.09	0.99
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 13.66%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,042,310

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

Clustering coefficient 0.41 1.00 0.78 0.78 548.12 0.00 -185.69 0.14 0.18 5.81

Degree 2 284 95.62 81.00 67,032 MAX VALUE 2,939.41 71.97 0.75 5.01

Eccentricity 3 5 3.94 4.00 2,761 MAX VALUE 952.71 0.60 0.15 0.90

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.41	1.00	0.78	0.78	548.12	0.00	-185.69	0.14	0.18	5.81
Degree	2	284	95.62	81.00	67,032	MAX VALUE	2,939.41	71.97	0.75	5.01
Eccentricity	3	5	3.94	4.00	2,761	MAX VALUE	952.71	0.60	0.15	0.90
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/will199GPIA-6-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-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.06%
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 1.00 0.01 0.00 89.04 0.00 None 0.05 3.78 0.41

Degree 2 7 3.79 4.00 25,686 MAX VALUE 8,854.78 0.87 0.23 1.24

Eccentricity 13 20 16.72 17.00 113,234 MAX VALUE 19,060.10 1.09 0.06 1.50

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	1.00	0.01	0.00	89.04	0.00	None	0.05	3.78	0.41
Degree	2	7	3.79	4.00	25,686	MAX VALUE	8,854.78	0.87	0.23	1.24
Eccentricity	13	20	16.72	17.00	113,234	MAX VALUE	19,060.10	1.09	0.06	1.50
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.52%

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

Clustering coefficient 0.46 1.00 0.82 0.80 5,563.11 0.00 -1,449.88 0.15 0.18 4.94

Degree 2 1,362 170.91 8.00 1,157,390 MAX VALUE 20,705.00 302.02 1.77 4.38

Eccentricity 4 8 5.50 6.00 37,270 MAX VALUE 11,495.60 0.68 0.12 1.04

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.46	1.00	0.82	0.80	5,563.11	0.00	-1,449.88	0.15	0.18	4.94
Degree	2	1,362	170.91	8.00	1,157,390	MAX VALUE	20,705.00	302.02	1.77	4.38
Eccentricity	4	8	5.50	6.00	37,270	MAX VALUE	11,495.60	0.68	0.12	1.04

Incidence graph

Density: 0.05%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/hosExtConvert/will199GPIA-6-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 38 3.62 2.00 27,088 MAX VALUE 6,722.70 5.51 1.52 0.59

Eccentricity 12 19 15.47 16.00 115,616 MAX VALUE 20,444.40 1.24 0.08 1.41

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

XCSP 2.1 Benchmarks