Le jeu de tests VLSAT-2

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 softwarecompetitions addressing SAT-solving issues.VLSAT-2 contains 100 benchmarks (50 satisfiable and 50 unsatisfiable formulas)of increasing complexity, proposed in DIMACS CNF format undera permissive Creative Commons license.25% of these benchmarks have been used during the 2020 and 2021 editionsof 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 scientifiqueset 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