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

Instance comments



Component #1 Number of variables: 150
Number of constraints: 130
General features
Number of coarse blocks: 4,900
Number of unique subscopes: 160
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 5 10 6.54 6.00 850 MAX VALUE 241.32 1.50 0.23 0.69
Coarse blocks size 1 512 30.16 2.00 147,800 MAX VALUE 7,846.79 100.08 3.32 1.24
Relational linkage 0.00 1.00 0.54 0.75 335.90 0.00 -1,221.12 0.47 0.86 1.41
Tightness 0.00 0.99 0.15 0.02 19.59 0.00 -487.39 0.32 2.14 0.79
Tuples 6 1,023 128.46 63.00 16,700 MAX VALUE 525.51 258.97 2.02 0.79
Domain size 2 2 2.00 2.00 300 MAX VALUE 103.97 0.00 0.00 0.00
Constraints per subscope 3 11 5.94 3.00 950 MAX VALUE 252.78 3.80 0.64 0.83
Partitions per subscope 2 32 3.88 2.00 620 MAX VALUE 138.63 7.26 1.87 0.23
Tree decomposition
Number of clusters: 28
Number of leaves: 10
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 12 5.00 2.00 140 0 None 5.28 1.06 1.09
Cluster variables 19 74 33.07 27.00 926 MAX VALUE 94.79 17.27 0.52 1.49
Separator constraints 0 1 0.36 0.00 10 0 None 0.48 1.34 0.65
Separator variables 0 56 27.71 26.00 776 0 None 13.08 0.47 1.49
Dual tree decomposition
Number of clusters: 100
Number of leaves: 10
Tree depth: 14
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-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 5,600 MAX VALUE 387.08 28.95 0.52 2.30
Cluster variables 17 17 17.00 17.00 1,700 MAX VALUE 283.32 0.00 0.00 0.00
Separator constraints 0 91 43.50 40.50 4,350 0 None 27.56 0.63 2.30
Separator variables 0 16 15.70 16.00 1,570 0 None 1.71 0.11 0.39
Primal graph
Density: 14.32%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.63 0.55 0.50 81.90 0.00 -91.71 0.06 0.11 0.64
Degree 18 23 21.33 23.00 3,200 MAX VALUE 458.07 2.36 0.11 0.64
Eccentricity 2 3 2.33 2.00 350 MAX VALUE 124.25 0.47 0.20 0.64
Triangulated primal graph
Density: 56.06%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.85 0.85 126.78 0.00 -26.03 0.09 0.10 2.78
Degree 18 124 83.53 89.00 12,530 MAX VALUE 646.59 31.90 0.38 2.78
Eccentricity 2 3 2.07 2.00 310 MAX VALUE 108.03 0.25 0.12 0.24
Dual graph
Density: 14.91%
MCB compute time (ms): 518
MCB cycles: 1,121
Triangles: 4,000
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.05 0.76 0.62 0.76 81.09 0.00 -86.45 0.25 0.40 0.79
Degree 16 50 19.23 16.00 2,500 MAX VALUE 376.29 9.00 0.47 0.69
Eccentricity 2 4 3.00 3.00 390 MAX VALUE 141.64 0.39 0.13 0.54
MCB cycle size 3 4 3.11 3.00 3,484 MAX VALUE 1,266.35 0.31 0.10 0.34
Minimal dual graph
Density: 4.05%
MCB compute time (ms): 50
MCB cycles: 211
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.22 0.20 28.53 0.00 None 0.12 0.55 1.45
Degree 4 11 5.23 4.00 680 MAX VALUE 206.06 2.31 0.44 1.02
Eccentricity 3 6 4.87 5.00 633 MAX VALUE 205.00 0.52 0.11 0.76
MCB cycle size 3 6 4.39 4.00 927 MAX VALUE 302.17 1.35 0.31 1.20
Triangulated dual graph
Density: 22.84%
Triangles: 13,840
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.84 0.91 109.11 0.00 -29.26 0.21 0.25 2.64
Degree 16 128 29.46 22.00 3,830 MAX VALUE 419.43 21.57 0.73 2.64
Eccentricity 2 3 2.11 2.00 274 MAX VALUE 95.79 0.31 0.15 0.34
Triangulated minimal dual graph
Density: 11.46%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.21 1.00 0.78 0.79 101.25 0.00 -37.58 0.19 0.24 2.81
Degree 4 76 14.78 8.00 1,922 MAX VALUE 300.49 14.60 0.99 2.68
Eccentricity 2 4 3.02 3.00 393 MAX VALUE 142.62 0.40 0.13 0.55
Incidence graph
Density: 2.18%
MCB compute time (ms): 236
MCB cycles: 571
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-10_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-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.07 6.00 1,700 MAX VALUE 471.08 2.98 0.49 1.35
Eccentricity 4 8 5.82 6.00 1,630 MAX VALUE 489.99 0.89 0.15 1.28
MCB cycle size 4 8 5.16 4.00 2,948 MAX VALUE 911.94 1.63 0.32 0.91