The VLSAT (Very Large SAT) Benchmark Suite

The VLSAT benchmark suite (where "VL" stands for "Very Large") is a collection of one hundred of SAT formulas to be used as benchmarks in scientific experiments and software competitions. These SAT formulas have been obtained from the automatic conversion into Nested-Unit Petri Nets (NUPNs) of a large collection of Petri nets modelling real-life problems, such as communication protocols and concurrent systems.