Instance: normalized-fpga-14-14_ext
Number of variables: 294
Number of constraints: 238
Satisfiable: None
Timestamp: 2018-04-21 10:28:32
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 294
Number of constraints: 238
General features
Number of coarse blocks: 29,204
Number of unique subscopes: 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
Domain size 2 2 2.00 2.00 588 MAX VALUE 203.78 0.00 0.00 0.00
Constraints per subscope 3 15 7.32 3.00 2,254 MAX VALUE 517.66 5.72 0.78 0.79
Partitions per subscope 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
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Tree1.pdf
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
Cluster variables 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
Dual tree decomposition
Number of clusters: 196
Number of leaves: 14
Tree depth: 20
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/DualTree1.pdf
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
Cluster variables 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
Primal graph
Density: 10.47%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Primal1.pdf
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 2 3 2.33 2.00 686 MAX VALUE 243.52 0.47 0.20 0.64
Triangulated primal graph
Density: 56.83%
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 2 3 2.05 2.00 602 MAX VALUE 209.46 0.21 0.10 0.19
Dual graph
Density: 11.47%
MCB compute time (ms): 7,038
MCB cycles: 2,997
Triangles: 15,484
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Dual1.pdf

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 2 4 3.00 3.00 714 MAX VALUE 259.82 0.34 0.11 0.44
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): 255
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 3 6 4.90 5.00 1,167 MAX VALUE 377.32 0.45 0.09 0.64
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 2 3 2.04 2.00 485 MAX VALUE 168.62 0.19 0.09 0.16
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 2 4 3.42 3.00 813 MAX VALUE 289.24 0.54 0.16 0.79
Incidence graph
Density: 1.46%
MCB compute time (ms): 1,433
MCB cycles: 1,527
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-14-14_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 15 7.74 8.00 4,116 MAX VALUE 989.42 4.48 0.58 1.30
Eccentricity 4 8 5.82 6.00 3,094 MAX VALUE 930.94 0.85 0.15 1.24
MCB cycle size 4 8 4.90 4.00 7,484 MAX VALUE 2,366.03 1.52 0.31 0.79