Logic List Mailing Archive

GBFEVAL 2022: Competitive Evaluation of QBF software

2-5 Aug 2022
Haifa, Israel

========================= CALL FOR CONTRIBUTIONS =======================
QBFEVAL'22 - Competitive Evaluation of QBF Solvers
A joint event with the 25th Int. Conference on Theory and
Applications of Satisfiability Testing (SAT, affiliated with FLoC 2022)

Haifa, Israel, August 2 - 5 2022

QBFEVAL'22 is the 2022 competitive evaluation of QBF solvers, and the
fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'22
awards 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 representation &
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'22, please
get in touch with the organizers via qbfeval@qbflib.org. Details about
solvers and benchmarks submission, tracks, and related rules, are available
at http://www.qbflib.org/qbfeval22.php

Important Dates
- Registration deadline: March 25, 2022
- Benchmarks due: April 1, 2022
- Solvers due: April 29, 2022
- First stage results: May 15, 2022
- Second stage solvers due: May 30, 2022
- Competition Benchmarks available for download: July 15, 2022
- Final results: presented at SAT'22

Luca Pulina, University of Sassari
Martina Seidl, Johannes Kepler Universitat Linz
Ankit Shukla, Johannes Kepler Universitat Linz

[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam