English

The VLSAT-1 Benchmark Suite

Data Structures and Algorithms 2020-11-24 v1 Formal Languages and Automata Theory
Authors: Pierre Bouvier , Hubert Garavel
View on arXiv ↗ PDF ↗

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 scientificexperiments and software competitions addressing SAT-solving issues.VLSAT-1 contains 100~benchmarks of increasing complexity, proposed in DIMACSCNF format under a permissive Creative Commons license. These benchmarks havebeen used by the 2020 International Competition on Model Counting.

Keywords

constraint satisfaction

Cite

@article{arxiv.2011.11049,
  title  = {The VLSAT-1 Benchmark Suite},
  author = {Pierre Bouvier and Hubert Garavel},
  journal= {arXiv preprint arXiv:2011.11049},
  year   = {2020}
}

Related papers

View all related →
Data Structures and Algorithms · Computer Science
The VLSAT-2 Benchmark Suite
Pierre Bouvier, Hubert Garavel
2021-10-14
Data Structures and Algorithms · Computer Science
The VLSAT-3 Benchmark Suite
Pierre Bouvier
2021-12-10
Logic in Computer Science · Computer Science
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang
2020-02-25
Machine Learning · Computer Science
VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
Yifan Bai, Xiaoyang Liu, Zihao Mou, Guihong Wang +6
2026-05-22
Artificial Intelligence · Computer Science
diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming
Matthias Nickles
2021-01-05
Logic in Computer Science · Computer Science
Sampling Techniques for Boolean Satisfiability
Kuldeep S. Meel
2014-04-29
Logic in Computer Science · Computer Science
RustSAT: A Library For SAT Solving in Rust
Christoph Jabs
2025-05-22
Logic in Computer Science · Computer Science
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
Curie Kim, Carsten Portner, Mingju Liu, Steve Dai +5
2026-04-01
Machine Learning · Computer Science
Self-Satisfied: An end-to-end framework for SAT generation and prediction
Christopher R. Serrano, Jonathan Gallagher, Kenji Yamada, Alexei Kopylov +1
2024-10-22
Computation and Language · Computer Science
BenchmarkCards: Standardized Documentation for Large Language Model Benchmarks
Anna Sokol, Elizabeth Daly, Michael Hind, David Piorkowski +3
2025-06-04
Artificial Intelligence · Computer Science
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
Tsz Ho Chan, Wenyi Xiao, Junhua Huang, Huiling Zhen +2
2024-03-07
Artificial Intelligence · Computer Science
RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics
Jie Zhang, Cezara Petrui, Kristina Nikolić, Florian Tramèr
2025-10-21
Data Structures and Algorithms · Computer Science
CNF Encodings of Cardinality Constraints Based on Comparator Networks
Michał Karpiński
2019-11-05
Machine Learning · Computer Science
PMLB: A Large Benchmark Suite for Machine Learning Evaluation and Comparison
Randal S. Olson, William La Cava, Patryk Orzechowski, Ryan J. Urbanowicz +1
2017-03-03
Machine Learning · Computer Science
NAS-Bench-Suite: NAS Evaluation is (Now) Surprisingly Easy
Yash Mehta, Colin White, Arber Zela, Arjun Krishnakumar +5
2022-02-14
Probability · Mathematics
Some Results on Random Mixed SAT Problems
Andreas Basse-O'Connor, Tobias Lindhardt Overgaard, Mette Skjøtt
2023-11-07
Computational Complexity · Computer Science
An Efficient Method to Transform SAT problems to Binary Integer Linear Programming Problem
Wenxia Guo, Jin Wang, Majun He, Xiaoqin Ren +2
2018-03-28
Artificial Intelligence · Computer Science
On Using Unsatisfiability for Solving Maximum Satisfiability
Joao Marques-Silva, Jordi Planes
2007-12-10
Artificial Intelligence · Computer Science
General Method for Solving Four Types of SAT Problems
Anqi Li, Congying Han, Tiande Guo, Haoran Li +1
2023-12-29
Computer Vision and Pattern Recognition · Computer Science
VSLAM-LAB: A Comprehensive Framework for Visual SLAM Methods and Datasets
Alejandro Fontan, Tobias Fischer, Javier Civera, Michael Milford
2025-04-08
Mathematical Software · Computer Science
VECMAtk: A Scalable Verification, Validation and Uncertainty Quantification Toolkit for Scientific Simulations
D. Groen, H. Arabnejad, V. Jancauskas, W. N. Edeling +22
2021-04-28
Machine Learning · Computer Science
An Open-Source Software Toolkit & Benchmark Suite for the Evaluation and Adaptation of Multimodal Action Models
Pranav Guruprasad, Yangyue Wang, Sudipta Chowdhury, Jaewoo Song +1
2025-06-18
Computation and Language · Computer Science
SATA-BENCH: Select All That Apply Benchmark for Multiple Choice Questions
Weijie Xu, Shixian Cui, Xi Fang, Chi Xue +2
2025-10-21
Software Engineering · Computer Science
Assessing and Advancing Benchmarks for Evaluating Large Language Models in Software Engineering Tasks
Xing Hu, Feifei Niu, Junkai Chen, Xin Zhou +4
2025-11-05
Computer Vision and Pattern Recognition · Computer Science
Open-SAT: LLM-Guided Query Embedding Refinement for Open-Vocabulary Object Retrieval in Satellite Imagery
Md Adnan Arefeen, Biplob Debnath, Ravi K. Rajendran, Murugan Sankaradas +1
2026-05-08
R2 v1 2026-06-23T20:25:43.398Z