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