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