XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 150
Number of constraints: 130

General features

Coarse blocks: 4,900
Value tables: 160

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

Arity 5 10 6.54 6.00 850 MAX VALUE 241.32 1.50 0.23 0.69

Coarse blocks size 1 512 30.16 2.00 147,800 MAX VALUE 7,846.79 100.08 3.32 1.24

Relational linkage 0.00 1.00 0.54 0.75 335.90 0.00 -1,221.12 0.47 0.86 1.41

Tightness 0.00 0.99 0.15 0.02 19.59 0.00 -487.39 0.32 2.14 0.79

Tuples 6 1,023 128.46 63.00 16,700 MAX VALUE 525.51 258.97 2.02 0.79

Values 2 2 2.00 2.00 300 MAX VALUE 103.97 0.00 0.00 0.00

Value table constraints 3 11 5.94 3.00 950 MAX VALUE 252.78 3.80 0.64 0.83

Value table partitions 2 32 3.88 2.00 620 MAX VALUE 138.63 7.26 1.87 0.23

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	5	10	6.54	6.00	850	MAX VALUE	241.32	1.50	0.23	0.69
Coarse blocks size	1	512	30.16	2.00	147,800	MAX VALUE	7,846.79	100.08	3.32	1.24
Relational linkage	0.00	1.00	0.54	0.75	335.90	0.00	-1,221.12	0.47	0.86	1.41
Tightness	0.00	0.99	0.15	0.02	19.59	0.00	-487.39	0.32	2.14	0.79
Tuples	6	1,023	128.46	63.00	16,700	MAX VALUE	525.51	258.97	2.02	0.79
Values	2	2	2.00	2.00	300	MAX VALUE	103.97	0.00	0.00	0.00
Value table constraints	3	11	5.94	3.00	950	MAX VALUE	252.78	3.80	0.64	0.83
Value table partitions	2	32	3.88	2.00	620	MAX VALUE	138.63	7.26	1.87	0.23

Tree decomposition

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

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

Cluster constraints 0 12 5.00 2.00 140 0 None 5.28 1.06 1.09

Variables per cluster 19 74 33.07 27.00 926 MAX VALUE 94.79 17.27 0.52 1.49

Separator constraints 0 1 0.36 0.00 10 0 None 0.48 1.34 0.65

Separator variables 0 56 27.71 26.00 776 0 None 13.08 0.47 1.49

Clusters per var 1 9 6.17 7.00 926 MAX VALUE 255.06 2.24 0.36 1.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	12	5.00	2.00	140	0	None	5.28	1.06	1.09
Variables per cluster	19	74	33.07	27.00	926	MAX VALUE	94.79	17.27	0.52	1.49
Separator constraints	0	1	0.36	0.00	10	0	None	0.48	1.34	0.65
Separator variables	0	56	27.71	26.00	776	0	None	13.08	0.47	1.49
Clusters per var	1	9	6.17	7.00	926	MAX VALUE	255.06	2.24	0.36	1.94

Dual tree decomposition

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

Variables per cluster 17 17 17.00 17.00 1,700 MAX VALUE 283.32 0.00 0.00 0.00

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

Separator variables 0 16 15.70 16.00 1,570 0 None 1.71 0.11 0.39

Clusters per variable 1 99 13.08 7.00 1,700 MAX VALUE 252.08 18.38 1.41 2.61

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	17	107	56.00	52.00	5,600	MAX VALUE	387.08	28.95	0.52	2.30
Variables per cluster	17	17	17.00	17.00	1,700	MAX VALUE	283.32	0.00	0.00	0.00
Separator constraints	0	91	43.50	40.50	4,350	0	None	27.56	0.63	2.30
Separator variables	0	16	15.70	16.00	1,570	0	None	1.71	0.11	0.39
Clusters per variable	1	99	13.08	7.00	1,700	MAX VALUE	252.08	18.38	1.41	2.61

Primal graph

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

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

Clustering coefficient 0.50 0.63 0.55 0.50 81.90 0.00 -91.71 0.06 0.11 0.64

Degree 18 23 21.33 23.00 3,200 MAX VALUE 458.07 2.36 0.11 0.64

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.14 3.00 4,858 MAX VALUE 1,761.98 0.35 0.11 0.41

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	0.63	0.55	0.50	81.90	0.00	-91.71	0.06	0.11	0.64
Degree	18	23	21.33	23.00	3,200	MAX VALUE	458.07	2.36	0.11	0.64
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.14	3.00	4,858	MAX VALUE	1,761.98	0.35	0.11	0.41

Triangulated primal graph

Density: 56.06%
MCB compute time (ms): 5,550
MCB cycles: 7,151
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 126.78 0.00 -26.03 0.09 0.10 2.78

Degree 18 124 83.53 89.00 12,530 MAX VALUE 646.59 31.90 0.38 2.78

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 21,453 MAX VALUE 7,856.18 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	126.78	0.00	-26.03	0.09	0.10	2.78
Degree	18	124	83.53	89.00	12,530	MAX VALUE	646.59	31.90	0.38	2.78
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	21,453	MAX VALUE	7,856.18	0.00	0.00	0.00

Dual graph

Density: 14.91%
MCB compute time (ms): 295
MCB cycles: 1,121
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10-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.76 81.09 0.00 -86.45 0.25 0.40 0.79

Degree 16 50 19.23 16.00 2,500 MAX VALUE 376.29 9.00 0.47 0.69

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.11 3.00 3,484 MAX VALUE 1,266.35 0.31 0.10 0.34

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.05	0.76	0.62	0.76	81.09	0.00	-86.45	0.25	0.40	0.79
Degree	16	50	19.23	16.00	2,500	MAX VALUE	376.29	9.00	0.47	0.69
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.11	3.00	3,484	MAX VALUE	1,266.35	0.31	0.10	0.34

Minimal dual graph

Density: 4.05%
MCB compute time (ms): 21
MCB cycles: 211

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

Clustering coefficient 0.00 0.33 0.22 0.20 28.53 0.00 None 0.12 0.55 1.45

Degree 4 11 5.23 4.00 680 MAX VALUE 206.06 2.31 0.44 1.02

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.39 4.00 927 MAX VALUE 302.17 1.35 0.31 1.20

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.22	0.20	28.53	0.00	None	0.12	0.55	1.45
Degree	4	11	5.23	4.00	680	MAX VALUE	206.06	2.31	0.44	1.02
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.39	4.00	927	MAX VALUE	302.17	1.35	0.31	1.20

Triangulated dual graph

Density: 22.84%
Triangles: 13,840

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

Clustering coefficient 0.22 1.00 0.84 0.91 109.11 0.00 -29.26 0.21 0.25 2.64

Degree 16 128 29.46 22.00 3,830 MAX VALUE 419.43 21.57 0.73 2.64

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	109.11	0.00	-29.26	0.21	0.25	2.64
Degree	16	128	29.46	22.00	3,830	MAX VALUE	419.43	21.57	0.73	2.64
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 11.46%

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

Clustering coefficient 0.21 1.00 0.78 0.79 101.25 0.00 -37.58 0.19 0.24 2.81

Degree 4 76 14.78 8.00 1,922 MAX VALUE 300.49 14.60 0.99 2.68

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.79	101.25	0.00	-37.58	0.19	0.24	2.81
Degree	4	76	14.78	8.00	1,922	MAX VALUE	300.49	14.60	0.99	2.68
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 2.18%
MCB compute time (ms): 128
MCB cycles: 571
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-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.07 6.00 1,700 MAX VALUE 471.08 2.98 0.49 1.35

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 5.16 4.00 2,948 MAX VALUE 911.94 1.63 0.32 0.91

XCSP 2.1 Benchmarks