XCSP 2.1 Benchmark Database

Instance: normalized-fpga-11-9-ext
Number of variables: 149
Number of constraints: 128
Satisfiable: True
Timestamp: 2025-07-20 22:08:47
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0

Component #1

Number of variables: 149
Number of constraints: 128

General features

Coarse blocks: 4,042
Value tables: 160

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

Arity 5 11 6.23 6.00 797 MAX VALUE 230.33 1.69 0.27 1.12

Coarse blocks size 1 1,024 58.43 2.00 236,157 MAX VALUE 6,772.66 219.30 3.75 1.55

Relational linkage 0.00 1.00 0.50 0.31 284.43 0.00 -1,120.95 0.47 0.94 1.59

Tightness 0.00 0.98 0.16 0.03 20.74 0.00 -450.79 0.33 2.03 1.36

Tuples 6 2,047 182.73 31.00 23,389 MAX VALUE 489.10 513.09 2.81 1.36

Values 2 2 2.00 2.00 298 MAX VALUE 103.28 0.00 0.00 0.00

Value table constraints 3 10 5.60 3.00 896 MAX VALUE 248.06 3.32 0.59 0.84

Value table partitions 2 32 3.56 2.00 570 MAX VALUE 137.94 6.12 1.72 0.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	5	11	6.23	6.00	797	MAX VALUE	230.33	1.69	0.27	1.12
Coarse blocks size	1	1,024	58.43	2.00	236,157	MAX VALUE	6,772.66	219.30	3.75	1.55
Relational linkage	0.00	1.00	0.50	0.31	284.43	0.00	-1,120.95	0.47	0.94	1.59
Tightness	0.00	0.98	0.16	0.03	20.74	0.00	-450.79	0.33	2.03	1.36
Tuples	6	2,047	182.73	31.00	23,389	MAX VALUE	489.10	513.09	2.81	1.36
Values	2	2	2.00	2.00	298	MAX VALUE	103.28	0.00	0.00	0.00
Value table constraints	3	10	5.60	3.00	896	MAX VALUE	248.06	3.32	0.59	0.84
Value table partitions	2	32	3.56	2.00	570	MAX VALUE	137.94	6.12	1.72	0.30

Tree decomposition

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

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

Cluster constraints 0 11 5.74 2.00 155 0 None 4.73 0.82 1.24

Variables per cluster 17 74 32.93 26.00 889 MAX VALUE 91.13 17.34 0.53 2.46

Separator constraints 0 8 1.00 0.00 27 0 None 2.05 2.05 1.01

Separator variables 0 54 27.41 25.00 740 0 None 13.05 0.48 2.46

Clusters per var 1 9 5.97 7.00 889 MAX VALUE 248.50 2.15 0.36 1.95

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	11	5.74	2.00	155	0	None	4.73	0.82	1.24
Variables per cluster	17	74	32.93	26.00	889	MAX VALUE	91.13	17.34	0.53	2.46
Separator constraints	0	8	1.00	0.00	27	0	None	2.05	2.05	1.01
Separator variables	0	54	27.41	25.00	740	0	None	13.05	0.48	2.46
Clusters per var	1	9	5.97	7.00	889	MAX VALUE	248.50	2.15	0.36	1.95

Dual tree decomposition

Number of clusters: 99
Number of leaves: 11
Tree depth: 13
CIR: 0.06
Independent Cluster Pairs: 274
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-ext/DualTree1.json

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

Cluster constraints 15 92 47.06 46.00 4,659 MAX VALUE 367.05 23.70 0.50 2.89

Variables per cluster 15 16 15.55 16.00 1,539 MAX VALUE 271.58 0.50 0.03 0.69

Separator constraints 0 77 35.52 35.00 3,516 0 None 22.56 0.64 2.81

Separator variables 0 15 14.25 14.00 1,411 0 None 1.64 0.12 0.93

Clusters per variable 1 85 12.02 6.00 1,539 MAX VALUE 235.78 17.25 1.43 2.56

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	15	92	47.06	46.00	4,659	MAX VALUE	367.05	23.70	0.50	2.89
Variables per cluster	15	16	15.55	16.00	1,539	MAX VALUE	271.58	0.50	0.03	0.69
Separator constraints	0	77	35.52	35.00	3,516	0	None	22.56	0.64	2.81
Separator variables	0	15	14.25	14.00	1,411	0	None	1.64	0.12	0.93
Clusters per variable	1	85	12.02	6.00	1,539	MAX VALUE	235.78	17.25	1.43	2.56

Primal graph

Density: 14.02%
MCB compute time (ms): 593
MCB cycles: 1,398
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-ext/Primal1.json

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

Clustering coefficient 0.48 0.60 0.52 0.49 77.13 0.00 -98.73 0.05 0.09 1.32

Degree 16 23 20.75 22.00 3,092 MAX VALUE 450.58 2.62 0.13 1.32

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.09 3.00 4,315 MAX VALUE 1,570.67 0.28 0.09 0.29

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.60	0.52	0.49	77.13	0.00	-98.73	0.05	0.09	1.32
Degree	16	23	20.75	22.00	3,092	MAX VALUE	450.58	2.62	0.13	1.32
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.09	3.00	4,315	MAX VALUE	1,570.67	0.28	0.09	0.29

Triangulated primal graph

Density: 56.06%
MCB compute time (ms): 2,457
MCB cycles: 7,880
Triangles: None

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

Clustering coefficient 0.70 1.00 0.84 0.84 125.77 0.00 -26.03 0.09 0.10 3.88

Degree 16 125 82.97 89.00 12,362 MAX VALUE 641.19 31.61 0.38 3.57

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 23,640 MAX VALUE 8,657.06 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.84	0.84	125.77	0.00	-26.03	0.09	0.10	3.88
Degree	16	125	82.97	89.00	12,362	MAX VALUE	641.19	31.61	0.38	3.57
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	23,640	MAX VALUE	8,657.06	0.00	0.00	0.00

Dual graph

Density: 14.06%
MCB compute time (ms): 89
MCB cycles: 1,016
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-ext/Dual1.json

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

Clustering coefficient 0.05 0.76 0.62 0.73 78.87 0.00 -86.34 0.24 0.39 1.36

Degree 14 54 17.86 15.00 2,286 MAX VALUE 359.78 9.16 0.51 1.36

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.12 3.00 3,169 MAX VALUE 1,151.00 0.32 0.10 0.37

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.05	0.76	0.62	0.73	78.87	0.00	-86.34	0.24	0.39	1.36
Degree	14	54	17.86	15.00	2,286	MAX VALUE	359.78	9.16	0.51	1.36
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.12	3.00	3,169	MAX VALUE	1,151.00	0.32	0.10	0.37

Minimal dual graph

Density: 4.13%
MCB compute time (ms): 20
MCB cycles: 209

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

Clustering coefficient 0.00 0.33 0.23 0.20 29.02 0.00 None 0.12 0.51 1.41

Degree 4 11 5.25 4.00 672 MAX VALUE 203.34 2.30 0.44 1.11

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.43 4.00 926 MAX VALUE 300.51 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	29.02	0.00	None	0.12	0.51	1.41
Degree	4	11	5.25	4.00	672	MAX VALUE	203.34	2.30	0.44	1.11
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.43	4.00	926	MAX VALUE	300.51	1.39	0.31	1.02

Triangulated dual graph

Density: 21.19%
Triangles: 11,267

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

Clustering coefficient 0.22 1.00 0.84 0.91 107.76 0.00 -28.81 0.21 0.25 3.10

Degree 14 113 26.91 20.00 3,444 MAX VALUE 399.90 20.60 0.77 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.22	1.00	0.84	0.91	107.76	0.00	-28.81	0.21	0.25	3.10
Degree	14	113	26.91	20.00	3,444	MAX VALUE	399.90	20.60	0.77	2.65
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 10.78%

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

Clustering coefficient 0.21 1.00 0.78 0.86 100.12 0.00 -37.23 0.21 0.26 2.51

Degree 4 69 13.69 7.00 1,752 MAX VALUE 285.14 14.08 1.03 2.44

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.78	0.86	100.12	0.00	-37.23	0.21	0.26	2.51
Degree	4	69	13.69	7.00	1,752	MAX VALUE	285.14	14.08	1.03	2.44
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 2.08%
MCB compute time (ms): 106
MCB cycles: 521
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-9-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 11 5.75 5.00 1,594 MAX VALUE 454.22 2.72 0.47 1.55

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 5.27 4.00 2,744 MAX VALUE 841.81 1.67 0.32 0.95

XCSP 2.1 Benchmarks