XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 600
Number of constraints: 460

General features

Coarse blocks: None
Value tables: None

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

Arity 10 20 11.74 11.00 5,400 MAX VALUE 1,125.04 2.56 0.22 0.47

Coarse blocks size None None None None None None None None None None

Relational linkage 0.00 1.00 0.94 1.00 20,474.30 0.00 -11,386.20 0.23 0.24 0.29

Tightness 0.00 1.00 0.09 0.00 39.98 0.00 -3,327.32 0.28 3.22 0.53

Tuples 11 1,048,580 47,371.60 2,047.00 21,790,900 MAX VALUE 3,435.76 213,458.00 4.51 0.53

Values 2 2 2.00 2.00 1,200 MAX VALUE 415.89 0.00 0.00 0.00

Value table constraints None None None None None None None None None None

Value table partitions None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	10	20	11.74	11.00	5,400	MAX VALUE	1,125.04	2.56	0.22	0.47
Coarse blocks size	None	None	None	None	None	None	None	None	None	None
Relational linkage	0.00	1.00	0.94	1.00	20,474.30	0.00	-11,386.20	0.23	0.24	0.29
Tightness	0.00	1.00	0.09	0.00	39.98	0.00	-3,327.32	0.28	3.22	0.53
Tuples	11	1,048,580	47,371.60	2,047.00	21,790,900	MAX VALUE	3,435.76	213,458.00	4.51	0.53
Values	2	2	2.00	2.00	1,200	MAX VALUE	415.89	0.00	0.00	0.00
Value table constraints	None	None	None	None	None	None	None	None	None	None
Value table partitions	None	None	None	None	None	None	None	None	None	None

Tree decomposition

Number of clusters: 58
Number of leaves: 20
Tree depth: 6
CIR: 0.06
Independent Cluster Pairs: 100
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20-ext/Tree1.json

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

Cluster constraints 0 22 8.28 2.00 480 0 None 9.99 1.21 1.10

Variables per cluster 39 296 83.72 57.00 4,856 MAX VALUE 244.39 65.81 0.79 1.45

Separator constraints 0 1 0.34 0.00 20 0 None 0.48 1.38 0.64

Separator variables 0 216 73.38 56.00 4,256 0 None 49.94 0.68 1.48

Clusters per var 1 11 8.09 9.00 4,856 MAX VALUE 1,203.02 2.41 0.30 1.95

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	22	8.28	2.00	480	0	None	9.99	1.21	1.10
Variables per cluster	39	296	83.72	57.00	4,856	MAX VALUE	244.39	65.81	0.79	1.45
Separator constraints	0	1	0.34	0.00	20	0	None	0.48	1.38	0.64
Separator variables	0	216	73.38	56.00	4,256	0	None	49.94	0.68	1.48
Clusters per var	1	11	8.09	9.00	4,856	MAX VALUE	1,203.02	2.41	0.30	1.95

Dual tree decomposition

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

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

Cluster constraints 32 412 193.50 177.00 77,400 MAX VALUE 2,013.08 116.27 0.60 3.00

Variables per cluster 32 32 32.00 32.00 12,800 MAX VALUE 1,386.29 0.00 0.00 0.00

Separator constraints 0 381 171.00 155.50 68,400 0 None 112.01 0.66 3.00

Separator variables 0 31 30.85 31.00 12,340 0 None 1.65 0.05 0.22

Clusters per variable 1 400 27.83 12.00 12,800 MAX VALUE 1,115.00 59.90 2.15 3.20

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	32	412	193.50	177.00	77,400	MAX VALUE	2,013.08	116.27	0.60	3.00
Variables per cluster	32	32	32.00	32.00	12,800	MAX VALUE	1,386.29	0.00	0.00	0.00
Separator constraints	0	381	171.00	155.50	68,400	0	None	112.01	0.66	3.00
Separator variables	0	31	30.85	31.00	12,340	0	None	1.65	0.05	0.22
Clusters per variable	1	400	27.83	12.00	12,800	MAX VALUE	1,115.00	59.90	2.15	3.20

Primal graph

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

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

Clustering coefficient 0.51 0.63 0.55 0.51 330.36 0.00 -360.95 0.06 0.10 0.64

Degree 38 48 44.67 48.00 26,800 MAX VALUE 2,276.00 4.71 0.11 0.64

Eccentricity 2 3 2.33 2.00 1,400 MAX VALUE 496.98 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.51	0.63	0.55	0.51	330.36	0.00	-360.95	0.06	0.10	0.64
Degree	38	48	44.67	48.00	26,800	MAX VALUE	2,276.00	4.71	0.11	0.64
Eccentricity	2	3	2.33	2.00	1,400	MAX VALUE	496.98	0.47	0.20	0.64
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 55.69%
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.72 1.00 0.85 0.84 511.02 0.00 -99.18 0.08 0.10 2.79

Degree 38 498 333.60 370.00 200,160 MAX VALUE 3,402.53 131.54 0.39 2.75

Eccentricity 2 3 2.03 2.00 1,220 MAX VALUE 424.00 0.18 0.09 0.15

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.72	1.00	0.85	0.84	511.02	0.00	-99.18	0.08	0.10	2.79
Degree	38	498	333.60	370.00	200,160	MAX VALUE	3,402.53	131.54	0.39	2.75
Eccentricity	2	3	2.03	2.00	1,220	MAX VALUE	424.00	0.18	0.09	0.15
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 8.53%
MCB compute time (ms): 285,422
MCB cycles: 8,541
Triangles: 65,000
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20-ext/Dual1.json

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

Clustering coefficient 0.03 0.82 0.73 0.82 335.55 0.00 -226.19 0.24 0.32 0.53

Degree 31 200 39.13 31.00 18,000 MAX VALUE 1,627.12 34.39 0.88 0.47

Eccentricity 2 4 3.00 3.00 1,380 MAX VALUE 503.01 0.29 0.10 0.36

MCB cycle size 3 4 3.06 3.00 26,164 MAX VALUE 9,538.88 0.24 0.08 0.24

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.03	0.82	0.73	0.82	335.55	0.00	-226.19	0.24	0.32	0.53
Degree	31	200	39.13	31.00	18,000	MAX VALUE	1,627.12	34.39	0.88	0.47
Eccentricity	2	4	3.00	3.00	1,380	MAX VALUE	503.01	0.29	0.10	0.36
MCB cycle size	3	4	3.06	3.00	26,164	MAX VALUE	9,538.88	0.24	0.08	0.24

Minimal dual graph

Density: 1.31%
MCB compute time (ms): 3,968
MCB cycles: 921

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

Clustering coefficient 0.00 0.33 0.24 0.20 109.47 0.00 None 0.11 0.45 1.30

Degree 4 21 6.00 4.00 2,760 MAX VALUE 752.44 4.65 0.78 1.09

Eccentricity 3 6 4.93 5.00 2,268 MAX VALUE 732.36 0.39 0.08 0.52

MCB cycle size 3 6 4.35 4.00 4,002 MAX VALUE 1,310.77 1.31 0.30 1.24

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.24	0.20	109.47	0.00	None	0.11	0.45	1.30
Degree	4	21	6.00	4.00	2,760	MAX VALUE	752.44	4.65	0.78	1.09
Eccentricity	3	6	4.93	5.00	2,268	MAX VALUE	732.36	0.39	0.08	0.52
MCB cycle size	3	6	4.35	4.00	4,002	MAX VALUE	1,310.77	1.31	0.30	1.24

Triangulated dual graph

Density: 12.96%
Triangles: 201,680

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

Clustering coefficient 0.13 1.00 0.87 0.92 399.74 0.00 -90.32 0.20 0.23 3.20

Degree 31 459 59.48 42.00 27,360 MAX VALUE 1,773.85 64.96 1.09 3.20

Eccentricity 1 2 2.00 2.00 919 MAX VALUE 318.15 0.05 0.02 0.02

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.13	1.00	0.87	0.92	399.74	0.00	-90.32	0.20	0.23	3.20
Degree	31	459	59.48	42.00	27,360	MAX VALUE	1,773.85	64.96	1.09	3.20
Eccentricity	1	2	2.00	2.00	919	MAX VALUE	318.15	0.05	0.02	0.02

Triangulated minimal dual graph

Density: 4.44%

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

Clustering coefficient 0.18 1.00 0.82 0.80 376.59 0.00 -108.79 0.19 0.23 2.78

Degree 4 172 20.36 8.00 9,366 MAX VALUE 1,077.69 29.23 1.44 2.78

Eccentricity 2 4 3.43 3.00 1,578 MAX VALUE 561.26 0.53 0.16 0.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.18	1.00	0.82	0.80	376.59	0.00	-108.79	0.19	0.23	2.78
Degree	4	172	20.36	8.00	9,366	MAX VALUE	1,077.69	29.23	1.44	2.78
Eccentricity	2	4	3.43	3.00	1,578	MAX VALUE	561.26	0.53	0.16	0.77

Incidence graph

Density: 0.96%
MCB compute time (ms): 13,375
MCB cycles: 4,341
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20-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 21 10.19 11.00 10,800 MAX VALUE 2,173.39 6.74 0.66 1.25

Eccentricity 4 8 5.81 6.00 6,160 MAX VALUE 1,854.81 0.83 0.14 1.20

MCB cycle size 4 8 4.67 4.00 20,288 MAX VALUE 6,546.97 1.37 0.29 0.66

XCSP 2.1 Benchmarks