XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 215
Number of constraints: 178

General features

Coarse blocks: 9,626
Value tables: 228

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

Arity 6 13 7.26 7.00 1,293 MAX VALUE 348.11 1.93 0.27 1.09

Coarse blocks size 1 4,096 133.07 2.00 1,280,910 MAX VALUE 14,844.90 693.67 5.21 1.18

Relational linkage 0.00 1.00 0.60 1.00 646.99 0.00 -2,070.32 0.47 0.78 1.36

Tightness 0.00 0.99 0.14 0.02 24.64 0.00 -748.25 0.32 2.34 1.31

Tuples 7 8,191 585.83 63.00 104,277 MAX VALUE 800.08 1,952.29 3.33 1.31

Values 2 2 2.00 2.00 430 MAX VALUE 149.03 0.00 0.00 0.00

Value table constraints 3 12 6.30 3.00 1,436 MAX VALUE 367.19 4.28 0.68 0.82

Value table partitions 2 64 4.69 2.00 1,070 MAX VALUE 198.93 11.60 2.47 0.26

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	6	13	7.26	7.00	1,293	MAX VALUE	348.11	1.93	0.27	1.09
Coarse blocks size	1	4,096	133.07	2.00	1,280,910	MAX VALUE	14,844.90	693.67	5.21	1.18
Relational linkage	0.00	1.00	0.60	1.00	646.99	0.00	-2,070.32	0.47	0.78	1.36
Tightness	0.00	0.99	0.14	0.02	24.64	0.00	-748.25	0.32	2.34	1.31
Tuples	7	8,191	585.83	63.00	104,277	MAX VALUE	800.08	1,952.29	3.33	1.31
Values	2	2	2.00	2.00	430	MAX VALUE	149.03	0.00	0.00	0.00
Value table constraints	3	12	6.30	3.00	1,436	MAX VALUE	367.19	4.28	0.68	0.82
Value table partitions	2	64	4.69	2.00	1,070	MAX VALUE	198.93	11.60	2.47	0.26

Tree decomposition

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

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

Cluster constraints 0 20 7.21 4.00 238 0 None 6.25 0.87 1.44

Variables per cluster 21 104 42.36 32.00 1,398 MAX VALUE 118.91 25.02 0.59 2.43

Separator constraints 0 18 1.82 1.00 60 0 None 3.78 2.08 1.31

Separator variables 0 76 35.85 31.00 1,183 0 None 18.72 0.52 2.43

Clusters per var 1 10 6.50 7.00 1,398 MAX VALUE 378.95 2.25 0.35 2.02

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	20	7.21	4.00	238	0	None	6.25	0.87	1.44
Variables per cluster	21	104	42.36	32.00	1,398	MAX VALUE	118.91	25.02	0.59	2.43
Separator constraints	0	18	1.82	1.00	60	0	None	3.78	2.08	1.31
Separator variables	0	76	35.85	31.00	1,183	0	None	18.72	0.52	2.43
Clusters per var	1	10	6.50	7.00	1,398	MAX VALUE	378.95	2.25	0.35	2.02

Dual tree decomposition

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

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

Cluster constraints 18 134 66.23 64.00 9,471 MAX VALUE 575.78 35.35 0.53 3.09

Variables per cluster 18 19 18.54 19.00 2,651 MAX VALUE 417.49 0.50 0.03 0.69

Separator constraints 0 116 52.69 51.00 7,535 0 None 33.63 0.64 3.03

Separator variables 0 18 17.29 17.00 2,473 0 None 1.65 0.10 0.89

Clusters per variable 1 113 14.89 7.00 2,651 MAX VALUE 353.22 23.42 1.57 2.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	18	134	66.23	64.00	9,471	MAX VALUE	575.78	35.35	0.53	3.09
Variables per cluster	18	19	18.54	19.00	2,651	MAX VALUE	417.49	0.50	0.03	0.69
Separator constraints	0	116	52.69	51.00	7,535	0	None	33.63	0.64	3.03
Separator variables	0	18	17.29	17.00	2,473	0	None	1.65	0.10	0.89
Clusters per variable	1	113	14.89	7.00	2,651	MAX VALUE	353.22	23.42	1.57	2.73

Primal graph

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

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

Clustering coefficient 0.49 0.61 0.52 0.49 112.75 0.00 -139.69 0.05 0.09 1.32

Degree 20 28 25.40 27.00 5,462 MAX VALUE 693.80 3.09 0.12 1.32

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.07 3.00 7,732 MAX VALUE 2,817.28 0.26 0.08 0.26

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.61	0.52	0.49	112.75	0.00	-139.69	0.05	0.09	1.32
Degree	20	28	25.40	27.00	5,462	MAX VALUE	693.80	3.09	0.12	1.32
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.07	3.00	7,732	MAX VALUE	2,817.28	0.26	0.08	0.26

Triangulated primal graph

Density: 55.83%
MCB compute time (ms): 18,776
MCB cycles: 15,431
Triangles: None

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

Clustering coefficient 0.69 1.00 0.85 0.85 181.96 0.00 -36.98 0.09 0.10 3.91

Degree 20 183 119.48 127.00 25,688 MAX VALUE 1,002.29 45.99 0.38 3.65

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 46,293 MAX VALUE 16,952.70 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.85	181.96	0.00	-36.98	0.09	0.10	3.91
Degree	20	183	119.48	127.00	25,688	MAX VALUE	1,002.29	45.99	0.38	3.65
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	46,293	MAX VALUE	16,952.70	0.00	0.00	0.00

Dual graph

Density: 12.29%
MCB compute time (ms): 294
MCB cycles: 1,759
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11-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.76 115.53 0.00 -110.99 0.24 0.38 1.31

Degree 17 77 21.75 18.00 3,872 MAX VALUE 532.58 13.17 0.61 1.31

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.10 3.00 5,458 MAX VALUE 1,984.53 0.30 0.10 0.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.04	0.78	0.65	0.76	115.53	0.00	-110.99	0.24	0.38	1.31
Degree	17	77	21.75	18.00	3,872	MAX VALUE	532.58	13.17	0.61	1.31
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.10	3.00	5,458	MAX VALUE	1,984.53	0.30	0.10	0.33

Minimal dual graph

Density: 3.10%
MCB compute time (ms): 51
MCB cycles: 311

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

Clustering coefficient 0.00 0.33 0.23 0.20 40.90 0.00 None 0.11 0.49 1.40

Degree 4 13 5.48 4.00 976 MAX VALUE 286.76 2.84 0.52 1.19

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.42 4.00 1,376 MAX VALUE 446.86 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	40.90	0.00	None	0.11	0.49	1.40
Degree	4	13	5.48	4.00	976	MAX VALUE	286.76	2.84	0.52	1.19
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.42	4.00	1,376	MAX VALUE	446.86	1.39	0.31	1.02

Triangulated dual graph

Density: 18.56%
Triangles: 23,504

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

Clustering coefficient 0.21 1.00 0.85 0.92 151.07 0.00 -38.99 0.21 0.25 3.28

Degree 17 147 32.85 24.00 5,848 MAX VALUE 588.78 27.27 0.83 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.21	1.00	0.85	0.92	151.07	0.00	-38.99	0.21	0.25	3.28
Degree	17	147	32.85	24.00	5,848	MAX VALUE	588.78	27.27	0.83	2.81
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 8.86%

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

Clustering coefficient 0.22 1.00 0.79 0.87 141.35 0.00 -48.49 0.20 0.25 2.74

Degree 4 86 15.67 6.00 2,790 MAX VALUE 408.07 17.35 1.11 2.70

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.22	1.00	0.79	0.87	141.35	0.00	-48.49	0.20	0.25	2.74
Degree	4	86	15.67	6.00	2,790	MAX VALUE	408.07	17.35	1.11	2.70
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 1.68%
MCB compute time (ms): 293
MCB cycles: 901
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-11-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-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 13 6.58 6.00 2,586 MAX VALUE 684.13 3.46 0.53 1.53

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 5.09 4.00 4,588 MAX VALUE 1,427.22 1.61 0.32 0.88

XCSP 2.1 Benchmarks