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

Instance comments



Component #1 Number of variables: 180
Number of constraints: 152
General features
Number of coarse blocks: 5,880
Number of unique subscopes: 192
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 6 12 6.71 6.00 1,020 MAX VALUE 285.41 1.77 0.26 0.51
Coarse blocks size 1 2,048 92.87 2.00 546,060 MAX VALUE 9,759.97 403.41 4.34 1.24
Relational linkage 0.00 1.00 0.53 0.75 393.70 0.00 -1,537.59 0.48 0.90 1.41
Tightness 0.00 0.99 0.15 0.02 22.65 0.00 -583.53 0.33 2.20 0.75
Tuples 7 4,095 320.47 63.00 48,712 MAX VALUE 628.59 1,001.83 3.13 0.75
Domain size 2 2 2.00 2.00 360 MAX VALUE 124.77 0.00 0.00 0.00
Constraints per subscope 3 11 5.94 3.00 1,140 MAX VALUE 303.34 3.80 0.64 0.83
Partitions per subscope 2 32 3.88 2.00 744 MAX VALUE 166.35 7.26 1.87 0.23
Tree decomposition
Number of clusters: 30
Number of leaves: 12
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 18 6.87 4.00 206 0 None 5.68 0.83 1.45
Cluster variables 20 89 37.40 30.00 1,122 MAX VALUE 104.75 20.90 0.56 1.92
Separator constraints 0 16 1.80 1.00 54 0 None 3.51 1.95 1.36
Separator variables 0 65 31.40 29.00 942 0 None 15.60 0.50 1.92
Dual tree decomposition
Number of clusters: 120
Number of leaves: 12
Tree depth: 15
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-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,720 MAX VALUE 464.49 28.95 0.52 2.30
Cluster variables 17 17 17.00 17.00 2,040 MAX VALUE 339.99 0.00 0.00 0.00
Separator constraints 0 91 43.50 40.50 5,220 0 None 27.56 0.63 2.30
Separator variables 0 16 15.73 16.00 1,888 0 None 1.56 0.10 0.38
Primal graph
Density: 12.85%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.59 0.52 0.49 93.84 0.00 -118.01 0.05 0.09 0.64
Degree 19 25 23.00 25.00 4,140 MAX VALUE 562.93 2.83 0.12 0.64
Eccentricity 2 3 2.33 2.00 420 MAX VALUE 149.09 0.47 0.20 0.64
Triangulated primal graph
Density: 55.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.70 1.00 0.85 0.84 152.12 0.00 -31.19 0.08 0.10 3.53
Degree 19 151 100.07 108.00 18,012 MAX VALUE 807.59 38.46 0.38 3.49
Eccentricity 2 3 2.07 2.00 372 MAX VALUE 129.63 0.25 0.12 0.24
Dual graph
Density: 13.07%
MCB compute time (ms): 493
MCB cycles: 1,349
Triangles: 4,800
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.04 0.76 0.63 0.76 96.43 0.00 -98.23 0.24 0.39 0.75
Degree 16 60 19.74 16.00 3,000 MAX VALUE 441.38 10.90 0.55 0.75
Eccentricity 2 4 3.00 3.00 456 MAX VALUE 165.81 0.36 0.12 0.48
MCB cycle size 3 4 3.11 3.00 4,196 MAX VALUE 1,524.89 0.31 0.10 0.35
Minimal dual graph
Density: 3.56%
MCB compute time (ms): 66
MCB cycles: 257
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 34.76 0.00 None 0.11 0.50 1.40
Degree 4 12 5.37 4.00 816 MAX VALUE 243.25 2.57 0.48 1.14
Eccentricity 3 6 4.91 5.00 747 MAX VALUE 241.26 0.47 0.10 0.67
MCB cycle size 3 6 4.43 4.00 1,138 MAX VALUE 369.40 1.39 0.31 1.02
Triangulated dual graph
Density: 19.74%
Triangles: 16,450
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.20 1.00 0.85 0.91 128.63 0.00 -33.54 0.21 0.25 2.60
Degree 16 140 29.80 22.00 4,530 MAX VALUE 488.92 24.46 0.82 2.60
Eccentricity 2 3 2.29 2.00 348 MAX VALUE 123.20 0.45 0.20 0.60
Triangulated minimal dual graph
Density: 10.09%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.78 0.87 119.26 0.00 -43.08 0.19 0.25 2.45
Degree 4 83 15.24 8.00 2,316 MAX VALUE 349.53 16.31 1.07 2.27
Eccentricity 2 3 2.86 3.00 435 MAX VALUE 158.47 0.35 0.12 0.40
Incidence graph
Density: 1.86%
MCB compute time (ms): 342
MCB cycles: 689
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-10_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-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 12 6.14 6.00 2,040 MAX VALUE 561.12 3.07 0.50 1.27
Eccentricity 4 8 5.82 6.00 1,932 MAX VALUE 581.06 0.87 0.15 1.25
MCB cycle size 4 8 5.18 4.00 3,568 MAX VALUE 1,102.23 1.64 0.32 0.91