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'17 - Prenex 2QBF Track
Instance
Solver
Result
Time
stmt17_62_78
CADET_2017
SAT
3.06
stmt17_63_70
CADET_2017
SAT
2.47
stmt17_63_78
CADET_2017
SAT
2.89
stmt17_70_78
CADET_2017
SAT
3.22
stmt17_70_82
CADET_2017
SAT
3.54
stmt17_70_86
CADET_2017
SAT
3.96
stmt17_74_78
CADET_2017
SAT
3.38
stmt17_74_90
CADET_2017
SAT
4.1
stmt17_78_90
CADET_2017
SAT
4.52
stmt17_78_94
CADET_2017
SAT
4.65
stmt17_78_98
CADET_2017
SAT
4.89
stmt17_82_86
CADET_2017
SAT
4.53
stmt17_82_94
CADET_2017
SAT
5.14
stmt17_94_98
CADET_2017
SAT
6.15
stmt19_64_87
CADET_2017
SAT
3.35
stmt19_64_91
CADET_2017
SAT
3.78
stmt19_65_87
CADET_2017
SAT
3.35
stmt19_65_95
CADET_2017
SAT
4.14
stmt19_71_95
CADET_2017
SAT
4.34
stmt19_75_83
CADET_2017
SAT
3.73
stmt19_75_95
CADET_2017
SAT
4.46
stmt19_79_83
CADET_2017
SAT
3.9
stmt19_79_87
CADET_2017
SAT
4.14
stmt19_83_91
CADET_2017
SAT
4.59
stmt19_87_95
CADET_2017
SAT
5.38
stmt23_66_67
CADET_2017
SAT
2.2
stmt23_66_76
CADET_2017
SAT
2.52
stmt23_67_92
CADET_2017
SAT
3.87
stmt23_88_92
CADET_2017
SAT
4.88
stmt23_92_96
CADET_2017
SAT
5.34
stmt28_68_69
CADET_2017
SAT
2.57
stmt28_68_73
CADET_2017
SAT
2.84
stmt28_73_85
CADET_2017
SAT
3.73
stmt28_73_97
CADET_2017
SAT
4.74
stmt28_89_97
CADET_2017
SAT
5.83
Contact
|
Organization
|
Links
|
Citing QBFLIB