XCSP 2.1 Benchmark Database

Instance: normalized-scen11-ext
Number of variables: 680
Number of constraints: 4103
Satisfiable: True
Timestamp: 2025-07-27 21:30:34
Stampede: v1.0.0-474-g0429781
Boost: 1.64.0

Component #1

Number of variables: 680
Number of constraints: 4103

General features

Coarse blocks: 326,640
Value tables: 679

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

Arity 2 2 2.00 2.00 8,206 MAX VALUE 709.78 0.00 0.00 0.00

Coarse blocks size 1 44 33.27 35.00 10,868,200 MAX VALUE 709.78 11.10 0.33 2.43

Relational linkage 0.02 0.17 0.03 0.02 679.00 0.00 None 0.00 0.17 0.76

Tightness 0.01 0.98 0.17 0.08 685.18 0.00 None 0.25 1.51 2.19

Tuples 6 1,892 1,324.42 1,476.00 5,434,110 MAX VALUE 709.78 488.62 0.37 2.57

Values 6 44 39.49 36.00 26,856 MAX VALUE 709.78 5.00 0.13 0.81

Value table constraints 3 62 12.08 10.00 8,205 MAX VALUE 709.78 7.77 0.64 2.99

Value table partitions 6 44 39.49 36.00 26,812 MAX VALUE 709.78 5.00 0.13 0.81

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	8,206	MAX VALUE	709.78	0.00	0.00	0.00
Coarse blocks size	1	44	33.27	35.00	10,868,200	MAX VALUE	709.78	11.10	0.33	2.43
Relational linkage	0.02	0.17	0.03	0.02	679.00	0.00	None	0.00	0.17	0.76
Tightness	0.01	0.98	0.17	0.08	685.18	0.00	None	0.25	1.51	2.19
Tuples	6	1,892	1,324.42	1,476.00	5,434,110	MAX VALUE	709.78	488.62	0.37	2.57
Values	6	44	39.49	36.00	26,856	MAX VALUE	709.78	5.00	0.13	0.81
Value table constraints	3	62	12.08	10.00	8,205	MAX VALUE	709.78	7.77	0.64	2.99
Value table partitions	6	44	39.49	36.00	26,812	MAX VALUE	709.78	5.00	0.13	0.81

Tree decomposition

Number of clusters: 300
Number of leaves: 72
Tree depth: 24
CIR: 0.94
Independent Cluster Pairs: 41,834
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/Tree1.json

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

Cluster constraints 1 240 35.63 16.00 10,689 MAX VALUE 885.44 46.26 1.30 3.83

Variables per cluster 2 33 9.57 8.00 2,870 MAX VALUE 634.48 5.68 0.59 2.67

Separator constraints 0 180 21.95 7.00 6,586 0 None 36.74 1.67 3.45

Separator variables 0 28 7.30 6.00 2,190 0 None 5.40 0.74 2.68

Clusters per var 1 31 4.22 3.00 2,870 MAX VALUE 716.00 4.39 1.04 2.25

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	240	35.63	16.00	10,689	MAX VALUE	885.44	46.26	1.30	3.83
Variables per cluster	2	33	9.57	8.00	2,870	MAX VALUE	634.48	5.68	0.59	2.67
Separator constraints	0	180	21.95	7.00	6,586	0	None	36.74	1.67	3.45
Separator variables	0	28	7.30	6.00	2,190	0	None	5.40	0.74	2.68
Clusters per var	1	31	4.22	3.00	2,870	MAX VALUE	716.00	4.39	1.04	2.25

Dual tree decomposition

Number of clusters: 673
Number of leaves: 239
Tree depth: 38
CIR: 0.96
Independent Cluster Pairs: 217,082
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/DualTree1.json

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

Cluster constraints 3 4,986 314.08 118.00 211,373 MAX VALUE 3,260.24 565.52 1.80 5.29

Variables per cluster 3 341 35.95 24.00 24,194 MAX VALUE 2,169.99 38.89 1.08 4.15

Separator constraints 0 2,824 216.09 72.00 145,430 0 None 381.76 1.77 5.05

Separator variables 0 253 29.85 20.00 20,091 0 None 31.12 1.04 4.01

Clusters per variable 1 33 5.90 6.00 24,194 MAX VALUE 6,632.15 3.19 0.54 2.43

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	4,986	314.08	118.00	211,373	MAX VALUE	3,260.24	565.52	1.80	5.29
Variables per cluster	3	341	35.95	24.00	24,194	MAX VALUE	2,169.99	38.89	1.08	4.15
Separator constraints	0	2,824	216.09	72.00	145,430	0	None	381.76	1.77	5.05
Separator variables	0	253	29.85	20.00	20,091	0	None	31.12	1.04	4.01
Clusters per variable	1	33	5.90	6.00	24,194	MAX VALUE	6,632.15	3.19	0.54	2.43

Primal graph

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

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

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	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
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: None%
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 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

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	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
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/Dual1.json

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

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	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
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Minimal dual graph

Density: None%
MCB compute time (ms): None
MCB cycles: 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

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	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
MCB cycle size	None	None	None	None	None	None	None	None	None	None

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

Incidence graph

Density: None%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rlfapScensExtConvert/normalized-scen11-ext/Incidence1.json

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

MCB cycle size None None None None None None None None None None

XCSP 2.1 Benchmarks