XCSP 2.1 Benchmark Database

Instance: normalized-ssa-7552-159-ext
Number of variables: 1363
Number of constraints: 1639
Satisfiable: True
Timestamp: 2025-07-27 21:34:10
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 1363
Number of constraints: 1639

General features

Coarse blocks: 10,991
Value tables: 1,278

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

Arity 2 5 2.43 2.00 3,986 MAX VALUE 1,412.49 0.61 0.25 0.81

Coarse blocks size 1 15 2.14 2.00 23,534 MAX VALUE 6,411.35 1.49 0.70 1.38

Relational linkage 0.06 1.00 0.60 0.50 1,988.31 0.00 -1,918.86 0.22 0.37 0.78

Tightness 0.06 0.50 0.40 0.50 648.38 0.00 -1,761.22 0.16 0.42 0.83

Tuples 1 16 3.87 2.00 6,336 MAX VALUE 1,879.84 2.81 0.73 1.19

Values 1 2 2.00 2.00 2,722 MAX VALUE 941.99 0.05 0.03 0.02

Value table constraints 2 136 3.49 3.00 4,457 MAX VALUE 1,410.61 4.91 1.41 1.48

Value table partitions 1 8 2.60 2.00 3,325 MAX VALUE 1,149.79 0.96 0.37 0.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	5	2.43	2.00	3,986	MAX VALUE	1,412.49	0.61	0.25	0.81
Coarse blocks size	1	15	2.14	2.00	23,534	MAX VALUE	6,411.35	1.49	0.70	1.38
Relational linkage	0.06	1.00	0.60	0.50	1,988.31	0.00	-1,918.86	0.22	0.37	0.78
Tightness	0.06	0.50	0.40	0.50	648.38	0.00	-1,761.22	0.16	0.42	0.83
Tuples	1	16	3.87	2.00	6,336	MAX VALUE	1,879.84	2.81	0.73	1.19
Values	1	2	2.00	2.00	2,722	MAX VALUE	941.99	0.05	0.03	0.02
Value table constraints	2	136	3.49	3.00	4,457	MAX VALUE	1,410.61	4.91	1.41	1.48
Value table partitions	1	8	2.60	2.00	3,325	MAX VALUE	1,149.79	0.96	0.37	0.72

Tree decomposition

Number of clusters: 2,492
Number of leaves: 854
Tree depth: 64
CIR: 0.94
Independent Cluster Pairs: 2,917,590
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Tree1.json

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

Cluster constraints 0 18 2.82 2.00 7,018 0 None 1.36 0.48 1.38

Variables per cluster 2 23 5.21 4.00 12,991 MAX VALUE 3,791.43 3.12 0.60 1.89

Separator constraints 0 16 1.05 1.00 2,627 0 None 1.43 1.36 1.41

Separator variables 0 20 4.12 3.00 10,265 0 None 2.88 0.70 1.86

Clusters per var 1 452 4.77 2.00 12,991 MAX VALUE 2,670.15 14.62 3.07 2.21

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	18	2.82	2.00	7,018	0	None	1.36	0.48	1.38
Variables per cluster	2	23	5.21	4.00	12,991	MAX VALUE	3,791.43	3.12	0.60	1.89
Separator constraints	0	16	1.05	1.00	2,627	0	None	1.43	1.36	1.41
Separator variables	0	20	4.12	3.00	10,265	0	None	2.88	0.70	1.86
Clusters per var	1	452	4.77	2.00	12,991	MAX VALUE	2,670.15	14.62	3.07	2.21

Dual tree decomposition

Number of clusters: 2,649
Number of leaves: 1,031
Tree depth: 56
CIR: 0.98
Independent Cluster Pairs: 3,436,500
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/DualTree1.json

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

Cluster constraints 0 12,091 233.95 9.00 619,731 0 None 1,128.24 4.82 3.09

Variables per cluster 2 211 12.83 6.00 33,994 MAX VALUE 5,287.70 24.96 1.95 2.66

Separator constraints 0 9,181 218.11 4.00 577,765 0 None 1,078.45 4.94 2.84

Separator variables 0 148 11.18 5.00 29,603 0 None 24.22 2.17 2.58

Clusters per variable 1 77 7.74 4.00 33,994 MAX VALUE 6,025.99 12.81 1.65 2.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	12,091	233.95	9.00	619,731	0	None	1,128.24	4.82	3.09
Variables per cluster	2	211	12.83	6.00	33,994	MAX VALUE	5,287.70	24.96	1.95	2.66
Separator constraints	0	9,181	218.11	4.00	577,765	0	None	1,078.45	4.94	2.84
Separator variables	0	148	11.18	5.00	29,603	0	None	24.22	2.17	2.58
Clusters per variable	1	77	7.74	4.00	33,994	MAX VALUE	6,025.99	12.81	1.65	2.73

Primal graph

Density: 0.27%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Primal1.json

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

Clustering coefficient 0.00 1.00 None 0.60 None None None None None 4.11

Degree 1 136 3.65 4.00 4,970 MAX VALUE 1,389.14 4.91 1.35 1.88

Eccentricity 12 23 18.52 19.00 25,249 MAX VALUE 3,968.48 2.22 0.12 2.14

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	1.00	None	0.60	None	None	None	None	None	4.11
Degree	1	136	3.65	4.00	4,970	MAX VALUE	1,389.14	4.91	1.35	1.88
Eccentricity	12	23	18.52	19.00	25,249	MAX VALUE	3,968.48	2.22	0.12	2.14
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 0.43%
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.00 1.00 None 0.83 None None None None None 5.27

Degree 1 350 5.85 4.00 7,970 MAX VALUE 1,662.44 13.20 2.26 2.39

Eccentricity 8 16 12.14 12.00 16,552 MAX VALUE 3,393.01 1.53 0.13 1.58

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	1.00	None	0.83	None	None	None	None	None	5.27
Degree	1	350	5.85	4.00	7,970	MAX VALUE	1,662.44	13.20	2.26	2.39
Eccentricity	8	16	12.14	12.00	16,552	MAX VALUE	3,393.01	1.53	0.13	1.58
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 1.43%
MCB compute time (ms): 73,359
MCB cycles: 17,678
Triangles: 580,656
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Dual1.json

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

Clustering coefficient 0.00 1.00 None 0.73 None None None None None 3.75

Degree 1 138 23.43 8.00 38,398 MAX VALUE 3,637.24 40.83 1.74 2.75

Eccentricity 11 22 17.67 18.00 28,960 MAX VALUE 4,695.10 2.07 0.12 2.08

MCB cycle size 3 17 3.06 3.00 54,160 MAX VALUE 19,653.70 0.55 0.18 0.12

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.73	None	None	None	None	None	3.75
Degree	1	138	23.43	8.00	38,398	MAX VALUE	3,637.24	40.83	1.74	2.75
Eccentricity	11	22	17.67	18.00	28,960	MAX VALUE	4,695.10	2.07	0.12	2.08
MCB cycle size	3	17	3.06	3.00	54,160	MAX VALUE	19,653.70	0.55	0.18	0.12

Minimal dual graph

Density: 0.16%
MCB compute time (ms): 9,724
MCB cycles: 566

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

Clustering coefficient 0.00 0.67 None 0.00 None None None None None 1.46

Degree 1 5 2.69 3.00 4,406 MAX VALUE 1,525.73 0.85 0.32 1.25

Eccentricity 24 41 29.95 30.00 49,081 MAX VALUE 5,562.73 3.17 0.11 2.50

MCB cycle size 3 30 8.00 6.00 4,526 MAX VALUE 1,043.91 5.82 0.73 2.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.67	None	0.00	None	None	None	None	None	1.46
Degree	1	5	2.69	3.00	4,406	MAX VALUE	1,525.73	0.85	0.32	1.25
Eccentricity	24	41	29.95	30.00	49,081	MAX VALUE	5,562.73	3.17	0.11	2.50
MCB cycle size	3	30	8.00	6.00	4,526	MAX VALUE	1,043.91	5.82	0.73	2.53

Triangulated dual graph

Density: 1.93%
Triangles: 769,545

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

Clustering coefficient 0.00 1.00 None 0.83 None None None None None 4.75

Degree 1 220 31.58 10.00 51,758 MAX VALUE 4,042.33 53.32 1.69 3.49

Eccentricity 8 15 11.41 11.00 18,697 MAX VALUE 3,978.07 1.38 0.12 1.55

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.83	None	None	None	None	None	4.75
Degree	1	220	31.58	10.00	51,758	MAX VALUE	4,042.33	53.32	1.69	3.49
Eccentricity	8	15	11.41	11.00	18,697	MAX VALUE	3,978.07	1.38	0.12	1.55

Triangulated minimal dual graph

Density: 0.55%

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

Clustering coefficient 0.00 1.00 None 0.63 None None None None None 4.30

Degree 1 106 9.01 3.00 14,764 MAX VALUE 2,372.79 17.94 1.99 2.63

Eccentricity 12 24 15.54 15.00 25,468 MAX VALUE 4,481.05 2.26 0.15 1.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.63	None	None	None	None	None	4.30
Degree	1	106	9.01	3.00	14,764	MAX VALUE	2,372.79	17.94	1.99	2.63
Eccentricity	12	24	15.54	15.00	25,468	MAX VALUE	4,481.05	2.26	0.15	1.83

Incidence graph

Density: 0.09%
MCB compute time (ms): 14,439
MCB cycles: 988
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-7552-159-ext/Incidence1.json

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

Clustering coefficient 0.00 0.00 None 0.00 None None None None None 3.21

Degree 1 136 2.66 2.00 7,972 MAX VALUE 2,503.22 3.34 1.26 1.45

Eccentricity 23 46 36.66 37.00 110,057 MAX VALUE 10,790.80 4.30 0.12 2.79

MCB cycle size 4 34 6.89 4.00 6,810 MAX VALUE 1,726.53 4.93 0.72 1.33

XCSP 2.1 Benchmarks