Skip to Main content Skip to Navigation
Reports

The VLSAT-1 Benchmark Suite

Pierre Bouvier 1 Hubert Garavel 1 
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03007233
Contributor : Hubert Garavel Connect in order to contact the contributor
Submitted on : Thursday, November 19, 2020 - 9:28:40 AM
Last modification on : Sunday, June 26, 2022 - 5:09:00 AM
Long-term archiving on: : Saturday, February 20, 2021 - 6:17:03 PM

Files

RT-0510.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03007233, version 1
  • ARXIV : 2011.11049

Collections

Citation

Pierre Bouvier, Hubert Garavel. The VLSAT-1 Benchmark Suite. [Technical Report] RT-0510, INRIA Grenoble Rhône-Alpes. 2020, pp.6. ⟨hal-03007233⟩

Share

Metrics

Record views

83

Files downloads

32