XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 165
Number of constraints: 141

General features

Coarse blocks: 5,390
Value tables: 176

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

Arity 5 11 6.63 6.00 935 MAX VALUE 263.41 1.63 0.25 0.67

Coarse blocks size 1 1,024 51.07 2.00 275,250 MAX VALUE 8,789.54 200.99 3.94 1.25

Relational linkage 0.00 1.00 0.53 0.75 364.80 0.00 -1,379.36 0.47 0.88 1.52

Tightness 0.00 0.99 0.15 0.02 21.12 0.00 -535.46 0.33 2.17 0.82

Tuples 6 2,047 195.65 63.00 27,586 MAX VALUE 577.05 511.87 2.62 0.82

Values 2 2 2.00 2.00 330 MAX VALUE 114.37 0.00 0.00 0.00

Value table constraints 3 11 5.94 3.00 1,045 MAX VALUE 278.06 3.80 0.64 0.83

Value table partitions 2 32 3.88 2.00 682 MAX VALUE 152.49 7.26 1.87 0.23

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	5	11	6.63	6.00	935	MAX VALUE	263.41	1.63	0.25	0.67
Coarse blocks size	1	1,024	51.07	2.00	275,250	MAX VALUE	8,789.54	200.99	3.94	1.25
Relational linkage	0.00	1.00	0.53	0.75	364.80	0.00	-1,379.36	0.47	0.88	1.52
Tightness	0.00	0.99	0.15	0.02	21.12	0.00	-535.46	0.33	2.17	0.82
Tuples	6	2,047	195.65	63.00	27,586	MAX VALUE	577.05	511.87	2.62	0.82
Values	2	2	2.00	2.00	330	MAX VALUE	114.37	0.00	0.00	0.00
Value table constraints	3	11	5.94	3.00	1,045	MAX VALUE	278.06	3.80	0.64	0.83
Value table partitions	2	32	3.88	2.00	682	MAX VALUE	152.49	7.26	1.87	0.23

Tree decomposition

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

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

Cluster constraints 0 12 5.52 2.00 160 0 None 5.37 0.97 1.20

Variables per cluster 19 80 35.31 28.00 1,024 MAX VALUE 99.79 19.26 0.55 2.20

Separator constraints 0 9 0.66 0.00 19 0 None 1.65 2.51 0.78

Separator variables 0 64 29.62 27.00 859 0 None 14.47 0.49 2.25

Clusters per var 1 9 6.21 7.00 1,024 MAX VALUE 282.12 2.20 0.35 1.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	12	5.52	2.00	160	0	None	5.37	0.97	1.20
Variables per cluster	19	80	35.31	28.00	1,024	MAX VALUE	99.79	19.26	0.55	2.20
Separator constraints	0	9	0.66	0.00	19	0	None	1.65	2.51	0.78
Separator variables	0	64	29.62	27.00	859	0	None	14.47	0.49	2.25
Clusters per var	1	9	6.21	7.00	1,024	MAX VALUE	282.12	2.20	0.35	1.94

Dual tree decomposition

Number of clusters: 110
Number of leaves: 11
Tree depth: 14
CIR: 0.03
Independent Cluster Pairs: 175
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-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,160 MAX VALUE 425.78 28.95 0.52 2.30

Variables per cluster 17 17 17.00 17.00 1,870 MAX VALUE 311.65 0.00 0.00 0.00

Separator constraints 0 91 43.50 40.50 4,785 0 None 27.56 0.63 2.30

Separator variables 0 16 15.72 16.00 1,729 0 None 1.63 0.10 0.39

Clusters per variable 1 105 13.26 7.00 1,870 MAX VALUE 271.67 19.38 1.46 2.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	17	107	56.00	52.00	6,160	MAX VALUE	425.78	28.95	0.52	2.30
Variables per cluster	17	17	17.00	17.00	1,870	MAX VALUE	311.65	0.00	0.00	0.00
Separator constraints	0	91	43.50	40.50	4,785	0	None	27.56	0.63	2.30
Separator variables	0	16	15.72	16.00	1,729	0	None	1.63	0.10	0.39
Clusters per variable	1	105	13.26	7.00	1,870	MAX VALUE	271.67	19.38	1.46	2.66

Primal graph

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

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

Clustering coefficient 0.49 0.63 0.53 0.49 87.77 0.00 -105.04 0.06 0.11 0.87

Degree 18 24 22.18 24.00 3,660 MAX VALUE 510.18 2.59 0.12 0.87

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.10 3.00 5,253 MAX VALUE 1,910.71 0.30 0.10 0.32

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.63	0.53	0.49	87.77	0.00	-105.04	0.06	0.11	0.87
Degree	18	24	22.18	24.00	3,660	MAX VALUE	510.18	2.59	0.12	0.87
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.10	3.00	5,253	MAX VALUE	1,910.71	0.30	0.10	0.32

Triangulated primal graph

Density: 56.29%
MCB compute time (ms): 9,590
MCB cycles: 9,483
Triangles: None

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

Clustering coefficient 0.71 1.00 0.85 0.85 139.69 0.00 -28.32 0.09 0.10 3.39

Degree 18 137 92.32 98.00 15,232 MAX VALUE 727.29 35.32 0.38 3.14

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 28,449 MAX VALUE 10,418.10 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.71	1.00	0.85	0.85	139.69	0.00	-28.32	0.09	0.10	3.39
Degree	18	137	92.32	98.00	15,232	MAX VALUE	727.29	35.32	0.38	3.14
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	28,449	MAX VALUE	10,418.10	0.00	0.00	0.00

Dual graph

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

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

Clustering coefficient 0.05 0.76 0.63 0.76 88.76 0.00 -92.39 0.25 0.39 0.82

Degree 16 60 19.50 16.00 2,750 MAX VALUE 408.88 10.06 0.52 0.82

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.11 3.00 3,840 MAX VALUE 1,395.62 0.31 0.10 0.35

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.05	0.76	0.63	0.76	88.76	0.00	-92.39	0.25	0.39	0.82
Degree	16	60	19.50	16.00	2,750	MAX VALUE	408.88	10.06	0.52	0.82
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.11	3.00	3,840	MAX VALUE	1,395.62	0.31	0.10	0.35

Minimal dual graph

Density: 3.79%
MCB compute time (ms): 27
MCB cycles: 234

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

Clustering coefficient 0.00 0.33 0.23 0.20 31.87 0.00 None 0.12 0.52 1.41

Degree 4 11 5.30 4.00 748 MAX VALUE 224.76 2.43 0.46 1.01

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.42 4.00 1,035 MAX VALUE 336.05 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	31.87	0.00	None	0.12	0.52	1.41
Degree	4	11	5.30	4.00	748	MAX VALUE	224.76	2.43	0.46	1.01
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.42	4.00	1,035	MAX VALUE	336.05	1.39	0.31	1.02

Triangulated dual graph

Density: 21.18%
Triangles: 15,145

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

Clustering coefficient 0.21 1.00 0.84 0.91 118.79 0.00 -31.52 0.21 0.25 2.66

Degree 16 135 29.65 22.00 4,180 MAX VALUE 454.34 22.77 0.77 2.66

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.84	0.91	118.79	0.00	-31.52	0.21	0.25	2.66
Degree	16	135	29.65	22.00	4,180	MAX VALUE	454.34	22.77	0.77	2.66
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 10.41%

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

Clustering coefficient 0.22 1.00 0.78 0.87 110.36 0.00 -40.54 0.20 0.25 2.69

Degree 4 73 14.57 8.00 2,054 MAX VALUE 321.85 15.15 1.04 2.56

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	110.36	0.00	-40.54	0.20	0.25	2.69
Degree	4	73	14.57	8.00	2,054	MAX VALUE	321.85	15.15	1.04	2.56
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 2.00%
MCB compute time (ms): 150
MCB cycles: 630
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-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 11 6.11 6.00 1,870 MAX VALUE 516.14 3.02 0.49 1.25

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 5.17 4.00 3,258 MAX VALUE 1,007.08 1.64 0.32 0.91

XCSP 2.1 Benchmarks