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 irqlkeapclte
QBFEVAL'16 - 2QBF Track.
Instance
Solver
Result
Time
stmt17_62_78
areqs
SAT
10.66
stmt17_62_98
areqs
SAT
17.13
stmt17_63_70
xb-bid-qsts
SAT
4.13
stmt17_63_78
depqbf-v2
SAT
6.51
stmt17_63_82
depqbf-v2
SAT
6.91
stmt17_70_78
areqs
SAT
11.2
stmt17_70_82
areqs
SAT
12.38
stmt17_70_86
areqs
SAT
14.28
stmt17_70_90
areqs
SAT
15.04
stmt17_70_98
areqs
SAT
17.97
stmt17_74_78
hiqqer3
SAT
3.14
stmt17_74_90
areqs
SAT
16.16
stmt17_78_90
areqs
SAT
16.35
stmt17_78_94
areqs
SAT
19.5
stmt17_78_98
areqs
SAT
19.14
stmt17_82_86
areqs
SAT
15.4
stmt17_82_94
areqs
SAT
18.91
stmt17_82_98
areqs
SAT
19.32
stmt17_86_98
areqs
SAT
21.42
stmt17_94_98
areqs
SAT
21.97
stmt19_64_87
iprover-QBF-bloqqer
SAT
5.96
stmt19_64_91
hiqqer3
SAT
1.92
stmt19_64_99
areqs
SAT
16.33
stmt19_65_87
areqs
SAT
13.45
stmt19_65_95
areqs
SAT
15.65
stmt19_71_95
areqs
SAT
15.79
stmt19_75_83
areqs
SAT
13.15
stmt19_75_95
areqs
SAT
16.43
stmt19_79_83
areqs
SAT
14.68
stmt19_79_87
areqs
SAT
15.56
stmt19_83_91
areqs
SAT
17.72
stmt19_87_95
areqs
SAT
19.93
stmt23_66_67
hiqqer1ldsq
SAT
1.05
stmt23_66_76
depqbf-v2
SAT
5.91
stmt23_66_96
areqs
SAT
15.33
stmt23_67_92
areqs
SAT
14.25
stmt23_72_76
hiqqer3
SAT
1.45
stmt23_88_92
areqs
SAT
17.7
stmt23_92_96
xb-bid-qsts
UNSAT
13.88
stmt28_68_69
areqs
SAT
8.64
stmt28_68_73
hiqqer1ldsq
SAT
1.09
stmt28_68_81
areqs
SAT
12.51
stmt28_73_85
areqs
SAT
14.73
stmt28_73_97
areqs
SAT
18.06
stmt28_89_97
areqs
SAT
22.22
stmt7_33_34
qestos
SAT
0.02
Contact
|
Organization
|
Links
|
Citing QBFLIB