XCSP2 Benchmarks
Benchmark dataset
XCSP2
XCSP3
Switch dataset
XCSP2 Benchmarks
haystacks
normalized-haystacks-17
The instance normalized-haystacks-17 was not completed due to processing limitations.
None