XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 234
Number of constraints: 193

General features

Coarse blocks: 12,948
Value tables: 247

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

Arity 6 13 7.68 7.00 1,482 MAX VALUE 389.07 1.87 0.24 0.61

Coarse blocks size 1 4,096 111.13 2.00 1,438,910 MAX VALUE 19,007.00 626.50 5.64 0.93

Relational linkage 0.00 1.00 0.65 1.00 839.62 0.00 -2,452.89 0.47 0.72 1.27

Tightness 0.00 1.00 0.13 0.01 25.15 0.00 -866.17 0.32 2.45 0.74

Tuples 7 8,191 613.28 127.00 118,363 MAX VALUE 921.32 1,951.54 3.18 0.74

Values 2 2 2.00 2.00 468 MAX VALUE 162.20 0.00 0.00 0.00

Value table constraints 3 13 6.63 3.00 1,638 MAX VALUE 403.75 4.76 0.72 0.81

Value table partitions 2 64 5.26 2.00 1,300 MAX VALUE 216.26 13.84 2.63 0.21

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	6	13	7.68	7.00	1,482	MAX VALUE	389.07	1.87	0.24	0.61
Coarse blocks size	1	4,096	111.13	2.00	1,438,910	MAX VALUE	19,007.00	626.50	5.64	0.93
Relational linkage	0.00	1.00	0.65	1.00	839.62	0.00	-2,452.89	0.47	0.72	1.27
Tightness	0.00	1.00	0.13	0.01	25.15	0.00	-866.17	0.32	2.45	0.74
Tuples	7	8,191	613.28	127.00	118,363	MAX VALUE	921.32	1,951.54	3.18	0.74
Values	2	2	2.00	2.00	468	MAX VALUE	162.20	0.00	0.00	0.00
Value table constraints	3	13	6.63	3.00	1,638	MAX VALUE	403.75	4.76	0.72	0.81
Value table partitions	2	64	5.26	2.00	1,300	MAX VALUE	216.26	13.84	2.63	0.21

Tree decomposition

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

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

Cluster constraints 0 14 6.17 2.00 216 0 None 6.33 1.03 1.19

Variables per cluster 23 118 44.66 34.00 1,563 MAX VALUE 127.88 27.06 0.61 2.27

Separator constraints 0 11 0.66 0.00 23 0 None 1.84 2.79 0.76

Separator variables 0 88 37.97 33.00 1,329 0 None 20.11 0.53 2.27

Clusters per var 1 9 6.68 7.00 1,563 MAX VALUE 419.61 2.22 0.33 1.84

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	14	6.17	2.00	216	0	None	6.33	1.03	1.19
Variables per cluster	23	118	44.66	34.00	1,563	MAX VALUE	127.88	27.06	0.61	2.27
Separator constraints	0	11	0.66	0.00	23	0	None	1.84	2.79	0.76
Separator variables	0	88	37.97	33.00	1,329	0	None	20.11	0.53	2.27
Clusters per var	1	9	6.68	7.00	1,563	MAX VALUE	419.61	2.22	0.33	1.84

Dual tree decomposition

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

Variables per cluster 20 20 20.00 20.00 3,120 MAX VALUE 467.33 0.00 0.00 0.00

Separator constraints 0 133 62.33 57.50 9,724 0 None 39.79 0.64 2.48

Separator variables 0 19 18.76 19.00 2,927 0 None 1.63 0.09 0.33

Clusters per variable 1 149 16.17 8.00 3,120 MAX VALUE 395.50 27.08 1.68 2.81

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	20	152	76.83	71.00	11,986	MAX VALUE	649.88	41.76	0.54	2.48
Variables per cluster	20	20	20.00	20.00	3,120	MAX VALUE	467.33	0.00	0.00	0.00
Separator constraints	0	133	62.33	57.50	9,724	0	None	39.79	0.64	2.48
Separator variables	0	19	18.76	19.00	2,927	0	None	1.63	0.09	0.33
Clusters per variable	1	149	16.17	8.00	3,120	MAX VALUE	395.50	27.08	1.68	2.81

Primal graph

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

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

Clustering coefficient 0.50 0.63 0.54 0.50 125.44 0.00 -147.09 0.06 0.10 0.87

Degree 22 29 26.85 29.00 6,282 MAX VALUE 768.27 3.06 0.11 0.87

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.09 3.00 9,162 MAX VALUE 3,334.90 0.28 0.09 0.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	0.63	0.54	0.50	125.44	0.00	-147.09	0.06	0.10	0.87
Degree	22	29	26.85	29.00	6,282	MAX VALUE	768.27	3.06	0.11	0.87
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.09	3.00	9,162	MAX VALUE	3,334.90	0.28	0.09	0.30

Triangulated primal graph

Density: 56.09%
MCB compute time (ms): 51,565
MCB cycles: 16,260
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 198.56 0.00 -39.56 0.08 0.10 3.41

Degree 22 192 130.70 146.00 30,584 MAX VALUE 1,111.11 50.60 0.39 3.11

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 48,780 MAX VALUE 17,863.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	198.56	0.00	-39.56	0.08	0.10	3.41
Degree	22	192	130.70	146.00	30,584	MAX VALUE	1,111.11	50.60	0.39	3.11
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	48,780	MAX VALUE	17,863.40	0.00	0.00	0.00

Dual graph

Density: 12.21%
MCB compute time (ms): 802
MCB cycles: 2,070
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-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 127.21 0.00 -117.57 0.25 0.38 0.74

Degree 19 84 23.44 19.00 4,524 MAX VALUE 591.99 14.27 0.61 0.74

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.10 3.00 6,408 MAX VALUE 2,331.09 0.29 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	127.21	0.00	-117.57	0.25	0.38	0.74
Degree	19	84	23.44	19.00	4,524	MAX VALUE	591.99	14.27	0.61	0.74
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.10	3.00	6,408	MAX VALUE	2,331.09	0.29	0.10	0.32

Minimal dual graph

Density: 2.88%
MCB compute time (ms): 62
MCB cycles: 341

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

Clustering coefficient 0.00 0.33 0.23 0.20 44.30 0.00 None 0.11 0.49 1.39

Degree 4 13 5.52 4.00 1,066 MAX VALUE 311.51 2.96 0.54 1.11

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.42 4.00 1,507 MAX VALUE 489.57 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	44.30	0.00	None	0.11	0.49	1.39
Degree	4	13	5.52	4.00	1,066	MAX VALUE	311.51	2.96	0.54	1.11
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.42	4.00	1,507	MAX VALUE	489.57	1.39	0.31	1.02

Triangulated dual graph

Density: 18.56%
Triangles: 30,077

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

Clustering coefficient 0.18 1.00 0.85 0.91 164.13 0.00 -41.67 0.21 0.25 2.81

Degree 19 185 35.63 26.00 6,876 MAX VALUE 653.67 30.80 0.86 2.81

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.18	1.00	0.85	0.91	164.13	0.00	-41.67	0.21	0.25	2.81
Degree	19	185	35.63	26.00	6,876	MAX VALUE	653.67	30.80	0.86	2.81
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 8.43%

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

Clustering coefficient 0.24 1.00 0.80 0.87 155.30 0.00 -49.95 0.20 0.25 2.62

Degree 4 80 16.19 7.00 3,124 MAX VALUE 440.70 18.13 1.12 2.65

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.80	0.87	155.30	0.00	-49.95	0.20	0.25	2.62
Degree	4	80	16.19	7.00	3,124	MAX VALUE	440.70	18.13	1.12	2.65
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 1.63%
MCB compute time (ms): 371
MCB cycles: 1,056
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-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.94 7.00 2,964 MAX VALUE 760.52 3.77 0.54 1.23

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 5.02 4.00 5,302 MAX VALUE 1,659.15 1.58 0.31 0.85

XCSP 2.1 Benchmarks