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
Instances of family Bloem_dqbf solved by
iprover_hqspre
QBFEVAL'18 - DQBF Solvers Track
Instance
Result
Time
unrealizable.dqdimacs
UNSAT
0.18
mv2n.dqdimacs
SAT
0.21
eq1.dqdimacs
SAT
0.27
mult9.dqdimacs
SAT
0.28
mult6.dqdimacs
SAT
0.43
cnt2n.dqdimacs
SAT
0.45
stay2n.dqdimacs
SAT
0.56
stay4y.dqdimacs
SAT
0.56
add2n.dqdimacs
SAT
0.64
cnt3n.dqdimacs
SAT
0.72
ex2.dqdimacs
SAT
0.72
mvs2n.dqdimacs
SAT
0.74
mult4.dqdimacs
SAT
0.84
cnt2unrealy.dqdimacs
UNSAT
0.89
sh_u.dqdimacs
UNSAT
0.9
unr.dqdimacs
UNSAT
0.95
cnt4n.dqdimacs
SAT
0.95
mult2.dqdimacs
SAT
1.03
ex1.dqdimacs
SAT
1.04
add4n.dqdimacs
SAT
1.06
mult11.dqdimacs
SAT
1.09
cnt7y.dqdimacs
SAT
1.41
mv4n.dqdimacs
SAT
4.09
cnt6y.dqdimacs
SAT
6.14
cnt6n.dqdimacs
SAT
7.68
add6y.dqdimacs
SAT
42.76
bs8y.dqdimacs
SAT
71.98
add6n.dqdimacs
SAT
77.25
bs16y.dqdimacs
SAT
80.97
bs16n.dqdimacs
SAT
81.66
cnt9n.dqdimacs
SAT
335.7
cnt11y.dqdimacs
SAT
799.02
amba2c7n.dqdimacs
FAIL
900
amba4c7y.dqdimacs
FAIL
900
amba7c4unrealy.dqdimacs
FAIL
900
genbuf1b3unrealn.dqdimacs
FAIL
900
genbuf3c3y.dqdimacs
FAIL
900
ifm_genbuf16y.dqdimacs
FAIL
900
mv14n.dqdimacs
FAIL
900
stay16n.dqdimacs
FAIL
900
stay8y.dqdimacs
FAIL
900
amba2f8unrealn.dqdimacs
FAIL
900
amba5b4unrealn.dqdimacs
FAIL
900
amba7f24unrealn.dqdimacs
FAIL
900
cnt20y.dqdimacs
FAIL
900
genbuf1c2unrealn.dqdimacs
FAIL
900
genbuf3f4n.dqdimacs
FAIL
900
mv16n.dqdimacs
FAIL
900
mvs8n.dqdimacs
FAIL
900
stay16y.dqdimacs
FAIL
900
amba3b4unrealn.dqdimacs
FAIL
900
amba5c5y.dqdimacs
FAIL
900
amba8b5unrealy.dqdimacs
FAIL
900
genbuf1c3y.dqdimacs
FAIL
900
genbuf5b4n.dqdimacs
FAIL
900
namba02_new_07nrc_o.dqdimacs
FAIL
900
stay18y.dqdimacs
FAIL
900
amba3b5n.dqdimacs
FAIL
900
amba5f17n.dqdimacs
FAIL
900
genbuf2b3unrealn.dqdimacs
FAIL
900
genbuf5b4y.dqdimacs
FAIL
900
namba03_new_05nrc_o.dqdimacs
FAIL
900
stay22n.dqdimacs
FAIL
900
amba10c4unrealn.dqdimacs
FAIL
900
amba3c4unrealy.dqdimacs
FAIL
900
amba6b5y.dqdimacs
FAIL
900
cnt30y.dqdimacs
FAIL
900
genbuf2c3n.dqdimacs
FAIL
900
ifm_amba03_fixed_o.dqdimacs
FAIL
900
mv8y.dqdimacs
FAIL
900
namba04_new_07nrc_o.dqdimacs
FAIL
900
stay22y.dqdimacs
FAIL
900
amba10f37n.dqdimacs
FAIL
900
amba3f8unrealy.dqdimacs
FAIL
900
amba6c5y.dqdimacs
FAIL
900
bs32n.dqdimacs
FAIL
900
genbuf2f3unrealy.dqdimacs
FAIL
900
ifm_amba03y.dqdimacs
FAIL
900
mvs12n.dqdimacs
FAIL
900
ngenbuf03_03nrc_o.dqdimacs
FAIL
900
stay24y.dqdimacs
FAIL
900
amba2b8unrealn.dqdimacs
FAIL
900
amba4b8unrealy.dqdimacs
FAIL
900
amba6f21y.dqdimacs
FAIL
900
bs32y.dqdimacs
FAIL
900
genbuf14c3n.dqdimacs
FAIL
900
genbuf3b3unrealy.dqdimacs
FAIL
900
ifm_amba15y.dqdimacs
FAIL
900
mv10n.dqdimacs
FAIL
900
mvs16y.dqdimacs
FAIL
900
add10y.dqdimacs
FAIL
900
amba2b8unrealy.dqdimacs
FAIL
900
amba4c6unrealy.dqdimacs
FAIL
900
amba7b5n.dqdimacs
FAIL
900
genbuf15f15y.dqdimacs
FAIL
900
genbuf3c2unrealn.dqdimacs
FAIL
900
ifm_genbuf16n.dqdimacs
FAIL
900
mv12n.dqdimacs
FAIL
900
mvs28n.dqdimacs
FAIL
900
stay12n.dqdimacs
FAIL
900
Contact
|
Organization
|
Links
|
Citing QBFLIB