XCSP 2.1 Benchmarks
pseudo-circuits
Lecoutre's category
None
Lecoutre's tooltips
None
Source
None
Comments
None
Number of instances:
7 (0 processed, 0 partially processed, 7 failed)
Processing completed
Partially processed
Processing failed
normalized-b1
normalized-C17
normalized-C432
normalized-c8
normalized-cc
normalized-cm42a
normalized-cmb