The VLSAT-2 Benchmark Suite
Le jeu de tests VLSAT-2
Résumé
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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|