XCSP 2.1 Benchmark Database

Instance: normalized-5-fullins-3-6-ext
Number of variables: 154
Number of constraints: 792
Satisfiable: True
Timestamp: 2025-07-27 21:34:20
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 154
Number of constraints: 792

General features

Coarse blocks: 9,504
Value tables: 154

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

Arity 2 2 2.00 2.00 1,584 MAX VALUE 548.97 0.00 0.00 0.00

Coarse blocks size 5 5 5.00 5.00 47,520 MAX VALUE 15,296.10 0.00 0.00 0.00

Relational linkage 0.83 0.83 0.83 0.83 770.00 0.00 -168.47 0.00 0.00 0.00

Tightness 0.17 0.17 0.17 0.17 132.00 0.00 -1,419.07 0.00 0.00 0.00

Tuples 30 30 30.00 30.00 23,760 MAX VALUE 2,693.75 0.00 0.00 0.00

Values 6 6 6.00 6.00 924 MAX VALUE 275.93 0.00 0.00 0.00

Value table constraints 4 27 10.29 7.00 1,584 MAX VALUE 336.97 5.92 0.58 1.70

Value table partitions 6 6 6.00 6.00 924 MAX VALUE 275.93 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	1,584	MAX VALUE	548.97	0.00	0.00	0.00
Coarse blocks size	5	5	5.00	5.00	47,520	MAX VALUE	15,296.10	0.00	0.00	0.00
Relational linkage	0.83	0.83	0.83	0.83	770.00	0.00	-168.47	0.00	0.00	0.00
Tightness	0.17	0.17	0.17	0.17	132.00	0.00	-1,419.07	0.00	0.00	0.00
Tuples	30	30	30.00	30.00	23,760	MAX VALUE	2,693.75	0.00	0.00	0.00
Values	6	6	6.00	6.00	924	MAX VALUE	275.93	0.00	0.00	0.00
Value table constraints	4	27	10.29	7.00	1,584	MAX VALUE	336.97	5.92	0.58	1.70
Value table partitions	6	6	6.00	6.00	924	MAX VALUE	275.93	0.00	0.00	0.00

Tree decomposition

Number of clusters: 100
Number of leaves: 57
Tree depth: 15
CIR: 0.48
Independent Cluster Pairs: 2,337
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/Tree1.json

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

Cluster constraints 4 95 25.42 10.00 2,542 MAX VALUE 270.28 27.22 1.07 2.94

Variables per cluster 5 36 14.88 9.00 1,488 MAX VALUE 249.36 9.90 0.67 2.70

Separator constraints 0 93 17.50 1.00 1,750 0 None 25.16 1.44 2.47

Separator variables 0 35 13.34 7.50 1,334 0 None 9.43 0.71 2.75

Clusters per var 1 44 9.66 6.00 1,488 MAX VALUE 239.70 9.53 0.99 2.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	4	95	25.42	10.00	2,542	MAX VALUE	270.28	27.22	1.07	2.94
Variables per cluster	5	36	14.88	9.00	1,488	MAX VALUE	249.36	9.90	0.67	2.70
Separator constraints	0	93	17.50	1.00	1,750	0	None	25.16	1.44	2.47
Separator variables	0	35	13.34	7.50	1,334	0	None	9.43	0.71	2.75
Clusters per var	1	44	9.66	6.00	1,488	MAX VALUE	239.70	9.53	0.99	2.64

Dual tree decomposition

Number of clusters: 152
Number of leaves: 63
Tree depth: 9
CIR: 0.65
Independent Cluster Pairs: 7,408
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/DualTree1.json

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

Cluster constraints 12 1,647 248.63 74.50 37,792 MAX VALUE 719.53 333.37 1.34 3.98

Variables per cluster 7 239 41.38 26.00 6,289 MAX VALUE 506.33 44.20 1.07 3.56

Separator constraints 0 1,122 182.47 56.00 27,736 0 None 226.66 1.24 3.95

Separator variables 0 177 36.16 25.00 5,497 0 None 34.62 0.96 3.59

Clusters per variable 1 17 7.94 9.00 6,289 MAX VALUE 1,499.56 3.61 0.45 2.55

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	12	1,647	248.63	74.50	37,792	MAX VALUE	719.53	333.37	1.34	3.98
Variables per cluster	7	239	41.38	26.00	6,289	MAX VALUE	506.33	44.20	1.07	3.56
Separator constraints	0	1,122	182.47	56.00	27,736	0	None	226.66	1.24	3.95
Separator variables	0	177	36.16	25.00	5,497	0	None	34.62	0.96	3.59
Clusters per variable	1	17	7.94	9.00	6,289	MAX VALUE	1,499.56	3.61	0.45	2.55

Primal graph

Density: 6.72%
MCB compute time (ms): None
MCB cycles: None
Triangles: 204
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/Primal1.json

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

Clustering coefficient 0.00 0.42 0.04 0.00 6.13 0.00 None 0.09 2.22 1.26

Degree 4 27 10.29 7.00 1,584 MAX VALUE 336.97 5.92 0.58 1.70

Eccentricity 2 4 3.69 4.00 569 MAX VALUE 199.85 0.47 0.13 0.64

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.42	0.04	0.00	6.13	0.00	None	0.09	2.22	1.26
Degree	4	27	10.29	7.00	1,584	MAX VALUE	336.97	5.92	0.58	1.70
Eccentricity	2	4	3.69	4.00	569	MAX VALUE	199.85	0.47	0.13	0.64
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 21.63%
MCB compute time (ms): None
MCB cycles: None
Triangles: 28,614

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

Clustering coefficient 0.40 1.00 0.82 0.78 125.71 0.00 -34.75 0.17 0.21 3.34

Degree 4 85 33.09 27.50 5,096 MAX VALUE 472.32 25.54 0.77 3.53

Eccentricity 2 4 3.26 3.00 502 MAX VALUE 180.10 0.51 0.16 0.74

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.40	1.00	0.82	0.78	125.71	0.00	-34.75	0.17	0.21	3.34
Degree	4	85	33.09	27.50	5,096	MAX VALUE	472.32	25.54	0.77	3.53
Eccentricity	2	4	3.26	3.00	502	MAX VALUE	180.10	0.51	0.16	0.74
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 3.21%
MCB compute time (ms): 10,989
MCB cycles: 15,208
Triangles: 51,815
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/Dual1.json

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

Clustering coefficient 0.40 0.81 0.54 0.49 425.51 0.00 -501.39 0.09 0.16 2.70

Degree 6 52 25.39 29.00 20,112 MAX VALUE 2,487.33 9.98 0.39 2.40

Eccentricity 3 5 4.31 4.00 3,412 MAX VALUE 1,150.59 0.53 0.12 0.78

MCB cycle size 3 5 3.69 3.00 56,087 MAX VALUE 19,461.20 0.86 0.23 0.97

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.81	0.54	0.49	425.51	0.00	-501.39	0.09	0.16	2.70
Degree	6	52	25.39	29.00	20,112	MAX VALUE	2,487.33	9.98	0.39	2.40
Eccentricity	3	5	4.31	4.00	3,412	MAX VALUE	1,150.59	0.53	0.12	0.78
MCB cycle size	3	5	3.69	3.00	56,087	MAX VALUE	19,461.20	0.86	0.23	0.97

Minimal dual graph

Density: 0.46%
MCB compute time (ms): 12,551
MCB cycles: 639

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

Clustering coefficient 0.00 0.10 0.00 0.00 0.23 0.00 None 0.00 16.55 0.03

Degree 2 6 3.61 4.00 2,860 MAX VALUE 1,004.34 0.66 0.18 0.94

Eccentricity 8 13 10.54 11.00 8,346 MAX VALUE 1,861.72 0.97 0.09 1.39

MCB cycle size 3 12 7.20 7.00 4,598 MAX VALUE 1,245.39 1.53 0.21 1.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.10	0.00	0.00	0.23	0.00	None	0.00	16.55	0.03
Degree	2	6	3.61	4.00	2,860	MAX VALUE	1,004.34	0.66	0.18	0.94
Eccentricity	8	13	10.54	11.00	8,346	MAX VALUE	1,861.72	0.97	0.09	1.39
MCB cycle size	3	12	7.20	7.00	4,598	MAX VALUE	1,245.39	1.53	0.21	1.72

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

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

Clustering coefficient 0.46 1.00 0.81 0.78 640.12 0.00 -182.65 0.15 0.19 3.94

Degree 2 220 45.05 8.00 35,682 MAX VALUE 2,100.12 63.07 1.40 3.68

Eccentricity 3 5 4.00 4.00 3,168 MAX VALUE 1,089.36 0.58 0.14 0.87

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.46	1.00	0.81	0.78	640.12	0.00	-182.65	0.15	0.19	3.94
Degree	2	220	45.05	8.00	35,682	MAX VALUE	2,100.12	63.07	1.40	3.68
Eccentricity	3	5	4.00	4.00	3,168	MAX VALUE	1,089.36	0.58	0.14	0.87

Incidence graph

Density: 0.35%
MCB compute time (ms): 4,084
MCB cycles: 639
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-6-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-insertion-full-insertionExtConvert/normalized-5-fullins-3-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 27 3.35 2.00 3,168 MAX VALUE 885.94 3.88 1.16 0.72

Eccentricity 5 10 8.60 8.00 8,131 MAX VALUE 2,027.84 1.05 0.12 1.22

MCB cycle size 6 8 7.71 8.00 4,924 MAX VALUE 1,301.72 0.71 0.09 0.42

XCSP 2.1 Benchmarks