XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 67
Number of constraints: 232

General features

Coarse blocks: 1,392
Value tables: 67

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

Arity 2 2 2.00 2.00 464 MAX VALUE 160.81 0.00 0.00 0.00

Coarse blocks size 2 2 2.00 2.00 2,784 MAX VALUE 964.86 0.00 0.00 0.00

Relational linkage 0.67 0.67 0.67 0.67 134.00 0.00 -81.50 0.00 0.00 0.00

Tightness 0.33 0.33 0.33 0.33 77.33 0.00 -254.88 0.00 0.00 0.00

Tuples 6 6 6.00 6.00 1,392 MAX VALUE 415.69 0.00 0.00 0.00

Values 3 3 3.00 3.00 201 9.27e+31 73.61 0.00 0.00 0.00

Value table constraints 4 22 6.93 6.00 464 MAX VALUE 125.99 2.69 0.39 1.42

Value table partitions 3 3 3.00 3.00 201 9.27e+31 73.61 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	464	MAX VALUE	160.81	0.00	0.00	0.00
Coarse blocks size	2	2	2.00	2.00	2,784	MAX VALUE	964.86	0.00	0.00	0.00
Relational linkage	0.67	0.67	0.67	0.67	134.00	0.00	-81.50	0.00	0.00	0.00
Tightness	0.33	0.33	0.33	0.33	77.33	0.00	-254.88	0.00	0.00	0.00
Tuples	6	6	6.00	6.00	1,392	MAX VALUE	415.69	0.00	0.00	0.00
Values	3	3	3.00	3.00	201	9.27e+31	73.61	0.00	0.00	0.00
Value table constraints	4	22	6.93	6.00	464	MAX VALUE	125.99	2.69	0.39	1.42
Value table partitions	3	3	3.00	3.00	201	9.27e+31	73.61	0.00	0.00	0.00

Tree decomposition

Number of clusters: 44
Number of leaves: 32
Tree depth: 5
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Tree1.json

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

Cluster constraints 0 28 8.18 5.50 360 0 None 5.85 0.71 2.12

Variables per cluster 5 22 9.20 7.00 405 MAX VALUE 92.47 4.89 0.53 2.03

Separator constraints 0 16 2.91 0.00 128 0 None 5.54 1.90 0.96

Separator variables 0 18 7.68 5.50 338 0 None 4.54 0.59 2.02

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	0	28	8.18	5.50	360	0	None	5.85	0.71	2.12
Variables per cluster	5	22	9.20	7.00	405	MAX VALUE	92.47	4.89	0.53	2.03
Separator constraints	0	16	2.91	0.00	128	0	None	5.54	1.90	0.96
Separator variables	0	18	7.68	5.50	338	0	None	4.54	0.59	2.02
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 65
Number of leaves: 29
Tree depth: 6
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/DualTree1.json

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

Cluster constraints 25 328 75.25 46.00 4,891 MAX VALUE 264.09 68.65 0.91 3.22

Variables per cluster 10 94 23.80 15.00 1,547 MAX VALUE 192.77 18.20 0.76 3.07

Separator constraints 0 241 50.37 31.00 3,274 0 None 42.79 0.85 3.29

Separator variables 0 67 20.23 14.00 1,315 0 None 13.89 0.69 3.05

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	25	328	75.25	46.00	4,891	MAX VALUE	264.09	68.65	0.91	3.22
Variables per cluster	10	94	23.80	15.00	1,547	MAX VALUE	192.77	18.20	0.76	3.07
Separator constraints	0	241	50.37	31.00	3,274	0	None	42.79	0.85	3.29
Separator variables	0	67	20.23	14.00	1,315	0	None	13.89	0.69	3.05
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 10.49%
MCB compute time (ms): None
MCB cycles: None
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_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 4 22 6.93 6.00 464 MAX VALUE 125.99 2.69 0.39 1.42

Eccentricity 3 3 3.00 3.00 201 9.27e+31 73.61 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	4	22	6.93	6.00	464	MAX VALUE	125.99	2.69	0.39	1.42
Eccentricity	3	3	3.00	3.00	201	9.27e+31	73.61	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 27.36%
MCB compute time (ms): None
MCB cycles: None
Triangles: 3,429

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

Clustering coefficient 0.31 1.00 0.83 0.86 55.33 0.00 -14.80 0.19 0.22 2.51

Degree 4 56 18.06 18.00 1,210 MAX VALUE 170.53 13.43 0.74 2.78

Eccentricity 2 3 2.46 2.00 165 4.24e+25 59.01 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.31	1.00	0.83	0.86	55.33	0.00	-14.80	0.19	0.22	2.51
Degree	4	56	18.06	18.00	1,210	MAX VALUE	170.53	13.43	0.74	2.78
Eccentricity	2	3	2.46	2.00	165	4.24e+25	59.01	0.50	0.20	0.69
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 6.03%
MCB compute time (ms): 1,188
MCB cycles: 1,728
Triangles: 4,340
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Dual1.json

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

Clustering coefficient 0.44 0.77 0.51 0.47 119.30 0.00 -157.05 0.09 0.17 1.95

Degree 9 28 13.94 12.00 3,234 MAX VALUE 602.48 4.20 0.30 1.95

Eccentricity 4 4 4.00 4.00 928 MAX VALUE 321.62 0.00 0.00 0.00

MCB cycle size 3 7 3.42 3.00 5,903 MAX VALUE 2,088.99 0.76 0.22 0.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.44	0.77	0.51	0.47	119.30	0.00	-157.05	0.09	0.17	1.95
Degree	9	28	13.94	12.00	3,234	MAX VALUE	602.48	4.20	0.30	1.95
Eccentricity	4	4	4.00	4.00	928	MAX VALUE	321.62	0.00	0.00	0.00
MCB cycle size	3	7	3.42	3.00	5,903	MAX VALUE	2,088.99	0.76	0.22	0.83

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 232
MCB cycles: 166

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 5 3.42 3.00 794 MAX VALUE 280.73 0.70 0.20 1.02

Eccentricity 7 9 8.01 8.00 1,858 MAX VALUE 481.97 0.62 0.08 0.94

MCB cycle size 4 10 6.79 7.00 1,127 MAX VALUE 315.09 1.23 0.18 1.59

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	5	3.42	3.00	794	MAX VALUE	280.73	0.70	0.20	1.02
Eccentricity	7	9	8.01	8.00	1,858	MAX VALUE	481.97	0.62	0.08	0.94
MCB cycle size	4	10	6.79	7.00	1,127	MAX VALUE	315.09	1.23	0.18	1.59

Triangulated dual graph

Density: 35.40%
Triangles: 259,830

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

Clustering coefficient 0.67 1.00 0.82 0.81 190.18 0.00 -47.72 0.10 0.12 4.81

Degree 9 143 81.78 87.00 18,974 MAX VALUE 951.19 49.28 0.60 4.05

Eccentricity 2 3 2.55 3.00 592 MAX VALUE 212.71 0.50 0.19 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.67	1.00	0.82	0.81	190.18	0.00	-47.72	0.10	0.12	4.81
Degree	9	143	81.78	87.00	18,974	MAX VALUE	951.19	49.28	0.60	4.05
Eccentricity	2	3	2.55	3.00	592	MAX VALUE	212.71	0.50	0.19	0.69

Triangulated minimal dual graph

Density: 8.70%

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

Clustering coefficient 0.45 1.00 0.79 0.71 182.68 0.00 -60.77 0.17 0.21 3.24

Degree 2 71 20.09 7.00 4,660 MAX VALUE 526.11 23.77 1.18 3.07

Eccentricity 3 5 3.81 4.00 885 MAX VALUE 308.28 0.53 0.14 0.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.45	1.00	0.79	0.71	182.68	0.00	-60.77	0.17	0.21	3.24
Degree	2	71	20.09	7.00	4,660	MAX VALUE	526.11	23.77	1.18	3.07
Eccentricity	3	5	3.81	4.00	885	MAX VALUE	308.28	0.53	0.14	0.78

Incidence graph

Density: 1.04%
MCB compute time (ms): 285
MCB cycles: 166
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/k-insertionExtConvert/1-insertions-4-3_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 22 3.10 2.00 928 MAX VALUE 286.80 2.42 0.78 0.85

Eccentricity 7 8 7.78 8.00 2,325 MAX VALUE 612.81 0.42 0.05 0.53

MCB cycle size 8 14 8.04 8.00 1,334 MAX VALUE 345.75 0.46 0.06 0.04

XCSP 2.1 Benchmarks