Test-Comp 2023 Benchmark SMT2 Dataset

This dataset contains a collection of SMT-LIB queries generated through symbolic execution of selected benchmarks from the Test-Comp 2023 suite. It was created to evaluate the performance impact of optimisations implemented in Smt.ml. The dataset comprises approximately 2.3 million SMT formulas covering the a subset of sub-categories of the c/ReachSafety category.