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 NuSMV_diam solved by
xb-bid-qsts
QBFEVAL'16 - Prenex non-CNF Track.
Instance
Result
Time
dme1_5
SAT
0.05
counter4_12
SAT
0.05
semaphore_3
SAT
0.05
semaphore4_2
SAT
0.05
ring6_32
SAT
0.05
semaphore5_3
SAT
0.05
dmeSmall_8
SAT
0.05
counter7_16
SAT
0.05
counter5_2
SAT
0.05
dme1_4
SAT
0.05
counter4_5
SAT
0.05
ring4_3
SAT
0.05
semaphore_2
SAT
0.05
semaphore4_4
SAT
0.05
ring5_2
SAT
0.05
counter8_8
SAT
0.05
semaphore5_2
SAT
0.05
counter7_129
SAT
0.05
counter6_2
SAT
0.05
counter5_16
SAT
0.05
counter4_4
SAT
0.05
counter4_3
SAT
0.05
ring4_2
SAT
0.05
semaphore_5
SAT
0.05
ring6_2
SAT
0.05
ring5_16
SAT
0.05
counter8_64
SAT
0.05
semaphore5_4
SAT
0.05
counter7_128
SAT
0.05
counter6_16
SAT
0.05
counter5_8
SAT
0.05
dme1_3
SAT
0.05
counter4_11
SAT
0.05
ring4_8
SAT
0.05
semaphore_4
SAT
0.05
ring6_16
SAT
0.05
ring5_8
SAT
0.05
counter8_4
SAT
0.05
semaphore6_3
SAT
0.05
counter7_8
SAT
0.05
counter6_8
SAT
0.05
counter5_4
SAT
0.05
dme1_2
SAT
0.05
counter4_10
SAT
0.05
counter4_16
SAT
0.05
ring4_7
SAT
0.05
semaphore3_3
SAT
0.05
ring6_65
SAT
0.05
ring5_4
SAT
0.05
counter8_32
SAT
0.05
semaphore6_2
SAT
0.05
counter7_64
SAT
0.05
counter6_65
SAT
0.05
counter5_33
SAT
0.05
dme1_8
SAT
0.05
counter4_9
SAT
0.05
counter4_15
SAT
0.05
ring4_6
SAT
0.05
semaphore3_2
SAT
0.05
ring6_8
SAT
0.05
ring5_33
SAT
0.05
counter8_2
SAT
0.05
semaphore6_4
SAT
0.05
counter7_4
SAT
0.05
counter6_64
SAT
0.05
counter5_32
SAT
0.05
dme1_7
SAT
0.05
counter4_8
SAT
0.05
counter4_14
SAT
0.05
ring4_5
SAT
0.05
semaphore3_4
SAT
0.05
ring6_64
SAT
0.05
ring5_32
SAT
0.05
dmeSmall_4
SAT
0.05
counter7_32
SAT
0.05
counter6_4
SAT
0.05
dme1_6
SAT
0.05
counter4_7
SAT
0.05
counter4_13
SAT
0.05
ring4_4
SAT
0.05
semaphore4_3
SAT
0.05
ring6_4
SAT
0.05
counter8_16
SAT
0.05
counter8_256
SAT
0.05
dmeSmall_2
SAT
0.05
counter7_2
SAT
0.05
counter6_32
SAT
0.05
counter4_6
SAT
0.06
counter8_128
SAT
0.06
counter4_2
SAT
0.06
counter8_257
SAT
0.06
dmeSmall_9
SAT
0.06
Contact
|
Organization
|
Links
|
Citing QBFLIB