Instance: normalized-myciel7-4_ext
Number of variables: 191
Number of constraints: 2360
Satisfiable: None
Timestamp: 2018-04-21 10:08:45
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 191
Number of constraints: 2360
General features
Number of coarse blocks: 18,880
Number of unique subscopes: 191
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 4,720 MAX VALUE 1,635.83 0.00 0.00 0.00
Coarse blocks size 3 3 3.00 3.00 56,640 MAX VALUE 20,741.80 0.00 0.00 0.00
Relational linkage 0.75 0.75 0.75 0.75 573.00 0.00 -219.79 0.00 0.00 0.00
Tightness 0.25 0.25 0.25 0.25 590.00 0.00 -3,271.65 0.00 0.00 0.00
Tuples 12 12 12.00 12.00 28,320 MAX VALUE 5,864.38 0.00 0.00 0.00
Domain size 4 4 4.00 4.00 764 MAX VALUE 264.78 0.00 0.00 0.00
Constraints per subscope 7 95 24.71 20.00 4,720 MAX VALUE 578.68 16.60 0.67 3.44
Partitions per subscope 4 4 4.00 4.00 764 MAX VALUE 264.78 0.00 0.00 0.00
Tree decomposition
Number of clusters: 118
Number of leaves: 93
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-4_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 583 115.68 14.50 13,650 MAX VALUE 394.87 198.51 1.72 3.33
Cluster variables 8 67 24.87 15.50 2,935 MAX VALUE 350.23 19.68 0.79 3.14
Separator constraints 0 551 95.68 0.00 11,290 0 None 191.21 2.00 1.14
Separator variables 0 65 23.25 14.00 2,744 0 None 19.29 0.83 3.10
Dual tree decomposition
Number of clusters: 189
Number of leaves: 82
Tree depth: 7
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-4_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 324 29,641 2,330.50 859.00 440,465 MAX VALUE 1,328.81 4,136.66 1.78 4.66
Cluster variables 36 1,355 134.42 70.00 25,405 MAX VALUE 835.93 194.78 1.45 4.16
Separator constraints 0 15,864 1,895.13 777.00 358,180 0 None 2,798.89 1.48 4.67
Separator variables 0 1,004 121.93 68.00 23,045 0 None 156.92 1.29 4.18
Primal graph
Density: 13.01%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-4_ext/Primal1.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 7 95 24.71 20.00 4,720 MAX VALUE 578.68 16.60 0.67 3.44
Eccentricity 2 2 2.00 2.00 382 MAX VALUE 132.39 0.00 0.00 0.00
Triangulated primal graph
Density: 29.72%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.35 1.00 0.88 0.92 167.26 0.00 -29.19 0.16 0.18 2.80
Degree 7 167 56.46 61.00 10,784 MAX VALUE 685.25 44.92 0.80 3.83
Eccentricity 2 2 2.00 2.00 382 MAX VALUE 132.39 0.00 0.00 0.00
Dual graph
Density: 2.96%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,335,460
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-4_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 0.89 0.60 0.57 1,424.42 0.00 -1,226.34 0.11 0.18 5.53
Degree 35 141 69.73 65.00 164,570 MAX VALUE 9,893.58 22.88 0.33 4.25
Eccentricity 3 3 3.00 3.00 7,080 MAX VALUE 2,592.73 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.16%
MCB compute time (ms): None
MCB cycles: 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 2 7 3.84 4.00 9,058 MAX VALUE 3,125.82 0.81 0.21 1.10
Eccentricity 9 15 11.96 12.00 28,230 MAX VALUE 5,851.54 0.81 0.07 1.19
MCB cycle size None None None None None None None None None None
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.32%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 1.00 0.84 0.82 1,978.83 0.00 -447.96 0.14 0.16 4.54
Degree 2 618 125.38 9.00 295,902 MAX VALUE 7,164.96 200.87 1.60 4.14
Eccentricity 3 6 4.72 5.00 11,146 MAX VALUE 3,647.97 0.54 0.11 0.79
Incidence graph
Density: 0.15%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel7-4_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 95 3.70 2.00 9,440 MAX VALUE 2,214.51 7.51 2.03 0.52
Eccentricity 5 6 5.93 6.00 15,115 MAX VALUE 4,535.95 0.26 0.04 0.27
MCB cycle size None None None None None None None None None None