Instance: normalized-data-4-3_ext
Number of variables: 144
Number of constraints: 704
Satisfiable: None
Timestamp: 2018-04-21 10:44:46
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 144
Number of constraints: 704
General features
Number of coarse blocks: 23,876
Number of unique subscopes: 936
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 12 3.44 3.00 2,424 MAX VALUE 817.08 1.60 0.47 1.40
Coarse blocks size 1 232 11.45 3.00 273,276 MAX VALUE 32,719.80 29.54 2.58 2.48
Relational linkage 0.00 1.00 0.46 0.50 3,061.09 0.00 -9,091.95 0.36 0.80 2.36
Tightness 0.06 0.93 0.25 0.19 174.50 0.00 -1,124.90 0.20 0.79 1.80
Tuples 3 299 15.37 7.00 10,820 MAX VALUE 1,427.12 39.17 2.55 1.65
Domain size 2 2 2.00 2.00 288 MAX VALUE 99.81 0.00 0.00 0.00
Constraints per subscope 2 27 5.33 3.00 4,992 MAX VALUE 1,255.95 5.81 1.09 1.91
Partitions per subscope 2 130 7.76 4.00 7,264 MAX VALUE 1,555.09 12.94 1.67 1.42
Tree decomposition
Number of clusters: 54
Number of leaves: 20
Tree depth: 10
Dot-file path: /mnt/hdd/graphFiles/pseudo-ttpExtConvert/normalized-data-4-3_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ttpExtConvert/normalized-data-4-3_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 17 78 33.56 34.00 1,812 MAX VALUE 184.56 14.75 0.44 2.08
Cluster variables 16 60 26.81 26.00 1,448 MAX VALUE 174.13 9.96 0.37 2.04
Separator constraints 0 48 20.52 19.00 1,108 0 None 14.18 0.69 2.20
Separator variables 0 48 24.15 24.00 1,304 0 None 8.68 0.36 2.10
Dual tree decomposition
Number of clusters: 130
Number of leaves: 46
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/pseudo-ttpExtConvert/normalized-data-4-3_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ttpExtConvert/normalized-data-4-3_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 131 6,875 1,019.44 616.00 132,527 MAX VALUE 833.61 1,292.92 1.27 3.40
Cluster variables 21 352 72.71 52.00 9,452 MAX VALUE 522.76 65.34 0.90 3.36
Separator constraints 0 4,525 875.72 546.50 113,843 0 None 980.27 1.12 3.40
Separator variables 0 264 67.29 50.00 8,748 0 None 54.70 0.81 3.36
Primal graph
Density: 16.55%
Dot-file path: /mnt/hdd/graphFiles/pseudo-ttpExtConvert/normalized-data-4-3_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ttpExtConvert/normalized-data-4-3_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.77 0.56 0.53 81.36 0.00 -84.10 0.10 0.17 1.97
Degree 15 31 23.67 26.00 3,408 MAX VALUE 448.66 7.02 0.30 1.62
Eccentricity 3 4 3.33 3.00 480 MAX VALUE 172.01 0.47 0.14 0.64
Triangulated primal graph
Density: 41.18%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.64 1.00 0.82 0.82 117.84 0.00 -30.36 0.12 0.14 3.01
Degree 15 98 58.89 61.00 8,480 MAX VALUE 562.22 29.91 0.51 2.94
Eccentricity 2 3 2.50 2.50 360 MAX VALUE 129.01 0.50 0.20 0.69
Dual graph
Density: 7.55%
MCB compute time (ms): 200,417
MCB cycles: 18,080
Triangles: 173,164
Dot-file path: /mnt/hdd/graphFiles/pseudo-ttpExtConvert/normalized-data-4-3_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ttpExtConvert/normalized-data-4-3_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.26 0.73 0.50 0.51 349.76 0.00 -502.99 0.08 0.17 3.87
Degree 20 159 53.08 49.00 37,368 MAX VALUE 2,741.90 22.14 0.42 3.46
Eccentricity 3 4 3.05 3.00 2,144 MAX VALUE 782.63 0.21 0.07 0.18
MCB cycle size 3 4 3.00 3.00 54,265 MAX VALUE 19,870.10 0.04 0.01 0.01
Minimal dual graph
Density: 0.70%
MCB compute time (ms): 17,357
MCB cycles: 1,037
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.50 0.07 0.00 46.98 0.00 None 0.10 1.52 1.43
Degree 3 31 4.92 5.00 3,464 MAX VALUE 1,080.37 2.76 0.56 1.28
Eccentricity 7 9 8.03 8.00 5,650 MAX VALUE 1,463.72 0.67 0.08 1.00
MCB cycle size 3 8 4.83 5.00 5,012 MAX VALUE 1,591.87 1.37 0.28 1.63
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 5.41%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.20 1.00 0.81 0.80 572.02 0.00 -160.91 0.16 0.19 4.12
Degree 3 200 38.04 11.00 26,782 MAX VALUE 1,897.03 53.69 1.41 3.63
Eccentricity 3 5 3.88 4.00 2,735 MAX VALUE 949.16 0.51 0.13 0.74
Incidence graph
Density: 0.67%
MCB compute time (ms): 2,519
MCB cycles: 2,133
Dot-file path: /mnt/hdd/graphFiles/pseudo-ttpExtConvert/normalized-data-4-3_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ttpExtConvert/normalized-data-4-3_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 2 27 5.72 3.00 4,848 MAX VALUE 1,210.74 5.94 1.04 1.96
Eccentricity 6 8 6.92 7.00 5,868 MAX VALUE 1,638.00 0.51 0.07 0.76
MCB cycle size 4 8 4.58 4.00 9,776 MAX VALUE 3,208.11 0.93 0.20 0.62