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 table
QBFEVAL'16 - Prenex non-CNF Track.
Family
Structure
Domain
# Problematic
blackbox-01X-QBF
Fixed
Formal Verification
1
Blocks
Fixed
Planning
1
BMC
Fixed
Formal Verification
1
C432
Fixed
Formal Verification
2
C499
Fixed
Formal Verification
1
C5315
Fixed
Formal Verification
2
C880
Fixed
Formal Verification
3
Chain
Fixed
Miscellanea
5
DFlipFlop
Fixed
Formal Verification
1
FPGA_PLB_FIT_SLOW
Fixed
Formal Verification
1
fpu
Fixed
Formal Verification
1
Generalized-Tic-Tac-Toe
Fixed
Planning
3
incrementer-encoder
Fixed
Formal Verification
1
k_ph_n
Fixed
Miscellanea
2
mqm
Fixed
Miscellanea
134
NuSMV_diam
Fixed
Formal Verification
11
QLTL_safety
Fixed
Formal Verification
11
s1196
Fixed
Formal Verification
2
s1269
Fixed
Formal Verification
4
s27
Fixed
Formal Verification
2
s298
Fixed
Formal Verification
3
s3330
Fixed
Formal Verification
3
s386
Fixed
Formal Verification
3
s499
Fixed
Formal Verification
3
s510
Fixed
Formal Verification
3
s641
Fixed
Formal Verification
2
s713
Fixed
Formal Verification
2
s820
Fixed
Formal Verification
3
term1
Fixed
Formal Verification
3
trafficlight-controller
Fixed
Formal Verification
1
z4ml
Fixed
Formal Verification
1