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
ghostq-cegar
QBFEVAL'16 - 2QBF Track.
Instance
Result
Time
stmt7_33_34
SAT
0.43
stmt23_66_67
SAT
49.58
stmt17_63_70
SAT
55.43
stmt28_68_69
SAT
57.27
stmt23_66_76
SAT
57.28
stmt28_68_73
SAT
64.28
stmt17_62_78
SAT
64.71
stmt17_63_78
SAT
64.79
stmt17_74_78
SAT
69.38
stmt28_68_81
SAT
70.48
stmt23_72_76
SAT
71.34
stmt19_64_91
SAT
76.62
stmt19_65_87
SAT
77.19
stmt17_70_78
SAT
82.49
stmt28_73_85
SAT
87.3
stmt17_63_82
SAT
90.53
stmt19_79_83
SAT
91.58
stmt19_64_87
SAT
93.04
stmt17_70_86
SAT
94.82
stmt19_83_91
SAT
101.81
stmt17_70_82
SAT
102.03
stmt23_66_96
SAT
102.96
stmt19_64_99
SAT
103.84
stmt19_75_95
SAT
110.69
stmt19_79_87
SAT
115.32
stmt19_75_83
SAT
117.16
stmt23_67_92
SAT
124.4
stmt17_62_98
SAT
124.78
stmt17_74_90
SAT
128.19
stmt19_71_95
SAT
132.77
stmt17_82_98
SAT
133.71
stmt23_88_92
SAT
138.83
stmt17_70_90
SAT
143.98
stmt19_87_95
SAT
161.3
stmt28_73_97
SAT
163.6
stmt17_82_86
SAT
164.4
stmt17_94_98
SAT
169.34
stmt17_70_98
SAT
170.71
stmt17_78_94
SAT
177.56
stmt17_78_90
SAT
183.08
stmt23_92_96
SAT
185.72
stmt17_86_98
SAT
207.22
stmt17_82_94
SAT
208.79
stmt17_78_98
SAT
238.49
stmt19_65_95
SAT
313.55
stmt28_89_97
FAIL
599.81
Contact
|
Organization
|
Links
|
Citing QBFLIB