XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 570
Number of constraints: 438

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.28 11.00 4,940 MAX VALUE 1,052.65 2.61 0.23 0.99

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

Relational linkage 0.00 1.00 0.93 1.00 15,354.10 0.00 -10,310.30 0.25 0.27 0.35

Tightness 0.00 1.00 0.09 0.00 39.07 0.00 -3,029.26 0.28 3.17 1.14

Tuples 11 1,048,580 46,819.30 1,023.00 20,506,800 MAX VALUE 3,134.25 213,321.00 4.56 1.14

Values 2 2 2.00 2.00 1,140 MAX VALUE 395.09 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.28	11.00	4,940	MAX VALUE	1,052.65	2.61	0.23	0.99
Coarse blocks size	None	None	None	None	None	None	None	None	None	None
Relational linkage	0.00	1.00	0.93	1.00	15,354.10	0.00	-10,310.30	0.25	0.27	0.35
Tightness	0.00	1.00	0.09	0.00	39.07	0.00	-3,029.26	0.28	3.17	1.14
Tuples	11	1,048,580	46,819.30	1,023.00	20,506,800	MAX VALUE	3,134.25	213,321.00	4.56	1.14
Values	2	2	2.00	2.00	1,140	MAX VALUE	395.09	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: 56
Number of leaves: 20
Tree depth: 5
CIR: 0.06
Independent Cluster Pairs: 90
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-ext/Tree1.json

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

Cluster constraints 0 21 9.30 2.00 521 0 None 9.57 1.03 1.37

Variables per cluster 37 311 81.75 55.00 4,578 MAX VALUE 234.41 65.24 0.80 2.33

Separator constraints 0 18 1.48 0.00 83 0 None 4.11 2.77 0.94

Separator variables 0 231 71.57 54.00 4,008 0 None 49.28 0.69 2.33

Clusters per var 1 10 8.03 9.00 4,578 MAX VALUE 1,138.76 2.35 0.29 1.80

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	21	9.30	2.00	521	0	None	9.57	1.03	1.37
Variables per cluster	37	311	81.75	55.00	4,578	MAX VALUE	234.41	65.24	0.80	2.33
Separator constraints	0	18	1.48	0.00	83	0	None	4.11	2.77	0.94
Separator variables	0	231	71.57	54.00	4,008	0	None	49.28	0.69	2.33
Clusters per var	1	10	8.03	9.00	4,578	MAX VALUE	1,138.76	2.35	0.29	1.80

Dual tree decomposition

Number of clusters: 380
Number of leaves: 20
Tree depth: 28
CIR: 0.01
Independent Cluster Pairs: 880
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-ext/DualTree1.json

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

Cluster constraints 30 382 176.00 161.00 66,880 MAX VALUE 1,878.32 105.08 0.60 3.64

Variables per cluster 30 31 30.50 30.50 11,590 MAX VALUE 1,298.69 0.50 0.02 0.69

Separator constraints 0 352 154.50 140.50 58,710 0 None 101.08 0.65 3.60

Separator variables 0 30 29.35 29.00 11,152 0 None 1.69 0.06 0.82

Clusters per variable 1 364 26.46 11.00 11,590 MAX VALUE 1,044.83 54.44 2.06 3.15

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	30	382	176.00	161.00	66,880	MAX VALUE	1,878.32	105.08	0.60	3.64
Variables per cluster	30	31	30.50	30.50	11,590	MAX VALUE	1,298.69	0.50	0.02	0.69
Separator constraints	0	352	154.50	140.50	58,710	0	None	101.08	0.65	3.60
Separator variables	0	30	29.35	29.00	11,152	0	None	1.69	0.06	0.82
Clusters per variable	1	364	26.46	11.00	11,590	MAX VALUE	1,044.83	54.44	2.06	3.15

Primal graph

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

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

Clustering coefficient 0.50 0.62 0.54 0.51 309.77 0.00 -350.19 0.05 0.10 1.33

Degree 36 47 43.18 46.00 24,610 MAX VALUE 2,142.58 4.73 0.11 1.33

Eccentricity 2 3 2.33 2.00 1,330 MAX VALUE 472.13 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.62	0.54	0.51	309.77	0.00	-350.19	0.05	0.10	1.33
Degree	36	47	43.18	46.00	24,610	MAX VALUE	2,142.58	4.73	0.11	1.33
Eccentricity	2	3	2.33	2.00	1,330	MAX VALUE	472.13	0.47	0.20	0.64
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 58.33%
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.76 1.00 0.86 0.85 489.90 0.00 -88.33 0.07 0.08 3.81

Degree 36 469 331.89 393.00 189,178 MAX VALUE 3,228.90 128.85 0.39 3.43

Eccentricity 2 3 2.03 2.00 1,159 MAX VALUE 402.80 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.76	1.00	0.86	0.85	489.90	0.00	-88.33	0.07	0.08	3.81
Degree	36	469	331.89	393.00	189,178	MAX VALUE	3,228.90	128.85	0.39	3.43
Eccentricity	2	3	2.03	2.00	1,159	MAX VALUE	402.80	0.18	0.09	0.15
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 8.54%
MCB compute time (ms): 73,069
MCB cycles: 7,733
Triangles: 55,670
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-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.81 317.75 0.00 -217.77 0.23 0.32 1.14

Degree 29 190 37.31 30.00 16,340 MAX VALUE 1,528.55 32.63 0.87 1.14

Eccentricity 2 4 3.00 3.00 1,314 MAX VALUE 478.95 0.29 0.10 0.36

MCB cycle size 3 4 3.07 3.00 23,712 MAX VALUE 8,643.15 0.25 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.81	317.75	0.00	-217.77	0.23	0.32	1.14
Degree	29	190	37.31	30.00	16,340	MAX VALUE	1,528.55	32.63	0.87	1.14
Eccentricity	2	4	3.00	3.00	1,314	MAX VALUE	478.95	0.29	0.10	0.36
MCB cycle size	3	4	3.07	3.00	23,712	MAX VALUE	8,643.15	0.25	0.08	0.24

Minimal dual graph

Density: 1.37%
MCB compute time (ms): 2,354
MCB cycles: 873

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

Clustering coefficient 0.00 0.33 0.24 0.20 104.56 0.00 None 0.11 0.44 1.28

Degree 4 20 5.98 4.00 2,620 MAX VALUE 716.38 4.55 0.76 1.03

Eccentricity 3 6 4.95 5.00 2,169 MAX VALUE 699.41 0.37 0.07 0.49

MCB cycle size 3 6 4.41 4.00 3,852 MAX VALUE 1,252.64 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	104.56	0.00	None	0.11	0.44	1.28
Degree	4	20	5.98	4.00	2,620	MAX VALUE	716.38	4.55	0.76	1.03
Eccentricity	3	6	4.95	5.00	2,169	MAX VALUE	699.41	0.37	0.07	0.49
MCB cycle size	3	6	4.41	4.00	3,852	MAX VALUE	1,252.64	1.38	0.31	1.04

Triangulated dual graph

Density: 12.95%
Triangles: 173,591

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

Clustering coefficient 0.13 1.00 0.87 0.93 379.98 0.00 -87.18 0.20 0.23 3.79

Degree 29 421 56.59 40.00 24,786 MAX VALUE 1,668.33 59.64 1.05 3.23

Eccentricity 2 3 2.26 2.00 992 MAX VALUE 350.63 0.44 0.19 0.58

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.13	1.00	0.87	0.93	379.98	0.00	-87.18	0.20	0.23	3.79
Degree	29	421	56.59	40.00	24,786	MAX VALUE	1,668.33	59.64	1.05	3.23
Eccentricity	2	3	2.26	2.00	992	MAX VALUE	350.63	0.44	0.19	0.58

Triangulated minimal dual graph

Density: 4.60%

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

Clustering coefficient 0.18 1.00 0.82 0.86 357.70 0.00 -104.75 0.19 0.23 2.91

Degree 4 148 20.11 7.00 8,810 MAX VALUE 1,028.49 28.15 1.40 2.96

Eccentricity 2 4 3.46 3.00 1,515 MAX VALUE 538.07 0.53 0.15 0.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.18	1.00	0.82	0.86	357.70	0.00	-104.75	0.19	0.23	2.91
Degree	4	148	20.11	7.00	8,810	MAX VALUE	1,028.49	28.15	1.40	2.96
Eccentricity	2	4	3.46	3.00	1,515	MAX VALUE	538.07	0.53	0.15	0.77

Incidence graph

Density: 0.97%
MCB compute time (ms): 10,998
MCB cycles: 3,933
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-19-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.80 10.00 9,880 MAX VALUE 2,039.31 6.40 0.65 1.41

Eccentricity 4 8 5.81 6.00 5,858 MAX VALUE 1,763.86 0.83 0.14 1.20

MCB cycle size 4 8 4.70 4.00 18,504 MAX VALUE 5,953.85 1.40 0.30 0.68

XCSP 2.1 Benchmarks