XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 252
Number of constraints: 206

General features

Coarse blocks: 13,944
Value tables: 266

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

Arity 7 14 7.75 7.00 1,596 MAX VALUE 416.72 2.00 0.26 0.47

Coarse blocks size 1 8,192 209.83 2.00 2,925,890 MAX VALUE 20,708.00 1,254.41 5.98 0.92

Relational linkage 0.00 1.00 0.64 1.00 900.57 0.00 -2,689.35 0.47 0.73 1.18

Tightness 0.00 1.00 0.13 0.01 26.52 0.00 -932.41 0.32 2.48 0.68

Tuples 8 16,383 1,059.27 127.00 218,210 MAX VALUE 991.13 3,811.33 3.60 0.68

Values 2 2 2.00 2.00 504 MAX VALUE 174.67 0.00 0.00 0.00

Value table constraints 3 13 6.63 3.00 1,764 MAX VALUE 434.81 4.76 0.72 0.81

Value table partitions 2 64 5.26 2.00 1,400 MAX VALUE 232.90 13.84 2.63 0.21

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	7	14	7.75	7.00	1,596	MAX VALUE	416.72	2.00	0.26	0.47
Coarse blocks size	1	8,192	209.83	2.00	2,925,890	MAX VALUE	20,708.00	1,254.41	5.98	0.92
Relational linkage	0.00	1.00	0.64	1.00	900.57	0.00	-2,689.35	0.47	0.73	1.18
Tightness	0.00	1.00	0.13	0.01	26.52	0.00	-932.41	0.32	2.48	0.68
Tuples	8	16,383	1,059.27	127.00	218,210	MAX VALUE	991.13	3,811.33	3.60	0.68
Values	2	2	2.00	2.00	504	MAX VALUE	174.67	0.00	0.00	0.00
Value table constraints	3	13	6.63	3.00	1,764	MAX VALUE	434.81	4.76	0.72	0.81
Value table partitions	2	64	5.26	2.00	1,400	MAX VALUE	232.90	13.84	2.63	0.21

Tree decomposition

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

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

Cluster constraints 0 22 7.56 3.00 272 0 None 6.82 0.90 1.43

Variables per cluster 24 122 47.06 36.00 1,694 MAX VALUE 133.13 29.17 0.62 1.85

Separator constraints 0 20 1.83 0.50 66 0 None 4.04 2.21 1.27

Separator variables 0 92 40.06 35.00 1,442 0 None 21.81 0.54 1.85

Clusters per var 1 10 6.72 7.00 1,694 MAX VALUE 453.55 2.27 0.34 2.01

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	22	7.56	3.00	272	0	None	6.82	0.90	1.43
Variables per cluster	24	122	47.06	36.00	1,694	MAX VALUE	133.13	29.17	0.62	1.85
Separator constraints	0	20	1.83	0.50	66	0	None	4.04	2.21	1.27
Separator variables	0	92	40.06	35.00	1,442	0	None	21.81	0.54	1.85
Clusters per var	1	10	6.72	7.00	1,694	MAX VALUE	453.55	2.27	0.34	2.01

Dual tree decomposition

Number of clusters: 168
Number of leaves: 14
Tree depth: 18
CIR: 0.01
Independent Cluster Pairs: 102
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-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 12,908 MAX VALUE 699.87 41.76 0.54 2.48

Variables per cluster 20 20 20.00 20.00 3,360 MAX VALUE 503.28 0.00 0.00 0.00

Separator constraints 0 133 62.33 57.50 10,472 0 None 39.79 0.64 2.48

Separator variables 0 19 18.77 19.00 3,154 0 None 1.57 0.08 0.33

Clusters per variable 1 161 16.31 8.00 3,360 MAX VALUE 419.95 28.22 1.73 2.76

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	20	152	76.83	71.00	12,908	MAX VALUE	699.87	41.76	0.54	2.48
Variables per cluster	20	20	20.00	20.00	3,360	MAX VALUE	503.28	0.00	0.00	0.00
Separator constraints	0	133	62.33	57.50	10,472	0	None	39.79	0.64	2.48
Separator variables	0	19	18.77	19.00	3,154	0	None	1.57	0.08	0.33
Clusters per variable	1	161	16.31	8.00	3,360	MAX VALUE	419.95	28.22	1.73	2.76

Primal graph

Density: 11.02%
MCB compute time (ms): 4,885
MCB cycles: 3,235
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12-ext/Primal1.json

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

Clustering coefficient 0.49 0.60 0.53 0.49 132.78 0.00 -162.53 0.05 0.09 0.64

Degree 23 30 27.67 30.00 6,972 MAX VALUE 834.78 3.30 0.12 0.64

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.07 3.00 9,920 MAX VALUE 3,615.86 0.25 0.08 0.24

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.60	0.53	0.49	132.78	0.00	-162.53	0.05	0.09	0.64
Degree	23	30	27.67	30.00	6,972	MAX VALUE	834.78	3.30	0.12	0.64
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.07	3.00	9,920	MAX VALUE	3,615.86	0.25	0.08	0.24

Triangulated primal graph

Density: 55.66%
MCB compute time (ms): 5,961
MCB cycles: 28,937
Triangles: None

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

Clustering coefficient 0.69 1.00 0.85 0.86 213.56 0.00 -43.02 0.09 0.10 3.31

Degree 23 214 139.71 149.00 35,208 MAX VALUE 1,213.47 54.09 0.39 3.34

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 86,811 MAX VALUE 31,790.50 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.69	1.00	0.85	0.86	213.56	0.00	-43.02	0.09	0.10	3.31
Degree	23	214	139.71	149.00	35,208	MAX VALUE	1,213.47	54.09	0.39	3.34
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	86,811	MAX VALUE	31,790.50	0.00	0.00	0.00

Dual graph

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

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

Clustering coefficient 0.04 0.78 0.66 0.78 136.66 0.00 -123.71 0.24 0.37 0.68

Degree 19 84 23.65 19.00 4,872 MAX VALUE 632.32 15.20 0.64 0.68

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.10 3.00 6,908 MAX VALUE 2,512.86 0.30 0.10 0.32

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.04	0.78	0.66	0.78	136.66	0.00	-123.71	0.24	0.37	0.68
Degree	19	84	23.65	19.00	4,872	MAX VALUE	632.32	15.20	0.64	0.68
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.10	3.00	6,908	MAX VALUE	2,512.86	0.30	0.10	0.32

Minimal dual graph

Density: 2.72%
MCB compute time (ms): 65
MCB cycles: 369

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

Clustering coefficient 0.00 0.33 0.23 0.20 47.71 0.00 None 0.11 0.48 1.38

Degree 4 14 5.57 4.00 1,148 MAX VALUE 333.20 3.10 0.56 1.14

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.42 4.00 1,632 MAX VALUE 530.09 1.39 0.31 1.02

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.23	0.20	47.71	0.00	None	0.11	0.48	1.38
Degree	4	14	5.57	4.00	1,148	MAX VALUE	333.20	3.10	0.56	1.14
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.42	4.00	1,632	MAX VALUE	530.09	1.39	0.31	1.02

Triangulated dual graph

Density: 17.45%
Triangles: 32,282

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

Clustering coefficient 0.17 1.00 0.85 0.91 175.74 0.00 -44.07 0.21 0.25 2.76

Degree 19 198 35.77 26.00 7,368 MAX VALUE 696.88 32.10 0.90 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.17	1.00	0.85	0.91	175.74	0.00	-44.07	0.21	0.25	2.76
Degree	19	198	35.77	26.00	7,368	MAX VALUE	696.88	32.10	0.90	2.76
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 8.03%

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

Clustering coefficient 0.23 1.00 0.81 0.87 166.36 0.00 -52.48 0.20 0.25 2.47

Degree 4 85 16.47 7.00 3,392 MAX VALUE 470.76 18.83 1.14 2.61

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.23	1.00	0.81	0.87	166.36	0.00	-52.48	0.20	0.25	2.47
Degree	4	85	16.47	7.00	3,392	MAX VALUE	470.76	18.83	1.14	2.61
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 1.53%
MCB compute time (ms): 408
MCB cycles: 1,139
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-12-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-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 14 6.97 7.00 3,192 MAX VALUE 816.74 3.81 0.55 1.25

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 5.03 4.00 5,724 MAX VALUE 1,790.46 1.58 0.32 0.85

XCSP 2.1 Benchmarks