Datasets of PCNF, PNCNF, 2QBF, and DQBF tracks
Datasets of HIT track

Results (Raw data)
Slides