XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 180
Number of constraints: 152

General features

Coarse blocks: 5,880
Value tables: 192

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

Arity 6 12 6.71 6.00 1,020 MAX VALUE 285.41 1.77 0.26 0.51

Coarse blocks size 1 2,048 92.87 2.00 546,060 MAX VALUE 9,759.97 403.41 4.34 1.24

Relational linkage 0.00 1.00 0.53 0.75 393.70 0.00 -1,537.59 0.48 0.90 1.41

Tightness 0.00 0.99 0.15 0.02 22.65 0.00 -583.53 0.33 2.20 0.75

Tuples 7 4,095 320.47 63.00 48,712 MAX VALUE 628.59 1,001.83 3.13 0.75

Values 2 2 2.00 2.00 360 MAX VALUE 124.77 0.00 0.00 0.00

Value table constraints 3 11 5.94 3.00 1,140 MAX VALUE 303.34 3.80 0.64 0.83

Value table partitions 2 32 3.88 2.00 744 MAX VALUE 166.35 7.26 1.87 0.23

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	6	12	6.71	6.00	1,020	MAX VALUE	285.41	1.77	0.26	0.51
Coarse blocks size	1	2,048	92.87	2.00	546,060	MAX VALUE	9,759.97	403.41	4.34	1.24
Relational linkage	0.00	1.00	0.53	0.75	393.70	0.00	-1,537.59	0.48	0.90	1.41
Tightness	0.00	0.99	0.15	0.02	22.65	0.00	-583.53	0.33	2.20	0.75
Tuples	7	4,095	320.47	63.00	48,712	MAX VALUE	628.59	1,001.83	3.13	0.75
Values	2	2	2.00	2.00	360	MAX VALUE	124.77	0.00	0.00	0.00
Value table constraints	3	11	5.94	3.00	1,140	MAX VALUE	303.34	3.80	0.64	0.83
Value table partitions	2	32	3.88	2.00	744	MAX VALUE	166.35	7.26	1.87	0.23

Tree decomposition

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

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

Cluster constraints 0 18 6.87 4.00 206 0 None 5.68 0.83 1.45

Variables per cluster 20 89 37.40 30.00 1,122 MAX VALUE 104.75 20.90 0.56 1.92

Separator constraints 0 16 1.80 1.00 54 0 None 3.51 1.95 1.36

Separator variables 0 65 31.40 29.00 942 0 None 15.60 0.50 1.92

Clusters per var 1 9 6.23 7.00 1,122 MAX VALUE 309.09 2.17 0.35 1.93

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	18	6.87	4.00	206	0	None	5.68	0.83	1.45
Variables per cluster	20	89	37.40	30.00	1,122	MAX VALUE	104.75	20.90	0.56	1.92
Separator constraints	0	16	1.80	1.00	54	0	None	3.51	1.95	1.36
Separator variables	0	65	31.40	29.00	942	0	None	15.60	0.50	1.92
Clusters per var	1	9	6.23	7.00	1,122	MAX VALUE	309.09	2.17	0.35	1.93

Dual tree decomposition

Number of clusters: 120
Number of leaves: 12
Tree depth: 15
CIR: 0.02
Independent Cluster Pairs: 109
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10-ext/DualTree1.json

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

Cluster constraints 17 107 56.00 52.00 6,720 MAX VALUE 464.49 28.95 0.52 2.30

Variables per cluster 17 17 17.00 17.00 2,040 MAX VALUE 339.99 0.00 0.00 0.00

Separator constraints 0 91 43.50 40.50 5,220 0 None 27.56 0.63 2.30

Separator variables 0 16 15.73 16.00 1,888 0 None 1.56 0.10 0.38

Clusters per variable 1 109 13.42 7.00 2,040 MAX VALUE 290.40 20.98 1.56 2.60

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	17	107	56.00	52.00	6,720	MAX VALUE	464.49	28.95	0.52	2.30
Variables per cluster	17	17	17.00	17.00	2,040	MAX VALUE	339.99	0.00	0.00	0.00
Separator constraints	0	91	43.50	40.50	5,220	0	None	27.56	0.63	2.30
Separator variables	0	16	15.73	16.00	1,888	0	None	1.56	0.10	0.38
Clusters per variable	1	109	13.42	7.00	2,040	MAX VALUE	290.40	20.98	1.56	2.60

Primal graph

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

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

Clustering coefficient 0.49 0.59 0.52 0.49 93.84 0.00 -118.01 0.05 0.09 0.64

Degree 19 25 23.00 25.00 4,140 MAX VALUE 562.93 2.83 0.12 0.64

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.08 3.00 5,822 MAX VALUE 2,120.34 0.27 0.09 0.28

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.59	0.52	0.49	93.84	0.00	-118.01	0.05	0.09	0.64
Degree	19	25	23.00	25.00	4,140	MAX VALUE	562.93	2.83	0.12	0.64
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.08	3.00	5,822	MAX VALUE	2,120.34	0.27	0.09	0.28

Triangulated primal graph

Density: 55.90%
MCB compute time (ms): 8,499
MCB cycles: 10,822
Triangles: None

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

Clustering coefficient 0.70 1.00 0.85 0.84 152.12 0.00 -31.19 0.08 0.10 3.53

Degree 19 151 100.07 108.00 18,012 MAX VALUE 807.59 38.46 0.38 3.49

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 32,466 MAX VALUE 11,889.20 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.70	1.00	0.85	0.84	152.12	0.00	-31.19	0.08	0.10	3.53
Degree	19	151	100.07	108.00	18,012	MAX VALUE	807.59	38.46	0.38	3.49
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	32,466	MAX VALUE	11,889.20	0.00	0.00	0.00

Dual graph

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

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

Clustering coefficient 0.04 0.76 0.63 0.76 96.43 0.00 -98.23 0.24 0.39 0.75

Degree 16 60 19.74 16.00 3,000 MAX VALUE 441.38 10.90 0.55 0.75

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.11 3.00 4,196 MAX VALUE 1,524.89 0.31 0.10 0.35

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.04	0.76	0.63	0.76	96.43	0.00	-98.23	0.24	0.39	0.75
Degree	16	60	19.74	16.00	3,000	MAX VALUE	441.38	10.90	0.55	0.75
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.11	3.00	4,196	MAX VALUE	1,524.89	0.31	0.10	0.35

Minimal dual graph

Density: 3.56%
MCB compute time (ms): 33
MCB cycles: 257

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

Clustering coefficient 0.00 0.33 0.23 0.20 34.76 0.00 None 0.11 0.50 1.40

Degree 4 12 5.37 4.00 816 MAX VALUE 243.25 2.57 0.48 1.14

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.43 4.00 1,138 MAX VALUE 369.40 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	34.76	0.00	None	0.11	0.50	1.40
Degree	4	12	5.37	4.00	816	MAX VALUE	243.25	2.57	0.48	1.14
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.43	4.00	1,138	MAX VALUE	369.40	1.39	0.31	1.02

Triangulated dual graph

Density: 19.74%
Triangles: 16,450

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

Clustering coefficient 0.20 1.00 0.85 0.91 128.63 0.00 -33.54 0.21 0.25 2.60

Degree 16 140 29.80 22.00 4,530 MAX VALUE 488.92 24.46 0.82 2.60

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.20	1.00	0.85	0.91	128.63	0.00	-33.54	0.21	0.25	2.60
Degree	16	140	29.80	22.00	4,530	MAX VALUE	488.92	24.46	0.82	2.60
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 10.09%

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

Clustering coefficient 0.22 1.00 0.78 0.87 119.26 0.00 -43.08 0.19 0.25 2.45

Degree 4 83 15.24 8.00 2,316 MAX VALUE 349.53 16.31 1.07 2.27

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.78	0.87	119.26	0.00	-43.08	0.19	0.25	2.45
Degree	4	83	15.24	8.00	2,316	MAX VALUE	349.53	16.31	1.07	2.27
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 1.86%
MCB compute time (ms): 169
MCB cycles: 689
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10-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 12 6.14 6.00 2,040 MAX VALUE 561.12 3.07 0.50 1.27

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 5.18 4.00 3,568 MAX VALUE 1,102.23 1.64 0.32 0.91

XCSP 2.1 Benchmarks