XCSP 2.1 Benchmark Database

Instance: 1-insertions-6-6_ext
Number of variables: None
Number of constraints: None
Satisfiable: None
Timestamp: 2017-10-27 10:46:10
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 607
Number of constraints: 6337

General features

Coarse blocks: 76,044
Value tables: 607

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Arity 2 2 2.00 2.00 12,674 MAX VALUE 4,392.47 0.00 0.00 0.00

Coarse blocks size 5 5 5.00 5.00 380,220 MAX VALUE 122,388.00 0.00 0.00 0.00

Relational linkage 0.83 0.83 0.83 0.83 3,035.00 0.00 -664.01 0.00 0.00 0.00

Tightness 0.17 0.17 0.17 0.17 1,056.17 0.00 -11,354.40 0.00 0.00 0.00

Tuples 30 30 30.00 30.00 190,110 MAX VALUE 21,553.40 0.00 0.00 0.00

Values 6 6 6.00 6.00 3,642 MAX VALUE 1,087.60 0.00 0.00 0.00

Value table constraints 6 202 20.88 18.00 12,674 MAX VALUE 1,758.96 14.64 0.70 2.66

Value table partitions 6 6 6.00 6.00 3,642 MAX VALUE 1,087.60 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	12,674	MAX VALUE	4,392.47	0.00	0.00	0.00
Coarse blocks size	5	5	5.00	5.00	380,220	MAX VALUE	122,388.00	0.00	0.00	0.00
Relational linkage	0.83	0.83	0.83	0.83	3,035.00	0.00	-664.01	0.00	0.00	0.00
Tightness	0.17	0.17	0.17	0.17	1,056.17	0.00	-11,354.40	0.00	0.00	0.00
Tuples	30	30	30.00	30.00	190,110	MAX VALUE	21,553.40	0.00	0.00	0.00
Values	6	6	6.00	6.00	3,642	MAX VALUE	1,087.60	0.00	0.00	0.00
Value table constraints	6	202	20.88	18.00	12,674	MAX VALUE	1,758.96	14.64	0.70	2.66
Value table partitions	6	6	6.00	6.00	3,642	MAX VALUE	1,087.60	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/1-insertions-6-6_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_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

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/1-insertions-6-6_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_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

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: 3.45%
MCB compute time (ms): None
MCB cycles: None
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_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 6 202 20.88 18.00 12,674 MAX VALUE 1,758.96 14.64 0.70 2.66

Eccentricity 3 3 3.00 3.00 1,821 MAX VALUE 666.86 0.00 0.00 0.00

MCB cycle size None None None None None None None None None 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	6	202	20.88	18.00	12,674	MAX VALUE	1,758.96	14.64	0.70	2.66
Eccentricity	3	3	3.00	3.00	1,821	MAX VALUE	666.86	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 19.37%
MCB compute time (ms): None
MCB cycles: None
Triangles: 2,042,600

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.29 1.00 0.89 0.94 540.03 0.00 -78.31 0.13 0.14 3.54

Degree 6 472 117.40 45.00 71,262 MAX VALUE 2,396.17 115.28 0.98 4.34

Eccentricity 2 3 2.50 3.00 1,519 MAX VALUE 544.41 0.50 0.20 0.69

MCB cycle size None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.29	1.00	0.89	0.94	540.03	0.00	-78.31	0.13	0.14	3.54
Degree	6	472	117.40	45.00	71,262	MAX VALUE	2,396.17	115.28	0.98	4.34
Eccentricity	2	3	2.50	3.00	1,519	MAX VALUE	544.41	0.50	0.20	0.69
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/1-insertions-6-6_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_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

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.06%
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.81 4.00 24,134 MAX VALUE 8,315.18 0.90 0.24 1.16

Eccentricity 11 16 12.83 13.00 81,288 MAX VALUE 16,156.20 0.83 0.06 1.23

MCB cycle size None None None None None None None None None 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.81	4.00	24,134	MAX VALUE	8,315.18	0.90	0.24	1.16
Eccentricity	11	16	12.83	13.00	81,288	MAX VALUE	16,156.20	0.83	0.06	1.23
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

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: 4.90%

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.47 1.00 0.85 0.84 5,398.14 0.00 -1,096.25 0.13 0.15 4.83

Degree 2 1,588 310.19 9.00 1,965,660 MAX VALUE 20,772.50 530.90 1.71 4.31

Eccentricity 3 5 4.00 4.00 25,368 MAX VALUE 8,722.23 0.58 0.14 0.87

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	0.85	0.84	5,398.14	0.00	-1,096.25	0.13	0.15	4.83
Degree	2	1,588	310.19	9.00	1,965,660	MAX VALUE	20,772.50	530.90	1.71	4.31
Eccentricity	3	5	4.00	4.00	25,368	MAX VALUE	8,722.23	0.58	0.14	0.87

Incidence graph

Density: 0.05%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-6-6_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 202 3.65 2.00 25,348 MAX VALUE 6,151.44 6.87 1.88 0.53

Eccentricity 7 8 7.91 8.00 54,945 MAX VALUE 14,358.60 0.28 0.04 0.30

MCB cycle size None None None None None None None None None None

XCSP 2.1 Benchmarks