Instance: normalized-s3-3-3-5_ext
Number of variables: 240
Number of constraints: 192
Satisfiable: None
Timestamp: 2018-04-21 10:43:52
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 240
Number of constraints: 192
General features
Number of coarse blocks: 1,440
Number of unique subscopes: 240
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 20 3.75 3.00 720 MAX VALUE 207.01 4.25 1.13 1.14
Coarse blocks size 1 1,160 226.36 2.00 325,960 MAX VALUE 3,418.99 423.21 1.87 1.60
Relational linkage 0.00 0.00 0.00 0.00 0.62 0.00 -3,367.47 0.00 0.72 0.69
Tightness 0.50 1.00 0.55 0.50 106.36 0.00 -117.13 0.13 0.23 0.90
Tuples 2 1,351 87.49 3.50 16,798 MAX VALUE 283.82 326.24 3.73 1.30
Domain size 2 2 2.00 2.00 480 MAX VALUE 166.35 0.00 0.00 0.00
Constraints per subscope 3 3 3.00 3.00 720 MAX VALUE 263.67 0.00 0.00 0.00
Partitions per subscope 2 2 2.00 2.00 480 MAX VALUE 166.35 0.00 0.00 0.00
Tree decomposition
Number of clusters: 106
Number of leaves: 12
Tree depth: 19
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-5_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-5_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.81 2.00 192 0 None 0.70 0.39 1.01
Cluster variables 23 101 39.26 33.00 4,162 MAX VALUE 380.81 17.31 0.44 2.76
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 80 37.00 32.00 3,922 0 None 15.77 0.43 2.73
Dual tree decomposition
Number of clusters: 160
Number of leaves: 80
Tree depth: 13
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-5_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-5_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 10 7.50 7.00 1,200 MAX VALUE 318.87 1.58 0.21 1.21
Cluster variables 5 14 8.25 7.00 1,320 MAX VALUE 322.21 3.70 0.45 1.04
Separator constraints 0 6 3.00 2.00 480 0 None 1.94 0.65 1.21
Separator variables 0 13 7.05 4.00 1,128 0 None 3.54 0.50 1.24
Primal graph
Density: 9.48%
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-5_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-5_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 0.74 0.71 0.74 169.86 0.00 -83.64 0.05 0.07 0.64
Degree 22 24 22.67 22.00 5,440 MAX VALUE 748.81 0.94 0.04 0.64
Eccentricity 3 4 3.67 4.00 880 MAX VALUE 309.70 0.47 0.13 0.64
Triangulated primal graph
Density: 40.93%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.63 1.00 0.82 0.80 197.73 0.00 -48.57 0.11 0.13 4.80
Degree 22 172 97.82 113.00 23,476 MAX VALUE 1,051.76 51.70 0.53 4.18
Eccentricity 2 3 2.58 3.00 619 MAX VALUE 222.72 0.49 0.19 0.68
Dual graph
Density: 3.93%
MCB compute time (ms): 164
MCB cycles: 609
Triangles: 240
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-5_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-5_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.03 0.33 0.24 0.20 45.83 0.00 -299.52 0.09 0.38 1.14
Degree 4 40 7.50 6.00 1,440 MAX VALUE 340.10 8.49 1.13 1.14
Eccentricity 3 5 4.29 4.00 824 MAX VALUE 277.12 0.68 0.16 0.98
MCB cycle size 3 5 3.61 4.00 2,200 MAX VALUE 776.10 0.50 0.14 0.71
Minimal dual graph
Density: 2.62%
MCB compute time (ms): 78
MCB cycles: 289
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 4 20 5.00 4.00 960 MAX VALUE 285.48 3.87 0.77 0.23
Eccentricity 4 6 5.35 5.00 1,028 MAX VALUE 320.59 0.66 0.12 0.95
MCB cycle size 4 6 4.92 4.00 1,422 MAX VALUE 454.57 1.00 0.20 0.69
Triangulated dual graph
Density: 8.00%
Triangles: 6,260
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.16 1.00 0.83 0.87 158.74 0.00 -47.21 0.20 0.25 1.63
Degree 4 111 15.27 10.00 2,932 MAX VALUE 427.82 22.90 1.50 1.63
Eccentricity 2 3 2.62 3.00 504 MAX VALUE 181.74 0.48 0.18 0.66
Triangulated minimal dual graph
Density: 7.12%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.14 1.00 0.81 1.00 156.41 0.00 -50.67 0.22 0.27 1.57
Degree 4 111 13.60 4.00 2,612 MAX VALUE 406.37 20.09 1.48 1.55
Eccentricity 2 4 3.04 3.00 584 MAX VALUE 211.82 0.41 0.13 0.56
Incidence graph
Density: 0.77%
MCB compute time (ms): 360
MCB cycles: 289
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-5_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-5_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 20 3.33 3.00 1,440 MAX VALUE 470.68 2.85 0.86 0.78
Eccentricity 6 10 8.44 9.00 3,648 MAX VALUE 917.43 1.15 0.14 1.48
MCB cycle size 8 8 8.00 8.00 2,312 MAX VALUE 600.96 0.00 0.00 0.00