The VLSAT-2 Benchmark Suite
Data Structures and Algorithms
2021-10-14 v1 Symbolic Computation
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.
Keywords
Cite
@article{arxiv.2110.06336,
title = {The VLSAT-2 Benchmark Suite},
author = {Pierre Bouvier and Hubert Garavel},
journal= {arXiv preprint arXiv:2110.06336},
year = {2021}
}
Comments
arXiv admin note: substantial text overlap with arXiv:2011.11049