Visible to the public QBFEVAL'16Conflict Detection Enabled

Submitted by Anonymous on Wed, 02/24/2016 - 12:32pm
Jul 05, 2016 7:00 am - Jul 08, 2016 6:00 pm CEST

QBFEVAL'16 - Competitive evaluation of QBF solvers

A joint event with SAT 2016 - The Nineteenth International Conference on Theory and Applications of Satisfiability Testing

Bordeaux, France, July 5-8, 2016

QBFEVAL'16 will be the 2016 competitive evaluation of QBF solvers, and the eleventh evaluation of QBF solvers and instances ever. QBFEVAL'16 will award solvers that stand out as being particularly effective on specific categories of QBF instances. The evaluation will run using the computing infrastructure made available by StarExec.

We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. People thinking about 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 (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. For questions, comments and any other issue regarding QBFEVAL'16, please get in touch with qbf16@qbflib.org.

Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval16.php

Important Dates

  • Registration open: February 1st 2016
  • Registration close: February 29th 2016
  • Solvers participating in competitive tracks due: March 1st 2016
  • Final versions of solvers participating in competitive tracks due: March 15th 2016
  • Benchmarks due: March 15th 2016
  • Solvers participating in non-competitive tracks due: April 30th 2016
  • Results: presented at SAT'16

Organization

  • Luca Pulina, University of Sassari

Judges

  • Hubie Chen, University of the Basque Country and Ikerbasque
  • Martina Seidl, Johannes Kepler Universitat Linz
  • Christoph Wintersteiger, Microsoft Research Limited