2016 Prenex Non-CNF suite, with various perspectives

Less than 5 quantification levels:

qfun64qfun-nolrnghostqquabs
solved426 417 393 387
Detailed table of the results (<5QBF)

2 quantification levels:

qfun64qfun-nolrnghostqquabs
solved325 323 314 308
Detailed table of the results (2QBF).

3 quantification levels:

qfun64qfun-nolrnghostqquabs
solved82 76 63 63
Detailed table of the results (3QBF)

All quantification levels:

qfun64qfun-nolrnghostqquabs
solved511 452 517 515
Detailed table of the results (all levels)

2012 CNF benchmark suite

Circuits were revers-engineered from CNF by a tool by Will Klieber.

qfun64qfun-nolrnghostqrareqs
solved140 133 119 110
Detailed table of results