https://www.qbflib.org/benchmark_solvers.php?idBench=3443&year=2016&track=1
QBFEVAL'16 - Prenex CNF Track.
qbfevalprenexcnftrack
https://www.qbflib.org/benchmark_solvers.php?idBench=14641&year=2020&track=1
Prenex CNF Track
prenexcnftrack
https://www.qbflib.org/family_solvers.php?idFamily=126&year=2019&track=1
QBFEVAL'19 - Prenex CNF Track
qbfevalprenexcnftrack