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
nenofex-qbfeval10
QBFEVAL'10 - 2QBF Track.
Instance
Result
Time
stmt19_313_318
FAIL
288.12
stmt21_127_258
FAIL
304.23
stmt19_133_257
FAIL
308.49
stmt53_208_245
FAIL
316.28
stmt19_67_83
FAIL
319.09
stmt50_167_293
FAIL
329.65
stmt31_100_276
FAIL
332.29
stmt41_235_286
FAIL
341.61
stmt21_143_258
FAIL
356.92
stmt19_137_313
FAIL
366.59
stmt22_179_182
FAIL
375.43
stmt19_261_266
FAIL
376.02
stmt21_71_304
FAIL
376.09
stmt32_228_277
FAIL
380.36
stmt21_310_360
FAIL
381.27
stmt29_21_275
FAIL
381.72
stmt52_117_295
FAIL
391.56
stmt41_336_385
FAIL
392.16
stmt85_64_122
FAIL
394.6
stmt44_40_41
FAIL
397.81
stmt27_149_224
FAIL
401.41
stmt47_239_290
FAIL
405.34
stmt46_163_289
FAIL
405.53
stmt19_83_90
FAIL
406.63
stmt19_214_309
FAIL
414.01
stmt22_92_259
FAIL
417.77
stmt19_125_302
FAIL
419.08
stmt19_3_309
FAIL
422.59
stmt19_3_177
FAIL
424.63
stmt44_40_162
FAIL
429.08
stmt32_153_277
FAIL
431.53
stmt19_177_302
FAIL
434.68
stmt52_295_394
FAIL
435.12
stmt19_142_261
FAIL
436.29
stmt21_79_314
FAIL
438.08
stmt21_70_258
FAIL
440.26
stmt41_36_37
FAIL
442.09
stmt19_66_318
FAIL
442.38
stmt19_3_78
FAIL
449.86
stmt19_66_90
FAIL
465.55
stmt21_252_310
FAIL
472.22
stmt19_217_250
FAIL
484.77
stmt21_267_310
FAIL
491.53
stmt31_22_23
FAIL
495.09
stmt21_71_70
FAIL
495.13
stmt21_79_91
FAIL
504.15
stmt19_83_302
FAIL
515.08
stmt19_313_412
FAIL
531.19
stmt39_34_107
FAIL
560.6
stmt19_3_83
FAIL
593.07
stmt52_54_55
FAIL
599.45
stmt21_134_418
FAIL
626.12
stmt19_90_133
FAIL
715.43
stmt19_2_180
FAIL
735.14
stmt22_6_80
FAIL
875.06
stmt21_4_5
FAIL
1025.24
stmt19_2_83
FAIL
1200.21
Contact
|
Organization
|
Links
|
Citing QBFLIB