XCSP 2.1 Benchmark Database

Instance: normalized-1-fullins-3-4_ext
Number of variables: 30
Number of constraints: 100
Satisfiable: None
Timestamp: 2018-04-21 10:07:02
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 30
Number of constraints: 100

General features

Coarse blocks: 800
Value tables: 30

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

Arity 2 2 2.00 2.00 200 1.27e+30 69.31 0.00 0.00 0.00

Coarse blocks size 3 3 3.00 3.00 2,400 MAX VALUE 878.89 0.00 0.00 0.00

Relational linkage 0.75 0.75 0.75 0.75 90.00 0.00 -34.52 0.00 0.00 0.00

Tightness 0.25 0.25 0.25 0.25 25.00 0.00 -138.63 0.00 0.00 0.00

Tuples 12 12 12.00 12.00 1,200 MAX VALUE 248.49 0.00 0.00 0.00

Values 4 4 4.00 4.00 120 1.15e+18 41.59 0.00 0.00 0.00

Value table constraints 4 11 6.67 6.00 200 1.34e+24 55.55 2.05 0.31 1.89

Value table partitions 4 4 4.00 4.00 120 1.15e+18 41.59 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	200	1.27e+30	69.31	0.00	0.00	0.00
Coarse blocks size	3	3	3.00	3.00	2,400	MAX VALUE	878.89	0.00	0.00	0.00
Relational linkage	0.75	0.75	0.75	0.75	90.00	0.00	-34.52	0.00	0.00	0.00
Tightness	0.25	0.25	0.25	0.25	25.00	0.00	-138.63	0.00	0.00	0.00
Tuples	12	12	12.00	12.00	1,200	MAX VALUE	248.49	0.00	0.00	0.00
Values	4	4	4.00	4.00	120	1.15e+18	41.59	0.00	0.00	0.00
Value table constraints	4	11	6.67	6.00	200	1.34e+24	55.55	2.05	0.31	1.89
Value table partitions	4	4	4.00	4.00	120	1.15e+18	41.59	0.00	0.00	0.00

Tree decomposition

Number of clusters: 18
Number of leaves: 11
Tree depth: 4
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/Tree1.json

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

Cluster constraints 4 14 8.22 7.00 148 7.06e+15 36.49 3.38 0.41 1.96

Variables per cluster 5 12 7.50 7.00 135 2.74e+15 35.55 2.22 0.30 1.62

Separator constraints 0 12 2.67 1.00 48 0 None 3.46 1.30 1.45

Separator variables 0 10 5.83 6.00 105 0 None 2.32 0.40 1.72

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	4	14	8.22	7.00	148	7.06e+15	36.49	3.38	0.41	1.96
Variables per cluster	5	12	7.50	7.00	135	2.74e+15	35.55	2.22	0.30	1.62
Separator constraints	0	12	2.67	1.00	48	0	None	3.46	1.30	1.45
Separator variables	0	10	5.83	6.00	105	0	None	2.32	0.40	1.72
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 28
Number of leaves: 11
Tree depth: 5
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/DualTree1.json

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

Cluster constraints 12 139 57.43 53.50 1,608 MAX VALUE 107.71 34.37 0.60 3.02

Variables per cluster 7 41 18.82 16.50 527 1.41e+34 78.63 9.86 0.52 2.70

Separator constraints 0 78 34.93 35.50 978 0 None 20.75 0.59 2.99

Separator variables 0 31 15.25 13.50 427 0 None 7.61 0.50 2.68

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	12	139	57.43	53.50	1,608	MAX VALUE	107.71	34.37	0.60	3.02
Variables per cluster	7	41	18.82	16.50	527	1.41e+34	78.63	9.86	0.52	2.70
Separator constraints	0	78	34.93	35.50	978	0	None	20.75	0.59	2.99
Separator variables	0	31	15.25	13.50	427	0	None	7.61	0.50	2.68
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 22.99%
MCB compute time (ms): None
MCB cycles: None
Triangles: 22
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/Primal1.json

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

Clustering coefficient 0.00 0.32 0.09 0.07 2.75 0.00 None 0.09 0.97 2.27

Degree 4 11 6.67 6.00 200 1.34e+24 55.55 2.05 0.31 1.89

Eccentricity 2 3 2.97 3.00 89 1.37e+14 32.55 0.18 0.06 0.15

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.32	0.09	0.07	2.75	0.00	None	0.09	0.97	2.27
Degree	4	11	6.67	6.00	200	1.34e+24	55.55	2.05	0.31	1.89
Eccentricity	2	3	2.97	3.00	89	1.37e+14	32.55	0.18	0.06	0.15
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 41.61%
MCB compute time (ms): None
MCB cycles: None
Triangles: 567

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

Clustering coefficient 0.48 1.00 0.81 0.83 24.29 0.00 -7.26 0.19 0.24 2.15

Degree 4 22 12.07 13.00 362 1.33e+30 69.37 6.64 0.55 2.43

Eccentricity 2 3 2.40 2.00 72 1.39e+11 25.66 0.49 0.20 0.67

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.48	1.00	0.81	0.83	24.29	0.00	-7.26	0.19	0.24	2.15
Degree	4	22	12.07	13.00	362	1.33e+30	69.37	6.64	0.55	2.43
Eccentricity	2	3	2.40	2.00	72	1.39e+11	25.66	0.49	0.20	0.67
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 12.73%
MCB compute time (ms): 57
MCB cycles: 868
Triangles: 1,293
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/Dual1.json

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

Clustering coefficient 0.40 0.63 0.50 0.49 49.55 0.00 -70.64 0.05 0.09 2.87

Degree 6 20 12.60 13.00 1,260 MAX VALUE 250.67 2.82 0.22 2.32

Eccentricity 3 4 3.35 3.00 335 MAX VALUE 119.93 0.48 0.14 0.65

MCB cycle size 3 6 3.66 3.00 3,181 MAX VALUE 1,107.22 0.82 0.22 1.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.63	0.50	0.49	49.55	0.00	-70.64	0.05	0.09	2.87
Degree	6	20	12.60	13.00	1,260	MAX VALUE	250.67	2.82	0.22	2.32
Eccentricity	3	4	3.35	3.00	335	MAX VALUE	119.93	0.48	0.14	0.65
MCB cycle size	3	6	3.66	3.00	3,181	MAX VALUE	1,107.22	0.82	0.22	1.00

Minimal dual graph

Density: 3.43%
MCB compute time (ms): 18
MCB cycles: 71

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.40 3.00 340 MAX VALUE 120.68 0.65 0.19 0.91

Eccentricity 6 8 6.85 7.00 685 MAX VALUE 192.01 0.62 0.09 0.93

MCB cycle size 4 9 6.24 6.00 443 MAX VALUE 128.18 1.37 0.22 1.64

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.40	3.00	340	MAX VALUE	120.68	0.65	0.19	0.91
Eccentricity	6	8	6.85	7.00	685	MAX VALUE	192.01	0.62	0.09	0.93
MCB cycle size	4	9	6.24	6.00	443	MAX VALUE	128.18	1.37	0.22	1.64

Triangulated dual graph

Density: 44.51%
Triangles: 28,927

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

Clustering coefficient 0.62 1.00 0.82 0.80 81.72 0.00 -20.99 0.10 0.13 4.07

Degree 6 77 44.06 50.00 4,406 MAX VALUE 361.57 20.69 0.47 3.72

Eccentricity 2 3 2.55 3.00 255 MAX VALUE 91.62 0.50 0.20 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.62	1.00	0.82	0.80	81.72	0.00	-20.99	0.10	0.13	4.07
Degree	6	77	44.06	50.00	4,406	MAX VALUE	361.57	20.69	0.47	3.72
Eccentricity	2	3	2.55	3.00	255	MAX VALUE	91.62	0.50	0.20	0.69

Triangulated minimal dual graph

Density: 12.61%

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

Clustering coefficient 0.42 1.00 0.76 0.71 76.08 0.00 -30.88 0.20 0.26 2.92

Degree 2 40 12.48 7.00 1,248 MAX VALUE 210.19 11.08 0.89 2.86

Eccentricity 3 4 3.62 4.00 362 MAX VALUE 127.70 0.49 0.13 0.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.42	1.00	0.76	0.71	76.08	0.00	-30.88	0.20	0.26	2.92
Degree	2	40	12.48	7.00	1,248	MAX VALUE	210.19	11.08	0.89	2.86
Eccentricity	3	4	3.62	4.00	362	MAX VALUE	127.70	0.49	0.13	0.66

Incidence graph

Density: 2.39%
MCB compute time (ms): 23
MCB cycles: 71
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-4_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-1-fullins-3-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 11 3.08 2.00 400 MAX VALUE 124.87 2.20 0.72 0.98

Eccentricity 5 8 7.05 7.00 917 MAX VALUE 253.30 0.71 0.10 1.05

MCB cycle size 6 8 7.38 8.00 524 MAX VALUE 141.31 0.92 0.13 0.62

XCSP 2.1 Benchmarks