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
depqbf
QBFEVAL'10 - 2QBF Track.
Instance
Result
Time
stmt44_40_41
FAIL
1199.82
stmt19_3_177
FAIL
1199.93
stmt52_54_55
FAIL
1200.14
stmt41_235_286
FAIL
1200.15
stmt19_2_83
FAIL
1200.15
stmt41_36_37
FAIL
1200.15
stmt19_66_90
FAIL
1200.15
stmt31_100_276
FAIL
1200.16
stmt19_3_78
FAIL
1200.16
stmt21_252_310
FAIL
1200.16
stmt21_143_258
FAIL
1200.16
stmt21_134_418
FAIL
1200.16
stmt41_336_385
FAIL
1200.16
stmt21_127_258
FAIL
1200.16
stmt19_133_257
FAIL
1200.16
stmt22_179_182
FAIL
1200.16
stmt29_21_275
FAIL
1200.16
stmt21_70_258
FAIL
1200.16
stmt19_177_302
FAIL
1200.16
stmt19_90_133
FAIL
1200.16
stmt46_163_289
FAIL
1200.16
stmt19_137_313
FAIL
1200.16
stmt50_167_293
FAIL
1200.16
stmt85_64_122
FAIL
1200.16
stmt44_40_162
FAIL
1200.16
stmt19_214_309
FAIL
1200.16
stmt31_22_23
FAIL
1200.16
stmt47_239_290
FAIL
1200.16
stmt21_79_91
FAIL
1200.16
stmt32_228_277
FAIL
1200.16
stmt39_34_107
FAIL
1200.16
stmt32_153_277
FAIL
1200.16
stmt21_310_360
FAIL
1200.16
stmt19_261_266
FAIL
1200.16
stmt22_92_259
FAIL
1200.16
stmt19_83_302
FAIL
1200.16
stmt19_83_90
FAIL
1200.16
stmt19_66_318
FAIL
1200.16
stmt21_71_304
FAIL
1200.16
stmt52_295_394
FAIL
1200.16
stmt21_4_5
FAIL
1200.16
stmt19_67_83
FAIL
1200.16
stmt53_208_245
FAIL
1200.16
stmt21_71_70
FAIL
1200.16
stmt27_149_224
FAIL
1200.16
stmt19_217_250
FAIL
1200.17
stmt21_79_314
FAIL
1200.17
stmt19_3_309
FAIL
1200.17
stmt21_267_310
FAIL
1200.17
stmt19_2_180
FAIL
1200.17
stmt19_313_318
FAIL
1200.17
stmt52_117_295
FAIL
1200.17
stmt19_313_412
FAIL
1200.17
stmt19_125_302
FAIL
1200.17
stmt19_3_83
FAIL
1200.17
stmt22_6_80
FAIL
1200.17
stmt19_142_261
FAIL
1200.17
Contact
|
Organization
|
Links
|
Citing QBFLIB