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
aspq3_hit18
QBFEVAL'18 - Hard Instances Track
Instance
Result
Time
Q_2-3_v-80-100_r-5.6
SAT
4.08
Q_2-3_v-80-100_r-5.1
SAT
4.8
Q_2-3_v-80-100_r-5.9
SAT
9.6
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.asp
SAT
18.47
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.asp
SAT
18.9
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.asp
SAT
27.13
Q_2-3_v-80-100_r-5.4
SAT
27.2
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.asp
SAT
30.97
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.asp
SAT
33.95
Q_2-3_v-80-100_r-5.2
SAT
40.36
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.asp
SAT
41.63
Q_2-3_v-80-100_r-5.3
SAT
51.52
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.asp
SAT
56.9
Q_2-3_v-80-100_r-5.0
SAT
68.32
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.asp
SAT
75.49
Q_2-3_v-80-100_r-5.5
SAT
87.52
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.asp
SAT
89.9
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp
SAT
110.11
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.asp
SAT
148.56
Q_2-3_v-80-100_r-5.7
SAT
258.64
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.asp
SAT
289.84
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.asp
SAT
310.4
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.asp
SAT
313.5
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.asp
SAT
321.66
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.asp
SAT
437.08
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp
SAT
482.77
Q_2-3_v-80-100_r-5.8
SAT
754.46
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.asp
SAT
942.84
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp
SAT
1005.78
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#1.asp
SAT
1601.04
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.asp
SAT
1703.88
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.asp
SAT
2021.04
query71_query34_1344n
SAT
2411.5
ProjectService3
UNSAT
2886.5
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.asp
SAT
2961.5
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp
SAT
3326.88
Q_3-3-3_v-100-100-100_r-40.0
FAIL
3600
Q_3-3-3_v-100-100-100_r-40.1
FAIL
3600
Q_3-3-3_v-100-100-100_r-40.2
FAIL
3600
Q_3-3-3_v-100-100-100_r-40.3
FAIL
3600
Q_3-3-3_v-100-100-100_r-60.1
FAIL
3600
Q_3-3-3_v-100-100-100_r-60.0
FAIL
3600
Q_3-3-3_v-100-100-100_r-40.4
FAIL
3600
Q_3-3-3_v-100-100-100_r-30.9
FAIL
3600
Q_3-3-3_v-100-100-100_r-30.8
FAIL
3600
Q_3-3-3_v-100-100-100_r-30.7
FAIL
3600
Q_3-3_v-100-100_r-19.7
FAIL
3600
Q_3-3_v-100-100_r-19.8
FAIL
3600
Q_3-3_v-100-100_r-19.9
FAIL
3600
Q_3-3-3_v-100-100-100_r-30.0
FAIL
3600
Q_3-3-3_v-100-100-100_r-30.1
FAIL
3600
Q_3-3-3_v-100-100-100_r-30.2
FAIL
3600
Q_3-3-3_v-100-100-100_r-30.3
FAIL
3600
Q_3-3-3_v-100-100-100_r-30.4
FAIL
3600
Q_3-3-3_v-100-100-100_r-30.6
FAIL
3600
Q_3-3-3_v-100-100-100_r-40.8
FAIL
3600
Q_3-3-3_v-100-100-100_r-40.5
FAIL
3600
Q_3-3-3_v-100-100-100_r-60.5
FAIL
3600
Q_3-3-3_v-100-100-100_r-60.2
FAIL
3600
Q_3-3-3_v-100-100-100_r-50.2
FAIL
3600
Q_3-3-3_v-100-100-100_r-50.3
FAIL
3600
Q_3-3-3_v-100-100-100_r-60.3
FAIL
3600
Q_3-3-3_v-100-100-100_r-50.4
FAIL
3600
Q_3-3-3_v-100-100-100_r-50.5
FAIL
3600
Q_3-3-3_v-100-100-100_r-60.4
FAIL
3600
Q_3-3-3_v-100-100-100_r-50.6
FAIL
3600
genbuf14b4y.sat
FAIL
3600
Q_3-3-3_v-100-100-100_r-50.7
FAIL
3600
Q_3-3-3_v-100-100-100_r-60.8
FAIL
3600
Q_3-3-3_v-100-100-100_r-50.9
FAIL
3600
Q_3-3-3_v-100-100-100_r-60.7
FAIL
3600
Q_3-3-3_v-100-100-100_r-40.6
FAIL
3600
Q_3-3-3_v-100-100-100_r-40.7
FAIL
3600
Q_3-3-3_v-100-100-100_r-50.8
FAIL
3600
Q_3-3-3_v-100-100-100_r-40.9
FAIL
3600
Q_3-3-3_v-100-100-100_r-50.0
FAIL
3600
Q_3-3-3_v-100-100-100_r-50.1
FAIL
3600
Q_3-3-3_v-100-100-100_r-60.6
FAIL
3600
Q_2-3_v-80-100_r-9.4
FAIL
3600
Q_3-3_v-100-100_r-11.8
FAIL
3600
Q_3-3_v-100-100_r-11.9
FAIL
3600
Q_3-3_v-100-100_r-13.0
FAIL
3600
Q_3-3_v-100-100_r-13.1
FAIL
3600
Q_3-3_v-100-100_r-13.2
FAIL
3600
Q_3-3_v-100-100_r-13.3
FAIL
3600
Q_3-3_v-100-100_r-13.4
FAIL
3600
Q_3-3_v-100-100_r-13.5
FAIL
3600
Q_3-3_v-100-100_r-13.6
FAIL
3600
Q_3-3_v-100-100_r-13.7
FAIL
3600
Q_3-3_v-100-100_r-13.8
FAIL
3600
Q_3-3_v-100-100_r-11.7
FAIL
3600
Q_3-3_v-100-100_r-11.6
FAIL
3600
Q_2-3_v-80-100_r-9.3
FAIL
3600
Q_2-3_v-80-100_r-9.5
FAIL
3600
Q_2-3_v-80-100_r-9.6
FAIL
3600
Q_2-3_v-80-100_r-9.7
FAIL
3600
Q_2-3_v-80-100_r-9.8
FAIL
3600
Q_2-3_v-80-100_r-9.9
FAIL
3600
Q_3-3_v-100-100_r-11.0
FAIL
3600
Q_3-3_v-100-100_r-11.1
FAIL
3600
Q_3-3_v-100-100_r-11.2
FAIL
3600
Q_3-3_v-100-100_r-11.3
FAIL
3600
Q_3-3_v-100-100_r-11.4
FAIL
3600
Q_3-3_v-100-100_r-11.5
FAIL
3600
Q_3-3_v-100-100_r-13.9
FAIL
3600
Q_3-3_v-100-100_r-15.0
FAIL
3600
Q_3-3_v-100-100_r-17.5
FAIL
3600
Q_3-3_v-100-100_r-17.6
FAIL
3600
Q_3-3_v-100-100_r-17.7
FAIL
3600
Q_3-3_v-100-100_r-17.8
FAIL
3600
Q_3-3_v-100-100_r-17.9
FAIL
3600
Q_3-3_v-100-100_r-19.0
FAIL
3600
Q_3-3_v-100-100_r-19.1
FAIL
3600
Q_3-3_v-100-100_r-19.2
FAIL
3600
Q_3-3_v-100-100_r-19.3
FAIL
3600
Q_3-3_v-100-100_r-19.4
FAIL
3600
Q_3-3_v-100-100_r-19.5
FAIL
3600
Q_3-3_v-100-100_r-17.4
FAIL
3600
Q_3-3_v-100-100_r-17.3
FAIL
3600
Q_3-3_v-100-100_r-17.2
FAIL
3600
Q_3-3_v-100-100_r-15.1
FAIL
3600
Q_3-3_v-100-100_r-15.2
FAIL
3600
Q_3-3_v-100-100_r-15.3
FAIL
3600
Q_3-3_v-100-100_r-15.4
FAIL
3600
Q_3-3_v-100-100_r-15.5
FAIL
3600
Q_3-3_v-100-100_r-15.6
FAIL
3600
Q_3-3_v-100-100_r-15.7
FAIL
3600
Q_3-3_v-100-100_r-15.8
FAIL
3600
Q_3-3_v-100-100_r-15.9
FAIL
3600
Q_3-3_v-100-100_r-17.0
FAIL
3600
Q_3-3_v-100-100_r-17.1
FAIL
3600
Q_3-3_v-100-100_r-19.6
FAIL
3600
Q_3-3-3_v-100-100-100_r-60.9
FAIL
3600
hex_rand_6x6-6m-0
FAIL
3600
hex_hein_5x5_13
FAIL
3600
hex_hein_5x5_14
FAIL
3600
hex_hein_5x5_15
FAIL
3600
hex_hein_5x5_16
FAIL
3600
hex_hein_5x5_19
FAIL
3600
hex_hein_6x6_03
FAIL
3600
hex_hein_6x6_17
FAIL
3600
hex_hein_6x6_20
FAIL
3600
ttt_5x5-shape-3-GTTT-1-1-torus-0
FAIL
3600
ttt_5x5-shape-3-GTTT-1-1-torus-1
FAIL
3600
ttt_5x5-shape-3-GTTT-1-2-torus-0
FAIL
3600
hex_hein_5x5_11
FAIL
3600
hex_hein_5x5_10
FAIL
3600
hex_hein_5x5_08
FAIL
3600
hex_rand_6x6-6m-1
FAIL
3600
hex_rand_6x6-6m-2
FAIL
3600
hex_rand_6x6-6m-3
FAIL
3600
hex_rand_6x6-6m-4
FAIL
3600
hex_rand_6x6-6m-5
FAIL
3600
hex_rand_6x6-6m-6
FAIL
3600
hex_rand_6x6-6m-7
FAIL
3600
hex_rand_6x6-6m-8
FAIL
3600
hex_rand_6x6-6m-9
FAIL
3600
hex_hein_5x5_02
FAIL
3600
hex_hein_5x5_05
FAIL
3600
ttt_5x5-shape-3-GTTT-1-2-torus-1
FAIL
3600
ttt_5x5-shape-3-GTTT-2-1-torus-0
FAIL
3600
ttt_5x5-shape-3-GTTT-2-1-torus-1
FAIL
3600
ttt_5x5-shape-7-GTTT-2-1-torus-1
FAIL
3600
ttt_5x5-shape-7-GTTT-2-2-torus-0
FAIL
3600
ttt_5x5-shape-7-GTTT-2-2-torus-1
FAIL
3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.asp
FAIL
3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#12.asp
FAIL
3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.asp
FAIL
3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.asp
FAIL
3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.asp
FAIL
3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.asp
FAIL
3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.asp
FAIL
3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.asp
FAIL
3600
ttt_5x5-shape-7-GTTT-2-1-torus-0
FAIL
3600
ttt_5x5-shape-7-GTTT-1-2-torus-1
FAIL
3600
ttt_5x5-shape-7-GTTT-1-2-torus-0
FAIL
3600
ttt_5x5-shape-3-GTTT-2-2-torus-0
FAIL
3600
ttt_5x5-shape-3-GTTT-2-2-torus-1
FAIL
3600
ttt_5x5-shape-4-GTTT-2-1-torus-0
FAIL
3600
ttt_5x5-shape-4-GTTT-2-1-torus-1
FAIL
3600
ttt_5x5-shape-5-GTTT-2-1-torus-0
FAIL
3600
ttt_5x5-shape-5-GTTT-2-1-torus-1
FAIL
3600
ttt_5x5-shape-6-GTTT-1-2-torus-0
FAIL
3600
ttt_5x5-shape-6-GTTT-2-1-torus-0
FAIL
3600
ttt_5x5-shape-6-GTTT-2-1-torus-1
FAIL
3600
ttt_5x5-shape-7-GTTT-1-1-torus-0
FAIL
3600
ttt_5x5-shape-7-GTTT-1-1-torus-1
FAIL
3600
query71_query42_1344n
FAIL
3600
Q_3-3-3_v-100-100-100_r-70.0
FAIL
3600
bobsmfpu
FAIL
3600
LoginService2
FAIL
3600
ProcessBean
FAIL
3600
amba4b9y.sat
FAIL
3600
genbuf10b4n.sat
FAIL
3600
load_3c_comp_comp7_REAL.sat
FAIL
3600
load_full_4_comp3_REAL.sat
FAIL
3600
add7_REDUCED
FAIL
3600
add7_CHOOSE
FAIL
3600
add7_COMPLETE
FAIL
3600
LoginService
FAIL
3600
query60_query42_1344n
FAIL
3600
query57_query42_1344n
FAIL
3600
query49_query42_1344n
FAIL
3600
Q_3-3-3_v-100-100-100_r-70.1
FAIL
3600
Q_3-3-3_v-100-100-100_r-70.2
FAIL
3600
Q_3-3-3_v-100-100-100_r-70.3
FAIL
3600
Q_3-3-3_v-100-100-100_r-70.4
FAIL
3600
Q_3-3-3_v-100-100-100_r-70.5
FAIL
3600
Q_3-3-3_v-100-100-100_r-70.6
FAIL
3600
Q_3-3-3_v-100-100-100_r-70.7
FAIL
3600
Q_3-3-3_v-100-100-100_r-70.8
FAIL
3600
Q_3-3-3_v-100-100-100_r-70.9
FAIL
3600
nreachq_query42_1344n
FAIL
3600
query44_query42_1344n
FAIL
3600
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.asp
FAIL
3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#1.asp
FAIL
3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.asp
FAIL
3600
hex_rand_6x6-12m-1
FAIL
3600
hex_rand_6x6-12m-2
FAIL
3600
hex_rand_6x6-12m-3
FAIL
3600
hex_rand_6x6-12m-4
FAIL
3600
hex_rand_6x6-12m-5
FAIL
3600
hex_rand_6x6-12m-6
FAIL
3600
hex_rand_6x6-12m-7
FAIL
3600
hex_rand_6x6-12m-8
FAIL
3600
hex_rand_6x6-12m-9
FAIL
3600
hex_rand_6x6-20m-0
FAIL
3600
hex_rand_6x6-20m-2
FAIL
3600
hex_rand_6x6-12m-0
FAIL
3600
mult_bool_matrix_dyn_7_7.sat
FAIL
3600
ltl2dba_U1-4_comp4_REAL.sat
FAIL
3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#60.asp
FAIL
3600
amba4c7n.sat
FAIL
3600
amba5b5n.sat
FAIL
3600
genbuf12b4y.sat
FAIL
3600
genbuf7b4n.sat
FAIL
3600
genbuf8b4n.sat
FAIL
3600
load_3c_comp_comp6_REAL.sat
FAIL
3600
load_4c_comp_comp4_REAL.sat
FAIL
3600
load_full_3_comp5_REAL.sat
FAIL
3600
ltl2dba_E6_comp2_REAL.sat
FAIL
3600
ltl2dba_Q4_comp4_REAL.sat
FAIL
3600
hex_rand_6x6-20m-9
FAIL
3600
cf_6_9x7_r_
FAIL
3600
x300.15
FAIL
3600
x300.16
FAIL
3600
x300.19
FAIL
3600
x300.1
FAIL
3600
x300.3
FAIL
3600
x300.4
FAIL
3600
x300.5
FAIL
3600
x300.6
FAIL
3600
x300.8
FAIL
3600
eijk.bs3384.S-f4
FAIL
3600
sortnetsort10.AE.stepl.006
FAIL
3600
sortnetsort10.AE.stepl.007
FAIL
3600
x300.12
FAIL
3600
x220.9
FAIL
3600
cf_7_8x7_r_
FAIL
3600
cf_7_8x8_r_
FAIL
3600
x210.11
FAIL
3600
x220.0
FAIL
3600
x220.10
FAIL
3600
x220.12
FAIL
3600
x220.13
FAIL
3600
x220.16
FAIL
3600
x220.19
FAIL
3600
x220.2
FAIL
3600
x220.6
FAIL
3600
x220.8
FAIL
3600
sortnetsort9.AE.stepl.006
FAIL
3600
c1_Debug_s3_f1_e1_v1
FAIL
3600
c3_Debug_s3_f2_e2_v2
FAIL
3600
f600-00
FAIL
3600
f600-50
FAIL
3600
ssa7552-158-00
FAIL
3600
k12_4_2
FAIL
3600
k8_3_4
FAIL
3600
k12_3_2
FAIL
3600
k10_4_3
FAIL
3600
k8_2_3
FAIL
3600
k7_4_4
FAIL
3600
k7_2_2
FAIL
3600
k8_3_2
FAIL
3600
k14_4_4
FAIL
3600
c5_BMC_p2_k64
FAIL
3600
c5_BMC_p2_k512
FAIL
3600
c3_Debug_s3_f2_e2_v3
FAIL
3600
c4_Debug_s3_f1_e1_v2
FAIL
3600
c4_Debug_s3_f1_e2_v2
FAIL
3600
c4_Debug_s3_f1_e2_v3
FAIL
3600
c4_Debug_s5_f2_e2_v1
FAIL
3600
blocks_enc_2_b4_ser--opt-26_
FAIL
3600
ring_r7_ser--opt-20_
FAIL
3600
c5_BMC_p1_k128
FAIL
3600
c5_BMC_p1_k64
FAIL
3600
c5_BMC_p2_k1024
FAIL
3600
c5_BMC_p2_k128
FAIL
3600
c5_BMC_p2_k256
FAIL
3600
k14_2_3
FAIL
3600
ev-pr-6x6-17-5-0-1-2-lg
FAIL
3600
ncf_16_128_8_euad.2
FAIL
3600
ncf_16_128_8_edau.6
FAIL
3600
test2_quant_squaring3
FAIL
3600
s1269_d10_s
FAIL
3600
connect_7x6_4_R
FAIL
3600
ev-pr-8x8-19-7-0-1-2-lg
FAIL
3600
ncf_16_128_8_edau.1
FAIL
3600
connect_8x7_5_R
FAIL
3600
connect_9x8_6_R
FAIL
3600
s3330_d10_u
FAIL
3600
test2_quant3
FAIL
3600
ncf_16_128_2_u.4
FAIL
3600
C6288.blif_0.10_0.20_0_0_inp_exact
FAIL
3600
connect_8x7_4_R
FAIL
3600
counter_re_32
FAIL
3600
connect_8x7_6_R
FAIL
3600
ncf_16_128_8_euad.7
FAIL
3600
ev-pr-6x6-11-5-0-1-2-s
FAIL
3600
C6288.blif_0.10_0.20_0_0_out_exact
FAIL
3600
ncf_16_128_8_euad.10
FAIL
3600
ev-pr-6x6-13-5-0-1-2-s
FAIL
3600
ev-pr-6x6-17-5-0-1-2-s
FAIL
3600
C6288.blif_0.10_1.00_0_0_out_exact
FAIL
3600
ev-pr-6x6-19-5-0-1-2-lg
FAIL
3600
test2_quant_squaring2
FAIL
3600
ev-pr-6x6-9-5-0-1-2-s
FAIL
3600
ncf_16_128_8_edau.3
FAIL
3600
ncf_16_128_8_euad.5
FAIL
3600
k_ph_p-20
FAIL
3600
ev-pr-6x6-15-5-0-1-2-s
FAIL
3600
ncf_16_128_2_u.10
FAIL
3600
ncf_16_128_8_edau.10
FAIL
3600
C5315.blif_0.10_0.20_0_0_inp_exact
FAIL
3600
ev-pr-8x8-17-7-0-1-2-lg
FAIL
3600
ncf_16_128_8_edau.8
FAIL
3600
ncf_16_128_8_euad.9
FAIL
3600
k_ph_p-21
FAIL
3600
k_ph_p-17
FAIL
3600
k_ph_p-18
FAIL
3600
k_ph_p-19
FAIL
3600
cf_3_9x6_r_
FAIL
3600
connect_9x8_3_R
FAIL
3600
ncf_16_128_8_edau.9
FAIL
3600
C5315.blif_0.10_0.20_0_0_out_exact
FAIL
3600
ncf_16_128_8_euad.3
FAIL
3600
ncf_16_128_8_edau.2
FAIL
3600
ncf_16_128_8_euad.1
FAIL
3600
ncf_16_128_8_euad.4
FAIL
3600
counter_64
FAIL
3600
ev-pr-6x6-19-5-0-1-2-s
FAIL
3600
C6288.blif_0.10_1.00_0_0_inp_exact
FAIL
3600
C5315.blif_0.10_0.20_0_1_out_exact
FAIL
3600
ncf_16_128_8_edau.5
FAIL
3600
ncf_16_128_8_euad.6
FAIL
3600
ncf_16_128_8_euad.8
FAIL
3600
cf_4_9x9_r_
FAIL
3600
Q_2-2-3_v-100-100-100_r-35.7
FAIL
3600
Q_2-2-3_v-100-100-100_r-55.2
FAIL
3600
Q_2-2-3_v-100-100-100_r-55.3
FAIL
3600
Q_2-2-3_v-100-100-100_r-55.4
FAIL
3600
Q_2-2-3_v-100-100-100_r-55.5
FAIL
3600
Q_2-2-3_v-100-100-100_r-55.6
FAIL
3600
Q_2-2-3_v-100-100-100_r-55.7
FAIL
3600
Q_2-2-3_v-100-100-100_r-55.8
FAIL
3600
Q_2-2-3_v-100-100-100_r-55.9
FAIL
3600
Q_2-2-3_v-100-100-100_r-65.0
FAIL
3600
Q_2-2-3_v-100-100-100_r-65.1
FAIL
3600
Q_2-2-3_v-100-100-100_r-65.2
FAIL
3600
Q_2-2-3_v-100-100-100_r-65.3
FAIL
3600
Q_2-2-3_v-100-100-100_r-55.1
FAIL
3600
Q_2-2-3_v-100-100-100_r-55.0
FAIL
3600
Q_2-2-3_v-100-100-100_r-35.8
FAIL
3600
Q_2-2-3_v-100-100-100_r-35.9
FAIL
3600
Q_2-2-3_v-100-100-100_r-45.0
FAIL
3600
Q_2-2-3_v-100-100-100_r-45.1
FAIL
3600
Q_2-2-3_v-100-100-100_r-45.2
FAIL
3600
Q_2-2-3_v-100-100-100_r-45.3
FAIL
3600
Q_2-2-3_v-100-100-100_r-45.4
FAIL
3600
Q_2-2-3_v-100-100-100_r-45.5
FAIL
3600
Q_2-2-3_v-100-100-100_r-45.6
FAIL
3600
Q_2-2-3_v-100-100-100_r-45.7
FAIL
3600
Q_2-2-3_v-100-100-100_r-45.8
FAIL
3600
Q_2-2-3_v-100-100-100_r-45.9
FAIL
3600
Q_2-2-3_v-100-100-100_r-65.4
FAIL
3600
Q_2-2-3_v-100-100-100_r-65.5
FAIL
3600
Q_2-2-3_v-100-100-100_r-65.6
FAIL
3600
Q_2-3_v-80-100_r-7.0
FAIL
3600
Q_2-3_v-80-100_r-7.1
FAIL
3600
Q_2-3_v-80-100_r-7.2
FAIL
3600
Q_2-3_v-80-100_r-7.3
FAIL
3600
Q_2-3_v-80-100_r-7.4
FAIL
3600
Q_2-3_v-80-100_r-7.5
FAIL
3600
Q_2-3_v-80-100_r-7.6
FAIL
3600
Q_2-3_v-80-100_r-7.7
FAIL
3600
Q_2-3_v-80-100_r-7.8
FAIL
3600
Q_2-3_v-80-100_r-7.9
FAIL
3600
Q_2-3_v-80-100_r-9.0
FAIL
3600
Q_2-3_v-80-100_r-9.1
FAIL
3600
Q_2-3_v-80-100_r-11.1
FAIL
3600
Q_2-2-3_v-100-100-100_r-75.9
FAIL
3600
Q_2-2-3_v-100-100-100_r-65.7
FAIL
3600
Q_2-2-3_v-100-100-100_r-65.8
FAIL
3600
Q_2-2-3_v-100-100-100_r-65.9
FAIL
3600
Q_2-2-3_v-100-100-100_r-75.0
FAIL
3600
Q_2-2-3_v-100-100-100_r-75.1
FAIL
3600
Q_2-2-3_v-100-100-100_r-75.2
FAIL
3600
Q_2-2-3_v-100-100-100_r-75.3
FAIL
3600
Q_2-2-3_v-100-100-100_r-75.4
FAIL
3600
Q_2-2-3_v-100-100-100_r-75.5
FAIL
3600
Q_2-2-3_v-100-100-100_r-75.6
FAIL
3600
Q_2-2-3_v-100-100-100_r-75.7
FAIL
3600
Q_2-2-3_v-100-100-100_r-75.8
FAIL
3600
Q_2-3_v-80-100_r-9.2
FAIL
3600
k8_4_3
FAIL
3600
small-pipeline-fixpoint-8
FAIL
3600
audio_ac97_wavepcistream.cpp
FAIL
3600
hid_firefly_app_firefly.cpp
FAIL
3600
network_irda_miniport_nscirda_settings.c
FAIL
3600
filesys_fastfat_easup.c
FAIL
3600
AVStream_hwsim.cpp
FAIL
3600
filesys_cdfs_namesup.c
FAIL
3600
filesys_cdfs_allocsup.c
FAIL
3600
input_pnpi8042_moudep.c
FAIL
3600
hid_hclient_ecdisp.c
FAIL
3600
network_irda_miniport_nscirda_comm.c
FAIL
3600
network_usbnwifi_mp_util.c
FAIL
3600
small-pipeline-fixpoint-7
FAIL
3600
small-equiv-fixpoint-10
FAIL
3600
AR-fixpoint-9
FAIL
3600
small-equiv-fixpoint-6
FAIL
3600
small-pipeline-fixpoint-6
FAIL
3600
small-pipeline-fixpoint-4
FAIL
3600
AR-fixpoint-3
FAIL
3600
small-equiv-fixpoint-9
FAIL
3600
small-pipeline-fixpoint-10
FAIL
3600
small-pipeline-fixpoint-5
FAIL
3600
AR-fixpoint-5
FAIL
3600
small-equiv-fixpoint-7
FAIL
3600
AR-fixpoint-7
FAIL
3600
small-pipeline-fixpoint-9
FAIL
3600
network_ndis_rtlnwifi_extsta_st_misc.c
FAIL
3600
kmdf_AMCC5933_sys_S5933DK1.c
FAIL
3600
input_mouser_cseries.c
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp
FAIL
3600
Q_2-2-3_v-100-100-100_r-35.0
FAIL
3600
Q_2-2-3_v-100-100-100_r-35.1
FAIL
3600
Q_2-2-3_v-100-100-100_r-35.2
FAIL
3600
Q_2-2-3_v-100-100-100_r-35.3
FAIL
3600
Q_2-2-3_v-100-100-100_r-35.4
FAIL
3600
Q_2-2-3_v-100-100-100_r-35.5
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp
FAIL
3600
b22_C_2_12
FAIL
3600
query10_query06_1344n
FAIL
3600
query10_query34_1344n
FAIL
3600
query42_query60_1344n
FAIL
3600
query60_query10_1344n
FAIL
3600
query60_query33_1344n
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp
FAIL
3600
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp
FAIL
3600
Q_2-2-3_v-100-100-100_r-35.6
FAIL
3600
Contact
|
Organization
|
Links
|
Citing QBFLIB