QBF Solver Evaluation Portal
Home
QBFLIB
QBFGALLERY'23
QBFEVALs
2022
2020
2019
2018
2017
2016
2010
2008
2007
2006
2005
2004
QBF GALLERIES
QBF Gallery 2014
QBF Gallery 2013
DOWNLOADS
Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset
Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter
qbflib.org
Sota solver results for family Reduction-finding-qcir
Prenex non-CNF Track
Instance
Solver
Result
Time
axquery_query42_1133
Qute_default
SAT
0
axquery_query64_1133
Qute_default
SAT
0
axquery_query71_1133
Qute_default
UNSAT
0
eequery_query42_1133
Qute_default
UNSAT
0
eequery_query64_1133
Qute_default
UNSAT
0
eequery_query71_1133
Qute_default
SAT
0
exquery_query42_1133
Qute_default
UNSAT
0
exquery_query64_1133
Qute_default
SAT
0
exquery_query71_1133
Qute_default
SAT
0
falsequ_query60_1133
Qute_default
SAT
0
falsequ_query64_1133
Qute_default
SAT
0
falsequ_query71_1133
Qute_default
SAT
0
nreachq_query11_1133
Qute_default
UNSAT
0
nreachq_query54_1133
Qute_default
UNSAT
0
nreachq_query71_1133
Qute_default
UNSAT
0
ntrivil_query42_1133
Qute_default
SAT
0
ntrivil_query64_1133
Qute_default
SAT
0
ntrivil_query71_1133
Qute_default
SAT
0
nxquery_query42_1133
Qute_default
SAT
0
nxquery_query50_1133
Qute_default
UNSAT
0
nxquery_query64_1133
Qute_default
SAT
0
nxquery_query71_1133
Qute_default
UNSAT
0
query64_query11_1133
Qute_default
UNSAT
0
query64_query42_1133
Qute_default
UNSAT
0
query71_query31_1133
Qute_default
UNSAT
0
query71_query34_1133
Qute_default
UNSAT
0
query71_query36_1133
Qute_default
UNSAT
0
reachqu_query60_1133
Cqesto_2018
SAT
0
reachqu_query64_1133
Cqesto_2018
SAT
0
trivial_query60_1133
Qute_default
SAT
0
trivial_query64_1133
Qute_default
SAT
0
trivial_query71_1133
Qute_default
SAT
0
trueque_query60_1133
Qute_default
SAT
0
trueque_query64_1133
Qute_default
SAT
0
trueque_query71_1133
Qute_default
SAT
0
Contact
|
Organization
|
Links
|
Citing QBFLIB