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

The VLSAT-2 Benchmark Suite

Le jeu de tests VLSAT-2

Pierre Bouvier
Hubert Garavel

Abstract

This report presents VLSAT-2 (an acronym for "Very Large Boolean SATisfiability problems"), the second part of a benchmark suite to be used in scientific experiments and software competitions addressing SAT-solving issues. VLSAT-2 contains 100 benchmarks (50 satisfiable and 50 unsatisfiable formulas) of increasing complexity, proposed in DIMACS CNF format under a permissive Creative Commons license. 25% of these benchmarks have been used during the 2020 and 2021 editions of the International SAT Competition.
VLSAT-2 (acronyme anglais de "très grands problèmes de satisfaisabilité booléenne") est le second 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-2 contient 100 tests (50 formules satisfaisables et 50 insatisfaisables) de complexité croissante, fournis en format DIMACS CNF sous une licence Creative Commons permissive. 25% de ces tests ont été utilisés lors des éditions 2020 et 2021 de la compétition internationale sur la résolution SAT.
Fichier principal
Vignette du fichier
RT-0514.pdf (723.56 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03337115 , version 1 (07-09-2021)

Identifiers

  • HAL Id : hal-03337115 , version 1

Cite

Pierre Bouvier, Hubert Garavel. The VLSAT-2 Benchmark Suite. [Technical Report] RT-0514, INRIA Grenoble Rhône-Alpes. 2021, pp.1-8. ⟨hal-03337115⟩
121 View
96 Download

Share

Gmail Mastodon Facebook X LinkedIn More