Instance: normalized-fpga-11-10_ext
Number of variables: 165
Number of constraints: 141
Satisfiable: None
Timestamp: 2018-04-21 10:28:24
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 165
Number of constraints: 141
General features
Number of coarse blocks: 5,390
Number of unique subscopes: 176
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 5 11 6.63 6.00 935 MAX VALUE 263.41 1.63 0.25 0.67
Coarse blocks size 1 1,024 51.07 2.00 275,250 MAX VALUE 8,789.54 200.99 3.94 1.25
Relational linkage 0.00 1.00 0.53 0.75 364.80 0.00 -1,379.36 0.47 0.88 1.52
Tightness 0.00 0.99 0.15 0.02 21.12 0.00 -535.46 0.33 2.17 0.82
Tuples 6 2,047 195.65 63.00 27,586 MAX VALUE 577.05 511.87 2.62 0.82
Domain size 2 2 2.00 2.00 330 MAX VALUE 114.37 0.00 0.00 0.00
Constraints per subscope 3 11 5.94 3.00 1,045 MAX VALUE 278.06 3.80 0.64 0.83
Partitions per subscope 2 32 3.88 2.00 682 MAX VALUE 152.49 7.26 1.87 0.23
Tree decomposition
Number of clusters: 29
Number of leaves: 11
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 12 5.52 2.00 160 0 None 5.37 0.97 1.20
Cluster variables 19 80 35.31 28.00 1,024 MAX VALUE 99.79 19.26 0.55 2.20
Separator constraints 0 9 0.66 0.00 19 0 None 1.65 2.51 0.78
Separator variables 0 64 29.62 27.00 859 0 None 14.47 0.49 2.25
Dual tree decomposition
Number of clusters: 110
Number of leaves: 11
Tree depth: 14
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 17 107 56.00 52.00 6,160 MAX VALUE 425.78 28.95 0.52 2.30
Cluster variables 17 17 17.00 17.00 1,870 MAX VALUE 311.65 0.00 0.00 0.00
Separator constraints 0 91 43.50 40.50 4,785 0 None 27.56 0.63 2.30
Separator variables 0 16 15.72 16.00 1,729 0 None 1.63 0.10 0.39
Primal graph
Density: 13.53%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.63 0.53 0.49 87.77 0.00 -105.04 0.06 0.11 0.87
Degree 18 24 22.18 24.00 3,660 MAX VALUE 510.18 2.59 0.12 0.87
Eccentricity 2 3 2.33 2.00 385 MAX VALUE 136.67 0.47 0.20 0.64
Triangulated primal graph
Density: 56.29%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.85 0.85 139.69 0.00 -28.32 0.09 0.10 3.39
Degree 18 137 92.32 98.00 15,232 MAX VALUE 727.29 35.32 0.38 3.14
Eccentricity 2 3 2.06 2.00 340 MAX VALUE 118.42 0.24 0.12 0.23
Dual graph
Density: 13.93%
MCB compute time (ms): 432
MCB cycles: 1,235
Triangles: 4,400
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.05 0.76 0.63 0.76 88.76 0.00 -92.39 0.25 0.39 0.82
Degree 16 60 19.50 16.00 2,750 MAX VALUE 408.88 10.06 0.52 0.82
Eccentricity 2 4 3.00 3.00 423 MAX VALUE 153.73 0.38 0.13 0.51
MCB cycle size 3 4 3.11 3.00 3,840 MAX VALUE 1,395.62 0.31 0.10 0.35
Minimal dual graph
Density: 3.79%
MCB compute time (ms): 55
MCB cycles: 234
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 31.87 0.00 None 0.12 0.52 1.41
Degree 4 11 5.30 4.00 748 MAX VALUE 224.76 2.43 0.46 1.01
Eccentricity 3 6 4.91 5.00 693 MAX VALUE 223.78 0.48 0.10 0.69
MCB cycle size 3 6 4.42 4.00 1,035 MAX VALUE 336.05 1.39 0.31 1.02
Triangulated dual graph
Density: 21.18%
Triangles: 15,145
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.21 1.00 0.84 0.91 118.79 0.00 -31.52 0.21 0.25 2.66
Degree 16 135 29.65 22.00 4,180 MAX VALUE 454.34 22.77 0.77 2.66
Eccentricity 2 3 2.35 2.00 332 MAX VALUE 118.01 0.48 0.20 0.65
Triangulated minimal dual graph
Density: 10.41%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.78 0.87 110.36 0.00 -40.54 0.20 0.25 2.69
Degree 4 73 14.57 8.00 2,054 MAX VALUE 321.85 15.15 1.04 2.56
Eccentricity 2 4 2.96 3.00 418 MAX VALUE 152.41 0.30 0.10 0.36
Incidence graph
Density: 2.00%
MCB compute time (ms): 290
MCB cycles: 630
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-10_ext/Incidence1.pdf
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 11 6.11 6.00 1,870 MAX VALUE 516.14 3.02 0.49 1.25
Eccentricity 4 8 5.82 6.00 1,781 MAX VALUE 535.52 0.88 0.15 1.27
MCB cycle size 4 8 5.17 4.00 3,258 MAX VALUE 1,007.08 1.64 0.32 0.91