Datasets of PCNF, PNCNF, 2QBF, and DQBF tracks
Datasets of HIT track
Results (Raw data)
Slides