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
Discrepancies tables
QBFEVAL'16 - Prenex CNF Track.
Instance
# Sat
# Unsat
Minority Solver
Adder2-10-s
1
1
AIGSolve
,
xb-bid-qsts
Adder2-8-s
7
1
xb-bid-qsts
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001
1
22
squeezebf+struqs
BLOCKS3iii.5
23
1
qsts
BLOCKS4i.6.4
1
18
xb-bid-qsts
BLOCKS4ii.7.2
1
18
xb-bid-qsts
c1_BMC_p1_k4
20
1
qsts
c3_BMC_p1_k256
12
1
qsts
C432.blif_0.10_0.20_0_0_inp_exact
1
15
xb-bid-qsts
C432.blif_0.10_0.20_0_1_out_exact
1
6
xb-bid-qsts
C499.blif_0.10_0.20_0_0_out_exact
1
1
AIGSolve
,
qsts
C499.blif_0.10_0.20_0_1_out_exact
1
1
AIGSolve
,
qsts
C499.blif_0.10_1.00_0_0_out_exact
1
12
qsts
c4_BMC_p1_k32
21
1
qsts
C5315.blif_0.10_1.00_0_0_out_exact
1
8
qsts
c5_BMC_p1_k32
6
1
qsts
c5_BMC_p2_k64
1
1
qsts
,
xb-bid-qsts
C880.blif_0.10_0.20_0_0_out_exact
1
3
qsts
C880.blif_0.10_0.20_0_1_out_exact
1
3
qsts
C880.blif_0.10_1.00_0_0_inp_exact
1
10
qsts
C880.blif_0.10_1.00_0_0_out_exact
1
3
qsts
CHAIN12v.13
23
1
qsts
CHAIN14v.15
23
1
qsts
CHAIN16v.17
23
1
qsts
CHAIN17v.18
23
1
qsts
CHAIN18v.19
23
1
qsts
CHAIN19v.20
23
1
qsts
CHAIN20v.21
23
1
qsts
CHAIN21v.22
23
1
qsts
CHAIN22v.23
23
1
qsts
CHAIN23v.24
23
1
qsts
connect_5x4_3_D
1
22
squeezebf+struqs
connect_5x4_3_R
1
18
xb-bid-qsts
connect_5x4_4_R
1
18
xb-bid-qsts
connect_6x5_5_D
1
22
squeezebf+struqs
connect_7x6_4_W
1
22
squeezebf+struqs
connect_8x7_7_W
1
22
squeezebf+struqs
cube_c9_par--opt-11_
15
2
hiqqer1
,
hiqqer3
dungeon_i15-m7-u4-v0.pddl_planlen=81
1
5
xb-bid-qsts
filesys_smbmrx_cvsndrcv.c
1
2
xb-bid-qsts
flipflop-3-c
1
22
squeezebf+struqs
fpu-10Xe-correct01-nonuniform-depth-24
1
21
squeezebf+struqs
fpu-10Xe-correct01-nonuniform-depth-6
1
21
squeezebf+struqs
fpu-10Xe-correct01-uniform-depth-22
1
21
squeezebf+struqs
fpu-10Xh-correct04-nonuniform-depth-18
1
21
squeezebf+struqs
fpu-10Xh-correct04-nonuniform-depth-27
1
21
squeezebf+struqs
fpu-10Xh-correct04-uniform-depth-14
1
21
squeezebf+struqs
fpu-10Xh-correct04-uniform-depth-15
1
21
squeezebf+struqs
fpu-10Xh-correct04-uniform-depth-16
1
21
squeezebf+struqs
fpu-10Xh-correct04-uniform-depth-8
1
21
squeezebf+struqs
fpu-10Xh-error01-uniform-depth-5
1
21
squeezebf+struqs
gttt_1_1_000111_3x3_torus_w
1
22
xb-bid-qsts
gttt_1_1_001020_3x3_w
1
21
xb-bid-qsts
gttt_2_1_00011020_4x4_b
1
11
xb-bid-qsts
gttt_2_1_000111_3x3_torus_b
22
1
qsts
gttt_2_1_0010_4x4_torus_b
1
20
xb-bid-qsts
incrementer-enc02-nonuniform-depth-31
1
20
qsts
incrementer-enc03-nonuniform-depth-13
1
21
qsts
incrementer-enc03-nonuniform-depth-24
1
21
qsts
incrementer-enc05-uniform-depth-2
1
22
squeezebf+struqs
incrementer-enc07-uniform-depth-25
1
8
xb-bid-qsts
incrementer-enc08-uniform-depth-33
7
1
qsts
ken.flash^10.C-f2
1
22
squeezebf+struqs
ken.flash^10.C-f3
1
22
squeezebf+struqs
lognBWLARGEA0
1
22
squeezebf+struqs
lognBWLARGEB0
1
22
squeezebf+struqs
nusmv.reactor^3.C-d4
6
1
qsts
nusmv.tcas-t^1.B-d2
3
1
qsts
s1196_d3_u
1
11
qsts
s1196_d4_u
1
8
qsts
s1196_d5_u
1
7
qsts
s1196_d6_u
1
5
qsts
s1196_d7_u
1
8
qsts
s298_d2_s
23
1
qsts
s3330_d2_s
18
1
qsts
s3330_d3_s
10
1
qsts
s499_d12_s
14
1
qsts
s499_d15_s
10
1
qsts
s499_d17_s
10
1
qsts
s499_d18_s
10
1
qsts
s499_d19_s
9
1
qsts
s499_d7_s
14
1
qsts
s499_d9_s
14
1
qsts
s510_d3_s
19
1
qsts
s641_d2_s
21
1
qsts
s641_d3_s
19
1
qsts
s641_d4_s
19
1
qsts
s641_d5_s
16
1
qsts
s641_d6_s
12
1
qsts
s713_d2_s
21
1
qsts
s713_d3_s
19
1
qsts
s713_d4_s
17
1
qsts
s713_d5_s
16
1
qsts
s713_d6_s
16
1
qsts
sortnetsort10.v.stepl.005
1
1
rareqs
,
xb-bid-qsts
sortnetsort9.v.stepl.005
1
1
rareqs
,
xb-bid-qsts
term1.blif_0.10_0.20_0_0_out_exact
1
22
qsts
term1.blif_0.10_1.00_0_0_out_exact
1
23
qsts
texas.PI_main^16.E-f2
20
1
qsts
tlc02-uniform-depth-114
1
19
qsts
tlc02-uniform-depth-241
1
14
qsts
tlc03-nonuniform-depth-17
1
23
qsts
tlc04-nonuniform-depth-56
1
20
qsts
tlc04-nonuniform-depth-98
1
17
qsts
tlc04-uniform-depth-36
1
13
qsts
vonNeumann-ripple-carry-10-c
1
21
squeezebf+struqs
vonNeumann-ripple-carry-11-c
1
21
squeezebf+struqs
vonNeumann-ripple-carry-12-c
1
19
squeezebf+struqs
vonNeumann-ripple-carry-13-c
1
19
squeezebf+struqs
vonNeumann-ripple-carry-15-c
1
19
squeezebf+struqs
vonNeumann-ripple-carry-5-c
1
22
squeezebf+struqs
vonNeumann-ripple-carry-6-c
1
22
squeezebf+struqs
vonNeumann-ripple-carry-7-c
1
22
squeezebf+struqs
vonNeumann-ripple-carry-8-c
1
22
squeezebf+struqs
vonNeumann-ripple-carry-9-c
1
21
squeezebf+struqs
Download table[
csv
,
latex
]
Contact
|
Organization
|
Links
|
Citing QBFLIB