XCSP 2.1 Benchmarks

---

uclid

Lecoutre's category
BOOL (Boolean instances) - Pseudo-Boolean instance
Lecoutre's tooltips
Here are 21 series of non binary instances. The last one has been recently generated and involve the global constraint weightedSum.. These instances correspond to the Pseudo-Boolean instances that were used for testing solvers submitted to the Pseudo Boolean 2006 Evaluation 2006. However, note that objective functions have been removed and that some original instances are missing (we did not succeed in converting and validating very large instances). For more information about the origin of these series, see:
Source
http://www.cril.univ-artois.fr/~lecoutre/research/benchmarks/pseudo/uclid.tgz
Comments
None

Number of instances: 39 (0 processed, 0 partially processed, 39 failed)

Processing completed

Partially processed

Processing failed
22s-smv
25s-smv
37s-smv
43s-smv
44s-smv
46s-smv
blast-floppy1-2
blast-floppy1-3
blast-floppy1-4
blast-floppy1-6
blast-floppy1-7
blast-floppy1-8
blast-tlan2
blast-tlan3
cache-ibm-q-unbounded-Icl2arity-ucl
cache-inv10-ucl
cache-inv12-ucl
cache-inv8-ucl
dlx1c-rwmem-ucl
dlx1c-rwmem1-ucl
dlx1c-ucl
elf-rf6
elf-rf7
elf-rf8
elf-rf9
ooo-burch-dill-2-accl
ooo-burch-dill-3-accl
ooo-burch-dill-4-accl
ooo-burch-dill-6-accl
ooo-burch-dill-8-accl
ooo-rf10
ooo-rf6
ooo-rf7
ooo-rf8
ooo-rf9
ooo-tag10
ooo-tag12
ooo-tag14
ooo-tag8