XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 315
Number of constraints: 253

General features

Coarse blocks: 31,290
Value tables: 330

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

Arity 7 15 8.72 8.00 2,205 MAX VALUE 542.36 2.09 0.24 0.56

Coarse blocks size 1 16,384 235.44 2.00 7,367,070 MAX VALUE 39,617.60 1,883.95 8.00 0.64

Relational linkage 0.00 1.00 0.75 1.00 1,922.95 0.00 -3,979.98 0.42 0.56 0.98

Tightness 0.00 1.00 0.12 0.00 29.12 0.00 -1,310.76 0.31 2.69 0.68

Tuples 8 32,767 2,026.21 255.00 512,632 MAX VALUE 1,379.78 7,440.52 3.67 0.68

Values 2 2 2.00 2.00 630 MAX VALUE 218.34 0.00 0.00 0.00

Value table constraints 3 15 7.32 3.00 2,415 MAX VALUE 554.64 5.72 0.78 0.79

Value table partitions 2 128 7.73 2.00 2,550 MAX VALUE 291.12 26.25 3.40 0.18

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	7	15	8.72	8.00	2,205	MAX VALUE	542.36	2.09	0.24	0.56
Coarse blocks size	1	16,384	235.44	2.00	7,367,070	MAX VALUE	39,617.60	1,883.95	8.00	0.64
Relational linkage	0.00	1.00	0.75	1.00	1,922.95	0.00	-3,979.98	0.42	0.56	0.98
Tightness	0.00	1.00	0.12	0.00	29.12	0.00	-1,310.76	0.31	2.69	0.68
Tuples	8	32,767	2,026.21	255.00	512,632	MAX VALUE	1,379.78	7,440.52	3.67	0.68
Values	2	2	2.00	2.00	630	MAX VALUE	218.34	0.00	0.00	0.00
Value table constraints	3	15	7.32	3.00	2,415	MAX VALUE	554.64	5.72	0.78	0.79
Value table partitions	2	128	7.73	2.00	2,550	MAX VALUE	291.12	26.25	3.40	0.18

Tree decomposition

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

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

Cluster constraints 0 16 6.83 2.00 280 0 None 7.28 1.07 1.18

Variables per cluster 27 161 54.61 40.00 2,239 MAX VALUE 157.20 35.97 0.66 2.29

Separator constraints 0 13 0.66 0.00 27 0 None 2.01 3.05 0.75

Separator variables 0 112 46.93 39.00 1,924 0 None 26.76 0.57 2.26

Clusters per var 1 9 7.11 8.00 2,239 MAX VALUE 586.49 2.28 0.32 1.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	16	6.83	2.00	280	0	None	7.28	1.07	1.18
Variables per cluster	27	161	54.61	40.00	2,239	MAX VALUE	157.20	35.97	0.66	2.29
Separator constraints	0	13	0.66	0.00	27	0	None	2.01	3.05	0.75
Separator variables	0	112	46.93	39.00	1,924	0	None	26.76	0.57	2.26
Clusters per var	1	9	7.11	8.00	2,239	MAX VALUE	586.49	2.28	0.32	1.78

Dual tree decomposition

Number of clusters: 210
Number of leaves: 15
Tree depth: 20
CIR: 0.00
Independent Cluster Pairs: 87
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14-ext/DualTree1.json

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

Cluster constraints 23 205 101.00 93.00 21,210 MAX VALUE 928.56 56.89 0.56 2.64

Variables per cluster 23 23 23.00 23.00 4,830 MAX VALUE 658.45 0.00 0.00 0.00

Separator constraints 0 183 84.50 77.50 17,745 0 None 54.35 0.64 2.64

Separator variables 0 22 21.80 22.00 4,577 0 None 1.62 0.07 0.29

Clusters per variable 1 203 19.09 9.00 4,830 MAX VALUE 545.93 34.85 1.83 2.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	23	205	101.00	93.00	21,210	MAX VALUE	928.56	56.89	0.56	2.64
Variables per cluster	23	23	23.00	23.00	4,830	MAX VALUE	658.45	0.00	0.00	0.00
Separator constraints	0	183	84.50	77.50	17,745	0	None	54.35	0.64	2.64
Separator variables	0	22	21.80	22.00	4,577	0	None	1.62	0.07	0.29
Clusters per variable	1	203	19.09	9.00	4,830	MAX VALUE	545.93	34.85	1.83	2.94

Primal graph

Density: 10.04%
MCB compute time (ms): 12,006
MCB cycles: 4,754
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14-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 169.76 0.00 -196.27 0.05 0.10 0.87

Degree 26 34 31.51 34.00 9,926 MAX VALUE 1,084.75 3.53 0.11 0.87

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.08 3.00 14,640 MAX VALUE 5,331.55 0.27 0.09 0.28

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	0.63	0.54	0.50	169.76	0.00	-196.27	0.05	0.10	0.87
Degree	26	34	31.51	34.00	9,926	MAX VALUE	1,084.75	3.53	0.11	0.87
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.08	3.00	14,640	MAX VALUE	5,331.55	0.27	0.09	0.28

Triangulated primal graph

Density: 55.97%
MCB compute time (ms): 225,019
MCB cycles: 30,636
Triangles: None

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

Clustering coefficient 0.74 1.00 0.85 0.85 267.57 0.00 -52.86 0.08 0.10 3.67

Degree 26 251 175.74 196.00 55,358 MAX VALUE 1,587.28 68.57 0.39 3.38

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 91,908 MAX VALUE 33,657.10 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.74	1.00	0.85	0.85	267.57	0.00	-52.86	0.08	0.10	3.67
Degree	26	251	175.74	196.00	55,358	MAX VALUE	1,587.28	68.57	0.39	3.38
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	91,908	MAX VALUE	33,657.10	0.00	0.00	0.00

Dual graph

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

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

Clustering coefficient 0.03 0.79 0.68 0.79 172.77 0.00 -144.35 0.25 0.36 0.68

Degree 22 112 27.39 22.00 6,930 MAX VALUE 811.84 18.99 0.69 0.68

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.08 3.00 9,912 MAX VALUE 3,608.38 0.28 0.09 0.29

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.03	0.79	0.68	0.79	172.77	0.00	-144.35	0.25	0.36	0.68
Degree	22	112	27.39	22.00	6,930	MAX VALUE	811.84	18.99	0.69	0.68
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.08	3.00	9,912	MAX VALUE	3,608.38	0.28	0.09	0.29

Minimal dual graph

Density: 2.26%
MCB compute time (ms): 100
MCB cycles: 468

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

Clustering coefficient 0.00 0.33 0.23 0.20 58.86 0.00 None 0.11 0.48 1.36

Degree 4 15 5.69 4.00 1,440 MAX VALUE 411.22 3.45 0.61 1.10

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.42 4.00 2,067 MAX VALUE 671.75 1.38 0.31 1.03

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.23	0.20	58.86	0.00	None	0.11	0.48	1.36
Degree	4	15	5.69	4.00	1,440	MAX VALUE	411.22	3.45	0.61	1.10
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.42	4.00	2,067	MAX VALUE	671.75	1.38	0.31	1.03

Triangulated dual graph

Density: 16.51%
Triangles: 53,956

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

Clustering coefficient 0.16 1.00 0.86 0.92 216.74 0.00 -53.08 0.21 0.24 2.94

Degree 22 245 41.61 30.00 10,528 MAX VALUE 892.42 38.96 0.94 2.94

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.16	1.00	0.86	0.92	216.74	0.00	-53.08	0.21	0.24	2.94
Degree	22	245	41.61	30.00	10,528	MAX VALUE	892.42	38.96	0.94	2.94
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 6.90%

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

Clustering coefficient 0.24 1.00 0.81 0.87 205.38 0.00 -63.10 0.20 0.25 2.59

Degree 4 94 17.40 8.00 4,402 MAX VALUE 581.29 21.04 1.21 2.53

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.81	0.87	205.38	0.00	-63.10	0.20	0.25	2.59
Degree	4	94	17.40	8.00	4,402	MAX VALUE	581.29	21.04	1.21	2.53
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 1.37%
MCB compute time (ms): 805
MCB cycles: 1,638
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14-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 15 7.76 8.00 4,410 MAX VALUE 1,057.41 4.52 0.58 1.21

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 4.90 4.00 8,034 MAX VALUE 2,539.05 1.52 0.31 0.79

XCSP 2.1 Benchmarks