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
Coarse blocks: 5,880
Value tables: 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
DomSize 2 2 2.00 2.00 360 MAX VALUE 124.77 0.00 0.00 0.00
Value table constraints 3 11 5.94 3.00 1,140 MAX VALUE 303.34 3.80 0.64 0.83
Value table partitions 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
CIR: None
Independent Cluster Pairs: None
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
JSON-file path: None
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
Variables per cluster 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
CIR: None
Independent Cluster Pairs: None
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
JSON-file path: None
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
Variables per cluster 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%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
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
JSON-file path: None
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
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: 55.90%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
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
MCB cycle size None None None None None None None None None None
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
JSON-file path: None
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
JSON-file path: None
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