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
quantor-3.1
QBFEVAL'10 - 2QBF Track.
Instance
Result
Time
stmt1_20_21
SAT
0
stmt24_7_8
SAT
0
stmt1_30_31
SAT
0
stmt44_107_113
SAT
0
stmt24_148_149
SAT
0
stmt1_145_146
SAT
0
stmt6_13_14
SAT
0
qshifter_4
SAT
0
stmt44_107_108
SAT
0.01
mutex-4-s
SAT
0.01
stmt32_122_129
SAT
0.01
mutex-2-s
SAT
0.01
qshifter_3
SAT
0.01
qshifter_5
SAT
0.04
stmt16_0_1
SAT
0.04
qshifter_6
SAT
0.15
stmt17_18_19
SAT
0.15
stmt17_143_144
SAT
0.3
stmt7_33_34
SAT
0.46
mutex-8-s
SAT
0.61
qshifter_7
SAT
1.76
rankfunc4_unsigned_16
SAT
2.11
stmt1_811_812
SAT
2.28
stmt21_4_5
UNSAT
2.28
rankfunc37_unsigned_32
UNSAT
3.39
stmt41_36_37
UNSAT
6.78
stmt3_969_973
SAT
10.97
qshifter_8
SAT
15.73
rankfunc14_signed_64
FAIL
20.69
rankfunc15_unsigned_32
FAIL
20.75
rankfunc40_unsigned_64
FAIL
20.82
rankfunc59_unsigned_16
FAIL
20.82
rankfunc8_unsigned_32
FAIL
21.12
rankfunc48_unsigned_16
FAIL
21.54
rankfunc49_signed_32
FAIL
21.57
rankfunc57_unsigned_64
FAIL
21.81
rankfunc55_unsigned_32
FAIL
22.01
rankfunc52_unsigned_32
FAIL
22.01
rankfunc16_signed_64
FAIL
22.24
rankfunc36_signed_64
FAIL
22.49
rankfunc29_signed_16
FAIL
22.65
rankfunc11_signed_32
FAIL
22.97
rankfunc24_unsigned_64
FAIL
23.06
rankfunc19_unsigned_16
FAIL
23.52
rankfunc50_signed_64
FAIL
23.55
rankfunc22_unsigned_32
FAIL
23.75
rankfunc2_unsigned_64
FAIL
23.83
rankfunc25_signed_64
FAIL
23.93
rankfunc10_unsigned_64
FAIL
24.29
rankfunc33_unsigned_32
FAIL
24.39
rankfunc9_signed_64
FAIL
24.43
rankfunc6_unsigned_16
FAIL
24.59
rankfunc26_unsigned_32
FAIL
24.59
rankfunc35_unsigned_32
FAIL
24.99
rankfunc61_signed_32
FAIL
25.15
rankfunc47_signed_64
FAIL
25.3
rankfunc58_signed_32
FAIL
25.34
rankfunc20_unsigned_32
FAIL
25.47
rankfunc56_signed_16
FAIL
25.5
rankfunc41_signed_32
FAIL
25.59
stmt70_191_213
SAT
25.69
rankfunc46_unsigned_32
FAIL
25.83
rankfunc23_signed_64
FAIL
25.88
rankfunc39_unsigned_64
FAIL
26.16
rankfunc21_signed_16
FAIL
26.21
rankfunc30_signed_64
FAIL
26.6
rankfunc3_signed_64
FAIL
26.67
rankfunc5_signed_64
FAIL
27.32
rankfunc27_signed_64
FAIL
27.34
rankfunc28_unsigned_16
FAIL
27.38
mutex-32-s
FAIL
27.53
rankfunc34_signed_32
FAIL
28.25
rankfunc53_signed_16
FAIL
28.29
mutex-64-s
FAIL
30.31
stmt52_54_55
UNSAT
30.55
rankfunc7_signed_16
FAIL
30.94
rankfunc1_signed_32
FAIL
30.95
rankfunc44_unsigned_32
FAIL
31.25
rankfunc17_unsigned_16
FAIL
31.29
mutex-128-s
FAIL
31.79
rankfunc32_signed_64
FAIL
32.79
rankfunc12_unsigned_16
FAIL
34
mutex-16-s
FAIL
35.45
rankfunc31_unsigned_16
FAIL
35.92
stmt70_495_501
FAIL
36.43
stmt2_976_999
FAIL
36.47
stmt3_639_640
SAT
36.77
stmt17_82_94
FAIL
38.36
stmt21_134_418
FAIL
38.4
stmt1_787_788
FAIL
40.94
rankfunc42_unsigned_16
FAIL
41.17
rankfunc54_signed_32
FAIL
45.8
stmt41_336_385
FAIL
46.41
stmt19_313_318
FAIL
46.66
rankfunc51_signed_32
FAIL
47.49
stmt24_765_766
FAIL
48.27
stmt50_167_293
FAIL
48.28
rankfunc45_signed_16
FAIL
51.74
stmt27_93_98
FAIL
52.4
rankfunc38_signed_32
FAIL
55.14
stmt37_941_942
FAIL
55.19
stmt44_554_604
FAIL
56.8
rankfunc18_signed_64
FAIL
56.9
rankfunc43_signed_64
FAIL
57.36
stmt17_99_98
FAIL
57.9
stmt19_79_87
FAIL
57.99
rankfunc60_unsigned_32
FAIL
59.89
sortnetsort9.AE.stepl.012
FAIL
61.64
stmt21_79_91
UNSAT
63.73
sortnetsort9.AE.stepl.004
FAIL
63.98
sortnetsort8.AE.stepl.009
FAIL
64.4
sortnetsort8.AE.stepl.005
FAIL
64.44
sortnetsort6.AE.stepl.006
FAIL
66.34
stmt9_445_446
FAIL
66.66
sortnetsort7.AE.stepl.006
FAIL
66.98
sortnetsort8.AE.stepl.007
FAIL
67.25
sortnetsort10.AE.stepl.005
FAIL
69.22
stmt21_310_360
FAIL
70.6
stmt18_258_260
SAT
71.52
stmt44_252_301
SAT
71.79
sortnetsort5.AE.stepl.006
FAIL
75.79
sortnetsort6.AE.stepl.003
FAIL
79.14
stmt11_643_645
FAIL
79.73
stmt52_295_394
FAIL
80.27
sortnetsort5.AE.stepl.003
FAIL
81.07
sortnetsort10.AE.stepl.012
FAIL
81.27
sortnetsort7.AE.stepl.009
FAIL
81.47
sortnetsort7.AE.stepl.003
FAIL
83.71
sortnetsort5.AE.stepl.005
FAIL
83.91
stmt137_903_911
FAIL
87.88
sortnetsort9.AE.stepl.005
FAIL
90.77
stmt72_696_721
FAIL
91.83
stmt19_83_302
FAIL
92.75
sortnetsort5.AE.stepl.007
FAIL
96.15
stmt21_267_310
FAIL
96.8
stmt19_133_257
FAIL
96.92
stmt19_214_309
FAIL
98.26
stmt19_125_302
FAIL
98.67
stmt19_177_302
FAIL
99.05
stmt21_252_310
FAIL
99.05
stmt17_63_70
FAIL
100.37
stmt19_3_309
FAIL
100.68
stmt19_313_412
FAIL
101.66
stmt53_208_245
FAIL
102.2
stmt23_66_76
FAIL
102.41
stmt17_63_78
FAIL
102.83
stmt24_292_293
SAT
104.77
stmt41_262_275
FAIL
105.21
stmt82_224_225
SAT
105.97
stmt19_137_313
FAIL
107.87
stmt21_71_304
FAIL
109.65
stmt28_68_81
FAIL
111.72
stmt21_79_314
FAIL
112.73
stmt2_649_776
FAIL
116.86
stmt27_296_297
SAT
120.78
stmt1_919_920
FAIL
122.04
stmt5_731_730
FAIL
122.05
stmt29_21_275
FAIL
122.63
stmt32_228_277
FAIL
122.84
stmt124_966_965
FAIL
123.81
stmt27_149_224
FAIL
127.33
stmt31_100_276
FAIL
128.45
stmt32_153_277
FAIL
129.9
stmt19_66_90
UNSAT
145
stmt19_67_83
UNSAT
145.78
stmt19_3_78
UNSAT
146
stmt19_2_83
UNSAT
147.04
stmt25_52_53
FAIL
149.34
stmt19_3_83
UNSAT
156.1
stmt31_22_23
UNSAT
161
stmt22_6_80
UNSAT
162.91
stmt16_47_48
FAIL
163.26
stmt25_597_598
FAIL
168.18
stmt44_40_41
UNSAT
183.23
stmt39_34_107
FAIL
185.86
stmt2_649_723
FAIL
187.16
stmt19_66_318
FAIL
214.73
stmt19_90_133
FAIL
224.84
stmt19_261_266
FAIL
229.39
stmt19_217_250
FAIL
239.51
stmt22_92_259
FAIL
279.93
stmt21_70_258
FAIL
280.78
stmt21_143_258
FAIL
293.28
stmt19_142_261
FAIL
315.32
stmt21_127_258
FAIL
340.88
stmt46_163_289
FAIL
374.4
stmt1_392_393
FAIL
374.92
stmt47_239_290
FAIL
380.96
stmt44_40_162
FAIL
389.07
stmt21_71_70
UNSAT
416.11
stmt86_889_890
FAIL
425.52
stmt52_117_295
FAIL
481.9
stmt9_350_351
SAT
530.32
stmt41_235_286
FAIL
548.49
stmt85_64_122
FAIL
597.73
stmt19_83_90
UNSAT
817.13
stmt16_818_819
FAIL
912.91
stmt19_3_177
FAIL
1200.12
stmt19_2_180
FAIL
1200.16
stmt22_179_182
FAIL
1200.25
Contact
|
Organization
|
Links
|
Citing QBFLIB