XCSP 2.1 Benchmark Database

Instance: normalized-bqwh-18-141-87_glb_ext
Number of variables: 141
Number of constraints: 36
Satisfiable: None
Timestamp: 2018-04-21 09:59:36
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 141
Number of constraints: 36

General features

Coarse blocks: 1,049
Value tables: 141

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

Arity 7 8 7.83 8.00 282 1.46e+32 74.06 0.37 0.05 0.45

Coarse blocks size 2 296 45.14 26.00 47,347 MAX VALUE 3,473.67 45.37 1.01 4.57

Relational linkage 0.00 0.01 0.00 0.00 1.18 0.00 -3,127.02 0.00 0.55 5.23

Tightness 0.99 1.00 1.00 1.00 35.88 0.89 -0.12 0.00 0.00 3.58

Tuples 12 640 165.22 76.00 5,948 MAX VALUE 163.76 178.55 1.08 3.51

Values 1 6 3.90 4.00 550 MAX VALUE 186.87 1.00 0.26 1.40

Value table constraints 2 2 2.00 2.00 282 MAX VALUE 97.73 0.00 0.00 0.00

Value table partitions 1 6 3.85 4.00 543 MAX VALUE 183.29 1.08 0.28 1.46

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	7	8	7.83	8.00	282	1.46e+32	74.06	0.37	0.05	0.45
Coarse blocks size	2	296	45.14	26.00	47,347	MAX VALUE	3,473.67	45.37	1.01	4.57
Relational linkage	0.00	0.01	0.00	0.00	1.18	0.00	-3,127.02	0.00	0.55	5.23
Tightness	0.99	1.00	1.00	1.00	35.88	0.89	-0.12	0.00	0.00	3.58
Tuples	12	640	165.22	76.00	5,948	MAX VALUE	163.76	178.55	1.08	3.51
Values	1	6	3.90	4.00	550	MAX VALUE	186.87	1.00	0.26	1.40
Value table constraints	2	2	2.00	2.00	282	MAX VALUE	97.73	0.00	0.00	0.00
Value table partitions	1	6	3.85	4.00	543	MAX VALUE	183.29	1.08	0.28	1.46

Tree decomposition

Number of clusters: 34
Number of leaves: 18
Tree depth: 4
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/Tree1.json

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

Cluster constraints 0 2 1.06 2.00 36 0 None 1.00 0.94 0.69

Variables per cluster 13 67 24.79 15.00 843 MAX VALUE 104.69 14.38 0.58 2.04

Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Separator variables 0 49 20.65 14.00 702 0 None 10.79 0.52 2.04

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	2	1.06	2.00	36	0	None	1.00	0.94	0.69
Variables per cluster	13	67	24.79	15.00	843	MAX VALUE	104.69	14.38	0.58	2.04
Separator constraints	0	0	0.00	0.00	0	0	None	0.00	None	0.00
Separator variables	0	49	20.65	14.00	702	0	None	10.79	0.52	2.04
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 20
Number of leaves: 18
Tree depth: 2
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/DualTree1.json

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

Cluster constraints 0 8 7.05 8.00 141 0 None 2.38 0.34 0.73

Variables per cluster 8 17 9.65 9.00 193 3.05e+19 44.86 2.48 0.26 0.73

Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Separator variables 0 16 7.85 8.00 157 0 None 2.55 0.33 0.80

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	0	8	7.05	8.00	141	0	None	2.38	0.34	0.73
Variables per cluster	8	17	9.65	9.00	193	3.05e+19	44.86	2.48	0.26	0.73
Separator constraints	0	0	0.00	0.00	0	0	None	0.00	None	0.00
Separator variables	0	16	7.85	8.00	157	0	None	2.55	0.33	0.80
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 9.79%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/Primal1.json

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

Clustering coefficient 0.45 0.46 0.46 0.46 65.05 0.00 -109.08 0.00 0.00 0.13

Degree 12 14 13.70 14.00 1,932 MAX VALUE 368.97 0.52 0.04 0.67

Eccentricity 3 3 3.00 3.00 423 MAX VALUE 154.90 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.45	0.46	0.46	0.46	65.05	0.00	-109.08	0.00	0.00	0.13
Degree	12	14	13.70	14.00	1,932	MAX VALUE	368.97	0.52	0.04	0.67
Eccentricity	3	3	3.00	3.00	423	MAX VALUE	154.90	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 47.29%
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 0.70 1.00 0.83 0.80 117.17 0.00 -26.91 0.09 0.11 3.30

Degree 12 103 66.21 76.00 9,336 MAX VALUE 565.62 31.52 0.48 2.81

Eccentricity 2 3 2.28 2.00 322 MAX VALUE 113.95 0.45 0.20 0.60

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.70	1.00	0.83	0.80	117.17	0.00	-26.91	0.09	0.11	3.30
Degree	12	103	66.21	76.00	9,336	MAX VALUE	565.62	31.52	0.48	2.81
Eccentricity	2	3	2.28	2.00	322	MAX VALUE	113.95	0.45	0.20	0.60
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 22.38%
MCB compute time (ms): 10
MCB cycles: 125
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/Dual1.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 7 8 7.83 8.00 282 1.46e+32 74.06 0.37 0.05 0.45

Eccentricity 3 4 3.06 3.00 110 2.67e+17 40.13 0.23 0.07 0.21

MCB cycle size 4 6 4.02 4.00 502 MAX VALUE 173.69 0.18 0.04 0.05

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	7	8	7.83	8.00	282	1.46e+32	74.06	0.37	0.05	0.45
Eccentricity	3	4	3.06	3.00	110	2.67e+17	40.13	0.23	0.07	0.21
MCB cycle size	4	6	4.02	4.00	502	MAX VALUE	173.69	0.18	0.04	0.05

Minimal dual graph

Density: 22.38%
MCB compute time (ms): 9
MCB cycles: 125

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 7 8 7.83 8.00 282 1.46e+32 74.06 0.37 0.05 0.45

Eccentricity 3 4 3.06 3.00 110 2.67e+17 40.13 0.23 0.07 0.21

MCB cycle size 4 6 4.02 4.00 502 MAX VALUE 173.69 0.18 0.04 0.05

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	7	8	7.83	8.00	282	1.46e+32	74.06	0.37	0.05	0.45
Eccentricity	3	4	3.06	3.00	110	2.67e+17	40.13	0.23	0.07	0.21
MCB cycle size	4	6	4.02	4.00	502	MAX VALUE	173.69	0.18	0.04	0.05

Triangulated dual graph

Density: 46.51%
Triangles: 1,283

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

Clustering coefficient 0.63 1.00 0.82 0.83 29.48 0.00 -8.10 0.18 0.22 1.46

Degree 7 25 16.28 16.00 586 MAX VALUE 94.77 8.45 0.52 1.21

Eccentricity 2 2 2.00 2.00 72 6.87e+10 24.95 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.63	1.00	0.82	0.83	29.48	0.00	-8.10	0.18	0.22	1.46
Degree	7	25	16.28	16.00	586	MAX VALUE	94.77	8.45	0.52	1.21
Eccentricity	2	2	2.00	2.00	72	6.87e+10	24.95	0.00	0.00	0.00

Triangulated minimal dual graph

Density: 46.51%

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

Clustering coefficient 0.63 1.00 0.82 0.83 29.48 0.00 -8.10 0.18 0.22 1.46

Degree 7 25 16.28 16.00 586 MAX VALUE 94.77 8.45 0.52 1.21

Eccentricity 2 2 2.00 2.00 72 6.87e+10 24.95 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.63	1.00	0.82	0.83	29.48	0.00	-8.10	0.18	0.22	1.46
Degree	7	25	16.28	16.00	586	MAX VALUE	94.77	8.45	0.52	1.21
Eccentricity	2	2	2.00	2.00	72	6.87e+10	24.95	0.00	0.00	0.00

Incidence graph

Density: 1.81%
MCB compute time (ms): 94
MCB cycles: 106
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/bqwh-18-141_glbExtConvert/normalized-bqwh-18-141-87_glb_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 8 3.19 2.00 564 MAX VALUE 171.79 2.35 0.74 0.60

Eccentricity 6 8 6.11 6.00 1,082 MAX VALUE 320.18 0.35 0.06 0.36

MCB cycle size 8 8 8.00 8.00 848 MAX VALUE 220.42 0.00 0.00 0.00

XCSP 2.1 Benchmarks