The VLSAT-1 Benchmark Suite
Le jeu de tests VLSAT-1
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.
| Origin | Files produced by the author(s) |
|---|