XCSP 2.1 Benchmark Database

Instance: normalized-fpga-11-11-ext
Number of variables: 182
Number of constraints: 154
Satisfiable: True
Timestamp: 2025-07-20 22:08:47
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0

Component #1

Number of variables: 182
Number of constraints: 154

General features

Coarse blocks: 8,174
Value tables: 193

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

Arity 5 11 7.11 7.00 1,095 MAX VALUE 298.53 1.67 0.24 1.12

Coarse blocks size 1 1,024 41.70 2.00 340,852 MAX VALUE 12,248.50 172.67 4.14 1.17

Relational linkage 0.00 1.00 0.61 1.00 557.17 0.00 -1,678.32 0.47 0.76 1.36

Tightness 0.00 0.99 0.14 0.01 21.72 0.00 -634.64 0.32 2.28 1.35

Tuples 6 2,047 224.47 95.00 34,568 MAX VALUE 679.42 507.21 2.26 1.35

Values 2 2 2.00 2.00 364 MAX VALUE 126.15 0.00 0.00 0.00

Value table constraints 3 12 6.30 3.00 1,216 MAX VALUE 310.89 4.28 0.68 0.82

Value table partitions 2 64 4.70 2.00 908 MAX VALUE 168.44 11.64 2.47 0.26

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	5	11	7.11	7.00	1,095	MAX VALUE	298.53	1.67	0.24	1.12
Coarse blocks size	1	1,024	41.70	2.00	340,852	MAX VALUE	12,248.50	172.67	4.14	1.17
Relational linkage	0.00	1.00	0.61	1.00	557.17	0.00	-1,678.32	0.47	0.76	1.36
Tightness	0.00	0.99	0.14	0.01	21.72	0.00	-634.64	0.32	2.28	1.35
Tuples	6	2,047	224.47	95.00	34,568	MAX VALUE	679.42	507.21	2.26	1.35
Values	2	2	2.00	2.00	364	MAX VALUE	126.15	0.00	0.00	0.00
Value table constraints	3	12	6.30	3.00	1,216	MAX VALUE	310.89	4.28	0.68	0.82
Value table partitions	2	64	4.70	2.00	908	MAX VALUE	168.44	11.64	2.47	0.26

Tree decomposition

Number of clusters: 31
Number of leaves: 11
Tree depth: 5
CIR: 0.07
Independent Cluster Pairs: 30
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/Tree1.json

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

Cluster constraints 0 13 5.32 2.00 165 0 None 5.75 1.08 1.09

Variables per cluster 20 92 37.65 29.00 1,167 MAX VALUE 108.59 20.98 0.56 2.07

Separator constraints 0 1 0.35 0.00 11 0 None 0.48 1.35 0.65

Separator variables 0 72 31.77 28.00 985 0 None 15.63 0.49 2.03

Clusters per var 1 9 6.41 7.00 1,167 MAX VALUE 317.70 2.21 0.34 1.84

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	13	5.32	2.00	165	0	None	5.75	1.08	1.09
Variables per cluster	20	92	37.65	29.00	1,167	MAX VALUE	108.59	20.98	0.56	2.07
Separator constraints	0	1	0.35	0.00	11	0	None	0.48	1.35	0.65
Separator variables	0	72	31.77	28.00	985	0	None	15.63	0.49	2.03
Clusters per var	1	9	6.41	7.00	1,167	MAX VALUE	317.70	2.21	0.34	1.84

Dual tree decomposition

Number of clusters: 121
Number of leaves: 11
Tree depth: 15
CIR: 0.13
Independent Cluster Pairs: 905
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/DualTree1.json

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

Cluster constraints 18 134 66.27 64.00 8,019 MAX VALUE 487.27 35.37 0.53 3.09

Variables per cluster 18 19 18.55 19.00 2,244 MAX VALUE 353.30 0.50 0.03 0.69

Separator constraints 0 116 52.73 51.00 6,380 0 None 33.66 0.64 3.02

Separator variables 0 18 17.27 17.00 2,090 0 None 1.77 0.10 0.90

Clusters per variable 1 94 14.57 7.50 2,244 MAX VALUE 309.86 20.69 1.42 2.74

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	18	134	66.27	64.00	8,019	MAX VALUE	487.27	35.37	0.53	3.09
Variables per cluster	18	19	18.55	19.00	2,244	MAX VALUE	353.30	0.50	0.03	0.69
Separator constraints	0	116	52.73	51.00	6,380	0	None	33.66	0.64	3.02
Separator variables	0	18	17.27	17.00	2,090	0	None	1.77	0.10	0.90
Clusters per variable	1	94	14.57	7.50	2,244	MAX VALUE	309.86	20.69	1.42	2.74

Primal graph

Density: 13.12%
MCB compute time (ms): 1,340
MCB cycles: 2,115
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/Primal1.json

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

Clustering coefficient 0.50 0.65 0.55 0.51 99.52 0.00 -110.93 0.06 0.11 1.32

Degree 19 26 23.75 25.00 4,322 MAX VALUE 575.29 2.63 0.11 1.32

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.13 3.00 6,630 MAX VALUE 2,405.55 0.34 0.11 0.40

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	0.65	0.55	0.51	99.52	0.00	-110.93	0.06	0.11	1.32
Degree	19	26	23.75	25.00	4,322	MAX VALUE	575.29	2.63	0.11	1.32
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.13	3.00	6,630	MAX VALUE	2,405.55	0.34	0.11	0.40

Triangulated primal graph

Density: 56.23%
MCB compute time (ms): 16,160
MCB cycles: 9,749
Triangles: None

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

Clustering coefficient 0.72 1.00 0.85 0.85 154.18 0.00 -31.07 0.08 0.10 3.24

Degree 19 150 101.77 118.00 18,522 MAX VALUE 819.44 39.25 0.39 2.97

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 29,247 MAX VALUE 10,710.40 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.72	1.00	0.85	0.85	154.18	0.00	-31.07	0.08	0.10	3.24
Degree	19	150	101.77	118.00	18,522	MAX VALUE	819.44	39.25	0.39	2.97
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	29,247	MAX VALUE	10,710.40	0.00	0.00	0.00

Dual graph

Density: 13.91%
MCB compute time (ms): 365
MCB cycles: 1,486
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/Dual1.json

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

Clustering coefficient 0.05 0.78 0.64 0.76 98.42 0.00 -98.91 0.25 0.39 1.35

Degree 17 66 21.29 18.00 3,278 MAX VALUE 459.77 11.23 0.53 1.25

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.10 3.00 4,608 MAX VALUE 1,675.69 0.30 0.10 0.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.05	0.78	0.64	0.76	98.42	0.00	-98.91	0.25	0.39	1.35
Degree	17	66	21.29	18.00	3,278	MAX VALUE	459.77	11.23	0.53	1.25
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.10	3.00	4,608	MAX VALUE	1,675.69	0.30	0.10	0.33

Minimal dual graph

Density: 3.51%
MCB compute time (ms): 33
MCB cycles: 260

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

Clustering coefficient 0.00 0.33 0.22 0.20 34.17 0.00 None 0.12 0.53 1.44

Degree 4 12 5.36 4.00 826 MAX VALUE 246.36 2.58 0.48 1.13

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.39 4.00 1,142 MAX VALUE 372.27 1.35 0.31 1.19

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.22	0.20	34.17	0.00	None	0.12	0.53	1.44
Degree	4	12	5.36	4.00	826	MAX VALUE	246.36	2.58	0.48	1.13
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.39	4.00	1,142	MAX VALUE	372.27	1.35	0.31	1.19

Triangulated dual graph

Density: 21.27%
Triangles: 20,069

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

Clustering coefficient 0.24 1.00 0.84 0.91 129.68 0.00 -34.46 0.21 0.25 3.30

Degree 17 126 32.55 24.00 5,012 MAX VALUE 510.96 24.27 0.75 2.82

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	0.24	1.00	0.84	0.91	129.68	0.00	-34.46	0.21	0.25	3.30
Degree	17	126	32.55	24.00	5,012	MAX VALUE	510.96	24.27	0.75	2.82
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 10.20%

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

Clustering coefficient 0.25 1.00 0.79 0.79 122.18 0.00 -41.95 0.20 0.25 2.89

Degree 4 70 15.61 8.00 2,404 MAX VALUE 354.85 16.00 1.03 2.76

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	0.25	1.00	0.79	0.79	122.18	0.00	-41.95	0.20	0.25	2.89
Degree	4	70	15.61	8.00	2,404	MAX VALUE	354.85	16.00	1.03	2.76
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 1.95%
MCB compute time (ms): 221
MCB cycles: 760
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-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 3 12 6.52 6.00 2,190 MAX VALUE 583.04 3.37 0.52 1.55

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 5.08 4.00 3,860 MAX VALUE 1,202.16 1.60 0.32 0.88

XCSP 2.1 Benchmarks