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).本数据集包含609个基准测试集（benchmarks），用于为2020年发表于国际计算机辅助验证会议（International Conference on Computer-Aided Verification，CAV）的论文《Manthan: A Data-Driven Approach for Boolean Function Synthesis》的实验评估提供支撑。该基准测试集源自以下来源：QBFEval-17与QBFEval-18的Prenex-2QBF赛道、算术集（Arithmetic set，Srivastava、Gulwani、Foster, 2013）、析取集（Disjunctive set，Akshay、Charkraborty、John、Shah, 2017）以及因式分解集（Factorization set，Akshay、Charkraborty、John、Shah, 2017）。