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

Instance comments



Component #1 Number of variables: 234
Number of constraints: 193
General features
Number of coarse blocks: 12,948
Number of unique subscopes: 247
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 6 13 7.68 7.00 1,482 MAX VALUE 389.07 1.87 0.24 0.61
Coarse blocks size 1 4,096 111.13 2.00 1,438,910 MAX VALUE 19,007.00 626.50 5.64 0.93
Relational linkage 0.00 1.00 0.65 1.00 839.62 0.00 -2,452.89 0.47 0.72 1.27
Tightness 0.00 1.00 0.13 0.01 25.15 0.00 -866.17 0.32 2.45 0.74
Tuples 7 8,191 613.28 127.00 118,363 MAX VALUE 921.32 1,951.54 3.18 0.74
Domain size 2 2 2.00 2.00 468 MAX VALUE 162.20 0.00 0.00 0.00
Constraints per subscope 3 13 6.63 3.00 1,638 MAX VALUE 403.75 4.76 0.72 0.81
Partitions per subscope 2 64 5.26 2.00 1,300 MAX VALUE 216.26 13.84 2.63 0.21
Tree decomposition
Number of clusters: 35
Number of leaves: 13
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 14 6.17 2.00 216 0 None 6.33 1.03 1.19
Cluster variables 23 118 44.66 34.00 1,563 MAX VALUE 127.88 27.06 0.61 2.27
Separator constraints 0 11 0.66 0.00 23 0 None 1.84 2.79 0.76
Separator variables 0 88 37.97 33.00 1,329 0 None 20.11 0.53 2.27
Dual tree decomposition
Number of clusters: 156
Number of leaves: 13
Tree depth: 17
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 20 152 76.83 71.00 11,986 MAX VALUE 649.88 41.76 0.54 2.48
Cluster variables 20 20 20.00 20.00 3,120 MAX VALUE 467.33 0.00 0.00 0.00
Separator constraints 0 133 62.33 57.50 9,724 0 None 39.79 0.64 2.48
Separator variables 0 19 18.76 19.00 2,927 0 None 1.63 0.09 0.33
Primal graph
Density: 11.52%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.63 0.54 0.50 125.44 0.00 -147.09 0.06 0.10 0.87
Degree 22 29 26.85 29.00 6,282 MAX VALUE 768.27 3.06 0.11 0.87
Eccentricity 2 3 2.33 2.00 546 MAX VALUE 193.82 0.47 0.20 0.64
Triangulated primal graph
Density: 56.09%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.72 1.00 0.85 0.85 198.56 0.00 -39.56 0.08 0.10 3.41
Degree 22 192 130.70 146.00 30,584 MAX VALUE 1,111.11 50.60 0.39 3.11
Eccentricity 2 3 2.05 2.00 480 MAX VALUE 167.06 0.22 0.11 0.20
Dual graph
Density: 12.21%
MCB compute time (ms): 1,410
MCB cycles: 2,070
Triangles: 9,022
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.04 0.78 0.66 0.78 127.21 0.00 -117.57 0.25 0.38 0.74
Degree 19 84 23.44 19.00 4,524 MAX VALUE 591.99 14.27 0.61 0.74
Eccentricity 2 4 3.00 3.00 579 MAX VALUE 210.62 0.35 0.12 0.46
MCB cycle size 3 4 3.10 3.00 6,408 MAX VALUE 2,331.09 0.29 0.10 0.32
Minimal dual graph
Density: 2.88%
MCB compute time (ms): 121
MCB cycles: 341
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 44.30 0.00 None 0.11 0.49 1.39
Degree 4 13 5.52 4.00 1,066 MAX VALUE 311.51 2.96 0.54 1.11
Eccentricity 3 6 4.93 5.00 951 MAX VALUE 306.94 0.45 0.09 0.63
MCB cycle size 3 6 4.42 4.00 1,507 MAX VALUE 489.57 1.39 0.31 1.02
Triangulated dual graph
Density: 18.56%
Triangles: 30,077
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.18 1.00 0.85 0.91 164.13 0.00 -41.67 0.21 0.25 2.81
Degree 19 185 35.63 26.00 6,876 MAX VALUE 653.67 30.80 0.86 2.81
Eccentricity 2 3 2.17 2.00 419 MAX VALUE 147.16 0.38 0.17 0.46
Triangulated minimal dual graph
Density: 8.43%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.24 1.00 0.80 0.87 155.30 0.00 -49.95 0.20 0.25 2.62
Degree 4 80 16.19 7.00 3,124 MAX VALUE 440.70 18.13 1.12 2.65
Eccentricity 2 4 3.42 3.00 660 MAX VALUE 234.75 0.54 0.16 0.79
Incidence graph
Density: 1.63%
MCB compute time (ms): 765
MCB cycles: 1,056
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-13-12_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 13 6.94 7.00 2,964 MAX VALUE 760.52 3.77 0.54 1.23
Eccentricity 4 8 5.82 6.00 2,484 MAX VALUE 747.25 0.86 0.15 1.25
MCB cycle size 4 8 5.02 4.00 5,302 MAX VALUE 1,659.15 1.58 0.31 0.85