Published June 13, 2020 | Version v1
Dataset Open

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

Creators

  • 1. National University of Singapore, Singapore
  • 2. Indian Institute of technology,Kanpur, India
  • 3. National University of Singapore,Singapore

Description

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).

Files

Files (73.7 MB)

Name Size Download all
md5:148d5845e80ce421fd468db7a05876fc
73.7 MB Download