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 terminator solved by
quantor-3.1
QBFEVAL'10 - 2QBF Track.
Instance
Result
Time
stmt21_4_5
UNSAT
2.28
stmt41_36_37
UNSAT
6.78
stmt52_54_55
UNSAT
30.55
stmt21_134_418
FAIL
38.4
stmt41_336_385
FAIL
46.41
stmt19_313_318
FAIL
46.66
stmt50_167_293
FAIL
48.28
stmt21_79_91
UNSAT
63.73
stmt21_310_360
FAIL
70.6
stmt52_295_394
FAIL
80.27
stmt19_83_302
FAIL
92.75
stmt21_267_310
FAIL
96.8
stmt19_133_257
FAIL
96.92
stmt19_214_309
FAIL
98.26
stmt19_125_302
FAIL
98.67
stmt19_177_302
FAIL
99.05
stmt21_252_310
FAIL
99.05
stmt19_3_309
FAIL
100.68
stmt19_313_412
FAIL
101.66
stmt53_208_245
FAIL
102.2
stmt19_137_313
FAIL
107.87
stmt21_71_304
FAIL
109.65
stmt21_79_314
FAIL
112.73
stmt29_21_275
FAIL
122.63
stmt32_228_277
FAIL
122.84
stmt27_149_224
FAIL
127.33
stmt31_100_276
FAIL
128.45
stmt32_153_277
FAIL
129.9
stmt19_66_90
UNSAT
145
stmt19_67_83
UNSAT
145.78
stmt19_3_78
UNSAT
146
stmt19_2_83
UNSAT
147.04
stmt19_3_83
UNSAT
156.1
stmt31_22_23
UNSAT
161
stmt22_6_80
UNSAT
162.91
stmt44_40_41
UNSAT
183.23
stmt39_34_107
FAIL
185.86
stmt19_66_318
FAIL
214.73
stmt19_90_133
FAIL
224.84
stmt19_261_266
FAIL
229.39
stmt19_217_250
FAIL
239.51
stmt22_92_259
FAIL
279.93
stmt21_70_258
FAIL
280.78
stmt21_143_258
FAIL
293.28
stmt19_142_261
FAIL
315.32
stmt21_127_258
FAIL
340.88
stmt46_163_289
FAIL
374.4
stmt47_239_290
FAIL
380.96
stmt44_40_162
FAIL
389.07
stmt21_71_70
UNSAT
416.11
stmt52_117_295
FAIL
481.9
stmt41_235_286
FAIL
548.49
stmt85_64_122
FAIL
597.73
stmt19_83_90
UNSAT
817.13
stmt19_3_177
FAIL
1200.12
stmt19_2_180
FAIL
1200.16
stmt22_179_182
FAIL
1200.25
Contact
|
Organization
|
Links
|
Citing QBFLIB