XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 120
Number of constraints: 106

General features

Coarse blocks: 2,480
Value tables: 130

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

Arity 5 10 5.66 5.00 600 MAX VALUE 180.85 1.52 0.27 0.57

Coarse blocks size 1 512 39.39 2.00 97,680 MAX VALUE 4,252.74 124.14 3.15 1.54

Relational linkage 0.01 1.00 0.44 0.19 175.62 0.00 -774.33 0.45 1.02 1.37

Tightness 0.00 0.96 0.18 0.03 18.66 0.00 -334.73 0.33 1.86 0.83

Tuples 6 1,023 101.91 31.00 10,802 MAX VALUE 366.47 263.31 2.58 0.83

Values 2 2 2.00 2.00 240 1.33e+36 83.18 0.00 0.00 0.00

Value table constraints 3 9 5.23 3.00 680 MAX VALUE 196.57 2.83 0.54 0.86

Value table partitions 2 16 3.08 2.00 400 MAX VALUE 110.90 3.73 1.21 0.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	5	10	5.66	5.00	600	MAX VALUE	180.85	1.52	0.27	0.57
Coarse blocks size	1	512	39.39	2.00	97,680	MAX VALUE	4,252.74	124.14	3.15	1.54
Relational linkage	0.01	1.00	0.44	0.19	175.62	0.00	-774.33	0.45	1.02	1.37
Tightness	0.00	0.96	0.18	0.03	18.66	0.00	-334.73	0.33	1.86	0.83
Tuples	6	1,023	101.91	31.00	10,802	MAX VALUE	366.47	263.31	2.58	0.83
Values	2	2	2.00	2.00	240	1.33e+36	83.18	0.00	0.00	0.00
Value table constraints	3	9	5.23	3.00	680	MAX VALUE	196.57	2.83	0.54	0.86
Value table partitions	2	16	3.08	2.00	400	MAX VALUE	110.90	3.73	1.21	0.27

Tree decomposition

Number of clusters: 24
Number of leaves: 10
Tree depth: 4
CIR: 0.08
Independent Cluster Pairs: 20
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-ext/Tree1.json

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

Cluster constraints 0 14 6.17 7.00 148 0 None 4.47 0.72 1.34

Variables per cluster 16 60 28.21 24.00 677 5.26e+33 77.65 13.84 0.49 1.86

Separator constraints 0 12 1.75 1.00 42 0 None 2.89 1.65 1.41

Separator variables 0 44 23.21 23.00 557 0 None 10.43 0.45 1.92

Clusters per var 1 8 5.64 6.00 677 MAX VALUE 193.05 2.05 0.36 1.84

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	14	6.17	7.00	148	0	None	4.47	0.72	1.34
Variables per cluster	16	60	28.21	24.00	677	5.26e+33	77.65	13.84	0.49	1.86
Separator constraints	0	12	1.75	1.00	42	0	None	2.89	1.65	1.41
Separator variables	0	44	23.21	23.00	557	0	None	10.43	0.45	1.92
Clusters per var	1	8	5.64	6.00	677	MAX VALUE	193.05	2.05	0.36	1.84

Dual tree decomposition

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

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

Cluster constraints 14 70 38.50 36.00 3,080 MAX VALUE 281.75 18.47 0.48 2.08

Variables per cluster 14 14 14.00 14.00 1,120 MAX VALUE 211.12 0.00 0.00 0.00

Separator constraints 0 57 28.00 26.50 2,240 0 None 17.65 0.63 2.08

Separator variables 0 13 12.68 13.00 1,014 0 None 1.56 0.12 0.46

Clusters per variable 1 78 10.57 6.00 1,120 MAX VALUE 185.99 14.61 1.38 2.42

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	14	70	38.50	36.00	3,080	MAX VALUE	281.75	18.47	0.48	2.08
Variables per cluster	14	14	14.00	14.00	1,120	MAX VALUE	211.12	0.00	0.00	0.00
Separator constraints	0	57	28.00	26.50	2,240	0	None	17.65	0.63	2.08
Separator variables	0	13	12.68	13.00	1,014	0	None	1.56	0.12	0.46
Clusters per variable	1	78	10.57	6.00	1,120	MAX VALUE	185.99	14.61	1.38	2.42

Primal graph

Density: 15.41%
MCB compute time (ms): 273
MCB cycles: 981
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-ext/Primal1.json

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

Clustering coefficient 0.48 0.58 0.51 0.48 61.55 0.00 -80.62 0.05 0.09 0.64

Degree 15 20 18.33 20.00 2,200 MAX VALUE 347.98 2.36 0.13 0.64

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.10 3.00 3,038 MAX VALUE 1,105.07 0.30 0.10 0.32

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.58	0.51	0.48	61.55	0.00	-80.62	0.05	0.09	0.64
Degree	15	20	18.33	20.00	2,200	MAX VALUE	347.98	2.36	0.13	0.64
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.10	3.00	3,038	MAX VALUE	1,105.07	0.30	0.10	0.32

Triangulated primal graph

Density: 56.25%
MCB compute time (ms): 1,335
MCB cycles: 5,089
Triangles: None

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

Clustering coefficient 0.71 1.00 0.84 0.84 101.07 0.00 -21.20 0.08 0.10 3.00

Degree 15 99 66.93 72.00 8,032 MAX VALUE 490.99 25.42 0.38 3.02

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 15,267 MAX VALUE 5,590.84 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.84	0.84	101.07	0.00	-21.20	0.08	0.10	3.00
Degree	15	99	66.93	72.00	8,032	MAX VALUE	490.99	25.42	0.38	3.02
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	15,267	MAX VALUE	5,590.84	0.00	0.00	0.00

Dual graph

Density: 15.09%
MCB compute time (ms): 83
MCB cycles: 735
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-ext/Dual1.json

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

Clustering coefficient 0.05 0.73 0.60 0.73 63.32 0.00 -74.43 0.24 0.40 0.83

Degree 13 40 15.85 13.00 1,680 MAX VALUE 286.40 7.17 0.45 0.83

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.13 3.00 2,300 MAX VALUE 834.81 0.34 0.11 0.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.05	0.73	0.60	0.73	63.32	0.00	-74.43	0.24	0.40	0.83
Degree	13	40	15.85	13.00	1,680	MAX VALUE	286.40	7.17	0.45	0.83
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.13	3.00	2,300	MAX VALUE	834.81	0.34	0.11	0.38

Minimal dual graph

Density: 4.85%
MCB compute time (ms): 15
MCB cycles: 165

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

Clustering coefficient 0.00 0.33 0.23 0.20 23.94 0.00 None 0.12 0.52 1.40

Degree 4 10 5.09 4.00 540 MAX VALUE 166.40 2.01 0.39 0.99

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.44 4.00 732 MAX VALUE 237.39 1.40 0.32 1.01

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.23	0.20	23.94	0.00	None	0.12	0.52	1.40
Degree	4	10	5.09	4.00	540	MAX VALUE	166.40	2.01	0.39	0.99
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.44	4.00	732	MAX VALUE	237.39	1.40	0.32	1.01

Triangulated dual graph

Density: 22.71%
Triangles: 7,284

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

Clustering coefficient 0.22 1.00 0.84 0.90 88.87 0.00 -24.14 0.21 0.25 2.42

Degree 13 103 23.85 18.00 2,528 MAX VALUE 319.33 17.64 0.74 2.42

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.90	88.87	0.00	-24.14	0.21	0.25	2.42
Degree	13	103	23.85	18.00	2,528	MAX VALUE	319.33	17.64	0.74	2.42
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 12.36%

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

Clustering coefficient 0.22 1.00 0.79 0.87 83.22 0.00 -30.30 0.20 0.26 2.31

Degree 4 61 12.98 6.00 1,376 MAX VALUE 233.55 12.75 0.98 2.32

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	83.22	0.00	-30.30	0.20	0.26	2.31
Degree	4	61	12.98	6.00	1,376	MAX VALUE	233.55	12.75	0.98	2.32
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 2.36%
MCB compute time (ms): 66
MCB cycles: 375
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8-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 10 5.31 5.00 1,200 MAX VALUE 356.62 2.33 0.44 1.30

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 5.39 4.00 2,020 MAX VALUE 614.09 1.70 0.31 0.99

XCSP 2.1 Benchmarks