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

Instance comments



Component #1 Number of variables: 1406
Number of constraints: 9695
General features
Coarse blocks: 77,560
Value tables: 1,406
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 19,390 MAX VALUE 6,720.06 0.00 0.00 0.00
Coarse blocks size 3 3 3.00 3.00 232,680 MAX VALUE 85,208.40 0.00 0.00 0.00
Relational linkage 0.75 0.75 0.75 0.75 4,218.00 0.00 -1,617.92 0.00 0.00 0.00
Tightness 0.25 0.25 0.25 0.25 2,423.75 0.00 -13,440.10 0.00 0.00 0.00
Tuples 12 12 12.00 12.00 116,340 MAX VALUE 24,091.20 0.00 0.00 0.00
Values 4 4 4.00 4.00 5,624 MAX VALUE 1,949.13 0.00 0.00 0.00
Value table constraints 5 281 13.79 16.00 19,390 MAX VALUE 3,571.79 10.15 0.74 1.61
Value table partitions 4 4 4.00 4.00 5,624 MAX VALUE 1,949.13 0.00 0.00 0.00
Tree decomposition
Number of clusters: None
Number of leaves: None
Tree depth: None
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Tree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints None None None None None None None None None None
Variables per cluster None None None None None None None None None None
Separator constraints None None None None None None None None None None
Separator variables None None None None None None None None None None
Clusters per var None None None None None None None None None None
Dual tree decomposition
Number of clusters: None
Number of leaves: None
Tree depth: None
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/DualTree1.json
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints None None None None None None None None None None
Variables per cluster None None None None None None None None None None
Separator constraints None None None None None None None None None None
Separator variables None None None None None None None None None None
Clusters per variable None None None None None None None None None None
Primal graph
Density: 0.98%
MCB compute time (ms): None
MCB cycles: None
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Primal1.json
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 281 13.79 16.00 19,390 MAX VALUE 3,571.79 10.15 0.74 1.61
Eccentricity 5 5 5.00 5.00 7,030 MAX VALUE 2,262.87 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: None%
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 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
MCB cycle size None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Dual1.json
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
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.04%
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.71 4.00 35,968 MAX VALUE 12,529.10 0.74 0.20 1.04
Eccentricity 12 17 14.44 14.00 140,031 MAX VALUE 25,874.40 0.77 0.05 1.15
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: 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
Incidence graph
Density: 0.03%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/3-insertions-5-4_ext/Incidence1.json
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 281 3.49 2.00 38,780 MAX VALUE 10,291.90 5.33 1.53 0.58
Eccentricity 11 12 11.87 12.00 131,806 MAX VALUE 27,462.60 0.33 0.03 0.38
MCB cycle size None None None None None None None None None None