XCSP 2.1 Benchmarks

---

pseudo-uclidExtConvert

Lecoutre's category
Pseudo-Boolean
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: The web pages of Fadi A. Aloul The web pages of Niklas Eén The web pages of Vasco Manquinho The web pages of Joachim Paul Walser UCLID: A Verification Tool for Infinite-State Systems MIPLIB - Mixed Integer Problem Library
Source
http://www.cril.univ-artois.fr/~lecoutre/benchmarks2/pseudo/uclid.tgz
Comments
Good for detecting dangles

Number of instances: 36 (6 processed, 17 partially processed, 13 failed)

Processing completed
normalized-37s-smv-ext
normalized-44s-smv-ext
normalized-blast-floppy1-2-ext
normalized-blast-floppy1-3-ext
normalized-elf-rf6-ext
normalized-elf-rf7-ext

Partially processed
normalized-22s-smv-ext
normalized-25s-smv-ext
normalized-43s-smv-ext
normalized-46s-smv-ext
normalized-cache-inv10-ucl-ext
normalized-dlx1c-rwmem-ucl-ext
normalized-dlx1c-rwmem1-ucl-ext
normalized-dlx1c-ucl-ext
normalized-ooo-burch-dill-2-accl-ext
normalized-ooo-burch-dill-3-accl-ext
normalized-ooo-burch-dill-4-accl-ext
normalized-ooo-rf6-ext
normalized-ooo-rf7-ext
normalized-ooo-rf8-ext
normalized-ooo-rf9-ext
normalized-ooo-tag10-ext
normalized-ooo-tag8-ext

Processing failed
normalized-blast-floppy1-4-ext
normalized-blast-floppy1-6-ext
normalized-blast-floppy1-7-ext
normalized-blast-floppy1-8-ext
normalized-blast-tlan2-ext
normalized-cache-ibm-q-unbounded-Icl2arity-ucl-ext
normalized-cache-inv12-ucl-ext
normalized-elf-rf9-ext
normalized-ooo-burch-dill-6-accl-ext
normalized-ooo-burch-dill-8-accl-ext
normalized-ooo-rf10-ext
normalized-ooo-tag12-ext
normalized-ooo-tag14-ext