XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 135
Number of constraints: 118

General features

Coarse blocks: 3,600
Value tables: 145

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

Arity 5 10 6.10 6.00 720 MAX VALUE 210.23 1.56 0.26 1.13

Coarse blocks size 1 512 33.74 2.00 121,455 MAX VALUE 5,923.78 110.12 3.26 1.56

Relational linkage 0.00 1.00 0.50 0.31 255.39 0.00 -984.42 0.46 0.92 1.48

Tightness 0.00 0.98 0.16 0.03 19.24 0.00 -407.56 0.33 1.99 1.34

Tuples 6 1,023 115.18 31.00 13,591 MAX VALUE 442.50 261.62 2.27 1.34

Values 2 2 2.00 2.00 270 MAX VALUE 93.57 0.00 0.00 0.00

Value table constraints 3 10 5.59 3.00 810 MAX VALUE 224.46 3.32 0.59 0.84

Value table partitions 2 32 3.52 2.00 510 MAX VALUE 124.77 5.96 1.69 0.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	5	10	6.10	6.00	720	MAX VALUE	210.23	1.56	0.26	1.13
Coarse blocks size	1	512	33.74	2.00	121,455	MAX VALUE	5,923.78	110.12	3.26	1.56
Relational linkage	0.00	1.00	0.50	0.31	255.39	0.00	-984.42	0.46	0.92	1.48
Tightness	0.00	0.98	0.16	0.03	19.24	0.00	-407.56	0.33	1.99	1.34
Tuples	6	1,023	115.18	31.00	13,591	MAX VALUE	442.50	261.62	2.27	1.34
Values	2	2	2.00	2.00	270	MAX VALUE	93.57	0.00	0.00	0.00
Value table constraints	3	10	5.59	3.00	810	MAX VALUE	224.46	3.32	0.59	0.84
Value table partitions	2	32	3.52	2.00	510	MAX VALUE	124.77	5.96	1.69	0.30

Tree decomposition

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

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

Cluster constraints 0 11 5.19 2.00 135 0 None 4.83 0.93 1.32

Variables per cluster 17 66 30.81 25.00 801 2.92e+37 86.27 15.58 0.51 2.31

Separator constraints 0 8 0.65 0.00 17 0 None 1.54 2.36 0.79

Separator variables 0 50 25.62 24.00 666 0 None 11.87 0.46 2.31

Clusters per var 1 9 5.93 6.00 801 MAX VALUE 223.71 2.22 0.37 1.99

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	11	5.19	2.00	135	0	None	4.83	0.93	1.32
Variables per cluster	17	66	30.81	25.00	801	2.92e+37	86.27	15.58	0.51	2.31
Separator constraints	0	8	0.65	0.00	17	0	None	1.54	2.36	0.79
Separator variables	0	50	25.62	24.00	666	0	None	11.87	0.46	2.31
Clusters per var	1	9	5.93	6.00	801	MAX VALUE	223.71	2.22	0.37	1.99

Dual tree decomposition

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

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

Cluster constraints 15 92 46.83 43.50 4,215 MAX VALUE 333.26 23.59 0.50 2.89

Variables per cluster 15 16 15.50 15.50 1,395 MAX VALUE 246.63 0.50 0.03 0.69

Separator constraints 0 77 35.33 33.00 3,180 0 None 22.44 0.64 2.81

Separator variables 0 15 14.19 14.00 1,277 0 None 1.71 0.12 0.95

Clusters per variable 1 79 11.82 6.00 1,395 MAX VALUE 218.82 16.17 1.37 2.52

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	15	92	46.83	43.50	4,215	MAX VALUE	333.26	23.59	0.50	2.89
Variables per cluster	15	16	15.50	15.50	1,395	MAX VALUE	246.63	0.50	0.03	0.69
Separator constraints	0	77	35.33	33.00	3,180	0	None	22.44	0.64	2.81
Separator variables	0	15	14.19	14.00	1,277	0	None	1.71	0.12	0.95
Clusters per variable	1	79	11.82	6.00	1,395	MAX VALUE	218.82	16.17	1.37	2.52

Primal graph

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

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

Clustering coefficient 0.49 0.62 0.53 0.49 71.51 0.00 -86.54 0.06 0.11 1.33

Degree 16 22 19.85 21.00 2,680 MAX VALUE 402.38 2.38 0.12 1.33

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.11 3.00 3,846 MAX VALUE 1,397.58 0.31 0.10 0.35

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.62	0.53	0.49	71.51	0.00	-86.54	0.06	0.11	1.33
Degree	16	22	19.85	21.00	2,680	MAX VALUE	402.38	2.38	0.12	1.33
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.11	3.00	3,846	MAX VALUE	1,397.58	0.31	0.10	0.35

Triangulated primal graph

Density: 56.00%
MCB compute time (ms): 1,920
MCB cycles: 5,788
Triangles: None

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

Clustering coefficient 0.70 1.00 0.84 0.86 113.92 0.00 -23.67 0.09 0.10 3.90

Degree 16 113 75.04 80.00 10,130 MAX VALUE 567.77 28.51 0.38 3.47

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 17,364 MAX VALUE 6,358.77 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.86	113.92	0.00	-23.67	0.09	0.10	3.90
Degree	16	113	75.04	80.00	10,130	MAX VALUE	567.77	28.51	0.38	3.47
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	17,364	MAX VALUE	6,358.77	0.00	0.00	0.00

Dual graph

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

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

Clustering coefficient 0.05 0.76 0.61 0.73 72.17 0.00 -80.49 0.25 0.40 1.34

Degree 14 45 17.54 15.00 2,070 MAX VALUE 330.75 8.08 0.46 1.34

Eccentricity None None None None None None None None None None

MCB cycle size 3 4 3.12 3.00 2,862 MAX VALUE 1,039.60 0.32 0.10 0.36

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.05	0.76	0.61	0.73	72.17	0.00	-80.49	0.25	0.40	1.34
Degree	14	45	17.54	15.00	2,070	MAX VALUE	330.75	8.08	0.46	1.34
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	4	3.12	3.00	2,862	MAX VALUE	1,039.60	0.32	0.10	0.36

Minimal dual graph

Density: 4.42%
MCB compute time (ms): 17
MCB cycles: 188

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

Clustering coefficient 0.00 0.33 0.22 0.20 26.44 0.00 None 0.12 0.53 1.41

Degree 4 10 5.17 4.00 610 MAX VALUE 186.35 2.15 0.42 0.91

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 4.43 4.00 832 MAX VALUE 270.05 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.22	0.20	26.44	0.00	None	0.12	0.53	1.41
Degree	4	10	5.17	4.00	610	MAX VALUE	186.35	2.15	0.42	0.91
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	4.43	4.00	832	MAX VALUE	270.05	1.40	0.32	1.01

Triangulated dual graph

Density: 22.79%
Triangles: 10,231

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

Clustering coefficient 0.23 1.00 0.84 0.91 98.92 0.00 -26.77 0.21 0.25 3.12

Degree 14 106 26.66 20.00 3,146 MAX VALUE 368.87 19.34 0.73 2.67

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.23	1.00	0.84	0.91	98.92	0.00	-26.77	0.21	0.25	3.12
Degree	14	106	26.66	20.00	3,146	MAX VALUE	368.87	19.34	0.73	2.67
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 11.73%

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

Clustering coefficient 0.23 1.00 0.79 0.87 92.66 0.00 -33.60 0.20 0.26 2.58

Degree 4 64 13.73 6.00 1,620 MAX VALUE 263.92 13.50 0.98 2.50

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.23	1.00	0.79	0.87	92.66	0.00	-33.60	0.20	0.26	2.58
Degree	4	64	13.73	6.00	1,620	MAX VALUE	263.92	13.50	0.98	2.50
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 2.26%
MCB compute time (ms): 95
MCB cycles: 468
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-9-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-9-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-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 10 5.69 5.00 1,440 MAX VALUE 412.73 2.66 0.47 1.46

Eccentricity None None None None None None None None None None

MCB cycle size 4 8 5.26 4.00 2,464 MAX VALUE 756.08 1.67 0.32 0.95

XCSP 2.1 Benchmarks