XCSP 2.1 Benchmark Database

Instance: normalized-fpga-12-12-ext
Number of variables: 216
Number of constraints: 180
Satisfiable: True
Timestamp: 2025-07-20 22:08:48
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0

Component #1

Number of variables: 216
Number of constraints: 180

General features

Coarse blocks: 11,952
Value tables: 228

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

Arity 6 12 7.60 7.00 1,368 MAX VALUE 361.35 1.74 0.23 0.63

Coarse blocks size 1 2,048 61.78 2.00 738,360 MAX VALUE 17,339.30 312.87 5.06 0.92

Relational linkage 0.00 1.00 0.65 1.00 778.66 0.00 -2,216.44 0.46 0.71 1.18

Tightness 0.00 1.00 0.13 0.01 23.78 0.00 -799.93 0.32 2.41 0.72

Tuples 7 4,095 375.93 127.00 67,668 MAX VALUE 851.50 994.75 2.65 0.72

Values 2 2 2.00 2.00 432 MAX VALUE 149.72 0.00 0.00 0.00

Value table constraints 3 13 6.63 3.00 1,512 MAX VALUE 372.69 4.76 0.72 0.81

Value table partitions 2 64 5.26 2.00 1,200 MAX VALUE 199.63 13.84 2.63 0.21

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	6	12	7.60	7.00	1,368	MAX VALUE	361.35	1.74	0.23	0.63
Coarse blocks size	1	2,048	61.78	2.00	738,360	MAX VALUE	17,339.30	312.87	5.06	0.92
Relational linkage	0.00	1.00	0.65	1.00	778.66	0.00	-2,216.44	0.46	0.71	1.18
Tightness	0.00	1.00	0.13	0.01	23.78	0.00	-799.93	0.32	2.41	0.72
Tuples	7	4,095	375.93	127.00	67,668	MAX VALUE	851.50	994.75	2.65	0.72
Values	2	2	2.00	2.00	432	MAX VALUE	149.72	0.00	0.00	0.00
Value table constraints	3	13	6.63	3.00	1,512	MAX VALUE	372.69	4.76	0.72	0.81
Value table partitions	2	64	5.26	2.00	1,200	MAX VALUE	199.63	13.84	2.63	0.21

Tree decomposition

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

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

Cluster constraints 0 14 5.65 2.00 192 0 None 6.22 1.10 1.10

Variables per cluster 23 104 42.12 33.00 1,432 MAX VALUE 122.57 24.71 0.59 1.37

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

Separator variables 0 80 35.76 32.00 1,216 0 None 18.32 0.51 1.42

Clusters per var 1 9 6.63 7.00 1,432 MAX VALUE 385.30 2.22 0.34 1.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	14	5.65	2.00	192	0	None	6.22	1.10	1.10
Variables per cluster	23	104	42.12	33.00	1,432	MAX VALUE	122.57	24.71	0.59	1.37
Separator constraints	0	1	0.35	0.00	12	0	None	0.48	1.35	0.65
Separator variables	0	80	35.76	32.00	1,216	0	None	18.32	0.51	1.42
Clusters per var	1	9	6.63	7.00	1,432	MAX VALUE	385.30	2.22	0.34	1.83

Dual tree decomposition

Number of clusters: 144
Number of leaves: 12
Tree depth: 17
CIR: 0.00
Independent Cluster Pairs: 24
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12-ext/DualTree1.json

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

Cluster constraints 20 152 76.83 71.00 11,064 MAX VALUE 599.89 41.76 0.54 2.48

Variables per cluster 20 20 20.00 20.00 2,880 MAX VALUE 431.38 0.00 0.00 0.00

Separator constraints 0 133 62.33 57.50 8,976 0 None 39.79 0.64 2.48

Separator variables 0 19 18.75 19.00 2,700 0 None 1.69 0.09 0.33

Clusters per variable 1 140 16.00 8.00 2,880 MAX VALUE 371.28 25.53 1.60 2.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	20	152	76.83	71.00	11,064	MAX VALUE	599.89	41.76	0.54	2.48
Variables per cluster	20	20	20.00	20.00	2,880	MAX VALUE	431.38	0.00	0.00	0.00
Separator constraints	0	133	62.33	57.50	8,976	0	None	39.79	0.64	2.48
Separator variables	0	19	18.75	19.00	2,700	0	None	1.69	0.09	0.33
Clusters per variable	1	140	16.00	8.00	2,880	MAX VALUE	371.28	25.53	1.60	2.78

Primal graph

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

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

Clustering coefficient 0.51 0.63 0.55 0.51 118.27 0.00 -131.33 0.06 0.11 0.64

Degree 22 28 26.00 28.00 5,616 MAX VALUE 702.39 2.83 0.11 0.64

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.13 3.00 8,660 MAX VALUE 3,143.37 0.33 0.11 0.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	0.63	0.55	0.51	118.27	0.00	-131.33	0.06	0.11	0.64
Degree	22	28	26.00	28.00	5,616	MAX VALUE	702.39	2.83	0.11	0.64
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.13	3.00	8,660	MAX VALUE	3,143.37	0.33	0.11	0.38

Triangulated primal graph

Density: 55.92%
MCB compute time (ms): 3,939
MCB cycles: 18,127
Triangles: None

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

Clustering coefficient 0.72 1.00 0.85 0.86 183.09 0.00 -36.78 0.08 0.10 2.28

Degree 22 178 120.22 130.00 25,968 MAX VALUE 1,007.93 46.54 0.39 2.28

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 54,381 MAX VALUE 19,914.50 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.86	183.09	0.00	-36.78	0.08	0.10	2.28
Degree	22	178	120.22	130.00	25,968	MAX VALUE	1,007.93	46.54	0.39	2.28
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	54,381	MAX VALUE	19,914.50	0.00	0.00	0.00

Dual graph

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

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

Clustering coefficient 0.04 0.78 0.65 0.78 117.77 0.00 -111.36 0.25 0.38 0.72

Degree 19 72 23.20 19.00 4,176 MAX VALUE 551.59 13.15 0.57 0.63

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.09 3.00 5,908 MAX VALUE 2,149.32 0.29 0.09 0.31

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.04	0.78	0.65	0.78	117.77	0.00	-111.36	0.25	0.38	0.72
Degree	19	72	23.20	19.00	4,176	MAX VALUE	551.59	13.15	0.57	0.63
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.09	3.00	5,908	MAX VALUE	2,149.32	0.29	0.09	0.31

Minimal dual graph

Density: 3.05%
MCB compute time (ms): 45
MCB cycles: 313

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

Clustering coefficient 0.00 0.33 0.23 0.20 40.53 0.00 None 0.12 0.52 1.44

Degree 4 13 5.47 4.00 984 MAX VALUE 289.62 2.84 0.52 1.16

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.38 4.00 1,370 MAX VALUE 447.28 1.33 0.30 1.21

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.23	0.20	40.53	0.00	None	0.12	0.52	1.44
Degree	4	13	5.47	4.00	984	MAX VALUE	289.62	2.84	0.52	1.16
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.38	4.00	1,370	MAX VALUE	447.28	1.33	0.30	1.21

Triangulated dual graph

Density: 19.81%
Triangles: 27,872

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

Clustering coefficient 0.19 1.00 0.85 0.91 152.49 0.00 -39.32 0.21 0.25 2.78

Degree 19 175 35.47 26.00 6,384 MAX VALUE 610.54 29.13 0.82 2.78

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.19	1.00	0.85	0.91	152.49	0.00	-39.32	0.21	0.25	2.78
Degree	19	175	35.47	26.00	6,384	MAX VALUE	610.54	29.13	0.82	2.78
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 9.11%

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

Clustering coefficient 0.25 1.00 0.80 0.79 143.76 0.00 -47.75 0.20 0.25 2.75

Degree 4 76 16.31 8.00 2,936 MAX VALUE 415.42 17.49 1.07 2.68

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.80	0.79	143.76	0.00	-47.75	0.20	0.25	2.75
Degree	4	76	16.31	8.00	2,936	MAX VALUE	415.42	17.49	1.07	2.68
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 1.75%
MCB compute time (ms): 311
MCB cycles: 973
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12-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 13 6.91 7.00 2,736 MAX VALUE 704.23 3.73 0.54 1.32

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 5.02 4.00 4,880 MAX VALUE 1,527.85 1.58 0.31 0.85

XCSP 2.1 Benchmarks