******************************************************************
QBFEVAL'17 - Competitive evaluation of QBF solvers
http://www.qbflib.org/qbfeval17.php

Preliminary Call for Benchmarks

A joint event with SAT 2017 - The 20th International Conference on Theory and Applications of Satisfiability Testing, 28 August - 1 September 2017, Melbourne, Australia 

******************************************************************

QBFEVAL’17 will be the 2017 competitive evaluation of QBF solvers, and the twelfth evaluation of QBF solvers and instances ever. QBFEVAL’17 will award solvers that stand out as being particularly effective on specific categories of QBF instances.

People using QBF-based techniques in their area (e.g., formal verification, planning, knowledge reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems. Instances can be submitted in QDIMACS 1.1 input format and/or in QCIR input format.

The deadline for benchmarks submission is May 15th 2017.

For details, questions, comments and any other issue regarding QBFEVAL’17, please get in touch with qbf17@qbflib.org.

Organizing committee

Organization

  • Luca Pulina, University of Sassari
  • Martina Seidl, Johannes Kepler Universität Linz

Judges

  • Olaf Beyersdorff, University of Leeds
  • Daniel Le Berre, Université d’Artois
  • Christoph Wintersteiger, Microsoft Research Limited