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
QuBE7-c
QBFEVAL'10 - 2QBF Track.
Instance
Result
Time
stmt24_7_8
SAT
0
stmt32_122_129
SAT
0
stmt44_107_113
SAT
0
stmt1_30_31
SAT
0
stmt6_13_14
SAT
0
stmt44_107_108
SAT
0.01
mutex-2-s
SAT
0.01
stmt1_145_146
SAT
0.01
qshifter_3
SAT
0.01
stmt24_148_149
SAT
0.01
rankfunc4_unsigned_16
SAT
0.02
stmt1_20_21
SAT
0.02
qshifter_4
SAT
0.02
rankfunc37_unsigned_32
UNSAT
0.02
mutex-4-s
SAT
0.02
rankfunc38_signed_32
SAT
0.02
stmt16_0_1
SAT
0.02
stmt17_143_144
SAT
0.02
rankfunc56_signed_16
SAT
0.02
stmt17_18_19
SAT
0.03
rankfunc12_unsigned_16
SAT
0.04
rankfunc53_signed_16
SAT
0.05
stmt1_811_812
SAT
0.05
rankfunc59_unsigned_16
SAT
0.05
stmt21_4_5
UNSAT
0.06
rankfunc7_signed_16
SAT
0.06
mutex-8-s
SAT
0.06
stmt3_969_973
SAT
0.06
stmt3_639_640
SAT
0.06
stmt70_191_213
SAT
0.06
stmt44_252_301
SAT
0.06
stmt24_292_293
SAT
0.07
stmt1_392_393
SAT
0.07
stmt9_445_446
SAT
0.07
stmt82_224_225
SAT
0.07
stmt27_296_297
SAT
0.07
stmt18_258_260
SAT
0.07
rankfunc44_unsigned_32
SAT
0.07
stmt22_6_80
UNSAT
0.08
stmt19_2_83
UNSAT
0.08
rankfunc6_unsigned_16
SAT
0.08
rankfunc42_unsigned_16
SAT
0.08
stmt19_3_83
UNSAT
0.08
stmt19_3_78
UNSAT
0.09
stmt19_66_90
UNSAT
0.09
rankfunc29_signed_16
SAT
0.09
stmt44_40_41
UNSAT
0.09
rankfunc22_unsigned_32
SAT
0.09
stmt41_36_37
UNSAT
0.09
stmt21_71_70
UNSAT
0.09
rankfunc8_unsigned_32
SAT
0.09
rankfunc60_unsigned_32
SAT
0.09
stmt31_22_23
UNSAT
0.09
rankfunc28_unsigned_16
SAT
0.1
stmt52_54_55
UNSAT
0.1
stmt19_67_83
UNSAT
0.11
rankfunc31_unsigned_16
SAT
0.11
stmt9_350_351
SAT
0.11
rankfunc33_unsigned_32
SAT
0.11
rankfunc51_signed_32
SAT
0.11
rankfunc26_unsigned_32
SAT
0.12
rankfunc21_signed_16
SAT
0.12
rankfunc48_unsigned_16
SAT
0.12
rankfunc61_signed_32
SAT
0.12
stmt39_34_107
UNSAT
0.12
rankfunc35_unsigned_32
SAT
0.13
stmt19_83_90
UNSAT
0.13
stmt11_643_645
SAT
0.13
stmt21_79_91
UNSAT
0.13
rankfunc17_unsigned_16
SAT
0.14
stmt19_3_177
UNSAT
0.14
stmt19_2_180
UNSAT
0.14
rankfunc49_signed_32
SAT
0.15
rankfunc34_signed_32
SAT
0.16
stmt44_40_162
UNSAT
0.17
rankfunc23_signed_64
SAT
0.17
qshifter_5
SAT
0.17
rankfunc55_unsigned_32
SAT
0.18
rankfunc45_signed_16
SAT
0.18
stmt19_90_133
UNSAT
0.18
rankfunc20_unsigned_32
SAT
0.19
rankfunc9_signed_64
SAT
0.2
sortnetsort5.AE.stepl.003
SAT
0.2
rankfunc11_signed_32
SAT
0.2
rankfunc15_unsigned_32
SAT
0.22
stmt85_64_122
UNSAT
0.23
rankfunc19_unsigned_16
SAT
0.23
rankfunc52_unsigned_32
SAT
0.23
rankfunc58_signed_32
SAT
0.24
stmt21_70_258
UNSAT
0.25
rankfunc54_signed_32
SAT
0.26
rankfunc36_signed_64
SAT
0.26
rankfunc10_unsigned_64
SAT
0.27
stmt22_92_259
UNSAT
0.27
rankfunc46_unsigned_32
SAT
0.27
stmt19_133_257
UNSAT
0.28
stmt19_142_261
UNSAT
0.28
rankfunc27_signed_64
SAT
0.29
rankfunc43_signed_64
SAT
0.29
stmt21_143_258
UNSAT
0.29
stmt21_127_258
UNSAT
0.3
stmt21_71_304
UNSAT
0.3
rankfunc5_signed_64
SAT
0.31
stmt31_100_276
UNSAT
0.31
rankfunc40_unsigned_64
SAT
0.31
stmt29_21_275
UNSAT
0.31
stmt19_217_250
UNSAT
0.33
stmt22_179_182
UNSAT
0.34
stmt52_117_295
UNSAT
0.34
stmt19_83_302
UNSAT
0.35
stmt32_153_277
UNSAT
0.35
stmt19_66_318
UNSAT
0.36
stmt46_163_289
UNSAT
0.36
stmt19_3_309
UNSAT
0.36
stmt32_228_277
UNSAT
0.36
rankfunc1_signed_32
SAT
0.37
stmt19_125_302
UNSAT
0.37
stmt50_167_293
UNSAT
0.37
stmt41_235_286
UNSAT
0.38
stmt19_261_266
UNSAT
0.38
rankfunc2_unsigned_64
SAT
0.38
rankfunc24_unsigned_64
SAT
0.4
stmt19_137_313
UNSAT
0.41
stmt19_177_302
UNSAT
0.41
stmt21_79_314
UNSAT
0.42
stmt47_239_290
UNSAT
0.42
rankfunc50_signed_64
SAT
0.46
stmt19_214_309
UNSAT
0.48
sortnetsort6.AE.stepl.003
SAT
0.5
rankfunc25_signed_64
SAT
0.54
stmt19_313_318
UNSAT
0.56
rankfunc47_signed_64
SAT
0.56
stmt21_252_310
UNSAT
0.56
rankfunc41_signed_32
SAT
0.56
rankfunc30_signed_64
SAT
0.57
rankfunc14_signed_64
SAT
0.61
stmt21_134_418
UNSAT
0.62
sortnetsort5.AE.stepl.005
UNSAT
0.7
rankfunc3_signed_64
SAT
0.75
stmt2_649_723
SAT
0.85
sortnetsort5.AE.stepl.006
UNSAT
0.9
sortnetsort7.AE.stepl.003
SAT
1.05
rankfunc32_signed_64
SAT
1.12
sortnetsort5.AE.stepl.007
UNSAT
1.19
stmt137_903_911
SAT
1.33
stmt72_696_721
SAT
1.33
stmt24_765_766
SAT
1.34
stmt124_966_965
SAT
1.36
stmt1_919_920
SAT
1.36
rankfunc39_unsigned_64
SAT
1.38
stmt5_731_730
SAT
1.4
stmt44_554_604
SAT
1.45
stmt25_597_598
SAT
1.47
stmt70_495_501
SAT
1.48
qshifter_6
SAT
2.41
rankfunc18_signed_64
SAT
2.62
sortnetsort6.AE.stepl.006
UNSAT
2.86
rankfunc16_signed_64
SAT
4.02
rankfunc57_unsigned_64
SAT
4.14
stmt21_267_310
UNSAT
6.6
sortnetsort9.AE.stepl.004
SAT
7.56
mutex-16-s
SAT
9.83
stmt16_818_819
SAT
36.86
stmt7_33_34
SAT
37.86
qshifter_7
SAT
38.96
stmt53_208_245
UNSAT
66.69
sortnetsort7.AE.stepl.009
UNSAT
176.22
sortnetsort7.AE.stepl.006
UNSAT
181.01
sortnetsort8.AE.stepl.005
SAT
314.88
qshifter_8
SAT
657.58
stmt2_649_776
SAT
835.78
stmt86_889_890
SAT
907.94
sortnetsort10.AE.stepl.005
FAIL
1200.02
stmt1_787_788
FAIL
1200.02
stmt37_941_942
FAIL
1200.02
sortnetsort8.AE.stepl.007
FAIL
1200.02
stmt52_295_394
FAIL
1200.02
sortnetsort9.AE.stepl.005
FAIL
1200.02
stmt27_149_224
FAIL
1200.02
mutex-32-s
FAIL
1200.02
stmt21_310_360
FAIL
1200.02
stmt19_313_412
FAIL
1200.03
stmt16_47_48
FAIL
1200.03
mutex-64-s
FAIL
1200.03
stmt27_93_98
FAIL
1200.03
stmt41_336_385
FAIL
1200.03
stmt41_262_275
FAIL
1200.03
stmt23_66_76
FAIL
1200.03
sortnetsort8.AE.stepl.009
FAIL
1200.03
stmt17_63_70
FAIL
1200.03
stmt17_99_98
FAIL
1200.03
stmt25_52_53
FAIL
1200.03
stmt2_976_999
FAIL
1200.03
stmt17_82_94
FAIL
1200.04
stmt17_63_78
FAIL
1200.04
stmt19_79_87
FAIL
1200.04
stmt28_68_81
FAIL
1200.04
sortnetsort9.AE.stepl.012
FAIL
1200.05
mutex-128-s
FAIL
1200.05
sortnetsort10.AE.stepl.012
FAIL
1200.05
Contact
|
Organization
|
Links
|
Citing QBFLIB