The VLSAT-2 Benchmark Suite

09/08/2021
by   Pierre Bouvier, et al.
0

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 during the 2020 and 2021 editionsof the International SAT Competition.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset