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'07 - Evaluation track on non-prenex non-cnf formulas.
Instance
Solver
Result
Time
counter4_10
sKizzo-0.10-std
SAT
0.08
counter4_11
sKizzo-0.10-std
SAT
0.07
counter4_12
sKizzo-0.10-qck
SAT
0.12
counter4_13
sKizzo-0.10-qck
SAT
0.17
counter4_14
sKizzo-0.10-qck
SAT
0.18
counter4_15
sKizzo-0.10-std
SAT
0.2
counter4_16
sKizzo-0.10-std
UNSAT
0.27
counter4_2
ncQuBE1.0
SAT
0
counter4_3
EBDDRES
SAT
0.01
counter4_4
QUANTOR_2.15
SAT
0.01
counter4_5
ncQuBE1.0
SAT
0.02
counter4_6
sKizzo-0.10-std
SAT
0.03
counter4_7
sKizzo-0.10-std
SAT
0.04
counter4_8
sKizzo-0.10-qck
SAT
0.05
counter4_9
sKizzo-0.10-qck
SAT
0.06
counter5_16
sKizzo-0.10-std
SAT
0.33
counter5_2
QUANTOR_2.15
SAT
0.01
counter5_32
sKizzo-0.10-qck
UNSAT
5.07
counter5_33
sKizzo-0.10-qck
UNSAT
10.52
counter5_4
EBDDRES
SAT
0.02
counter5_8
sKizzo-0.10-std
SAT
0.07
counter6_16
sKizzo-0.10-std
SAT
0.56
counter6_2
ncQuBE1.1
SAT
0
counter6_32
sKizzo-0.10-std
SAT
6.91
counter6_4
sKizzo-0.10-qck
SAT
0.04
counter6_64
sKizzo-0.10-std
UNSAT
261.68
counter6_65
sKizzo-0.10-std
UNSAT
184.28
counter6_8
sKizzo-0.10-qck
SAT
0.12
counter7_16
sKizzo-0.10-std
SAT
0.96
counter7_2
EBDDRES
SAT
0.01
counter7_32
sKizzo-0.10-std
SAT
30.6
counter7_4
yQuaffle
SAT
0.04
counter7_8
sKizzo-0.10-std
SAT
0.18
counter8_16
sKizzo-0.10-std
SAT
1.41
counter8_2
ncQuBE1.1
SAT
0.01
counter8_32
ncQuBE1.0
SAT
92.88
counter8_4
yQuaffle
SAT
0.06
counter8_8
sKizzo-0.10-std
SAT
0.37
dme1_2
ncQuBE1.0
SAT
4.17
dme1_3
ncQuBE1.1
SAT
14.21
dme1_4
AQME-1NN
SAT
24.3
dme1_5
AQME-1NN
SAT
26.25
dme1_6
Adaptive2clsQ
SAT
95.2
dme1_7
Adaptive2clsQ
SAT
196.86
dmeSmall_2
ncQuBE1.1
SAT
0.97
dmeSmall_4
ncQuBE1.1
SAT
9.16
dmeSmall_8
ncQuBE1.1
SAT
98.81
ring4_2
QUANTOR_2.15
SAT
0.01
ring4_3
EBDDRES
SAT
0.02
ring4_4
yQuaffle
SAT
0.06
ring4_5
yQuaffle
SAT
0.09
ring4_6
yQuaffle
SAT
0.13
ring4_7
sKizzo-0.10-std
UNSAT
0.19
ring4_8
yQuaffle
UNSAT
0.22
ring5_16
sKizzo-0.10-std
UNSAT
4.25
ring5_2
EBDDRES
SAT
0.02
ring5_32
yQuaffle
UNSAT
41.86
ring5_33
yQuaffle
UNSAT
50.25
ring5_4
sKizzo-0.10-std
SAT
0.08
ring5_8
sKizzo-0.10-std
UNSAT
0.44
ring6_16
sKizzo-0.10-qck
UNSAT
23.09
ring6_2
EBDDRES
SAT
0.02
ring6_32
yQuaffle
UNSAT
114.89
ring6_4
ncQuBE1.0
SAT
0.15
ring6_64
yQuaffle
UNSAT
536.99
ring6_8
ncQuBE1.1
SAT
3.34
semaphore3_2
QUANTOR_2.15
SAT
0.02
semaphore3_3
ncQuBE1.0
SAT
0.1
semaphore3_4
ncQuBE1.1
UNSAT
0.68
semaphore4_2
yQuaffle
SAT
0.04
semaphore4_3
ncQuBE1.0
SAT
0.12
semaphore4_4
ncQuBE1.1
UNSAT
3.03
semaphore5_2
yQuaffle
SAT
0.04
semaphore5_3
ncQuBE1.0
SAT
0.15
semaphore5_4
sKizzo-0.10-qck
UNSAT
9.77
semaphore6_2
yQuaffle
SAT
0.05
semaphore6_3
ncQuBE1.0
SAT
0.23
semaphore6_4
ncQuBE1.0
UNSAT
54.35
semaphore_2
QUANTOR_2.15
SAT
0.01
semaphore_3
sKizzo-0.10-qck
SAT
0.04
semaphore_4
sKizzo-0.10-std
SAT
0.07
semaphore_5
sKizzo-0.10-std
UNSAT
0.13
Contact
|
Organization
|
Links
|
Citing QBFLIB