QBF Evaluation 2022


Organization: Luca Pulina, Martina Seidl, and Ankit Shukla

Judges: Olaf Beyersdorff and Christoph Wintersteiger



Presentation - FLoC Olympic Games 2022

Prenex CNF Track (Instances submitted at QBFEVAL'22)



Prenex CNF Track (Dataset QBFEVAL'20)



Crafted Instances Track



Prenex non-CNF Track



DQBF Solvers Track