Instance: normalized-fpga-14-14-ext
Number of variables: 294
Number of constraints: 238
Satisfiable: True
Timestamp: 2025-07-20 22:08:48
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 294
Number of constraints: 238
General features
Coarse blocks: 29,204
Value tables: 308
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 7 14 8.65 8.00 2,058 MAX VALUE 508.71 1.97 0.23 0.58
Coarse blocks size 1 8,192 125.48 2.00 3,664,610 MAX VALUE 36,697.70 941.64 7.50 0.64
Relational linkage 0.00 1.00 0.76 1.00 1,797.61 0.00 -3,649.17 0.42 0.56 0.92
Tightness 0.00 1.00 0.12 0.00 27.88 0.00 -1,223.63 0.31 2.65 0.66
Tuples 8 16,383 1,175.06 255.00 279,664 MAX VALUE 1,288.97 3,802.79 3.24 0.66
Values 2 2 2.00 2.00 588 MAX VALUE 203.78 0.00 0.00 0.00
Value table constraints 3 15 7.32 3.00 2,254 MAX VALUE 517.66 5.72 0.78 0.79
Value table partitions 2 128 7.73 2.00 2,380 MAX VALUE 271.71 26.25 3.40 0.18
Tree decomposition
Number of clusters: 40
Number of leaves: 14
Tree depth: 5
CIR: 0.07
Independent Cluster Pairs: 49
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 16 6.30 2.00 252 0 None 7.16 1.14 1.10
Variables per cluster 27 144 52.35 39.00 2,094 MAX VALUE 151.82 34.35 0.66 1.50
Separator constraints 0 1 0.35 0.00 14 0 None 0.48 1.36 0.65
Separator variables 0 108 45.00 38.00 1,800 0 None 25.77 0.57 1.50
Clusters per var 1 10 7.12 8.00 2,094 MAX VALUE 547.14 2.33 0.33 1.95
Dual tree decomposition
Number of clusters: 196
Number of leaves: 14
Tree depth: 20
CIR: 0.00
Independent Cluster Pairs: 14
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 23 205 101.00 93.00 19,796 MAX VALUE 866.65 56.89 0.56 2.64
Variables per cluster 23 23 23.00 23.00 4,508 MAX VALUE 614.56 0.00 0.00 0.00
Separator constraints 0 183 84.50 77.50 16,562 0 None 54.35 0.64 2.64
Separator variables 0 22 21.79 22.00 4,270 0 None 1.68 0.08 0.29
Clusters per variable 1 194 18.94 9.00 4,508 MAX VALUE 516.33 33.19 1.75 2.91
Primal graph
Density: 10.47%
MCB compute time (ms): 7,630
MCB cycles: 4,503
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-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 161.30 0.00 -178.07 0.06 0.11 0.64
Degree 26 33 30.67 33.00 9,016 MAX VALUE 1,004.61 3.30 0.11 0.64
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.12 3.00 14,050 MAX VALUE 5,102.69 0.33 0.10 0.37
Triangulated primal graph
Density: 56.83%
MCB compute time (ms): 183,012
MCB cycles: 30,163
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.85 0.87 250.48 0.00 -48.48 0.08 0.10 2.62
Degree 26 250 166.51 167.00 48,954 MAX VALUE 1,466.20 64.36 0.39 2.62
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 90,489 MAX VALUE 33,137.40 0.00 0.00 0.00
Dual graph
Density: 11.47%
MCB compute time (ms): 2,765
MCB cycles: 2,997
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/Dual1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.04 0.79 0.68 0.79 161.56 0.00 -137.87 0.25 0.37 0.66
Degree 22 98 27.18 22.00 6,468 MAX VALUE 763.34 17.81 0.66 0.58
Eccentricity None None None None None None None None None None
MCB cycle size 3 4 3.08 3.00 9,244 MAX VALUE 3,365.32 0.28 0.09 0.29
Minimal dual graph
Density: 2.38%
MCB compute time (ms): 82
MCB cycles: 435
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 54.58 0.00 None 0.11 0.50 1.41
Degree 4 15 5.65 4.00 1,344 MAX VALUE 386.16 3.34 0.59 1.15
Eccentricity None None None None None None None None None None
MCB cycle size 3 6 4.37 4.00 1,899 MAX VALUE 620.70 1.33 0.30 1.23
Triangulated dual graph
Density: 17.50%
Triangles: 50,512
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 1.00 0.85 0.92 203.21 0.00 -50.54 0.21 0.24 2.91
Degree 22 235 41.47 30.00 9,870 MAX VALUE 840.60 37.19 0.90 2.91
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 7.39%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 0.81 0.78 192.24 0.00 -60.41 0.20 0.25 2.64
Degree 4 91 17.51 8.00 4,168 MAX VALUE 550.92 20.49 1.17 2.57
Eccentricity None None None None None None None None None None
Incidence graph
Density: 1.46%
MCB compute time (ms): 641
MCB cycles: 1,527
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14-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 15 7.74 8.00 4,116 MAX VALUE 989.42 4.48 0.58 1.30
Eccentricity None None None None None None None None None None
MCB cycle size 4 8 4.90 4.00 7,484 MAX VALUE 2,366.03 1.52 0.31 0.79