Dataset for Manthan: A Data Driven Approach for Boolean Function Synthesis (CAV-20 paper)

The data set consists of 609 benchmarks used for experimental evaluation of paper titled 'Manthan: A Data-Driven Approach for Boolean Function Synthesis" published in International Conference of Computer-Aided Verification (CAV), 2020 . The benchmarks are from following sources: Prenex-2QBF track of QBFEval-17 and QBFEval-18 Arithmetic set (Srivastava, Gulwani, Foster 2013). Disjunctive set (Akshay, Charkraborty, John, Shah 2017). Factorization set (Akshay, Charkraborty, John, Shah 2017).