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
QuBE7-m
QBFEVAL'10 - 2QBF Track.
Instance
Result
Time
stmt21_4_5
UNSAT
0.08
stmt22_6_80
UNSAT
0.08
stmt19_2_83
UNSAT
0.08
stmt19_3_83
UNSAT
0.08
stmt41_36_37
UNSAT
0.09
stmt21_71_70
UNSAT
0.09
stmt19_3_78
UNSAT
0.09
stmt19_66_90
UNSAT
0.09
stmt31_22_23
UNSAT
0.1
stmt44_40_41
UNSAT
0.1
stmt52_54_55
UNSAT
0.11
stmt19_67_83
UNSAT
0.12
stmt19_83_90
UNSAT
0.12
stmt21_79_91
UNSAT
0.14
stmt39_34_107
UNSAT
0.14
stmt19_3_177
UNSAT
0.14
stmt19_2_180
UNSAT
0.14
stmt44_40_162
UNSAT
0.16
stmt19_90_133
UNSAT
0.18
stmt85_64_122
UNSAT
0.22
stmt21_70_258
UNSAT
0.25
stmt22_92_259
UNSAT
0.27
stmt21_127_258
UNSAT
0.28
stmt21_143_258
UNSAT
0.28
stmt19_133_257
UNSAT
0.28
stmt21_71_304
UNSAT
0.3
stmt19_142_261
UNSAT
0.3
stmt29_21_275
UNSAT
0.32
stmt31_100_276
UNSAT
0.32
stmt19_217_250
UNSAT
0.33
stmt22_179_182
UNSAT
0.34
stmt19_3_309
UNSAT
0.35
stmt19_83_302
UNSAT
0.35
stmt19_66_318
UNSAT
0.36
stmt52_117_295
UNSAT
0.36
stmt46_163_289
UNSAT
0.36
stmt32_153_277
UNSAT
0.37
stmt32_228_277
UNSAT
0.38
stmt19_125_302
UNSAT
0.38
stmt50_167_293
UNSAT
0.38
stmt19_261_266
UNSAT
0.4
stmt41_235_286
UNSAT
0.4
stmt19_177_302
UNSAT
0.4
stmt19_137_313
UNSAT
0.42
stmt47_239_290
UNSAT
0.42
stmt21_79_314
UNSAT
0.42
stmt19_214_309
UNSAT
0.46
stmt19_313_318
UNSAT
0.58
stmt21_252_310
UNSAT
0.58
stmt21_134_418
UNSAT
0.67
stmt21_267_310
UNSAT
28.36
stmt53_208_245
UNSAT
39.95
stmt21_310_360
FAIL
1200.02
stmt27_149_224
FAIL
1200.02
stmt19_313_412
FAIL
1200.02
stmt52_295_394
FAIL
1200.03
stmt41_336_385
FAIL
1200.04
Contact
|
Organization
|
Links
|
Citing QBFLIB