Instance: 2-insertions-5-4_ext
Number of variables: 597
Number of constraints: 3936
Satisfiable: None
Timestamp: 2017-10-27 10:46:08
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 597
Number of constraints: 3936
General features
Number of coarse blocks: 31,488
Number of unique subscopes: 597
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 7,872 MAX VALUE 2,728.23 0.00 0.00 0.00
Coarse blocks size 3 3 3.00 3.00 94,464 MAX VALUE 34,593.10 0.00 0.00 0.00
Relational linkage 0.75 0.75 0.75 0.75 1,791.00 0.00 -686.99 0.00 0.00 0.00
Tightness 0.25 0.25 0.25 0.25 984.00 0.00 -5,456.45 0.00 0.00 0.00
Tuples 12 12 12.00 12.00 47,232 MAX VALUE 9,780.59 0.00 0.00 0.00
Domain size 4 4 4.00 4.00 2,388 MAX VALUE 827.62 0.00 0.00 0.00
Constraints per subscope 5 149 13.19 12.00 7,872 MAX VALUE 1,485.07 8.50 0.64 1.84
Partitions per subscope 4 4 4.00 4.00 2,388 MAX VALUE 827.62 0.00 0.00 0.00
Tree decomposition
Number of clusters: 379
Number of leaves: 293
Tree depth: 17
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/2-insertions-5-4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/2-insertions-5-4_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 303 32.81 10.00 12,436 0 None 58.71 1.79 2.91
Cluster variables 6 161 23.64 11.00 8,958 MAX VALUE 1,034.78 30.43 1.29 2.94
Separator constraints 0 259 22.43 0.00 8,500 0 None 56.12 2.50 1.21
Separator variables 0 150 22.06 10.00 8,361 0 None 29.14 1.32 2.93
Dual tree decomposition
Number of clusters: 595
Number of leaves: 235
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/2-insertions-5-4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/2-insertions-5-4_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 64 14,542 561.69 230.00 334,208 MAX VALUE 3,325.84 1,435.31 2.56 4.81
Cluster variables 16 1,373 73.37 32.00 43,656 MAX VALUE 2,244.70 134.05 1.83 4.20
Separator constraints 0 12,547 444.85 184.00 264,683 0 None 1,034.55 2.33 4.81
Separator variables 0 1,081 66.76 30.00 39,720 0 None 109.64 1.64 4.15
Primal graph
Density: 2.21%
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/2-insertions-5-4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/2-insertions-5-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 5 149 13.19 12.00 7,872 MAX VALUE 1,485.07 8.50 0.64 1.84
Eccentricity 4 4 4.00 4.00 2,388 MAX VALUE 827.62 0.00 0.00 0.00
Triangulated primal graph
Density: 15.73%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.27 1.00 0.88 0.93 525.32 0.00 -83.98 0.13 0.15 3.47
Degree 5 434 93.77 24.00 55,982 MAX VALUE 2,178.11 98.87 1.05 4.06
Eccentricity 2 3 2.66 3.00 1,587 MAX VALUE 573.16 0.47 0.18 0.64
Dual graph
Density: 0.90%
MCB compute time (ms): None
MCB cycles: None
Triangles: 987,445
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/2-insertions-5-4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/2-insertions-5-4_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 0.95 0.55 0.51 2,172.78 0.00 -2,407.18 0.11 0.21 2.59
Degree 15 185 35.33 26.00 139,050 MAX VALUE 13,434.00 27.64 0.78 2.46
Eccentricity 5 5 5.00 5.00 19,680 MAX VALUE 6,334.75 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.09%
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.70 4.00 14,550 MAX VALUE 5,067.09 0.77 0.21 1.06
Eccentricity 10 15 12.54 13.00 49,373 MAX VALUE 9,947.60 0.77 0.06 1.16
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.96%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.85 0.86 3,359.35 0.00 -672.75 0.13 0.15 4.63
Degree 2 1,044 234.58 8.00 923,318 MAX VALUE 12,510.20 383.24 1.63 4.05
Eccentricity 3 6 4.06 4.00 15,969 MAX VALUE 5,469.13 0.59 0.15 0.89
Incidence graph
Density: 0.08%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/2-insertions-5-4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/k-insertionExtConvert/2-insertions-5-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 149 3.47 2.00 15,744 MAX VALUE 4,213.30 4.88 1.41 0.63
Eccentricity 9 10 9.87 10.00 44,733 MAX VALUE 10,374.70 0.34 0.03 0.39
MCB cycle size None None None None None None None None None None