Instance: normalized-fpga-13-13_ext
Number of variables: 254
Number of constraints: 208
Satisfiable: None
Timestamp: 2018-04-21 10:28:33
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 254
Number of constraints: 208
General features
Number of coarse blocks: 20,034
Number of unique subscopes: 267
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 6 13 8.16 8.00 1,697 MAX VALUE 432.07 1.90 0.23 1.09
Coarse blocks size 1 4,096 83.63 2.00 1,675,380 MAX VALUE 26,413.30 526.68 6.30 0.83
Relational linkage 0.00 1.00 0.72 1.00 1,288.08 0.00 -2,884.19 0.44 0.61 1.08
Tightness 0.00 1.00 0.12 0.01 25.85 0.00 -1,001.38 0.32 2.54 1.29
Tuples 7 8,191 672.47 191.00 139,874 MAX VALUE 1,059.78 1,943.08 2.89 1.29
Domain size 2 2 2.00 2.00 508 MAX VALUE 176.06 0.00 0.00 0.00
Constraints per subscope 3 14 6.99 3.00 1,866 MAX VALUE 443.33 5.24 0.75 0.80
Partitions per subscope 2 128 6.70 2.00 1,788 MAX VALUE 234.98 21.92 3.27 0.23
Tree decomposition
Number of clusters: 37
Number of leaves: 13
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-13_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-13_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 15 5.97 2.00 221 0 None 6.69 1.12 1.10
Cluster variables 24 132 47.22 35.00 1,747 MAX VALUE 137.14 29.18 0.62 2.12
Separator constraints 0 1 0.35 0.00 13 0 None 0.48 1.36 0.65
Separator variables 0 96 40.35 34.00 1,493 0 None 21.73 0.54 2.08
Dual tree decomposition
Number of clusters: 169
Number of leaves: 13
Tree depth: 18
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-13_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-13_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 21 184 88.77 85.00 15,002 MAX VALUE 726.75 49.34 0.56 3.26
Cluster variables 21 22 21.54 22.00 3,640 MAX VALUE 518.76 0.50 0.02 0.69
Separator constraints 0 163 73.23 70.00 12,376 0 None 47.06 0.64 3.20
Separator variables 0 21 20.31 20.00 3,432 0 None 1.76 0.09 0.87
Primal graph
Density: 11.23%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-13_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-13_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.64 0.55 0.51 139.22 0.00 -154.11 0.06 0.11 1.32
Degree 23 31 28.40 30.00 7,214 MAX VALUE 848.39 3.09 0.11 1.32
Eccentricity 2 3 2.33 2.00 593 MAX VALUE 210.52 0.47 0.20 0.64
Triangulated primal graph
Density: 56.04%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.73 1.00 0.85 0.85 215.62 0.00 -42.81 0.08 0.10 3.30
Degree 23 206 141.79 162.00 36,014 MAX VALUE 1,226.27 55.18 0.39 3.10
Eccentricity 2 3 2.05 2.00 521 MAX VALUE 181.33 0.22 0.11 0.20
Dual graph
Density: 12.20%
MCB compute time (ms): 2,397
MCB cycles: 2,419
Triangles: 11,531
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-13_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-13_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.04 0.79 0.67 0.78 138.65 0.00 -124.63 0.25 0.37 1.29
Degree 20 91 25.25 21.00 5,252 MAX VALUE 653.14 15.62 0.62 1.21
Eccentricity 2 4 3.00 3.00 624 MAX VALUE 226.98 0.35 0.12 0.46
MCB cycle size 3 4 3.09 3.00 7,473 MAX VALUE 2,719.68 0.29 0.09 0.30
Minimal dual graph
Density: 2.69%
MCB compute time (ms): 138
MCB cycles: 372
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 47.23 0.00 None 0.12 0.51 1.43
Degree 4 14 5.57 4.00 1,158 MAX VALUE 336.42 3.10 0.56 1.20
Eccentricity 3 6 4.89 5.00 1,018 MAX VALUE 329.30 0.47 0.10 0.67
MCB cycle size 3 6 4.38 4.00 1,629 MAX VALUE 531.72 1.34 0.31 1.20
Triangulated dual graph
Density: 18.62%
Triangles: 38,109
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 1.00 0.85 0.92 176.85 0.00 -44.92 0.21 0.25 3.45
Degree 20 190 38.54 28.00 8,016 MAX VALUE 721.14 32.71 0.85 2.96
Eccentricity 2 3 2.46 2.00 512 MAX VALUE 183.10 0.50 0.20 0.69
Triangulated minimal dual graph
Density: 8.26%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.23 1.00 0.80 0.87 166.35 0.00 -54.51 0.20 0.25 2.90
Degree 4 96 17.10 8.00 3,556 MAX VALUE 485.26 19.12 1.12 2.75
Eccentricity 2 4 3.38 3.00 703 MAX VALUE 250.53 0.54 0.16 0.79
Incidence graph
Density: 1.59%
MCB compute time (ms): 1,062
MCB cycles: 1,236
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-13_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-13_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 14 7.35 7.00 3,394 MAX VALUE 842.06 4.12 0.56 1.53
Eccentricity 4 8 5.82 6.00 2,688 MAX VALUE 808.55 0.86 0.15 1.25
MCB cycle size 4 8 4.95 4.00 6,120 MAX VALUE 1,926.43 1.55 0.31 0.82