Aim of this track is to evaluate performances of state-of-the-art QBF solvers on random instances.

The requirements for solvers, formulas, and generators are the same given for the main competition.

As for the main competition, authors of solvers are allowed to submit at most three solvers. We will set the CPU time limit to 1200 seconds and the memory limit at 2GB. At the end of the evaluation, we will rank the solvers by number of solved formulas and we will use CPU time to break ties.