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
Solver performances for family instances
QBFEVAL'04
Family
Overall
Time
Reference solver
N
#
S
U
Adder
8
6
2
4
132.57
QMRes
Blocks
8
8
2
6
3.49
QSAT
C432
8
6
3
3
788.4
semprop
C499
8
4
2
2
18.01
QUANTOR
C5315
8
4
2
2
152.4
QUANTOR
C6288
8
1
1
0
3.93
semprop
C880
8
2
2
0
7.39
semprop
Chain
8
8
8
0
0.22
QUANTOR
comp
8
8
4
4
0.41
QUANTOR
Connect2
8
8
0
8
0.84
QBFL-BS
Connect3
8
8
0
8
2.73
QBFL-BS
Connect4
8
8
0
8
1.43
QBFL-JW
Connect5
8
8
0
8
1.23
QBFL-BS
Connect6
8
8
0
8
1.39
QBFL-JW
Connect7
8
8
0
8
1.61
QBFL-JW
Connect8
8
8
0
8
3.13
QBFL-JW
Connect9
3
3
0
3
1.47
QBFL-JW
Counter
8
4
4
0
0.05
QUANTOR
DFlipFlop
8
8
0
8
1.76
QUANTOR
Impl
8
8
8
0
0.02
QBFL-BS
jmc_quant
8
3
2
1
18.68
QMRes
jmc_quant_squaring
8
3
2
1
11.45
QMRes
k_branch_n
8
4
4
0
269.06
semprop
k_branch_p
8
8
0
8
111.29
QSAT
k_d4_n
8
8
8
0
32.64
QMRes
k_d4_p
8
8
0
8
0.08
QSAT
k_dum_n
8
8
8
0
0.28
QUANTOR
k_dum_p
8
8
0
8
4.76
QMRes
k_grz_n
8
8
8
0
877.33
QMRes
k_grz_p
8
8
0
8
9.19
QMRes
k_lin_n
8
8
8
0
18.75
semprop
k_lin_p
8
8
0
8
0.85
QSAT
k_path_n
8
8
8
0
0.12
QUANTOR
k_path_p
8
8
0
8
0.2
QUANTOR
k_ph_n
8
8
8
0
418.82
QUBE-LRN
k_ph_p
8
5
0
5
371.61
QSAT
k_poly_n
8
8
8
0
0.18
QUANTOR
k_poly_p
8
8
0
8
0.08
sSolve
k_t4p_n
8
8
8
0
94.1
QMRes
k_t4p_p
8
8
0
8
22.92
QMRes
Logn
4
4
0
4
0.34
QSAT
mA-t2-2qbf-5cnf-100var-1000cl
2
2
0
2
1.08
sSolve
mA-t2-2qbf-5cnf-100var-1200cl
2
2
0
2
0.02
sSolve
mA-t2-2qbf-5cnf-100var-1400cl
2
2
0
2
0.02
semprop
mA-t2-2qbf-5cnf-100var-1600cl
2
2
0
2
0.03
QSAT
mA-t2-2qbf-5cnf-100var-1800cl
2
2
0
2
0.03
sSolve
mA-t2-2qbf-5cnf-100var-200cl
2
2
2
0
0.01
sSolve
mA-t2-2qbf-5cnf-100var-400cl
2
2
0
2
2.16
QUBE-BJ
mA-t2-2qbf-5cnf-100var-600cl
2
2
0
2
49.53
QUBE-BJ
mA-t2-2qbf-5cnf-100var-800cl
2
2
0
2
1.46
sSolve
mA-t2-2qbf-5cnf-150var-1200cl
2
1
0
1
208.12
QSAT
mA-t2-2qbf-5cnf-150var-1500cl
2
2
0
2
0.04
sSolve
mA-t2-2qbf-5cnf-150var-1800cl
2
2
0
2
0.02
semprop
mA-t2-2qbf-5cnf-150var-2100cl
2
2
0
2
0.03
semprop
mA-t2-2qbf-5cnf-150var-2400cl
2
2
0
2
0.04
semprop
mA-t2-2qbf-5cnf-150var-2700cl
2
2
0
2
0.04
semprop
mA-t2-2qbf-5cnf-150var-300cl
2
2
2
0
0
sSolve
mA-t2-2qbf-5cnf-150var-600cl
2
2
0
2
2.04
QUBE-BJ
mA-t2-2qbf-5cnf-150var-900cl
2
0
0
0
-
-
mA-t2-2qbf-5cnf-50var-100cl
2
2
2
0
0.01
QBFL-BS
mA-t2-2qbf-5cnf-50var-200cl
2
2
1
1
0.36
sSolve
mA-t2-2qbf-5cnf-50var-300cl
2
2
0
2
9.27
sSolve
mA-t2-2qbf-5cnf-50var-400cl
2
2
0
2
0.1
sSolve
mA-t2-2qbf-5cnf-50var-500cl
2
2
0
2
0.02
sSolve
mA-t2-2qbf-5cnf-50var-600cl
2
2
0
2
0
sSolve
mA-t2-2qbf-5cnf-50var-700cl
2
2
0
2
0.01
semprop
mA-t2-2qbf-5cnf-50var-800cl
2
2
0
2
0.01
CLearn
mA-t2-2qbf-5cnf-50var-900cl
2
2
0
2
0.01
sSolve
mA-t2-3qbf-5cnf-100var-1000cl
2
2
0
2
2.46
QUBE-LRN
mA-t2-3qbf-5cnf-100var-1200cl
2
2
0
2
0.08
sSolve
mA-t2-3qbf-5cnf-100var-1400cl
2
2
0
2
0.03
sSolve
mA-t2-3qbf-5cnf-100var-1600cl
2
2
0
2
0.01
sSolve
mA-t2-3qbf-5cnf-100var-1800cl
2
2
0
2
0.02
sSolve
mA-t2-3qbf-5cnf-100var-200cl
2
2
2
0
0
QUANTOR
mA-t2-3qbf-5cnf-100var-400cl
2
2
2
0
0
WalkQSAT
mA-t2-3qbf-5cnf-100var-600cl
2
2
2
0
0
sSolve
mA-t2-3qbf-5cnf-100var-800cl
2
2
2
0
0.01
QBFL-JW
mA-t2-3qbf-5cnf-150var-1200cl
2
2
2
0
0.01
QBFL-BS
mA-t2-3qbf-5cnf-150var-1500cl
2
2
0
2
5.86
QUBE-LRN
mA-t2-3qbf-5cnf-150var-1800cl
2
2
0
2
1.75
sSolve
mA-t2-3qbf-5cnf-150var-2100cl
2
2
0
2
0.08
sSolve
mA-t2-3qbf-5cnf-150var-2400cl
2
2
0
2
0.06
sSolve
mA-t2-3qbf-5cnf-150var-2700cl
2
2
0
2
0.05
sSolve
mA-t2-3qbf-5cnf-150var-300cl
2
2
2
0
0
QUANTOR
mA-t2-3qbf-5cnf-150var-600cl
2
2
2
0
0.01
semprop
mA-t2-3qbf-5cnf-150var-900cl
2
2
2
0
0.02
QBFL-BS
mA-t2-3qbf-5cnf-50var-100cl
2
2
2
0
0
QUANTOR
mA-t2-3qbf-5cnf-50var-200cl
2
2
2
0
0
semprop
mA-t2-3qbf-5cnf-50var-300cl
2
2
2
0
0
semprop
mA-t2-3qbf-5cnf-50var-400cl
2
2
2
0
0.18
semprop
mA-t2-3qbf-5cnf-50var-500cl
2
2
0
2
4.07
QUBE-BJ
mA-t2-3qbf-5cnf-50var-600cl
2
2
0
2
0.04
sSolve
mA-t2-3qbf-5cnf-50var-700cl
2
2
0
2
0.02
sSolve
mA-t2-3qbf-5cnf-50var-800cl
2
2
0
2
0.02
sSolve
mA-t2-3qbf-5cnf-50var-900cl
2
2
0
2
0.02
sSolve
mA-t2-4qbf-5cnf-100var-1000cl
2
2
0
2
0.22
semprop
mA-t2-4qbf-5cnf-100var-1200cl
2
2
0
2
0.02
sSolve
mA-t2-4qbf-5cnf-100var-1400cl
2
2
0
2
0.02
sSolve
mA-t2-4qbf-5cnf-100var-1600cl
2
2
0
2
0.02
sSolve
mA-t2-4qbf-5cnf-100var-1800cl
2
2
0
2
0.03
sSolve
mA-t2-4qbf-5cnf-100var-200cl
2
2
2
0
0
GRL
mA-t2-4qbf-5cnf-100var-400cl
2
2
2
0
0.01
sSolve
mA-t2-4qbf-5cnf-100var-600cl
2
2
0
2
102.61
QUBE-LRN
mA-t2-4qbf-5cnf-100var-800cl
2
2
0
2
2.65
QUBE-BJ
mA-t2-4qbf-5cnf-150var-1200cl
2
2
0
2
69.3
QUBE-LRN
mA-t2-4qbf-5cnf-150var-1500cl
2
2
0
2
1.59
semprop
mA-t2-4qbf-5cnf-150var-1800cl
2
2
0
2
0.04
sSolve
mA-t2-4qbf-5cnf-150var-2100cl
2
2
0
2
0.06
sSolve
mA-t2-4qbf-5cnf-150var-2400cl
2
2
0
2
0.05
sSolve
mA-t2-4qbf-5cnf-150var-2700cl
2
2
0
2
0.05
semprop
mA-t2-4qbf-5cnf-150var-300cl
2
2
2
0
0.01
QUANTOR
mA-t2-4qbf-5cnf-150var-600cl
2
2
2
0
0.02
sSolve
mA-t2-4qbf-5cnf-150var-900cl
2
2
1
1
2.04
sSolve
mA-t2-4qbf-5cnf-50var-100cl
2
2
2
0
0.01
semprop
mA-t2-4qbf-5cnf-50var-200cl
2
2
2
0
0
sSolve
mA-t2-4qbf-5cnf-50var-300cl
2
2
2
0
0.02
sSolve
mA-t2-4qbf-5cnf-50var-400cl
2
2
0
2
0.47
semprop
mA-t2-4qbf-5cnf-50var-500cl
2
2
0
2
0
semprop
mA-t2-4qbf-5cnf-50var-600cl
2
2
0
2
0.02
sSolve
mA-t2-4qbf-5cnf-50var-700cl
2
2
0
2
0.03
semprop
mA-t2-4qbf-5cnf-50var-800cl
2
2
0
2
0.02
semprop
mA-t2-4qbf-5cnf-50var-900cl
2
2
0
2
0.02
semprop
mA-t2-5qbf-5cnf-100var-1000cl
2
2
0
2
4.01
QUBE-BJ
mA-t2-5qbf-5cnf-100var-1200cl
2
2
0
2
4.69
QUBE-LRN
mA-t2-5qbf-5cnf-100var-1400cl
2
2
0
2
0.56
sSolve
mA-t2-5qbf-5cnf-100var-1600cl
2
2
0
2
0.05
sSolve
mA-t2-5qbf-5cnf-100var-1800cl
2
2
0
2
0.03
sSolve
mA-t2-5qbf-5cnf-100var-200cl
2
2
2
0
0
GRL
mA-t2-5qbf-5cnf-100var-400cl
2
2
2
0
0
CLearn
mA-t2-5qbf-5cnf-100var-600cl
2
2
2
0
0.01
QBFL-BS
mA-t2-5qbf-5cnf-100var-800cl
2
2
2
0
0.01
QBFL-BS
mA-t2-5qbf-5cnf-150var-1200cl
2
2
2
0
0
QBFL-JW
mA-t2-5qbf-5cnf-150var-1500cl
2
2
2
0
0.02
QBFL-BS
mA-t2-5qbf-5cnf-150var-1800cl
2
2
0
2
80.25
QUBE-BJ
mA-t2-5qbf-5cnf-150var-2100cl
2
2
0
2
0.09
sSolve
mA-t2-5qbf-5cnf-150var-2400cl
2
2
0
2
0.06
sSolve
mA-t2-5qbf-5cnf-150var-2700cl
2
2
0
2
0.06
sSolve
mA-t2-5qbf-5cnf-150var-300cl
2
2
2
0
0.01
QUANTOR
mA-t2-5qbf-5cnf-150var-600cl
2
2
2
0
0
CSBJ
mA-t2-5qbf-5cnf-150var-900cl
2
2
2
0
0.02
semprop
mA-t2-5qbf-5cnf-50var-100cl
2
2
2
0
0
WalkQSAT
mA-t2-5qbf-5cnf-50var-200cl
2
2
2
0
0
QUANTOR
mA-t2-5qbf-5cnf-50var-300cl
2
2
2
0
0.01
GRL
mA-t2-5qbf-5cnf-50var-400cl
2
2
2
0
0.02
QBFL-JW
mA-t2-5qbf-5cnf-50var-500cl
2
2
2
0
0.01
QBFL-JW
mA-t2-5qbf-5cnf-50var-600cl
2
2
1
1
2.09
QUBE-LRN
mA-t2-5qbf-5cnf-50var-700cl
2
2
0
2
0.25
sSolve
mA-t2-5qbf-5cnf-50var-800cl
2
2
0
2
0.05
sSolve
mA-t2-5qbf-5cnf-50var-900cl
2
2
0
2
0.04
sSolve
mB-t2-2qbf-5cnf-100var-1000cl
2
2
0
2
0.01
semprop
mB-t2-2qbf-5cnf-100var-1200cl
2
2
0
2
0.02
CLearn
mB-t2-2qbf-5cnf-100var-1400cl
2
2
0
2
0.02
CLearn
mB-t2-2qbf-5cnf-100var-1600cl
2
2
0
2
0.02
semprop
mB-t2-2qbf-5cnf-100var-1800cl
2
2
0
2
0.01
CLearn
mB-t2-2qbf-5cnf-100var-200cl
2
2
1
1
0.07
QUANTOR
mB-t2-2qbf-5cnf-100var-400cl
2
2
0
2
0.02
sSolve
mB-t2-2qbf-5cnf-100var-600cl
2
2
0
2
0.02
semprop
mB-t2-2qbf-5cnf-100var-800cl
2
2
0
2
0.01
semprop
mB-t2-2qbf-5cnf-150var-1200cl
2
2
0
2
0
semprop
mB-t2-2qbf-5cnf-150var-1500cl
2
2
0
2
0.02
semprop
mB-t2-2qbf-5cnf-150var-1800cl
2
2
0
2
0.02
semprop
mB-t2-2qbf-5cnf-150var-2100cl
2
2
0
2
0.02
semprop
mB-t2-2qbf-5cnf-150var-2400cl
2
2
0
2
0.02
sSolve
mB-t2-2qbf-5cnf-150var-2700cl
2
2
0
2
0.03
CLearn
mB-t2-2qbf-5cnf-150var-300cl
2
2
0
2
0.01
semprop
mB-t2-2qbf-5cnf-150var-600cl
2
2
0
2
0
semprop
mB-t2-2qbf-5cnf-150var-900cl
2
2
0
2
0
sSolve
mB-t2-2qbf-5cnf-50var-100cl
2
2
1
1
0.01
QUANTOR
mB-t2-2qbf-5cnf-50var-200cl
2
2
0
2
0.01
sSolve
mB-t2-2qbf-5cnf-50var-300cl
2
2
0
2
0
CSBJ
mB-t2-2qbf-5cnf-50var-400cl
2
2
0
2
0.01
semprop
mB-t2-2qbf-5cnf-50var-500cl
2
2
0
2
0.01
semprop
mB-t2-2qbf-5cnf-50var-600cl
2
2
0
2
0.01
sSolve
mB-t2-2qbf-5cnf-50var-700cl
2
2
0
2
0
sSolve
mB-t2-2qbf-5cnf-50var-800cl
2
2
0
2
0
CLearn
mB-t2-2qbf-5cnf-50var-900cl
2
2
0
2
0
semprop
mB-t2-3qbf-5cnf-100var-1000cl
2
2
0
2
0
sSolve
mB-t2-3qbf-5cnf-100var-1200cl
2
2
0
2
0.01
semprop
mB-t2-3qbf-5cnf-100var-1400cl
2
2
0
2
0.01
WalkQSAT
mB-t2-3qbf-5cnf-100var-1600cl
2
2
0
2
0
CSBJ
mB-t2-3qbf-5cnf-100var-1800cl
2
2
0
2
0.01
CSBJ
mB-t2-3qbf-5cnf-100var-200cl
2
2
2
0
0
sSolve
mB-t2-3qbf-5cnf-100var-400cl
2
2
0
2
0
semprop
mB-t2-3qbf-5cnf-100var-600cl
2
2
0
2
0.01
semprop
mB-t2-3qbf-5cnf-100var-800cl
2
2
0
2
0.01
semprop
mB-t2-3qbf-5cnf-150var-1200cl
2
2
0
2
0
CSBJ
mB-t2-3qbf-5cnf-150var-1500cl
2
2
0
2
0
CSBJ
mB-t2-3qbf-5cnf-150var-1800cl
2
2
0
2
0.02
semprop
mB-t2-3qbf-5cnf-150var-2100cl
2
2
0
2
0.01
semprop
mB-t2-3qbf-5cnf-150var-2400cl
2
2
0
2
0
WalkQSAT
mB-t2-3qbf-5cnf-150var-2700cl
2
2
0
2
0.02
CSBJ
mB-t2-3qbf-5cnf-150var-300cl
2
2
2
0
0
semprop
mB-t2-3qbf-5cnf-150var-600cl
2
2
0
2
0.02
QUANTOR
mB-t2-3qbf-5cnf-150var-900cl
2
2
0
2
0.01
sSolve
mB-t2-3qbf-5cnf-50var-100cl
2
2
2
0
0
semprop
mB-t2-3qbf-5cnf-50var-200cl
2
2
0
2
0
GRL
mB-t2-3qbf-5cnf-50var-300cl
2
2
0
2
0
GRL
mB-t2-3qbf-5cnf-50var-400cl
2
2
0
2
0
QUANTOR
mB-t2-3qbf-5cnf-50var-500cl
2
2
0
2
0
GRL
mB-t2-3qbf-5cnf-50var-600cl
2
2
0
2
0
GRL
mB-t2-3qbf-5cnf-50var-700cl
2
2
0
2
0
CSBJ
mB-t2-3qbf-5cnf-50var-800cl
2
2
0
2
0
CSBJ
mB-t2-3qbf-5cnf-50var-900cl
2
2
0
2
0
CSBJ
mB-t2-4qbf-5cnf-100var-1000cl
2
2
0
2
0
sSolve
mB-t2-4qbf-5cnf-100var-1200cl
2
2
0
2
0.01
CSBJ
mB-t2-4qbf-5cnf-100var-1400cl
2
2
0
2
0.02
yQuaffle
mB-t2-4qbf-5cnf-100var-1600cl
2
2
0
2
0.02
sSolve
mB-t2-4qbf-5cnf-100var-1800cl
2
2
0
2
0.03
semprop
mB-t2-4qbf-5cnf-100var-200cl
2
2
2
0
0.01
QUANTOR
mB-t2-4qbf-5cnf-100var-400cl
2
2
0
2
0
CLearn
mB-t2-4qbf-5cnf-100var-600cl
2
2
0
2
0
CLearn
mB-t2-4qbf-5cnf-100var-800cl
2
2
0
2
0
semprop
mB-t2-4qbf-5cnf-150var-1200cl
2
2
0
2
0.02
semprop
mB-t2-4qbf-5cnf-150var-1500cl
2
2
0
2
0.02
semprop
mB-t2-4qbf-5cnf-150var-1800cl
2
2
0
2
0.02
semprop
mB-t2-4qbf-5cnf-150var-2100cl
2
2
0
2
0.03
CSBJ
mB-t2-4qbf-5cnf-150var-2400cl
2
2
0
2
0.02
semprop
mB-t2-4qbf-5cnf-150var-2700cl
2
2
0
2
0.02
semprop
mB-t2-4qbf-5cnf-150var-300cl
2
2
2
0
0
QBFL-JW
mB-t2-4qbf-5cnf-150var-600cl
2
2
0
2
0.01
QBFL-JW
mB-t2-4qbf-5cnf-150var-900cl
2
2
0
2
0.02
semprop
mB-t2-4qbf-5cnf-50var-100cl
2
2
2
0
0.01
QUANTOR
mB-t2-4qbf-5cnf-50var-200cl
2
2
0
2
0.01
sSolve
mB-t2-4qbf-5cnf-50var-300cl
2
2
0
2
0.01
semprop
mB-t2-4qbf-5cnf-50var-400cl
2
2
0
2
0
CLearn
mB-t2-4qbf-5cnf-50var-500cl
2
2
0
2
0
semprop
mB-t2-4qbf-5cnf-50var-600cl
2
2
0
2
0
CLearn
mB-t2-4qbf-5cnf-50var-700cl
2
2
0
2
0
CLearn
mB-t2-4qbf-5cnf-50var-800cl
2
2
0
2
0.01
sSolve
mB-t2-4qbf-5cnf-50var-900cl
2
2
0
2
0
CLearn
mB-t2-5qbf-5cnf-100var-1000cl
2
2
0
2
0
CSBJ
mB-t2-5qbf-5cnf-100var-1200cl
2
2
0
2
0
CSBJ
mB-t2-5qbf-5cnf-100var-1400cl
2
2
0
2
0
CSBJ
mB-t2-5qbf-5cnf-100var-1600cl
2
2
0
2
0
CSBJ
mB-t2-5qbf-5cnf-100var-1800cl
2
2
0
2
0.02
CLearn
mB-t2-5qbf-5cnf-100var-200cl
2
2
2
0
0
QSAT
mB-t2-5qbf-5cnf-100var-400cl
2
2
0
2
0
semprop
mB-t2-5qbf-5cnf-100var-600cl
2
2
0
2
0.01
semprop
mB-t2-5qbf-5cnf-100var-800cl
2
2
0
2
0.02
semprop
mB-t2-5qbf-5cnf-150var-1200cl
2
2
0
2
0.01
sSolve
mB-t2-5qbf-5cnf-150var-1500cl
2
2
0
2
0.01
semprop
mB-t2-5qbf-5cnf-150var-1800cl
2
2
0
2
0.02
WalkQSAT
mB-t2-5qbf-5cnf-150var-2100cl
2
2
0
2
0.02
sSolve
mB-t2-5qbf-5cnf-150var-2400cl
2
2
0
2
0.02
sSolve
mB-t2-5qbf-5cnf-150var-2700cl
2
2
0
2
0.02
CSBJ
mB-t2-5qbf-5cnf-150var-300cl
2
2
2
0
0
CSBJ
mB-t2-5qbf-5cnf-150var-600cl
2
2
0
2
0
CSBJ
mB-t2-5qbf-5cnf-150var-900cl
2
2
0
2
0.03
semprop
mB-t2-5qbf-5cnf-50var-100cl
2
2
2
0
0
QUANTOR
mB-t2-5qbf-5cnf-50var-200cl
2
2
2
0
0
sSolve
mB-t2-5qbf-5cnf-50var-300cl
2
2
0
2
0
CSBJ
mB-t2-5qbf-5cnf-50var-400cl
2
2
0
2
0
CSBJ
mB-t2-5qbf-5cnf-50var-500cl
2
2
0
2
0
CLearn
mB-t2-5qbf-5cnf-50var-600cl
2
2
0
2
0
CLearn
mB-t2-5qbf-5cnf-50var-700cl
2
2
0
2
0
CLearn
mB-t2-5qbf-5cnf-50var-800cl
2
2
0
2
0.01
sSolve
mB-t2-5qbf-5cnf-50var-900cl
2
2
0
2
0
semprop
MutexP
7
7
7
0
0.13
sSolve
RobotsD2
8
8
6
2
29.01
QUBE-LRN
RobotsD3
8
8
6
2
534.83
QUBE-LRN
RobotsD4
8
8
6
2
451.13
QUBE-LRN
RobotsD5
8
8
4
4
76.75
QUBE-BJ
s1196
6
0
0
0
-
-
s1269
8
0
0
0
-
-
s27
4
4
1
3
3.04
QUANTOR
s298
8
1
1
0
452.96
QUANTOR
s3271
8
8
0
8
1.9
QBFL-BS
s3330
8
1
1
0
154.87
QUANTOR
s386
8
0
0
0
-
-
s499
8
3
3
0
70.41
QUANTOR
s510
8
0
0
0
-
-
s641
8
1
1
0
350.81
QUANTOR
s713
8
1
1
0
287.14
QUANTOR
s820
8
0
0
0
-
-
SzymanskiP
8
8
0
8
62.86
CSBJ
term1
8
7
4
3
135.94
semprop
Toilet
8
8
5
3
5.99
sSolve
ToiletA
8
8
1
7
1.92
CLearn
ToiletC
8
8
3
5
0.2
GRL
ToiletG
7
7
7
0
0.03
GRL
Tree
8
8
2
6
0.01
QUANTOR
uclid
3
0
0
0
-
-
VonNeumann
8
8
0
8
3.99
QBFL-JW
z4ml
8
8
4
4
0.03
yQuaffle
Contact
|
Organization
|
Links
|
Citing QBFLIB