What is CADP?
Home Page Tools Overview Current Status Recent Changes
Installation
How to obtain CADP? Usage Statistics
Documentation
FAQ Tutorials Publications Manual Pages Demo Examples Newsletters Wikipedia
CADP Community
Forum Education & Training Case Studies Research Tools
CADP Resources
VLSAT Benchmarks VLTS Benchmarks Other Resources
About CADP
Contributors

The VLSAT benchmark suites are collections of logic formulas to be used in scientific experiments and software competitions. Three collections are available at the moment:

• The VLSAT-1 benchmark suite: a collection of SAT formulas dedicated to model counting.

• The VLSAT-2 benchmark suite: a collection of SAT formulas dedicated to SAT solving.

• The VLSAT-3 benchmark suite: a collection of SMT formulas dedicated to SMT solving.

---

Version 1.2 - Date 2021/08/26 18:00:19

---

Back to the CADP Home Page