The VLSAT-1 Benchmark Suite - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport Technique) Année : 2020

The VLSAT-1 Benchmark Suite

Le jeu de tests VLSAT-1

Pierre Bouvier
Hubert Garavel

Résumé

This report presents VLSAT-1 (an acronym for "Very Large Boolean SATisfiability problems''), the first part of a benchmark suite to be used in scientific experiments and software competitions addressing SAT-solving issues. VLSAT-1 contains 100~benchmarks of increasing complexity, proposed in DIMACS CNF format under a permissive Creative Commons license. These benchmarks have been used by the 2020 International Competition on Model Counting.
VLSAT-1 (acronyme anglais de "très grands problèmes de satisfaisabilité booléenne'') est le premier volet d'une suite de tests destinée aux expérimentations scientifiques et aux compétitions de logiciels pour la résolution de problèmes SAT. VLSAT-1 contient 100 tests de complexité croissante, fournis en format DIMACS CNF sous une licence Creative Commons permissive. Ces tests ont été utilisés lors de l'édition 2020 de la compétition internationale sur le comptage de modèles.
Fichier principal
Vignette du fichier
RT-0510.pdf (701.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03007233 , version 1 (19-11-2020)

Identifiants

Citer

Pierre Bouvier, Hubert Garavel. The VLSAT-1 Benchmark Suite. [Technical Report] RT-0510, INRIA Grenoble Rhône-Alpes. 2020, pp.6. ⟨hal-03007233⟩
106 Consultations
37 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More