[DL] QBFEVAL'18 - Competitive Evaluation of QBF Solvers

Luca Pulina lpulina at uniss.it
Fri Jan 12 09:28:16 CET 2018

[apologies for any cross-posting]

QBFEVAL'18 - Competitive Evaluation of QBF Solvers
Preliminary Call for Participation

A joint event with Federated Logic Conference (FLoC) 2018 - Oxford, UK
6 - 19 July 2018


QBFEVAL'18 will be the 2018 competitive evaluation of QBF solvers, and
the thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18
will award solvers that stand out as being particularly effective on
specific categories of QBF instances.

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

Details about solvers and benchmarks submission, tracks, and related
rules will be soon available. In the meanwhile, we encourage people to join
discussions at https://groups.google.com/forum/#!forum/qbfeval18, as well
as for questions, comments and any other issue regarding QBFEVAL'18.

Important Dates

Registration open: March 1st 2018
Registration close: April 22nd 2018
Solvers and Benchmarks due: April 30th 2018
Final results: presented at FLoC 2018

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

Olaf Beyersdorff, University of Leeds
Christoph Wintersteiger, Microsoft Research Limited

Luca Pulina, Ph.D.
Associate Professor of Computer Science
University of Sassari
Tel. +39 079 228987

More information about the dl mailing list