XCSP 2.1 Benchmark Database

Instance: normalized-fpga-20-18-ext
Number of variables: 540
Number of constraints: 416
Satisfiable: True
Timestamp: 2025-07-27 21:34:43
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 540
Number of constraints: 416

General features

Coarse blocks: 193,320
Value tables: 560

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

Arity 10 20 10.82 10.00 4,500 MAX VALUE 982.11 2.60 0.24 0.37

Coarse blocks size 1 524,288 1,973.65 2.00 381,547,000 MAX VALUE 183,358.00 31,935.30 16.18 0.26

Relational linkage 0.00 1.00 0.90 1.00 10,233.90 0.00 -9,288.78 0.29 0.32 0.45

Tightness 0.00 1.00 0.09 0.00 38.16 0.00 -2,745.06 0.29 3.12 0.54

Tuples 11 1,048,580 46,257.70 1,023.00 19,243,200 MAX VALUE 2,846.56 213,157.00 4.61 0.54

Values 2 2 2.00 2.00 1,080 MAX VALUE 374.30 0.00 0.00 0.00

Value table constraints 3 19 8.68 3.00 4,860 MAX VALUE 983.31 7.62 0.88 0.77

Value table partitions 2 512 20.21 2.00 11,320 MAX VALUE 499.07 94.64 4.68 0.15

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	10	20	10.82	10.00	4,500	MAX VALUE	982.11	2.60	0.24	0.37
Coarse blocks size	1	524,288	1,973.65	2.00	381,547,000	MAX VALUE	183,358.00	31,935.30	16.18	0.26
Relational linkage	0.00	1.00	0.90	1.00	10,233.90	0.00	-9,288.78	0.29	0.32	0.45
Tightness	0.00	1.00	0.09	0.00	38.16	0.00	-2,745.06	0.29	3.12	0.54
Tuples	11	1,048,580	46,257.70	1,023.00	19,243,200	MAX VALUE	2,846.56	213,157.00	4.61	0.54
Values	2	2	2.00	2.00	1,080	MAX VALUE	374.30	0.00	0.00	0.00
Value table constraints	3	19	8.68	3.00	4,860	MAX VALUE	983.31	7.62	0.88	0.77
Value table partitions	2	512	20.21	2.00	11,320	MAX VALUE	499.07	94.64	4.68	0.15

Tree decomposition

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

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

Cluster constraints 0 34 9.30 2.00 502 0 None 10.17 1.09 1.23

Variables per cluster 36 280 78.52 54.00 4,240 MAX VALUE 224.21 60.69 0.77 1.87

Separator constraints 0 32 1.59 0.00 86 0 None 5.25 3.30 0.95

Separator variables 0 200 68.52 53.00 3,700 0 None 45.60 0.67 1.87

Clusters per var 1 10 7.85 9.00 4,240 MAX VALUE 1,065.79 2.33 0.30 1.87

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	34	9.30	2.00	502	0	None	10.17	1.09	1.23
Variables per cluster	36	280	78.52	54.00	4,240	MAX VALUE	224.21	60.69	0.77	1.87
Separator constraints	0	32	1.59	0.00	86	0	None	5.25	3.30	0.95
Separator variables	0	200	68.52	53.00	3,700	0	None	45.60	0.67	1.87
Clusters per var	1	10	7.85	9.00	4,240	MAX VALUE	1,065.79	2.33	0.30	1.87

Dual tree decomposition

Number of clusters: 360
Number of leaves: 20
Tree depth: 27
CIR: 0.00
Independent Cluster Pairs: 56
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-18-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-18-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-18-ext/DualTree1.json

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

Cluster constraints 29 335 159.33 146.00 57,360 MAX VALUE 1,745.88 94.15 0.59 2.89

Variables per cluster 29 29 29.00 29.00 10,440 MAX VALUE 1,212.23 0.00 0.00 0.00

Separator constraints 0 307 138.83 126.50 49,980 0 None 90.46 0.65 2.89

Separator variables 0 28 27.84 28.00 10,024 0 None 1.58 0.06 0.24

Clusters per variable 1 356 25.10 11.00 10,440 MAX VALUE 969.69 53.86 2.15 3.10

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	29	335	159.33	146.00	57,360	MAX VALUE	1,745.88	94.15	0.59	2.89
Variables per cluster	29	29	29.00	29.00	10,440	MAX VALUE	1,212.23	0.00	0.00	0.00
Separator constraints	0	307	138.83	126.50	49,980	0	None	90.46	0.65	2.89
Separator variables	0	28	27.84	28.00	10,024	0	None	1.58	0.06	0.24
Clusters per variable	1	356	25.10	11.00	10,440	MAX VALUE	969.69	53.86	2.15	3.10

Primal graph

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

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

Clustering coefficient 0.50 0.61 0.54 0.50 289.57 0.00 -338.75 0.05 0.09 0.64

Degree 35 45 41.67 45.00 22,500 MAX VALUE 2,010.36 4.71 0.11 0.64

Eccentricity 2 3 2.33 2.00 1,260 MAX VALUE 447.28 0.47 0.20 0.64

MCB cycle size 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.50	0.61	0.54	0.50	289.57	0.00	-338.75	0.05	0.09	0.64
Degree	35	45	41.67	45.00	22,500	MAX VALUE	2,010.36	4.71	0.11	0.64
Eccentricity	2	3	2.33	2.00	1,260	MAX VALUE	447.28	0.47	0.20	0.64
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 56.85%
MCB compute time (ms): None
MCB cycles: None
Triangles: None

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

Clustering coefficient 0.74 1.00 0.85 0.83 461.17 0.00 -87.43 0.08 0.09 3.31

Degree 35 442 306.43 363.50 165,472 MAX VALUE 3,016.91 119.71 0.39 3.19

Eccentricity 2 3 2.04 2.00 1,100 MAX VALUE 382.41 0.19 0.09 0.16

MCB cycle size 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.74	1.00	0.85	0.83	461.17	0.00	-87.43	0.08	0.09	3.31
Degree	35	442	306.43	363.50	165,472	MAX VALUE	3,016.91	119.71	0.39	3.19
Eccentricity	2	3	2.04	2.00	1,100	MAX VALUE	382.41	0.19	0.09	0.16
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 8.55%
MCB compute time (ms): 25,751
MCB cycles: 6,965
Triangles: 47,280
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-18-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-18-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-18-ext/Dual1.json

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

Clustering coefficient 0.03 0.81 0.72 0.81 299.98 0.00 -209.30 0.23 0.32 0.54

Degree 28 180 35.48 28.00 14,760 MAX VALUE 1,431.14 30.87 0.87 0.54

Eccentricity 2 4 3.00 3.00 1,248 MAX VALUE 454.90 0.29 0.10 0.35

MCB cycle size 3 4 3.07 3.00 21,380 MAX VALUE 7,791.36 0.25 0.08 0.25

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.03	0.81	0.72	0.81	299.98	0.00	-209.30	0.23	0.32	0.54
Degree	28	180	35.48	28.00	14,760	MAX VALUE	1,431.14	30.87	0.87	0.54
Eccentricity	2	4	3.00	3.00	1,248	MAX VALUE	454.90	0.29	0.10	0.35
MCB cycle size	3	4	3.07	3.00	21,380	MAX VALUE	7,791.36	0.25	0.08	0.25

Minimal dual graph

Density: 1.44%
MCB compute time (ms): 1,972
MCB cycles: 825

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

Clustering coefficient 0.00 0.33 0.24 0.20 99.32 0.00 None 0.11 0.44 1.29

Degree 4 20 5.96 4.00 2,480 MAX VALUE 680.10 4.46 0.75 1.09

Eccentricity 3 6 4.95 5.00 2,059 MAX VALUE 664.04 0.37 0.08 0.49

MCB cycle size 3 6 4.41 4.00 3,642 MAX VALUE 1,184.14 1.38 0.31 1.04

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.24	0.20	99.32	0.00	None	0.11	0.44	1.29
Degree	4	20	5.96	4.00	2,480	MAX VALUE	680.10	4.46	0.75	1.09
Eccentricity	3	6	4.95	5.00	2,059	MAX VALUE	664.04	0.37	0.08	0.49
MCB cycle size	3	6	4.41	4.00	3,642	MAX VALUE	1,184.14	1.38	0.31	1.04

Triangulated dual graph

Density: 12.94%
Triangles: 148,134

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

Clustering coefficient 0.13 1.00 0.87 0.92 361.38 0.00 -81.95 0.20 0.23 3.10

Degree 28 411 53.70 38.00 22,338 MAX VALUE 1,561.34 58.79 1.09 3.10

Eccentricity 2 3 2.08 2.00 864 MAX VALUE 301.32 0.27 0.13 0.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.13	1.00	0.87	0.92	361.38	0.00	-81.95	0.20	0.23	3.10
Degree	28	411	53.70	38.00	22,338	MAX VALUE	1,561.34	58.79	1.09	3.10
Eccentricity	2	3	2.08	2.00	864	MAX VALUE	301.32	0.27	0.13	0.27

Triangulated minimal dual graph

Density: 4.76%

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

Clustering coefficient 0.17 1.00 0.82 0.79 341.05 0.00 -98.02 0.19 0.23 2.62

Degree 4 163 19.75 8.00 8,218 MAX VALUE 970.96 28.38 1.44 2.62

Eccentricity 2 4 3.24 3.00 1,349 MAX VALUE 484.78 0.49 0.15 0.70

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.17	1.00	0.82	0.79	341.05	0.00	-98.02	0.19	0.23	2.62
Degree	4	163	19.75	8.00	8,218	MAX VALUE	970.96	28.38	1.44	2.62
Eccentricity	2	4	3.24	3.00	1,349	MAX VALUE	484.78	0.49	0.15	0.70

Incidence graph

Density: 0.99%
MCB compute time (ms): 8,173
MCB cycles: 3,545
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-18-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-18-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-18-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 20 9.41 10.00 9,000 MAX VALUE 1,907.61 6.05 0.64 1.20

Eccentricity 4 8 5.81 6.00 5,556 MAX VALUE 1,672.91 0.82 0.14 1.20

MCB cycle size 4 8 4.74 4.00 16,800 MAX VALUE 5,388.45 1.42 0.30 0.70

XCSP 2.1 Benchmarks