The VLSAT-1 Benchmark Suite - Archive ouverte HAL Access content directly
Reports (Technical Report) Year : 2020

The VLSAT-1 Benchmark Suite

Le jeu de tests VLSAT-1

Pierre Bouvier
Hubert Garavel

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

Pierre Bouvier, Hubert Garavel. The VLSAT-1 Benchmark Suite. [Technical Report] RT-0510, INRIA Grenoble Rhône-Alpes. 2020, pp.6. ⟨hal-03007233⟩
107 View
39 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More