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'18 - Prenex non-CNF Track
Family
Overall
Time
Reference solver
N
#
S
U
amba
2
2
1
1
63.91
quabs___caqe-bloqqer
ASP_Equivalence_Checking
25
18
9
9
1036.76
GhostQ_PG___plain_qcir_2018
bomb
3
2
1
1
400.67
QFUN
BoundedSynthesisPetriGames
50
45
27
18
5566.96
PortfolioGhostQQfunQuAbSQute___pf3
chess_composing
8
0
0
0
-
-
chess_solving
25
9
9
0
2271.91
GhostQ_PG___plain_qcir_2018
CombinationalEquivalence
25
25
13
12
6.02
QFUN
Counter
2
1
1
0
3.89
quabs___caqe-bloqqer
cycle-sched
2
1
1
0
249.28
quabs___caqe-hqspre
driver
2
2
0
2
0
quabs___caqe-bloqqer
dungeon
3
2
0
2
778.05
quabs___caqe-bloqqer
evader-pursuer-4x4-logarithmic
2
2
2
0
7.19
Qute_opt993
evader-pursuer-4x4-standard
1
1
1
0
15.75
quabs___caqe-hqspre
evader-pursuer-6x6-logarithmic
3
2
0
2
1017.75
quabs___caqe-bloqqer
evader-pursuer-8x8-logarithmic
1
1
0
1
5.27
quabs___caqe-bloqqer
genbuf
4
3
0
3
146.92
quabs___caqe-bloqqer
HardwareFixpoint
3
3
2
1
1.58
quabs___caqe-bloqqer
hwmcc
6
4
1
3
19.3
quabs___caqe-bloqqer
incrementer-encoder
3
3
1
2
0
Cqesto_2018
jctc
17
10
6
4
756.65
QFUN
jmc_quant_squaring
4
1
0
1
268.88
Qute_opt993
k_branch_n
2
2
2
0
1.49
quabs___caqe-bloqqer
k_branch_p
3
3
0
3
0.04
quabs___caqe-bloqqer
k_ph_n
1
1
1
0
0
Qute_hybrid
k_ph_p
2
1
0
1
26.7
QFUN
LinearBitvectorRankingFunction
5
1
0
1
0
QFUN
ltl2aig-comp
5
3
0
3
24.26
quabs___caqe-bloqqer
LTL2DPA
3
3
1
2
1.64
quabs___caqe-bloqqer
Model_instances
25
17
14
3
2832.67
quabs___caqe-bloqqer
mult-matrix
4
2
2
0
0
quabs___caqe-bloqqer
PetriGames
25
10
0
10
515.77
quabs___caqe-bloqqer
Planning-CTE
2
2
0
2
537.9
QFUN
Qshifter
1
1
1
0
1.5
quabs___caqe-bloqqer
Random-qcir-1000-50
25
25
0
25
0
quabs___caqe-bloqqer
RankingFunctions
3
3
3
0
0
quabs___caqe-bloqqer
Reduction-finding
25
22
10
12
1411.72
Cqesto_2018
Sorting_networks
4
4
1
3
216.43
quabs___caqe-bloqqer
tipdiam
2
1
0
1
227.77
QFUN
toy
5
5
3
2
0.01
quabs___caqe-bloqqer
Contact
|
Organization
|
Links
|
Citing QBFLIB