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
Instances of family irqlkeapclte solved by
iprover-QBF-bloqqer
QBFEVAL'16 - 2QBF Track.
Instance
Result
Time
stmt7_33_34
SAT
0.29
stmt23_66_67
SAT
3.83
stmt17_63_70
SAT
4.14
stmt19_64_87
SAT
5.96
stmt19_71_95
FAIL
119.34
stmt17_78_90
FAIL
123.03
stmt17_70_98
FAIL
126.43
stmt28_73_85
FAIL
131.23
stmt19_83_91
FAIL
134.34
stmt17_74_90
FAIL
134.45
stmt17_62_98
FAIL
138.75
stmt17_78_94
FAIL
142.05
stmt23_88_92
FAIL
143.23
stmt19_65_95
FAIL
146.44
stmt19_79_87
FAIL
146.84
stmt17_82_94
FAIL
148.24
stmt28_73_97
FAIL
153.34
stmt19_87_95
FAIL
154.33
stmt19_79_83
FAIL
156.84
stmt17_82_86
FAIL
160.33
stmt17_82_98
FAIL
169.64
stmt17_86_98
FAIL
171.43
stmt28_89_97
FAIL
171.65
stmt23_92_96
FAIL
174.53
stmt17_78_98
FAIL
180.93
stmt17_94_98
FAIL
181.64
stmt17_70_90
FAIL
194.33
stmt19_65_87
FAIL
194.74
stmt17_70_86
FAIL
200.53
stmt17_70_82
FAIL
204.83
stmt19_75_83
FAIL
217.94
stmt17_74_78
FAIL
231.94
stmt23_67_92
FAIL
435.64
stmt23_66_96
FAIL
444.93
stmt19_64_91
FAIL
459.44
stmt17_70_78
FAIL
481.03
stmt28_68_81
FAIL
482.95
stmt23_66_76
FAIL
492.54
stmt17_63_78
FAIL
494.74
stmt28_68_73
FAIL
522.14
stmt17_63_82
FAIL
548.13
stmt28_68_69
FAIL
565.04
stmt17_62_78
FAIL
587.13
stmt19_64_99
FAIL
599.23
stmt23_72_76
FAIL
599.23
Contact
|
Organization
|
Links
|
Citing QBFLIB