QBFEVAL'2 2 is the 2022 competitive evaluation of QBF solver s, and the fifteenth event aimed to assess the per formance of QBF solvers. QBFEVAL'22 awards solvers that stand out as being particularly effective on specific categories of QBF instances. This will b e a joint event with the 25th Int. Conference on T heory and Applications of Satisfiability Testing ( SAT, affiliated with FLoC 2022).
\nWe warmly encourage developers of QBF solver s to submit their work, even at early stages of de velopment, as long as it fulfills some very simple requirements. We also welcome the submission of Q BF formulas to be used for the evaluation. Researc hers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, k nowledge representation & reasoning) are invit ed to contribute to the evaluation by submitting Q BF instances of their research problems (see the r equirements for instances). The results of the eva luation will be a good indicator of the current fe asibility of QBF-based approaches and a stimulus f or people working on QBF solvers to further enhanc e their tools.
\n