coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Luca Pulina <lpulina AT uniss.it>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] QBFEVAL'18 - Deadline extension
- Date: Fri, 13 Apr 2018 13:59:50 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lpulina AT uniss.it; spf=Pass smtp.mailfrom=lpulina AT uniss.it; spf=None smtp.helo=postmaster AT mail-wm0-f45.google.com
- Ironport-phdr: 9a23:8h76CxwUriDAzJ7XCy+O+j09IxM/srCxBDY+r6Qd1OkUIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHolikJKjk5/mLZhMN+g61UvB2vqgdjw4PXeoyZKOZyc63fcN4cWGFPXtxRVytEAo6kaYUPEvYOMvxFpIfnulsOqRq+BQ+2C+jyzTJIgmf23bA+0+QgFwHJxhctH88IsHTVt9X1L70eUeGpzKTRyzjIcv1Y2TD46IfScxAhp+mBXatrfsrfzUkvFhjKgk+XqYz/MDOY0PkGvWuD7+d4V++ihHQrpxxvrjWv3MshiZfFipgax13E7Sl0wJw5KcC6RUJne9KoDYdcuiCAO4doQ84vRXxjtjwgxb0co5G7eTAHyJQ5yB7bbPyKa42I7QjiVOaVODt5indldK6mixa8/kWtyvfwVsaz0FZNoSpFlsfDumoR2BzU78iLUvp9/kG/1jaTzw3e6O5JLVopmabFK5Mt2L09moQJvUnMHiL6gED2g7WXdkUg9Oio8ePnYrD+q5+YL490lwX+MqUomsOlGuk4Lw4OX2mA+eSnzrHj/FH5TK1QjvIqiqnZrIzaJcMDq6GlBA9Vy58v5Aq7Dze7y9sVhmIHLVJAeBKflYflIVDOIPbiDfe+mVugijlrx+qVdoHmV57KNz3IlKrrVbd78U9VjgQpnv5F4JcBLqwKKbrLR0vwstWQWhshLgi1xe/PFdN8zZhYWH7ZUfzRC7/brVLdvrFnGOKLfoJA4G+sechg3ObniDoCoXFYeKCo2ZUNb3XhRqZ7JUSCejztnoVYSDtYjk8FVOXvzWa6f3tLfX/rB/Ah4DAgE8SnEdWbH93/sPm6xC6+W6ZuSCVGB1SLSyq6coyFX7ITbXrXLJM81DMDUrelRskq0hT87AI=
- Organization: University of Sassari
[apologies for any cross-posting]
******************************************************************************************
QBFEVAL'18 - Competitive Evaluation of QBF Solvers
A joint event with the 21st Int. Conference on Theory and Applications of Satisfiability Testing (SAT)
(affiliated with FLoC 2018)
Oxford, UK, July 9 - July 12 2018
******************************************************************************************
QBFEVAL'18 is the 2018 competitive evaluation of QBF solvers, and the thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18 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.
Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval18.php
For questions, comments and any other issue regarding QBFEVAL'18, please get in touch with the organizers via qbf18 AT qbflib.org.
** Important Dates **
- Registration close: April 22 (incl. solver description) - EXTENDED
- Solvers and Benchmarks due: April 25 (for all tracks except Hard-Instances Track) - EXTENDED
- First stage results: May 3
- Second stage solvers due: May 15 (for all tracks except Hard-Instances Track)
- Hard instances solver due: June 1 (no registration is necessary)
- Competition Benchmarks available for download: June 14
- Final results: presented at SAT'18
** Organizing committee **
* Organization *
Luca Pulina, University of Sassari
Martina Seidl, Johannes Kepler Universitat Linz
* Judges *
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
- [Coq-Club] QBFEVAL'18 - Deadline extension, Luca Pulina, 04/13/2018
Archive powered by MHonArc 2.6.18.