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 solved by
nenofex-qbfeval10
QBFEVAL'10 - 2QBF Track.
Instance
Result
Time
stmt6_13_14
SAT
0
stmt24_7_8
SAT
0
stmt1_30_31
SAT
0.01
stmt1_145_146
SAT
0.01
stmt24_148_149
SAT
0.01
stmt1_20_21
SAT
0.01
stmt32_122_129
SAT
0.01
stmt44_107_113
SAT
0.02
qshifter_3
SAT
0.02
stmt44_107_108
SAT
0.02
mutex-2-s
SAT
0.02
qshifter_4
SAT
0.04
rankfunc4_unsigned_16
SAT
0.05
rankfunc34_signed_32
SAT
0.16
mutex-4-s
SAT
0.17
rankfunc37_unsigned_32
UNSAT
0.18
qshifter_5
SAT
0.46
rankfunc59_unsigned_16
SAT
0.84
rankfunc28_unsigned_16
SAT
0.96
rankfunc38_signed_32
SAT
1.19
stmt1_811_812
SAT
1.58
rankfunc36_signed_64
SAT
1.94
rankfunc22_unsigned_32
SAT
2.15
stmt44_252_301
SAT
3.04
stmt3_969_973
SAT
3.45
rankfunc61_signed_32
SAT
3.68
stmt82_224_225
SAT
3.88
rankfunc9_signed_64
SAT
4.38
stmt18_258_260
SAT
4.48
rankfunc52_unsigned_32
SAT
4.54
qshifter_6
SAT
4.64
stmt16_0_1
SAT
4.95
rankfunc12_unsigned_16
SAT
5.52
stmt70_191_213
SAT
5.98
stmt9_350_351
SAT
6.53
stmt17_143_144
SAT
9.61
stmt27_296_297
SAT
9.64
stmt24_292_293
SAT
10.03
stmt3_639_640
SAT
11.05
stmt17_18_19
SAT
18.4
stmt1_392_393
SAT
39.35
rankfunc31_unsigned_16
SAT
46.99
qshifter_7
SAT
47.79
mutex-8-s
SAT
52.48
rankfunc45_signed_16
FAIL
54.1
rankfunc56_signed_16
FAIL
71.34
rankfunc53_signed_16
FAIL
87.51
stmt2_649_723
SAT
122.41
rankfunc27_signed_64
FAIL
135.08
stmt9_445_446
SAT
136.48
rankfunc44_unsigned_32
FAIL
136.61
rankfunc33_unsigned_32
FAIL
147.27
rankfunc30_signed_64
FAIL
171.08
sortnetsort5.AE.stepl.003
FAIL
232.79
rankfunc26_unsigned_32
FAIL
239.36
rankfunc24_unsigned_64
FAIL
240.23
rankfunc48_unsigned_16
FAIL
287.39
stmt19_313_318
FAIL
288.12
rankfunc25_signed_64
FAIL
293.52
rankfunc50_signed_64
FAIL
298.33
rankfunc41_signed_32
FAIL
298.88
rankfunc40_unsigned_64
FAIL
301.12
stmt21_127_258
FAIL
304.23
rankfunc7_signed_16
FAIL
306.46
stmt19_133_257
FAIL
308.49
rankfunc43_signed_64
FAIL
310.58
stmt53_208_245
FAIL
316.28
sortnetsort5.AE.stepl.006
FAIL
318.41
stmt19_67_83
FAIL
319.09
rankfunc51_signed_32
FAIL
320.9
sortnetsort6.AE.stepl.003
FAIL
324.75
stmt50_167_293
FAIL
329.65
rankfunc49_signed_32
FAIL
329.98
rankfunc58_signed_32
FAIL
330.45
sortnetsort5.AE.stepl.007
FAIL
331.64
stmt31_100_276
FAIL
332.29
sortnetsort5.AE.stepl.005
FAIL
335.82
stmt41_235_286
FAIL
341.61
stmt21_143_258
FAIL
356.92
rankfunc8_unsigned_32
FAIL
360.85
stmt19_137_313
FAIL
366.59
stmt22_179_182
FAIL
375.43
stmt19_261_266
FAIL
376.02
stmt21_71_304
FAIL
376.09
rankfunc3_signed_64
FAIL
378.08
stmt32_228_277
FAIL
380.36
stmt21_310_360
FAIL
381.27
stmt29_21_275
FAIL
381.72
stmt52_117_295
FAIL
391.56
mutex-32-s
FAIL
391.87
stmt41_336_385
FAIL
392.16
stmt85_64_122
FAIL
394.6
rankfunc1_signed_32
FAIL
397.37
stmt44_40_41
FAIL
397.81
sortnetsort7.AE.stepl.003
FAIL
398.04
sortnetsort6.AE.stepl.006
FAIL
399.9
stmt27_149_224
FAIL
401.41
stmt17_63_78
FAIL
404.91
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
stmt17_63_70
FAIL
424.79
stmt44_40_162
FAIL
429.08
stmt32_153_277
FAIL
431.53
rankfunc29_signed_16
FAIL
431.74
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
stmt28_68_81
FAIL
448.95
stmt19_3_78
FAIL
449.86
stmt23_66_76
FAIL
453.89
stmt19_66_90
FAIL
465.55
rankfunc2_unsigned_64
FAIL
466.8
stmt17_82_94
FAIL
467.05
stmt21_252_310
FAIL
472.22
rankfunc55_unsigned_32
FAIL
479.24
rankfunc42_unsigned_16
FAIL
484.22
stmt19_217_250
FAIL
484.77
rankfunc46_unsigned_32
FAIL
489.04
stmt21_267_310
FAIL
491.53
stmt31_22_23
FAIL
495.09
stmt21_71_70
FAIL
495.13
stmt19_79_87
FAIL
495.36
stmt21_79_91
FAIL
504.15
stmt16_47_48
FAIL
512.2
stmt19_83_302
FAIL
515.08
stmt19_313_412
FAIL
531.19
rankfunc54_signed_32
FAIL
531.44
rankfunc21_signed_16
SAT
532.93
rankfunc19_unsigned_16
FAIL
536.82
rankfunc11_signed_32
FAIL
541.45
qshifter_8
SAT
543.07
stmt39_34_107
FAIL
560.6
rankfunc16_signed_64
FAIL
578.6
stmt19_3_83
FAIL
593.07
stmt52_54_55
FAIL
599.45
mutex-128-s
FAIL
601.47
stmt41_262_275
FAIL
619.4
rankfunc14_signed_64
FAIL
619.55
stmt21_134_418
FAIL
626.12
rankfunc17_unsigned_16
FAIL
627.11
rankfunc10_unsigned_64
FAIL
637.78
rankfunc32_signed_64
FAIL
655.25
stmt1_919_920
FAIL
669.52
rankfunc6_unsigned_16
FAIL
695.52
stmt19_90_133
FAIL
715.43
stmt25_597_598
FAIL
730.91
stmt19_2_180
FAIL
735.14
rankfunc15_unsigned_32
FAIL
744.34
stmt16_818_819
SAT
774.72
mutex-64-s
FAIL
780.17
rankfunc20_unsigned_32
FAIL
797.47
rankfunc39_unsigned_64
FAIL
815.86
rankfunc57_unsigned_64
FAIL
843.94
rankfunc18_signed_64
FAIL
847.13
rankfunc47_signed_64
FAIL
847.57
rankfunc5_signed_64
FAIL
849.21
stmt7_33_34
FAIL
873.03
stmt22_6_80
FAIL
875.06
sortnetsort7.AE.stepl.006
FAIL
877.72
sortnetsort8.AE.stepl.005
FAIL
975.46
sortnetsort9.AE.stepl.004
FAIL
997.8
stmt21_4_5
FAIL
1025.24
rankfunc35_unsigned_32
FAIL
1050.36
stmt25_52_53
FAIL
1110.73
mutex-16-s
SAT
1125.77
sortnetsort7.AE.stepl.009
FAIL
1129.76
sortnetsort8.AE.stepl.009
FAIL
1200.13
sortnetsort9.AE.stepl.012
FAIL
1200.14
stmt11_643_645
FAIL
1200.14
sortnetsort10.AE.stepl.005
FAIL
1200.15
sortnetsort10.AE.stepl.012
FAIL
1200.15
stmt137_903_911
FAIL
1200.17
stmt124_966_965
FAIL
1200.17
stmt72_696_721
FAIL
1200.17
stmt24_765_766
FAIL
1200.17
stmt70_495_501
FAIL
1200.18
stmt44_554_604
FAIL
1200.18
sortnetsort8.AE.stepl.007
FAIL
1200.19
stmt5_731_730
FAIL
1200.19
stmt86_889_890
FAIL
1200.21
stmt19_2_83
FAIL
1200.21
stmt2_976_999
FAIL
1200.21
stmt2_649_776
FAIL
1200.21
stmt1_787_788
FAIL
1200.21
sortnetsort9.AE.stepl.005
FAIL
1200.22
rankfunc23_signed_64
FAIL
1200.23
stmt37_941_942
FAIL
1200.23
rankfunc60_unsigned_32
FAIL
1200.23
stmt27_93_98
FAIL
1200.24
stmt17_99_98
FAIL
1200.24
Contact
|
Organization
|
Links
|
Citing QBFLIB